Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. T...Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.展开更多
A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statec...A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.展开更多
A new finite element model for single-layered strand was investigated for accurate and efficient mechanical behavior analysis.Mathematical model was created by sectional path-nodes sweeping and dynamic node-beam mappi...A new finite element model for single-layered strand was investigated for accurate and efficient mechanical behavior analysis.Mathematical model was created by sectional path-nodes sweeping and dynamic node-beam mapping.Geometric relations between nodes in center core wire and helical wires were deduced in tension and bending incorporating material elasticity theory and deformation geometrical compatibility.Based on Timoshenko beam theory,strand of a pitch length was modeled with specific material,geometric parameters and synthesized constraint equations defined in ANSYS software,and predetermined load cases were performed.The obtained results show that discrepancies between suggested method and Costello theory do not exceed 1.51% in tension and 6.21% in bending,which verifies the correctness and accuracy of the suggested finite element model in predicting mechanical behavior of single-layered wire strand.展开更多
Dynamic Energy Budget software aims to identify simple quantitative rules for the organization of metabolism of individual organisms. It is always used to delineate reserves, as separate from structure. The energy den...Dynamic Energy Budget software aims to identify simple quantitative rules for the organization of metabolism of individual organisms. It is always used to delineate reserves, as separate from structure. The energy density of Eriocheir sinensis was studied through DEB software in this paper. The results showed that Hepatopancreas energy density （32.17 ± 3.77 KJ/g） was higher than gonad （23.19 ± 2.86KJ/ g）, muscle （24.41± 1.41 K J/g） and carapace energy density （14.42 ±1.76 KJ/g）. The difference between gonad （23.19± 2.86KJ/g） and muscle energy density （4.41 ±1.41 K J/g） of females and males was significant （P 〈 0.01）, but not between muscle and carapace energy density （P 〉 0.05）, and no difference between female and male individual in total energy （P = 0.887） at the stable stage. The linear relation between volume and weight of Eriocheir sinensis was gained by using regression analysis, V=6.104＋ 1.117WW （R2=0.973, n=98）, and the linear relation between total energy and dry weight was also gained, E= 18.12DW-28.05 （R2=0.962 ,n=24）.展开更多
The practice of ventilation is continually evolving with new technological advances developed in the mining industry.In recent years the advances in diesel engine technologies,ventilation modeling software,and ventila...The practice of ventilation is continually evolving with new technological advances developed in the mining industry.In recent years the advances in diesel engine technologies,ventilation modeling software,and ventilation management capacities have redefined the historical methods used to evaluate systems.The advances re-evaluate previous methods used to calculate the airflow requirements for the dilution of diesel exhaust fumes.Modeling software has become an integral part of planning and developing ventilation systems in partnership with graphical mine design software packages to generate realistic representations of the mine.Significant advances in ventilation control strategies through remote sensors and monitoring capabilities have been developed to results in cost savings.Though there has been much advancement in mine ventilation technology,the practices and basic ventilation principals enacted through the ventilation engineer cannot be placated with technological advances only.展开更多
As the ability of a single agent is limited while information and resources in multi-agent systems are distributed, cooperation is necessary for agents to accomplish a complex task. In the open and changeable environm...As the ability of a single agent is limited while information and resources in multi-agent systems are distributed, cooperation is necessary for agents to accomplish a complex task. In the open and changeable environment on the Internet, it is of great significance to research a system flexible and capable in dynamic evolution that can find a collaboration method for agents which can be used in dynamic evolution process. With such a method, agents accomplish tasks for an overall target and at the same time, the collaborative relationship of agents can be adjusted with the change of environment. A method of task decomposition and collaboration of agents by improved contract net protocol is introduced. Finally, analysis on the result of the experiments is performed to verify the improved contract net protocol can greatly increase the efficiency of communication and collaboration in multi-agent system.展开更多
基金The National Natural Science Foundation of China(No.60425206,60633010,60773104,60503033)the Excellent Talent Foundation of Teaching and Research of Southeast University
文摘Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.
文摘A method for modeling crosscutting concerns in the concurrent software system is presented based on the aspect-oriented（A-O） technique and the statechart of unified modeling language （UML）. Modeled with UML statechart diagrams, the primary system functions and corresponding traversal features are enveloped into various orthogonal regions of a composite state. The mutual relationships between orthogonal regions are implied by the orders of broadcast events. Using a modular transition system as a basic computational model, the formalization description of A-O statechart models is proposed. The precise semantics of model elements and modeling procedures is given. The example study indicates that the separation strategy of crosscutting concerns is implemented in the design phase of the concurrent software system with this method. Meanwhile, the software modeling method has advantages of loose coupling, adaptability and traceability.
基金Project(2009J007)supported by Science and Technology Department of Railway Ministry of ChinaProject(U1134203)supported by Joint Fund of High-speed Railway Fundamental Research,China
文摘A new finite element model for single-layered strand was investigated for accurate and efficient mechanical behavior analysis.Mathematical model was created by sectional path-nodes sweeping and dynamic node-beam mapping.Geometric relations between nodes in center core wire and helical wires were deduced in tension and bending incorporating material elasticity theory and deformation geometrical compatibility.Based on Timoshenko beam theory,strand of a pitch length was modeled with specific material,geometric parameters and synthesized constraint equations defined in ANSYS software,and predetermined load cases were performed.The obtained results show that discrepancies between suggested method and Costello theory do not exceed 1.51% in tension and 6.21% in bending,which verifies the correctness and accuracy of the suggested finite element model in predicting mechanical behavior of single-layered wire strand.
文摘Dynamic Energy Budget software aims to identify simple quantitative rules for the organization of metabolism of individual organisms. It is always used to delineate reserves, as separate from structure. The energy density of Eriocheir sinensis was studied through DEB software in this paper. The results showed that Hepatopancreas energy density （32.17 ± 3.77 KJ/g） was higher than gonad （23.19 ± 2.86KJ/ g）, muscle （24.41± 1.41 K J/g） and carapace energy density （14.42 ±1.76 KJ/g）. The difference between gonad （23.19± 2.86KJ/g） and muscle energy density （4.41 ±1.41 K J/g） of females and males was significant （P 〈 0.01）, but not between muscle and carapace energy density （P 〉 0.05）, and no difference between female and male individual in total energy （P = 0.887） at the stable stage. The linear relation between volume and weight of Eriocheir sinensis was gained by using regression analysis, V=6.104＋ 1.117WW （R2=0.973, n=98）, and the linear relation between total energy and dry weight was also gained, E= 18.12DW-28.05 （R2=0.962 ,n=24）.
文摘The practice of ventilation is continually evolving with new technological advances developed in the mining industry.In recent years the advances in diesel engine technologies,ventilation modeling software,and ventilation management capacities have redefined the historical methods used to evaluate systems.The advances re-evaluate previous methods used to calculate the airflow requirements for the dilution of diesel exhaust fumes.Modeling software has become an integral part of planning and developing ventilation systems in partnership with graphical mine design software packages to generate realistic representations of the mine.Significant advances in ventilation control strategies through remote sensors and monitoring capabilities have been developed to results in cost savings.Though there has been much advancement in mine ventilation technology,the practices and basic ventilation principals enacted through the ventilation engineer cannot be placated with technological advances only.
基金Projects(61173026,61373045,61202039)supported by the National Natural Science Foundation of ChinaProjects(K5051223008,BDY221411)supported by the Fundamental Research Funds for the Central Universities of ChinaProject(2012AA02A603)supported by the High-Tech Research and Development Program of China
文摘As the ability of a single agent is limited while information and resources in multi-agent systems are distributed, cooperation is necessary for agents to accomplish a complex task. In the open and changeable environment on the Internet, it is of great significance to research a system flexible and capable in dynamic evolution that can find a collaboration method for agents which can be used in dynamic evolution process. With such a method, agents accomplish tasks for an overall target and at the same time, the collaborative relationship of agents can be adjusted with the change of environment. A method of task decomposition and collaboration of agents by improved contract net protocol is introduced. Finally, analysis on the result of the experiments is performed to verify the improved contract net protocol can greatly increase the efficiency of communication and collaboration in multi-agent system.
