Validating simulation model is one of the important aspects for modeling and simulation. Some methods of validating model are compared and analyzed. Several typical methods, such as TIC’s inequality coefficient, gray...Validating simulation model is one of the important aspects for modeling and simulation. Some methods of validating model are compared and analyzed. Several typical methods, such as TIC’s inequality coefficient, gray interconnected analysis, direct spectrum estimation, maximum entropy spectral estimation based on Burg or Marple, are chosen and programmed in C language. Some examples by using the program are given. The results show that the program is available and it is best to adopt multi methods for validating models.展开更多
From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are ...From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.展开更多
Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed softw...Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed software that make the developing methods of distributed software quite different from the traditional ways. Furthermore, the traditional centralized ways with fixed interfaces cannot adapt to the flexible requirements of distributed software. In this paper, the attributed grammar (AG) is extended to refine the characters of distributed software, and a distributed software architecture description language (DSADL) based on attributed grammar is introduced, and then a model of integrated environment for software architecture design is proposed. It can be demonstrated by the practice that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.展开更多
For the concerted motion of rocker lunar rover, the pitch angle of rocker of a rocker lunar rover in uneven terrain must be calculated. According to the character of passive shape-shifting adaptive suspension of rocke...For the concerted motion of rocker lunar rover, the pitch angle of rocker of a rocker lunar rover in uneven terrain must be calculated. According to the character of passive shape-shifting adaptive suspension of rocker lunar rover, the model of rocker lunar rover and the model of terrain were both simplified. The pitch angle of rocker was calculated using forward solving, reverse solving and the method of offsetting the curve of terrain respectively. Because of the banishment of the nonlinearity of equation sets of calculation by reverse solving, the calculation of the pitch angle based on reverse solving was programmed by means of MATLAB. Simulations were carried out by means of ADAMS. The result verified the validity of the calculation based on reverse solving. It provides the theoretical foundation for motion planning and path planning of rocker lunar rover. As applications of the calculation of pitch angle of rocker, the multi-attribute decision making of path based on the concerted motion planning and the predictive control on lunar rover based on the Markov prediction model were introduced.展开更多
文摘Validating simulation model is one of the important aspects for modeling and simulation. Some methods of validating model are compared and analyzed. Several typical methods, such as TIC’s inequality coefficient, gray interconnected analysis, direct spectrum estimation, maximum entropy spectral estimation based on Burg or Marple, are chosen and programmed in C language. Some examples by using the program are given. The results show that the program is available and it is best to adopt multi methods for validating models.
基金The National Science Fund for Distinguished Young Scholars (No.60425206)the National Natural Science Foundation of China (No.60633010)the Natural Science Foundation of Jiangsu Province(No.BK2006094)
文摘From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.
基金Project (No. 2000K08-G12) supported by Shaanxi Provincial Science and Technology Development Plan, China
文摘Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed software that make the developing methods of distributed software quite different from the traditional ways. Furthermore, the traditional centralized ways with fixed interfaces cannot adapt to the flexible requirements of distributed software. In this paper, the attributed grammar (AG) is extended to refine the characters of distributed software, and a distributed software architecture description language (DSADL) based on attributed grammar is introduced, and then a model of integrated environment for software architecture design is proposed. It can be demonstrated by the practice that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.
基金Sponsored by the National Natural Science Foundation of China(Grant No.50375032)the 111 Project (Grant No.B07018)
文摘For the concerted motion of rocker lunar rover, the pitch angle of rocker of a rocker lunar rover in uneven terrain must be calculated. According to the character of passive shape-shifting adaptive suspension of rocker lunar rover, the model of rocker lunar rover and the model of terrain were both simplified. The pitch angle of rocker was calculated using forward solving, reverse solving and the method of offsetting the curve of terrain respectively. Because of the banishment of the nonlinearity of equation sets of calculation by reverse solving, the calculation of the pitch angle based on reverse solving was programmed by means of MATLAB. Simulations were carried out by means of ADAMS. The result verified the validity of the calculation based on reverse solving. It provides the theoretical foundation for motion planning and path planning of rocker lunar rover. As applications of the calculation of pitch angle of rocker, the multi-attribute decision making of path based on the concerted motion planning and the predictive control on lunar rover based on the Markov prediction model were introduced.
