Using the Java 2 enterprise edition (J2EE), the industry standard technique, a component and web-based manufacturing execution system (MES), is presented. It is considered to be open, modularized, distributed, configu...Using the Java 2 enterprise edition (J2EE), the industry standard technique, a component and web-based manufacturing execution system (MES), is presented. It is considered to be open, modularized, distributed, configurable, interoperable and maintainable. After introducing some core techniques of J2EE as the basic foundations of the proposed MES, this paper briefly analyzes the MES domain in manufacturing systems and constructs the abstract object and component model, and then establishes the MES architecture. This MES can be facilely integrated with other manufacturing applications. Finally, an example of integration with the enterprise resource planning (ERP) system is given.展开更多
In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in whi...In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.展开更多
In this paper we set up quantum mechanical correspondence of the Poisson integral formula.We show that Poisson kernel function existing in the transformation between the continuum entangled state representation and it...In this paper we set up quantum mechanical correspondence of the Poisson integral formula.We show that Poisson kernel function existing in the transformation between the continuum entangled state representation and its induced state,i.e.the number-difference-correlated amplitude entangled state representation.展开更多
The isospin and density dependent effective pairing interaction is revisited by fitting the neutron gaps from the microscopic calculations for the neutron matter and the symmetric nuclear matter.The neutron pairing ga...The isospin and density dependent effective pairing interaction is revisited by fitting the neutron gaps from the microscopic calculations for the neutron matter and the symmetric nuclear matter.The neutron pairing gaps for 1S0 channel for asymmetric nuclear matter are obtained from the BCS gap equation with a realistic bare nucleon-nucleon interaction in the Skyrme mean field.It is shown that the neutron gaps obtained from the new effective pairing interaction for the asymmetric nuclear matter are much improved and agree well with the microscopic results.展开更多
文摘Using the Java 2 enterprise edition (J2EE), the industry standard technique, a component and web-based manufacturing execution system (MES), is presented. It is considered to be open, modularized, distributed, configurable, interoperable and maintainable. After introducing some core techniques of J2EE as the basic foundations of the proposed MES, this paper briefly analyzes the MES domain in manufacturing systems and constructs the abstract object and component model, and then establishes the MES architecture. This MES can be facilely integrated with other manufacturing applications. Finally, an example of integration with the enterprise resource planning (ERP) system is given.
基金Sponsored by the National Basic Research Program of China (the Natural Key Basis Research and Development Plan (Grant No.973:2003CB316905))the National Natural Science Foundation of China(Grant No.60374071)
文摘In order to automatically find and conveniently rectify the structural conflicts appearing in a new ontology model version after a series of ontology evolution,we propose an ontology model verification approach,in which the object constraint language (OCL) and an ontology definition meta-model (ODM) are used to complete the ontology verification.The ODM is composed of the ontology related elements and the definition rule related elements.The OCL is employed to describe the elements in the ontology definition meta-model:OCL extension for the ontology related elements,and OCL extension for the ontological design patterns.All of the above OCL rules will describe the constraint relationships between ontology elements.Associated with an example,the application of the ontology model verification approach based on OCL and ODM is introduced.Consequently,the conflicts happened in the ontology changing and evolution can be easily verified and rectified through this approach.
基金Supported by the National Natural Science Foundation of China under Grant No.10874174 the Specialized Reserach Fund for The Doctoral Progress of Higher Education of China under Grant No.20070358009
文摘In this paper we set up quantum mechanical correspondence of the Poisson integral formula.We show that Poisson kernel function existing in the transformation between the continuum entangled state representation and its induced state,i.e.the number-difference-correlated amplitude entangled state representation.
基金supported partially by the Fundamental Research Funds for the Central Universities and the National Natural Science Foundation of China (Grant Nos.10875150 and 10875157)
文摘The isospin and density dependent effective pairing interaction is revisited by fitting the neutron gaps from the microscopic calculations for the neutron matter and the symmetric nuclear matter.The neutron pairing gaps for 1S0 channel for asymmetric nuclear matter are obtained from the BCS gap equation with a realistic bare nucleon-nucleon interaction in the Skyrme mean field.It is shown that the neutron gaps obtained from the new effective pairing interaction for the asymmetric nuclear matter are much improved and agree well with the microscopic results.