The lower bound of maximum predictable time can be formulated into a constrained nonlinear opti- mization problem, and the traditional solutions to this problem are the filtering method and the conditional nonlinear o...The lower bound of maximum predictable time can be formulated into a constrained nonlinear opti- mization problem, and the traditional solutions to this problem are the filtering method and the conditional nonlinear optimal perturbation (CNOP) method. Usually, the CNOP method is implemented with the help of a gradient descent algorithm based on the adjoint method, which is named the ADJ-CNOP. However, with the increasing improvement of actual prediction models, more and more physical processes are taken into consideration in models in the form of parameterization, thus giving rise to the on–off switch problem, which tremendously affects the effectiveness of the conventional gradient descent algorithm based on the ad- joint method. In this study, we attempted to apply a genetic algorithm (GA) to the CNOP method, named GA-CNOP, to solve the predictability problems involving on–off switches. As the precision of the filtering method depends uniquely on the division of the constraint region, its results were taken as benchmarks, and a series of comparisons between the ADJ-CNOP and the GA-CNOP were performed for the modified Lorenz equation. Results show that the GA-CNOP can always determine the accurate lower bound of maximum predictable time, even in non-smooth cases, while the ADJ-CNOP, owing to the effect of on–off switches, often yields the incorrect lower bound of maximum predictable time. Therefore, in non-smooth cases, using GAs to solve predictability problems is more effective than using the conventional optimization algorithm based on gradients, as long as genetic operators in GAs are properly configured.展开更多
Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, ...Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned (known) by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.展开更多
On the bases of the properties of abstract hierarchical structure model and the concrete structure of the mode1 system. which is convenient to solve practical problems, a visual interactive hierarchical coordination m...On the bases of the properties of abstract hierarchical structure model and the concrete structure of the mode1 system. which is convenient to solve practical problems, a visual interactive hierarchical coordination method has been proposed. In this paper, a compensation adjustment sub-mode1 for hydropower stations, an optimal operation sub-model for hydro-thermal power systems, and an aggregation model based on the aspiration level theory are built, and these models can be solved with decision support algorithm. The set of objectives and its structure could be made by the decision-maker in visua1 software, which could be decided by AHP. Finally, the application results show that this methodology is feasible, however, the software (DSS) needs further improvement.展开更多
Ultra-wideband (UWB) microwave images are proposed for detecting small malignant breast tumors based on the large contrast of electric parameters between a malignant tumor and normal breast tissue. In this study, an...Ultra-wideband (UWB) microwave images are proposed for detecting small malignant breast tumors based on the large contrast of electric parameters between a malignant tumor and normal breast tissue. In this study, an antenna array composed of 9 antennas is applied to the detection. The double constrained robust capon beamforming (DCRCB) algorithm is used for reconstructing the breast image due to its better stability and high signal-to-interference-plus-noise ratio (SINR). The successful detection of a tumor of 2 mm in diameter shown in the reconstruction demonstrates the robustness of the DCRCB beamforming algorithm. This study verifies the feasibility of detecting small breast tumors by using the DCRCB imaging algorithm.展开更多
基金supported bythe National Natural Science Foundation of China(Grant Nos40975063 and 40830955)
摘要The lower bound of maximum predictable time can be formulated into a constrained nonlinear opti- mization problem, and the traditional solutions to this problem are the filtering method and the conditional nonlinear optimal perturbation (CNOP) method. Usually, the CNOP method is implemented with the help of a gradient descent algorithm based on the adjoint method, which is named the ADJ-CNOP. However, with the increasing improvement of actual prediction models, more and more physical processes are taken into consideration in models in the form of parameterization, thus giving rise to the on–off switch problem, which tremendously affects the effectiveness of the conventional gradient descent algorithm based on the ad- joint method. In this study, we attempted to apply a genetic algorithm (GA) to the CNOP method, named GA-CNOP, to solve the predictability problems involving on–off switches. As the precision of the filtering method depends uniquely on the division of the constraint region, its results were taken as benchmarks, and a series of comparisons between the ADJ-CNOP and the GA-CNOP were performed for the modified Lorenz equation. Results show that the GA-CNOP can always determine the accurate lower bound of maximum predictable time, even in non-smooth cases, while the ADJ-CNOP, owing to the effect of on–off switches, often yields the incorrect lower bound of maximum predictable time. Therefore, in non-smooth cases, using GAs to solve predictability problems is more effective than using the conventional optimization algorithm based on gradients, as long as genetic operators in GAs are properly configured.
摘要Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel(s) used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned (known) by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.
摘要On the bases of the properties of abstract hierarchical structure model and the concrete structure of the mode1 system. which is convenient to solve practical problems, a visual interactive hierarchical coordination method has been proposed. In this paper, a compensation adjustment sub-mode1 for hydropower stations, an optimal operation sub-model for hydro-thermal power systems, and an aggregation model based on the aspiration level theory are built, and these models can be solved with decision support algorithm. The set of objectives and its structure could be made by the decision-maker in visua1 software, which could be decided by AHP. Finally, the application results show that this methodology is feasible, however, the software (DSS) needs further improvement.
摘要生产规划过程需要同时考虑装配序列规划(Assembly Sequence Planning,ASP)和装配线平衡(Assembly Line Balancing,ALB)。针对ASP和ALB的多项式复杂程度的非确定性问题(Non-Deterministic Polynomial Hard,NP难题)及二者耦合问题,以产品结构图为基础,结合物料清单(Bill of Material,BOM)层次图构建装配约束矩阵,分析产品内部各子装配体独立装配可行性,并对子装配体分拆以获得可行的装配序列矩阵。其次,以工作站最大装配时间、装配方向和工具切换次数、站间平衡为目标,构建综合ASP和ALB的联合规划模型。提出基于Pareto解集的混合人工鱼群算法(Hybrid Artificial Fish Swarm Algorithm,HAFSA),采用自适应视野串行觅食,减少并行觅食重复搜索。对人工鱼群算法得到的装配序列进行粒子群优化(Particle Swarm Optimization,PSO)操作,提高跳出局部最优的可能。将所提算法应用于某装配实例,与基本AFSA、PSO算法对比,验证算法有效性。
基金supported by the National Natural Science Foundation of China (Grant No. 61271323)the Open Project from State Key Laboratory of Millimeter Waves, China (Grant No. K200913)
摘要Ultra-wideband (UWB) microwave images are proposed for detecting small malignant breast tumors based on the large contrast of electric parameters between a malignant tumor and normal breast tissue. In this study, an antenna array composed of 9 antennas is applied to the detection. The double constrained robust capon beamforming (DCRCB) algorithm is used for reconstructing the breast image due to its better stability and high signal-to-interference-plus-noise ratio (SINR). The successful detection of a tumor of 2 mm in diameter shown in the reconstruction demonstrates the robustness of the DCRCB beamforming algorithm. This study verifies the feasibility of detecting small breast tumors by using the DCRCB imaging algorithm.