The CORBA technique is an integration of the object-oriented conception and distributed computing technique. It can make the application within distributed heterogeneous environments reusable, portable and interoperab...The CORBA technique is an integration of the object-oriented conception and distributed computing technique. It can make the application within distributed heterogeneous environments reusable, portable and interoperable. The architecture of CORBA-based discrete event simulation systems is presented and the interface of distributed simulation objects (DSO) is defined in this paper after the DSO is identified and the synchronization mechanism among DSO is discussed.展开更多
Improved traditional ant colony algorithms,a data routing model used to the data remote exchange on WAN was presented.In the model,random heuristic factors were introduced to realize multi-path search.The updating mod...Improved traditional ant colony algorithms,a data routing model used to the data remote exchange on WAN was presented.In the model,random heuristic factors were introduced to realize multi-path search.The updating model of pheromone could adjust the pheromone concentration on the optimal path according to path load dynamically to make the system keep load balance.The simulation results show that the improved model has a higher performance on convergence and load balance.展开更多
In this paper, the composition of the hardware-in-the-loop simulation system of missile guidance system and the characteristic and function of every equipment in this simulation system are discussed. Then the principl...In this paper, the composition of the hardware-in-the-loop simulation system of missile guidance system and the characteristic and function of every equipment in this simulation system are discussed. Then the principle of this system is discussed in terms of theory, and the resemblance of prototype system with simulation system is analyzed. Also, many key problems such as equipment interface, equipment installation, modelling and software design are dealt with. At the end, the error source of simulation system is analyzed, and a strong base is built for the study of simulation system precision.展开更多
Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and s...Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.展开更多
We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types...We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.展开更多
Aspects of techniques for understanding and developing a system which is useful in the context of Disaster Management are outlined in the paper. The emphasis is on techniques for the development of requirements and so...Aspects of techniques for understanding and developing a system which is useful in the context of Disaster Management are outlined in the paper. The emphasis is on techniques for the development of requirements and software - specifically here for the basic, underlying computing system whose application packages (amongst others: Decision Support Sub-Systems) shall support Disaster Prediction, Relief (Damage Assessment & Mitigation) and Recovery. Throughout the body of the paper we shall be making frequent references to Decision Support Sub-Systems. As acronym for the subject domain the author has chosen: DiMaCS: Disaster Management Computing Systems.展开更多
基金This project was supported by "Ninth Five" National Defense Sustentation Foundation.
文摘The CORBA technique is an integration of the object-oriented conception and distributed computing technique. It can make the application within distributed heterogeneous environments reusable, portable and interoperable. The architecture of CORBA-based discrete event simulation systems is presented and the interface of distributed simulation objects (DSO) is defined in this paper after the DSO is identified and the synchronization mechanism among DSO is discussed.
基金Sponsored by the National High Technology Research and Development Program of China(2006AA701306)the National Innovation Foundation of Enterprises(05C26212200378)
文摘Improved traditional ant colony algorithms,a data routing model used to the data remote exchange on WAN was presented.In the model,random heuristic factors were introduced to realize multi-path search.The updating model of pheromone could adjust the pheromone concentration on the optimal path according to path load dynamically to make the system keep load balance.The simulation results show that the improved model has a higher performance on convergence and load balance.
文摘In this paper, the composition of the hardware-in-the-loop simulation system of missile guidance system and the characteristic and function of every equipment in this simulation system are discussed. Then the principle of this system is discussed in terms of theory, and the resemblance of prototype system with simulation system is analyzed. Also, many key problems such as equipment interface, equipment installation, modelling and software design are dealt with. At the end, the error source of simulation system is analyzed, and a strong base is built for the study of simulation system precision.
文摘Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis, evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation result checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this powerful simulation modeling tool is concurrently driven by a network interpreter and an event monitor that all can be implemented by software or hardware. Besides, some interesting applications are given in the paper.
文摘We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.
文摘Aspects of techniques for understanding and developing a system which is useful in the context of Disaster Management are outlined in the paper. The emphasis is on techniques for the development of requirements and software - specifically here for the basic, underlying computing system whose application packages (amongst others: Decision Support Sub-Systems) shall support Disaster Prediction, Relief (Damage Assessment & Mitigation) and Recovery. Throughout the body of the paper we shall be making frequent references to Decision Support Sub-Systems. As acronym for the subject domain the author has chosen: DiMaCS: Disaster Management Computing Systems.
