The key techniques of modular design of heavy duty NC mathine tools are described. Amodule definition modelfor modular design and manufacturing of heavy duty NC machine tools isbulit and the essential composition of t...The key techniques of modular design of heavy duty NC mathine tools are described. Amodule definition modelfor modular design and manufacturing of heavy duty NC machine tools isbulit and the essential composition of the module definition model (MDM) is discussed in detail. Itis composed of two models: the part definition model (PDM) and the module assembly model(MAM). The PDM and MAM are built and their structures are given. Using object-oriented know-ledge representation and based on these models, an intelligent support system of modular design forheavy duty NC machine tools is developed and implemented This system has been applied to thepractical use of Wuhan Heavy Duty Machine Tool Works展开更多
Let R be an associative ring with identity. An R-module M is called an NCS module if l（M）∩y（M） = {0}, where l（M） and y（M） denote the set of all closed submodules and the set of all small submodules of M, resp...Let R be an associative ring with identity. An R-module M is called an NCS module if l（M）∩y（M） = {0}, where l（M） and y（M） denote the set of all closed submodules and the set of all small submodules of M, respectively. It is clear that the NCS condition is a generalization of the well-known CS condition. Properties of the NCS conditions of modules and rings are explored in this article. In the end, it is proved that a ring R is right ∑-CS if and only if R is right perfect and right countably ∑-NCS. Recall that a ring R is called right ∑-CS if every direct sum of copies of RR is a CS module. And a ring R is called right countably ∑-NCS if every direct sum of countable copies of RR is an NCS module.展开更多
文摘The key techniques of modular design of heavy duty NC mathine tools are described. Amodule definition modelfor modular design and manufacturing of heavy duty NC machine tools isbulit and the essential composition of the module definition model (MDM) is discussed in detail. Itis composed of two models: the part definition model (PDM) and the module assembly model(MAM). The PDM and MAM are built and their structures are given. Using object-oriented know-ledge representation and based on these models, an intelligent support system of modular design forheavy duty NC machine tools is developed and implemented This system has been applied to thepractical use of Wuhan Heavy Duty Machine Tool Works
基金Acknowledgements The authors would like to thank Professor Dinh Van Huynh and Professor Sergio Lopez-Permouth for their nice suggestions. This work was supported by the Natural Science Foundation of Jiangsu Province （Nos. BK20130599, 20141327）, the National Natural Science Foundation of China （Grant No. 11371089）, and the Project-sponsored by the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry.
文摘Let R be an associative ring with identity. An R-module M is called an NCS module if l（M）∩y（M） = {0}, where l（M） and y（M） denote the set of all closed submodules and the set of all small submodules of M, respectively. It is clear that the NCS condition is a generalization of the well-known CS condition. Properties of the NCS conditions of modules and rings are explored in this article. In the end, it is proved that a ring R is right ∑-CS if and only if R is right perfect and right countably ∑-NCS. Recall that a ring R is called right ∑-CS if every direct sum of copies of RR is a CS module. And a ring R is called right countably ∑-NCS if every direct sum of countable copies of RR is an NCS module.
