基于材料力学性能的最低设计金属温度曲线分析

铁素体钢在低温条件下存在明显的韧脆转变现象。为防止脆断事故的发生,需要确定铁素体钢制压力容器的最低使用温度。针对ASME中的A^D四条冲击豁免曲线,对应地选取了4种材料,基于材料实际的屈服强度和参考温度,按照ASME中豁免曲线的计算方法,计算得到4种材料的最低设计金属温度曲线,并与对应的A^D曲线对比,定量地分析ASME中豁免曲线的保守性。结果表明,ASME中的豁免曲线相对于材料自身的最低设计金属温度曲线保守性较大;韧性相近的材料被划分到不同的豁免曲线,使得韧性富裕量差异较大,对于某些材料,其断裂韧性被低估。     

Ultrasonic tomographic velocimeter for visualization of axial flow fields in pipes

An ultrasonic tomographic velocimeter to provide quantitative images of axial flow fields in pipes is developed and presented in this work. To detect the flow in various directions and positions, a novel transducer configuration strategy is proposed. All-in-one transducers are mounted in two sectional planes of the pipe. In each plane, N transducers are equally spaced along the circumference. Overlapped propagation paths are introduced by the configuration strategy, and the influence of the vortex flow can be eliminated theoretically by averaging the line velocities of the overlapped paths. To achieve a fast detection speed, the projection data is collected via an electrical scan in a fan-beam mode. After rearrangement and interpolation of the projection data, the parallel beam filtered back projection (FBP) algorithm is implemented to reconstruct the axial flow field. Numerical simulations with the theoretical velocity profiles were performed. The compensation method for the vortex flow is proved to be effective and necessary, and the number of transducers required for reconstruction of common flow profiles was estimated. Accordingly, an ultrasonic tomographic velocimeter consisting of 2×12 transducers was fabricated. Experiments were conducted in the straight pipe and downstream of a single bend pipe and compared with the computational fluid dynamics (CFD) simulation results. As demonstrated, the ultrasonic tomographic velocimeter was capable of visualizing both symmetric and asymmetric axial flow fields with high reliability.     

Evolutionary collective behavior decomposition model for time series data mining

In this research, we propose a novel framework referred to as collective game behavior decomposition where complex collective behavior is assumed to be generated by aggregation of several groups of agents following different strategies and complexity emerges from collaboration and competition of individuals. The strategy of an agent is modeled by certain simple game theory models with limited information. Genetic algorithms are used to obtain the optimal collective behavior decomposition based on history data. The trained model can be used for collective behavior prediction. For modeling individual behavior, two simple games, the minority game and mixed game are investigated in experiments on the real-world stock prices and foreign-exchange rate. Experimental results are presented to show the effectiveness of the new proposed model.     

Model checking temporal knowledge and commitments in multi-agent systems using reduction

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study, there are still challenges when many different aspects need to be considered simultaneously. In fact, various frameworks have been carried out for modeling and verifying MASs with respect to knowledge and social commitments independently. However, considering them under the same framework still needs further investigation, particularly from the verification perspective. In this article, we present a new technique for model checking the logic of knowledge and commitments (CTLKC⁺). The proposed technique is fully-automatic and reduction-based in which we transform the problem of model checking CTLKC⁺ into the problem of model checking an existing logic of action called ARCTL. Concretely, we construct a set of transformation rules to formally reduce the CTLKC⁺ model into an ARCTL model and CTLKC⁺ formulae into ARCTL formulae to get benefit from the extended version of NuSMV symbolic model checker of ARCTL. Compared to a recent approach that reduces the problem of model checking CTLKC⁺ to another logic of action called GCTL¹, our technique has better scalability and efficiency. We also analyze the complexity of the proposed model checking technique. The results of this analysis reveal that the complexity of our reduction-based procedure is PSPACE-complete for local concurrent programs with respect to the size of these programs and the length of the formula being checked. From the time perspective, we prove that the complexity of the proposed approach is P-complete with regard to the size of the model and length of the formula, which makes it efficient. Finally, we implement our model checking approach on top of extended NuSMV and report verification results for the verification of the NetBill protocol, taken from business domain, against some desirable properties. The obtained results show the effectiveness of our model checking approach when the system scales up.     

Distributed wireless power transfer in sensor networks with multiple Mobile Chargers

We investigate the problem of efficient wireless power transfer in wireless sensor networks. In our approach, special mobile entities (called the Mobile Chargers) traverse the network and wirelessly replenish the energy of sensor nodes. In contrast to most current approaches, we envision methods that are distributed and use limited network information. We propose four new protocols for efficient charging, addressing key issues which we identify, most notably (i) what are good coordination procedures for the Mobile Chargers and (ii) what are good trajectories for the Mobile Chargers. Two of our protocols (DC, DCLK) perform distributed, limited network knowledge coordination and charging, while two others (CC, CCGK) perform centralized, global network knowledge coordination and charging. As detailed simulations demonstrate, one of our distributed protocols outperforms a known state of the art method, while its performance gets quite close to the performance of the powerful centralized global knowledge method.