Modelica-based object-orient method is proved to be rapid, accurate and easy to modify, which is suitable for prototype modeling and simulation of rotor system, whose parameters need to be modified frequently. Classic...Modelica-based object-orient method is proved to be rapid, accurate and easy to modify, which is suitable for prototype modeling and simulation of rotor system, whose parameters need to be modified frequently. Classical non-object-orient method appears to be inefficient because the code is difficult to modify and reuse. An adequate library for object-orient modeling of rotor system with multi-faults is established, a comparison with non-object-orient method on Jeffcott rotor system and a case study on turbo expander with multi-faults are implemented. The relative tolerance between object-orient method and non-object-orient is less than 0.03%, which proves that these two methods are as accurate as each other. Object-orient modeling and simulation is implemented on turbo expander with crack, rub-impact, pedestal looseness and multi-faults simultaneously. It can be conclude from the case study that when acting on compress side of turbo expander separately, expand wheel is not influenced greatly by crack fault, the existence of rub-impact fault forces expand wheel into quasi-periodic motion and the orbit of expand wheel is deformed and enhanced almost 1.5 times due to pedestal looseness. When acting simultaneously, multi-faults cannot be totally decomposed but can be diagnosed from the feature of vibration. Object-orient method can enhance the efficiency of modeling and simulation of rotor system with multi-faults, which provides an efficient method on prototype modeling and simulation.展开更多
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi...Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.展开更多
As two independent problems,scheduling for parts fabrication line and sequencing for mixed-model assembly line have been addressed respectively by many researchers.However,these two problems should be considered simul...As two independent problems,scheduling for parts fabrication line and sequencing for mixed-model assembly line have been addressed respectively by many researchers.However,these two problems should be considered simultaneously to improve the efficiency of the whole fabrication/assembly systems.By far,little research effort is devoted to sequencing problems for mixed-model fabrication/assembly systems.This paper is concerned about the sequencing problems in pull production systems which are composed of one mixed-model assembly line with limited intermediate buffers and two flexible parts fabrication flow lines with identical parallel machines and limited intermediate buffers.Two objectives are considered simultaneously：minimizing the total variation in parts consumption in the assembly line and minimizing the total makespan cost in the fabrication/assembly system.The integrated optimization framework,mathematical models and the method to construct the complete schedules for the fabrication lines according to the production sequences for the first stage in fabrication lines are presented.Since the above problems are non-deterministic polynomial-hard（NP-hard）,a modified multi-objective genetic algorithm is proposed for solving the models,in which a method to generate the production sequences for the fabrication lines from the production sequences for the assembly line and a method to generate the initial population are put forward,new selection,crossover and mutation operators are designed,and Pareto ranking method and sharing function method are employed to evaluate the individuals＇ fitness.The feasibility and efficiency of the multi-objective genetic algorithm is shown by computational comparison with a multi-objective simulated annealing algorithm.The sequencing problems for mixed-model production systems can be solved effectively by the proposed modified multi-objective genetic algorithm.展开更多
This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system w...This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.展开更多
Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satel...Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.展开更多
Moving object detection is one of the challenging problems in video monitoring systems, especially when the illumination changes and shadow exists. Amethod for real-time moving object detection is described. Anew back...Moving object detection is one of the challenging problems in video monitoring systems, especially when the illumination changes and shadow exists. Amethod for real-time moving object detection is described. Anew background model is proposed to handle the illumination varition problem. With optical flow technology and background subtraction, a moving object is extracted quickly and accurately. An effective shadow elimination algorithm based on color features is used to refine the moving obj ects. Experimental results demonstrate that the proposed method can update the background exactly and quickly along with the varition of illumination, and the shadow can be eliminated effectively. The proposed algorithm is a real-time one which the foundation for further object recognition and understanding of video mum＇toting systems.展开更多
A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is ...A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is constructured.Any world to be modelled can be logically specified in this Language. The integrity constraints on the database and the deducing rules within the Database world are derived from the proper axioms of the world being modelled.展开更多
The Оbject-Componet Development (ОCD) is a variety of the compositional programmings, where a role of elements of assembling is warmed by objects, interfaces and components. For developing application systems, the t...The Оbject-Componet Development (ОCD) is a variety of the compositional programmings, where a role of elements of assembling is warmed by objects, interfaces and components. For developing application systems, the theory of design of subject domain based on Frege object theory is developed, together with the presentation of their functions by methods and interfaces with formal annotations for saving them in libraries. Mathematical vehicle ОCDs are models, methods, algebra of operations of objective analysis and their configuring with the use of the component algebra of running, evolution and transformation of data types that are passed between objects through interfaces. Row of the theoretical and applied aspects ОCD was realized in the instrumental-technological complex (IТC) as CASE-instruments of web-site http://sestudy.edu-ua.net. With their help the students can study, create, model, certify and accumulate or configure the objects and components into repository of ITC, and also assemble together from them in more complex applied systems.展开更多
The so-called “global polytropic model” is based on the assumption of hydrostatic equilibrium for the solar system, or for a planet’s system of statellites (like the Jovian system), described by the Lane-Emden diff...The so-called “global polytropic model” is based on the assumption of hydrostatic equilibrium for the solar system, or for a planet’s system of statellites (like the Jovian system), described by the Lane-Emden differential equation. A polytropic sphere of polytropic index?n?and radius?R1?represents the central component?S1?(Sun or planet) of a polytropic configuration with further components the polytropic spherical shells?S2,?S3,?..., defined by the pairs of radi (R1,?R2), (R2,?R3),?..., respectively.?R1,?R2,?R3,?..., are the roots of the real part Re(θ) of the complex Lane-Emden function?θ. Each polytropic shell is assumed to be an appropriate place for a planet, or a planet’s satellite, to be “born” and “live”. This scenario has been studied numerically for the cases of the solar and the Jovian systems. In the present paper, the Lane-Emden differential equation is solved numerically in the complex plane by using the Fortran code DCRKF54 (modified Runge-Kutta-Fehlberg code of fourth and fifth order for solving initial value problems in the complex plane along complex paths). We include in our numerical study some trans-Neptunian objects.展开更多
基金supported by National Basic Research Program of China(973 Program,Grant No.2011CB706502)
文摘Modelica-based object-orient method is proved to be rapid, accurate and easy to modify, which is suitable for prototype modeling and simulation of rotor system, whose parameters need to be modified frequently. Classical non-object-orient method appears to be inefficient because the code is difficult to modify and reuse. An adequate library for object-orient modeling of rotor system with multi-faults is established, a comparison with non-object-orient method on Jeffcott rotor system and a case study on turbo expander with multi-faults are implemented. The relative tolerance between object-orient method and non-object-orient is less than 0.03%, which proves that these two methods are as accurate as each other. Object-orient modeling and simulation is implemented on turbo expander with crack, rub-impact, pedestal looseness and multi-faults simultaneously. It can be conclude from the case study that when acting on compress side of turbo expander separately, expand wheel is not influenced greatly by crack fault, the existence of rub-impact fault forces expand wheel into quasi-periodic motion and the orbit of expand wheel is deformed and enhanced almost 1.5 times due to pedestal looseness. When acting simultaneously, multi-faults cannot be totally decomposed but can be diagnosed from the feature of vibration. Object-orient method can enhance the efficiency of modeling and simulation of rotor system with multi-faults, which provides an efficient method on prototype modeling and simulation.
基金This project is supported by National Natural Science Foundation of China (No.50085003).
文摘Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.
基金supported by National Natural Science Foundation of China (Grant No.50875101)National Hi-tech Research and Development Program of China (863 Program,Grant No.2007AA04Z186)
文摘As two independent problems,scheduling for parts fabrication line and sequencing for mixed-model assembly line have been addressed respectively by many researchers.However,these two problems should be considered simultaneously to improve the efficiency of the whole fabrication/assembly systems.By far,little research effort is devoted to sequencing problems for mixed-model fabrication/assembly systems.This paper is concerned about the sequencing problems in pull production systems which are composed of one mixed-model assembly line with limited intermediate buffers and two flexible parts fabrication flow lines with identical parallel machines and limited intermediate buffers.Two objectives are considered simultaneously：minimizing the total variation in parts consumption in the assembly line and minimizing the total makespan cost in the fabrication/assembly system.The integrated optimization framework,mathematical models and the method to construct the complete schedules for the fabrication lines according to the production sequences for the first stage in fabrication lines are presented.Since the above problems are non-deterministic polynomial-hard（NP-hard）,a modified multi-objective genetic algorithm is proposed for solving the models,in which a method to generate the production sequences for the fabrication lines from the production sequences for the assembly line and a method to generate the initial population are put forward,new selection,crossover and mutation operators are designed,and Pareto ranking method and sharing function method are employed to evaluate the individuals＇ fitness.The feasibility and efficiency of the multi-objective genetic algorithm is shown by computational comparison with a multi-objective simulated annealing algorithm.The sequencing problems for mixed-model production systems can be solved effectively by the proposed modified multi-objective genetic algorithm.
文摘This article contains a system conversion from object oriented design into Software Product Line (SPL) using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports SPL development with delta modeling. The case study of this thesis is a digital library system called Library Automation and Digital Archive (LONTAR). Originally, LONTAR only uses SOAP-based web service. With ABS, LONTAR will be converted into SPL and implement another web service called REST. The motivation of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS than using regular object oriented. Product definition in ABS is relatively easier than creating a new subclass and do customization to make it works well.
文摘Modern satellite propulsion systems are generally designed to fulfill multiphase-missions.Traditional reliability modelling methods have problems of inadequate depict capacity considering complex systems such as satellite propulsion system.An extended object-oriented Petri net(EOOPN)method was proposed to facilitate the reliability modelling of satellite propulsion system in the paper.The proposed method was specified for modelling of phased mission system,and it could be implemented by generating combination of Petri net(PN)principles and object-oriented(OO)programming.The effectiveness of the proposed method was demonstrated through the reliability modelling of a satellite propulsion system with EOOPN.The major advantage of the proposed method is that the dimension of net model can be reduced significantly,and phased mission system at system,phase,or component levels can be respectively depicted.Furthermore,the state-space explosion problem is solved by the proposed EOOPN model efficiently.
基金This project was supported by the foundation of the Visual and Auditory Information Processing Laboratory of BeijingUniversity of China (0306) and the National Science Foundation of China (60374031).
文摘Moving object detection is one of the challenging problems in video monitoring systems, especially when the illumination changes and shadow exists. Amethod for real-time moving object detection is described. Anew background model is proposed to handle the illumination varition problem. With optical flow technology and background subtraction, a moving object is extracted quickly and accurately. An effective shadow elimination algorithm based on color features is used to refine the moving obj ects. Experimental results demonstrate that the proposed method can update the background exactly and quickly along with the varition of illumination, and the shadow can be eliminated effectively. The proposed algorithm is a real-time one which the foundation for further object recognition and understanding of video mum＇toting systems.
文摘A Model, called 'Entity-Roles' is proposed in this paper in which the world of Interest is viewed as some mathematical structure. With respect to this structure, a First order (three-valued) Logic Language is constructured.Any world to be modelled can be logically specified in this Language. The integrity constraints on the database and the deducing rules within the Database world are derived from the proper axioms of the world being modelled.
文摘The Оbject-Componet Development (ОCD) is a variety of the compositional programmings, where a role of elements of assembling is warmed by objects, interfaces and components. For developing application systems, the theory of design of subject domain based on Frege object theory is developed, together with the presentation of their functions by methods and interfaces with formal annotations for saving them in libraries. Mathematical vehicle ОCDs are models, methods, algebra of operations of objective analysis and their configuring with the use of the component algebra of running, evolution and transformation of data types that are passed between objects through interfaces. Row of the theoretical and applied aspects ОCD was realized in the instrumental-technological complex (IТC) as CASE-instruments of web-site http://sestudy.edu-ua.net. With their help the students can study, create, model, certify and accumulate or configure the objects and components into repository of ITC, and also assemble together from them in more complex applied systems.
文摘The so-called “global polytropic model” is based on the assumption of hydrostatic equilibrium for the solar system, or for a planet’s system of statellites (like the Jovian system), described by the Lane-Emden differential equation. A polytropic sphere of polytropic index?n?and radius?R1?represents the central component?S1?(Sun or planet) of a polytropic configuration with further components the polytropic spherical shells?S2,?S3,?..., defined by the pairs of radi (R1,?R2), (R2,?R3),?..., respectively.?R1,?R2,?R3,?..., are the roots of the real part Re(θ) of the complex Lane-Emden function?θ. Each polytropic shell is assumed to be an appropriate place for a planet, or a planet’s satellite, to be “born” and “live”. This scenario has been studied numerically for the cases of the solar and the Jovian systems. In the present paper, the Lane-Emden differential equation is solved numerically in the complex plane by using the Fortran code DCRKF54 (modified Runge-Kutta-Fehlberg code of fourth and fifth order for solving initial value problems in the complex plane along complex paths). We include in our numerical study some trans-Neptunian objects.
