The factor of safety of mechanically stabilized earth(MSE) structures can be analyzed either using limit equilibrium method(LEM) or strength reduction method(SRM) in finite element/difference method. In LEM, the stren...The factor of safety of mechanically stabilized earth(MSE) structures can be analyzed either using limit equilibrium method(LEM) or strength reduction method(SRM) in finite element/difference method. In LEM, the strengths of the reinforcement members and soils are reduced with the same factor. While using the SRM, only soil strength is reduced during the calculation of the factor of safety. This causes inconsistence in calculating the factor of safety of the MSE structures. To overcome this, an iteration method is proposed to consider the strength reduction of the reinforcements in SRM. The method is demonstrated by using PLAXIS, a finite element software. The results show that the factor of safety converges after a few iterations. The reduction of strength has different effects on the factor of safety depending on the properties of the reinforcements and the soil, and failure modes.展开更多
Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of t...Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of triggering temporal exceptions since activities within the scope of these control structures could be repeatedly executed until a predefined condition is met.In this paper,we propose two approaches to unravel iterative control structures from process models.The first approach unravels loops based on zero-one principle.The second approach unravels loops based on branching probabilities assigned at split gateways.The proposed methods can be used to unfold structured loops,nested loops and crossing loops.Since the unfolded model does not contain any iterative control structures,it can be used for further analysis by process designers during the modeling phase.The proposed methods are implemented based on workflow graphs,and therefore they are compatible with modeling languages such as Business Process Modelling Notation(BPMN).In the experiments,the execution behavior of unfolded process models is compared against the original models based on the concept of runs.Experimental results reveal that runs generated from the original models can be correctly executed in the unfolded BPMN models that do not contain any loops.展开更多
This paper describes a new design of the neutral beam manifold based on a more optimized support system.A proposed alternative scheme has presented to replace the former complex manifold supports and internal pipe sup...This paper describes a new design of the neutral beam manifold based on a more optimized support system.A proposed alternative scheme has presented to replace the former complex manifold supports and internal pipe supports in the final design phase.Both the structural reliability and feasibility were confirmed with detailed analyses.Comparative analyses between two typical types of manifold support scheme were performed.All relevant results of mechanical analyses for typical operation scenarios and fault conditions are presented.Future optimization activities are described,which will give useful information for a refined setting of components in the next phase.展开更多
In this paper, spatial channel pairing(SCP) is introduced to coherent combining at the relay in relay networks. Closed-form solution to optimal coherent combining is derived. Given coherent combining, the approximate ...In this paper, spatial channel pairing(SCP) is introduced to coherent combining at the relay in relay networks. Closed-form solution to optimal coherent combining is derived. Given coherent combining, the approximate SCP solution is presented. Finally, an alternating iterative structure is developed. Simulation results and analysis show that, given the symbol error rate and data rate, the proposed alternating iterative structure achieves signal-to-noise ratio gains over existing schemes in maximum ratio combining(MRC) plus matched filter,MRC plus antenna selection, and distributed space-time block coding due to the use of SCP and iterative structure.展开更多
基金Project(41072200)supported by the National Natural Science Foundation of ChinaProject(14PJD032)supported by the Shanghai Pujiang Program,China
文摘The factor of safety of mechanically stabilized earth(MSE) structures can be analyzed either using limit equilibrium method(LEM) or strength reduction method(SRM) in finite element/difference method. In LEM, the strengths of the reinforcement members and soils are reduced with the same factor. While using the SRM, only soil strength is reduced during the calculation of the factor of safety. This causes inconsistence in calculating the factor of safety of the MSE structures. To overcome this, an iteration method is proposed to consider the strength reduction of the reinforcements in SRM. The method is demonstrated by using PLAXIS, a finite element software. The results show that the factor of safety converges after a few iterations. The reduction of strength has different effects on the factor of safety depending on the properties of the reinforcements and the soil, and failure modes.
基金The work was supported by University of Macao under Grant No. MYRG2019-00136-FST。
文摘Iterative control structures allow the repeated execution of tasks,activities or sub-processes according to the given conditions in a process model.Iterative control structures can significantly increase the risk of triggering temporal exceptions since activities within the scope of these control structures could be repeatedly executed until a predefined condition is met.In this paper,we propose two approaches to unravel iterative control structures from process models.The first approach unravels loops based on zero-one principle.The second approach unravels loops based on branching probabilities assigned at split gateways.The proposed methods can be used to unfold structured loops,nested loops and crossing loops.Since the unfolded model does not contain any iterative control structures,it can be used for further analysis by process designers during the modeling phase.The proposed methods are implemented based on workflow graphs,and therefore they are compatible with modeling languages such as Business Process Modelling Notation(BPMN).In the experiments,the execution behavior of unfolded process models is compared against the original models based on the concept of runs.Experimental results reveal that runs generated from the original models can be correctly executed in the unfolded BPMN models that do not contain any loops.
文摘This paper describes a new design of the neutral beam manifold based on a more optimized support system.A proposed alternative scheme has presented to replace the former complex manifold supports and internal pipe supports in the final design phase.Both the structural reliability and feasibility were confirmed with detailed analyses.Comparative analyses between two typical types of manifold support scheme were performed.All relevant results of mechanical analyses for typical operation scenarios and fault conditions are presented.Future optimization activities are described,which will give useful information for a refined setting of components in the next phase.
基金Project supported by the Open Research Fund of National Mobile Communications Research Laboratory,Southeast University,China(No.2013D02)the Open Research Fund of National Key Laboratory of Electromagnetic Environment,China Research Institute of Radiowave Propagation(No.201500013)+2 种基金the National Natural Science Foundation of China(Nos.61271230,61472190,and 61501238)the Research Fund for the Doctoral Program of Higher Education of China(No.20113219120019)the Foundation of Cloud Computing and Big Data for Agriculture and Forestry,China(No.117-612014063)
文摘In this paper, spatial channel pairing(SCP) is introduced to coherent combining at the relay in relay networks. Closed-form solution to optimal coherent combining is derived. Given coherent combining, the approximate SCP solution is presented. Finally, an alternating iterative structure is developed. Simulation results and analysis show that, given the symbol error rate and data rate, the proposed alternating iterative structure achieves signal-to-noise ratio gains over existing schemes in maximum ratio combining(MRC) plus matched filter,MRC plus antenna selection, and distributed space-time block coding due to the use of SCP and iterative structure.
