Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the...Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the vegetation landscapes, we proposed the lacunarity texture derived from NDVI to characterize the spatial patterns of vegetation landscapes concerning the ＂gappiness＂ or ＂emptiness＂ characteristics. The NDVI-based lacunarity texture was incorporated into object-oriented classification for improving the identification of vegetation categories, especially Torreya which was the targeted tree species in the present research. A three-level hierarchical network of image objects was defined and the proposed texture was integrated as potential sources of information in the rules base. A knowledge base of rules created by classifier C5.0 indicated that the texture could potentially be applied in object-oriented classification. It was found that the addition of such texture improved the identification of every vegetation category. The results demonstrated that the texture could characterize the spatial patterns of vegetation structures, which could be a promising approach for vegetation identification.展开更多
Since communication protocol deals with complex issues related to distribution such as communication, concurrency and synchronization, their development needs to be traced by using sophisticated formal description met...Since communication protocol deals with complex issues related to distribution such as communication, concurrency and synchronization, their development needs to be traced by using sophisticated formal description methods. This paper presents a new hybrid formal method for communication protocol specification. In this method, finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT) are mixed and the best features of these approaches are offered. In this paper, the main formal description techniques (FDT) for protocol engineering are brieny introduced and a hybrid formal description method based on the FSM, CSP and ADT for communication protocol is described. Finally, this paper presents the formal specification of an example protocol for LAN by using the proposed hybrid formal method. The results of studies show that the hybrid formal description method for communication protocol is an available and effective approach.展开更多
[Objective]This study aimed to clear the advantages,disadvantages and applicability of various analysis methods to assess sediment transport modulus in small watersheds using the multi-year observation data. [Method]F...[Objective]This study aimed to clear the advantages,disadvantages and applicability of various analysis methods to assess sediment transport modulus in small watersheds using the multi-year observation data. [Method]Four methods,including the statistical eigenvalues,depolarized arithmetic mean,frequency of erosion intensity and box-whisker plots were applied into calculation of sediment transport modulus in four small watersheds,and then the results of the methods were compared to to filter a method with the widest applicability and scientific validity. [Result] The statistical arithmetic mean and median could hardly represent the concentration and general level of multi-year sediment transport modulus. Although the depolarized arithmetic mean had the tendency of reflecting the general level of data,it lost the extreme value and its information for making decision. The frequency of erosion intensity grade reflected the distribution of data in intensity classification. Box-whisker plot could show the concentration,dispersion and the number of abnormal data. [Conclusion] Multiple methods can be combined to comprehensively and objectively characterize the multi-year sand transport modulus due to their advantages and disadvantages. Additionally,box-whisker plot has good objectivity and applicability in displaying the multi-year data of small watershed.展开更多
With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been develo...With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been developed. There’re grammar-trans-lation method, direct method, audio-lingual method, communicative method, etc. In this paper I in-展开更多
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.展开更多
It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is ver...It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is very im-portant in global change.It is vital to incorporate the information of urban land use/cover change into the process of decision-making about urban area development.In this paper,a new urban change detection approach,urban dynamic monitoring based on objects,is introduced.This approach includes four steps:1)producing multi-scale objects from multi-temporal remotely sensed images with spectrum,texture and context information;2)extracting possible changed objects adopting object-oriented classification;3)obtaining shared objects as the basic units for urban change detection;4)determining the threshold to segment the changed objects from the possible changed objects using Otsu method.In this paper,the object-based approach was applied to detecting the urban expansion in Haidian District,Beijing,China with two Landsat Thematic Mapper(TM)data in 1997 and 2004.The results indicated that the overall accuracy was about 84.83%,and Kappa about 0.785.Compared with other conventional approaches,the object-based approach was advantageous in reducing the error accumulation of image classification of each datum and in independence to the radiometric correction and image registration accuracy.展开更多
In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matchi...In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matching conditions at the interfaces,the first-order solutions,the second-order solutions and the third-order asymptotic solutions for the interfacial internal waves are obtained in the Lagrangian description using the perturbation method,and the mass transport velocity,the wave frequency,the mean level and the particle trajectory are also given.The results show that the discontinuities across the interfaces appear for the mass transport velocity,wave frequency and mean level,but we find that these discontinuities may disappear if the water depth ratio and the density ratio of the three layer fluids satisfy certain conditions.展开更多
The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes libra...The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.展开更多
This paper describes the object-oriented implementational method of finite element structural analysis, gives the basic concepts of the object-oriented method and objectoriented programming, develops a complete class ...This paper describes the object-oriented implementational method of finite element structural analysis, gives the basic concepts of the object-oriented method and objectoriented programming, develops a complete class hierarchy structure of object-oriented finite element structural analysis, and gives a part C+ + code description.展开更多
This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedd...This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedded AI or namely agents in computer world, corresponding to economic agents and entities in real world, such as government, households, markets and so on. A frame representation of major objects in CGE model is used for trade and environment. Embedded Al object-oriented approach (or software agent) is used in the CGE model representation can able to narrow the gap among the semantic representation, formal CGE (mathematical) representation and computer and algorithm representation, and to improve CGE in understanding and maintenance etc. In such a system, constructing a CGE model to appear an intuitive process rather than an abstract process. This intuitive process needs more understanding of the substance of economics and the logic underlying the problem rather than mathematical notation.展开更多
An object-oriented approach is taken to the problem of formulating portable, easy-to-modify PDE solvers for realistic problems in three space dimensions. The resulting software library, Cogito, contains tools for writ...An object-oriented approach is taken to the problem of formulating portable, easy-to-modify PDE solvers for realistic problems in three space dimensions. The resulting software library, Cogito, contains tools for writing programs to be executed on MIMD computers with distributed memory. Difference methods on composite, structured grids are supported. Most of the Cogito classes have been implemented in Fortran 77, in such a way that the object-oriented design is visible. With respect to parallel performance, these tools yield code that is comparable to parallel solvers written in plain Fortran 77. The resulting programs are can be executed without modification on a large number of multicomputer platforms, and also on serial computers. The uppermost level of abstraction in Cogito concerns the problem of decoupling the numerical method from the PDE problem. The validity of these tools has been preliminarily demonstrated with a C++ implementation for one-dimensional problems.展开更多
Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This p...Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.展开更多
Automated operation and artificial intelligence technology have become essential for ensuring the safety, efficiency, and punctuality of railways, with applications such as ATO (Automatic Train Operation). In this stu...Automated operation and artificial intelligence technology have become essential for ensuring the safety, efficiency, and punctuality of railways, with applications such as ATO (Automatic Train Operation). In this study, the authors propose a method to efficiently simulate the kinematic characteristics of railroad vehicles depending on their speed zone. They utilized the function overloading function supported by a programming language and applied the fourth-order Lunge-Kutta method for dynamic simulation. By constructing an object model, the authors calculated vehicle characteristics and TPS and compared them with actual values, verifying that the developed model represents the real-life vehicle characteristics accurately. The study highlights potential improvements in automated driving and energy consumption optimization in the railway industry.展开更多
Recently an object-oriented approach has been applied in the fields of finite element analysis with a view to treating the various complexities within these. It has been demonstrated that finite element software desig...Recently an object-oriented approach has been applied in the fields of finite element analysis with a view to treating the various complexities within these. It has been demonstrated that finite element software designed using an object-oriented approach can be significantly more robust than traditional codes. This paper describes a special kind of implementation of object-oriented programming which is rather hybrid in nature, in the development of a finite element code for engineering analysis of metal working problems using C++, and discusses the advantages of this approach.展开更多
Large amplitude sloshing in tanks is simulated by the least square particle finite element method （LSPFEM） in this paper. The least square finite element method （LSFEM） is employed to spatially discrete the Navier...Large amplitude sloshing in tanks is simulated by the least square particle finite element method （LSPFEM） in this paper. The least square finite element method （LSFEM） is employed to spatially discrete the Navier-Stokes equations, and to avoid the stabilization issues due to the incompressibility condition for equal-order interpolation of the velocity and the pressure, as usually used in Galerkin method to satisfy the well-known LBB condition. The LSPFEM also uses the Lagrangian description to model the motion of nodes （particles）. A mesh which connects these nodes is constructed by a triangulation algorithm to avoid the mesh distortion. A quasi a-shapes algorithm is used to identify the free surface boundary. The nodes are viewed as particles which can freely move and even separate from the main fluid domain. Finally this method is used to study the large amplitude sloshing evolution in two dimensional tanks. The results are compared with those obtained by Flow-3d with good agreement.展开更多
Three main problems in system development and the plight of the system development are analyzed and discussed. Finally a practical and formalized method-object-oriented method is proposed to extncate the system develo...Three main problems in system development and the plight of the system development are analyzed and discussed. Finally a practical and formalized method-object-oriented method is proposed to extncate the system development from the predicament.展开更多
A method for simulation of free surface problems is presented. Based on the viscous incompressible Navier-Stokes equations, space discretization of the flow is obtained by the least square finite element method. The t...A method for simulation of free surface problems is presented. Based on the viscous incompressible Navier-Stokes equations, space discretization of the flow is obtained by the least square finite element method. The time evolution is obtained by the finite difference method. Lagrangian description is used to track the free surface. The results are compared with the experimental dam break results, including water collapse in a 2D rectangular section and in a 3D cylinder section. A good agreement is achieved for the distance of surge front as well as the height of the residual column.展开更多
In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate ...In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.展开更多
基金supported by the National Natural Science Foundation of China (30671212)
文摘Normalized Difference Vegetation Index （NDVI） is a very useful feature for differentiating vegetation and non-vegetation in remote sensed imagery. In the light of the function of NDVI and the spatial patterns of the vegetation landscapes, we proposed the lacunarity texture derived from NDVI to characterize the spatial patterns of vegetation landscapes concerning the ＂gappiness＂ or ＂emptiness＂ characteristics. The NDVI-based lacunarity texture was incorporated into object-oriented classification for improving the identification of vegetation categories, especially Torreya which was the targeted tree species in the present research. A three-level hierarchical network of image objects was defined and the proposed texture was integrated as potential sources of information in the rules base. A knowledge base of rules created by classifier C5.0 indicated that the texture could potentially be applied in object-oriented classification. It was found that the addition of such texture improved the identification of every vegetation category. The results demonstrated that the texture could characterize the spatial patterns of vegetation structures, which could be a promising approach for vegetation identification.
文摘Since communication protocol deals with complex issues related to distribution such as communication, concurrency and synchronization, their development needs to be traced by using sophisticated formal description methods. This paper presents a new hybrid formal method for communication protocol specification. In this method, finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT) are mixed and the best features of these approaches are offered. In this paper, the main formal description techniques (FDT) for protocol engineering are brieny introduced and a hybrid formal description method based on the FSM, CSP and ADT for communication protocol is described. Finally, this paper presents the formal specification of an example protocol for LAN by using the proposed hybrid formal method. The results of studies show that the hybrid formal description method for communication protocol is an available and effective approach.
基金Supported by National Key R&D Plan Topics (2016YFC0503705)Major Project of High-resolution Earth Observation System (08 Y30B07 900113/15)Dynamic Monitoring Project of National Water and Soil Loss and Optimization Layout Project of National Water and Soil Conservation Monitoring Point (126216229000200002)。
文摘[Objective]This study aimed to clear the advantages,disadvantages and applicability of various analysis methods to assess sediment transport modulus in small watersheds using the multi-year observation data. [Method]Four methods,including the statistical eigenvalues,depolarized arithmetic mean,frequency of erosion intensity and box-whisker plots were applied into calculation of sediment transport modulus in four small watersheds,and then the results of the methods were compared to to filter a method with the widest applicability and scientific validity. [Result] The statistical arithmetic mean and median could hardly represent the concentration and general level of multi-year sediment transport modulus. Although the depolarized arithmetic mean had the tendency of reflecting the general level of data,it lost the extreme value and its information for making decision. The frequency of erosion intensity grade reflected the distribution of data in intensity classification. Box-whisker plot could show the concentration,dispersion and the number of abnormal data. [Conclusion] Multiple methods can be combined to comprehensively and objectively characterize the multi-year sand transport modulus due to their advantages and disadvantages. Additionally,box-whisker plot has good objectivity and applicability in displaying the multi-year data of small watershed.
文摘With the development of reform and open policy, foreign languages become more and moreuseful. And how to teach a foreign language is an important matter. A lot of methods of teaching foreign languages have been developed. There’re grammar-trans-lation method, direct method, audio-lingual method, communicative method, etc. In this paper I in-
基金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.
基金Under the auspices of the National High Technology ResearchDevelopment Program of China(No.2003AA132020)
文摘It is crucial to conduct the land use/cover research to obtain the global change information.Urban area is one of the most sensitive areas in land use/cover change.Therefore land use/cover change in urban areas is very im-portant in global change.It is vital to incorporate the information of urban land use/cover change into the process of decision-making about urban area development.In this paper,a new urban change detection approach,urban dynamic monitoring based on objects,is introduced.This approach includes four steps:1)producing multi-scale objects from multi-temporal remotely sensed images with spectrum,texture and context information;2)extracting possible changed objects adopting object-oriented classification;3)obtaining shared objects as the basic units for urban change detection;4)determining the threshold to segment the changed objects from the possible changed objects using Otsu method.In this paper,the object-based approach was applied to detecting the urban expansion in Haidian District,Beijing,China with two Landsat Thematic Mapper(TM)data in 1997 and 2004.The results indicated that the overall accuracy was about 84.83%,and Kappa about 0.785.Compared with other conventional approaches,the object-based approach was advantageous in reducing the error accumulation of image classification of each datum and in independence to the radiometric correction and image registration accuracy.
基金The Science Research Project of Inner Mongolia University of Technology under contract No.ZD201613
文摘In this paper,we discuss the interfacial internal waves with a rigid boundary in a three-layer fluid system,where the density of the upper layer fluid is smaller than that of the lower layer.With the Lagrangian matching conditions at the interfaces,the first-order solutions,the second-order solutions and the third-order asymptotic solutions for the interfacial internal waves are obtained in the Lagrangian description using the perturbation method,and the mass transport velocity,the wave frequency,the mean level and the particle trajectory are also given.The results show that the discontinuities across the interfaces appear for the mass transport velocity,wave frequency and mean level,but we find that these discontinuities may disappear if the water depth ratio and the density ratio of the three layer fluids satisfy certain conditions.
文摘The design of finite element analysis program using object-oriented programming (OOP) techniques is presented. The objects, classes and the subclasses used in the programming are explained. The system of classes library of finite element analysis program and Windows-type Graphical User Interfaces by VC + + and its MFC are developed. The reliability, reusability and extensibility of program are enhanced. It is a reference to develop the large-scale, versatile and powerful systems of object-oriented finite element software.
文摘This paper describes the object-oriented implementational method of finite element structural analysis, gives the basic concepts of the object-oriented method and objectoriented programming, develops a complete class hierarchy structure of object-oriented finite element structural analysis, and gives a part C+ + code description.
文摘This paper proposes and illustrates an AI embedded object-oriented methodology to formulate the computable general equilibrium (CGE) models. In this framework, a CGE model is viewed as a collection of objects embedded AI or namely agents in computer world, corresponding to economic agents and entities in real world, such as government, households, markets and so on. A frame representation of major objects in CGE model is used for trade and environment. Embedded Al object-oriented approach (or software agent) is used in the CGE model representation can able to narrow the gap among the semantic representation, formal CGE (mathematical) representation and computer and algorithm representation, and to improve CGE in understanding and maintenance etc. In such a system, constructing a CGE model to appear an intuitive process rather than an abstract process. This intuitive process needs more understanding of the substance of economics and the logic underlying the problem rather than mathematical notation.
文摘An object-oriented approach is taken to the problem of formulating portable, easy-to-modify PDE solvers for realistic problems in three space dimensions. The resulting software library, Cogito, contains tools for writing programs to be executed on MIMD computers with distributed memory. Difference methods on composite, structured grids are supported. Most of the Cogito classes have been implemented in Fortran 77, in such a way that the object-oriented design is visible. With respect to parallel performance, these tools yield code that is comparable to parallel solvers written in plain Fortran 77. The resulting programs are can be executed without modification on a large number of multicomputer platforms, and also on serial computers. The uppermost level of abstraction in Cogito concerns the problem of decoupling the numerical method from the PDE problem. The validity of these tools has been preliminarily demonstrated with a C++ implementation for one-dimensional problems.
文摘Object-oriented model possesses inherent concurrency. Integration of concurrency and object-orientation is a promising new field. MPI is a message-passing standard and has been adopted by more and more systems. This paper proposes a novel approach to realize concurrent object-oriented programming based on Message-passing interface(MPI) in which future method communication is adopted between concurrent objects. A state behavior set is proposed to solve inheritance anomaly, and a bounded buffer is taken as an example to illustrate this proposal. The definition of ParaMPI class, which is the most important class in the concurrent class library, and implementation issues are briefly described.
文摘Automated operation and artificial intelligence technology have become essential for ensuring the safety, efficiency, and punctuality of railways, with applications such as ATO (Automatic Train Operation). In this study, the authors propose a method to efficiently simulate the kinematic characteristics of railroad vehicles depending on their speed zone. They utilized the function overloading function supported by a programming language and applied the fourth-order Lunge-Kutta method for dynamic simulation. By constructing an object model, the authors calculated vehicle characteristics and TPS and compared them with actual values, verifying that the developed model represents the real-life vehicle characteristics accurately. The study highlights potential improvements in automated driving and energy consumption optimization in the railway industry.
文摘Recently an object-oriented approach has been applied in the fields of finite element analysis with a view to treating the various complexities within these. It has been demonstrated that finite element software designed using an object-oriented approach can be significantly more robust than traditional codes. This paper describes a special kind of implementation of object-oriented programming which is rather hybrid in nature, in the development of a finite element code for engineering analysis of metal working problems using C++, and discusses the advantages of this approach.
基金The project supported by the National Natural Science Foundation of China(10302013,10572022)
文摘Large amplitude sloshing in tanks is simulated by the least square particle finite element method （LSPFEM） in this paper. The least square finite element method （LSFEM） is employed to spatially discrete the Navier-Stokes equations, and to avoid the stabilization issues due to the incompressibility condition for equal-order interpolation of the velocity and the pressure, as usually used in Galerkin method to satisfy the well-known LBB condition. The LSPFEM also uses the Lagrangian description to model the motion of nodes （particles）. A mesh which connects these nodes is constructed by a triangulation algorithm to avoid the mesh distortion. A quasi a-shapes algorithm is used to identify the free surface boundary. The nodes are viewed as particles which can freely move and even separate from the main fluid domain. Finally this method is used to study the large amplitude sloshing evolution in two dimensional tanks. The results are compared with those obtained by Flow-3d with good agreement.
文摘Three main problems in system development and the plight of the system development are analyzed and discussed. Finally a practical and formalized method-object-oriented method is proposed to extncate the system development from the predicament.
基金Project supported by the National Natural Science Foundation of China (Nos.10302013,10572022)
文摘A method for simulation of free surface problems is presented. Based on the viscous incompressible Navier-Stokes equations, space discretization of the flow is obtained by the least square finite element method. The time evolution is obtained by the finite difference method. Lagrangian description is used to track the free surface. The results are compared with the experimental dam break results, including water collapse in a 2D rectangular section and in a 3D cylinder section. A good agreement is achieved for the distance of surge front as well as the height of the residual column.
基金Supported by Natural Science Foundation of Hubei Province (98J0 75 ) Ziqiang Technical Innovation Foundation ofWuhan Universi
文摘In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.
