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.展开更多
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.展开更多
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.展开更多
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.展开更多
Use of features in order to achieve the integration of design and manufacture has been considered to be a key factor recent years. Features such as manufacturing properties form the workpiece. Features are structured ...Use of features in order to achieve the integration of design and manufacture has been considered to be a key factor recent years. Features such as manufacturing properties form the workpiece. Features are structured systematically through object oriented modeling. This article explains an object coding method developed for prismatic workpieces and the use of that method in process planning. Features have been determined and modeled as objects. Features have been coded according to their types and locations on the workpiece in this given method. Feature codings have been seen to be very advantageous in process planning.展开更多
Virtual assembly is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechanical systems. To model the virtual assembly process, new methodology...Virtual assembly is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechanical systems. To model the virtual assembly process, new methodology must be applied. Based on the idea that the virtual assembly system is an event driven system, the interactive behavior and information model is proposed to describe the dynamic process of virtual assembly. Definition of the object-oriented model of virtual assembly is put forward.展开更多
This paper describes multi view modeling and data model transformation for the modeling. We have proposed a reference model of CAD system generation, which can be applied to various domain specific languages. Howeve...This paper describes multi view modeling and data model transformation for the modeling. We have proposed a reference model of CAD system generation, which can be applied to various domain specific languages. However, the current CAD system generation cannot integrate data of multiple domains. Generally each domain has its own view of products. For example, in the domain of architectural structure, designers extract the necessary data from the data in architecture design. Domain experts translate one view into another view beyond domains using their own brains.The multi view modeling is a way to integrate product data of multiple domains, and make it possible to translate views among various domains by computers.展开更多
The quality factor of class diagram is critical because it has a significant influence on overall quality of the product, delivered finally. Testability analysis, when done early in the software creation process, is a...The quality factor of class diagram is critical because it has a significant influence on overall quality of the product, delivered finally. Testability analysis, when done early in the software creation process, is a criterion of critical importance to software quality. Reusability is an important quality factor to testability. Its early measurement in object oriented software especially at design phase, allows a design to be reapplied to a new problem without much extra effort. This research paper proposes a research framework for quantification process and does an extensive review on reusability of object oriented software. A metrics based model “Reusability Quantification of Object Oriented Design” has been proposed by establishing the relationship among design properties and reusability and justifying the correlation with the help of statistical measures. Also, “Reusability Quantification Model” is empirically validated and contextual significance of the study shows the high correlation for model acceptance. This research paper facilitates to software developers and designer, the inclusion of reusability quantification model to access and quantify software reusability for quality product.展开更多
Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examp...Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examples for modeling design pattern and analysis pattern at knowledge level using role model, it presents a process for refining design pattern from role model to class model and event trace diagram of UML. In this paper, we advocate the opinion that role modeling before object modeling of UML.展开更多
This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indi...This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indicates that the whole performance of application system model described by UML is much better than the one described by PO.展开更多
Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detecti...Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detection approaches, ranging from traditional heuristic algorithms to machine learning methods, are used to identify these defects. Ensemble learning methods have strengthened the detection of these defects. However, existing approaches do not simultaneously exploit the capabilities of extracting relevant features from pre-trained models and the performance of neural networks for the classification task. Therefore, our goal has been to design a model that combines a pre-trained model to extract relevant features from code excerpts through transfer learning and a bagging method with a base estimator, a dense neural network, for defect classification. To achieve this, we composed multiple samples of the same size with replacements from the imbalanced dataset MLCQ1. For all the samples, we used the CodeT5-small variant to extract features and trained a bagging method with the neural network Roberta Classification Head to classify defects based on these features. We then compared this model to RandomForest, one of the ensemble methods that yields good results. Our experiments showed that the number of base estimators to use for bagging depends on the defect to be detected. Next, we observed that it was not necessary to use a data balancing technique with our model when the imbalance rate was 23%. Finally, for blob detection, RandomForest had a median MCC value of 0.36 compared to 0.12 for our method. However, our method was predominant in Long Method detection with a median MCC value of 0.53 compared to 0.42 for RandomForest. These results suggest that the performance of ensemble methods in detecting structural development defects is dependent on specific defects.展开更多
The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A n...The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.展开更多
Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of...Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.展开更多
In order to safely exploit coal resource, protection coal pillars must be prepared in coal mines. Some correlative parameters of protection coal pillar are calculated by Drop face and Drop line methods. Models of prot...In order to safely exploit coal resource, protection coal pillars must be prepared in coal mines. Some correlative parameters of protection coal pillar are calculated by Drop face and Drop line methods. Models of protecting surface objects and coal pillars are established by TIN modeling and object-oriented technique. By using ACCESS2000as the database and the VC++ and OpenGL as the language, the calculation of protective coal pillars is realized and the 3D-visulizaiton system for protected objects on ground surface and for coal pillars is developed. The system can obtain the data of characteristic points on the surface interactively from the digitized mine topography map, constructing 3D model automatically. It can also obtain the interrelated parameters of the coal seam and drill hole data from existing geological surveying database to calculate the location, surface area and the total coal columns. The whole process can be computed quickly and accurately. And the 3D visualization system was applied in a mine, showing that the system solve the problem of complex calculation,not only realized the automatic 3D mapping and visualization of coal pillars for buildings protection , but also greatly improves the working efficiency.展开更多
Currently the indoor environment quality is described or evaluated mainly by the subjective or objective data.However,research increasingly has demonstrated that objective and subjective data both had some weaknesses ...Currently the indoor environment quality is described or evaluated mainly by the subjective or objective data.However,research increasingly has demonstrated that objective and subjective data both had some weaknesses to characterize the indoor environment quality,and they can compensate for each other's relative weaknesses.Hence,this study aims to develop an integration model to allow indoor subjective and objective data to be combined based on the structural equation modeling approach,using the Northeast China residential indoor environmental survey data.The results indicated that the integration model had a good fit for the survey data,and the model validity was confirmed.Moreover,in contrast to the subjective data(R^(2)=0.363)and objective data(R^(2)=0.239),the integrated data(R^(2)=0.553)improved the explanatory power on the satisfaction with the overall indoor environment.Furthermore,this integration model demonstrated that indoor subjective data assigned more weights to the integrated data than the corresponding objective data.The association strength of thermal environment and indoor air quality(0.43 or 0.47)was the strongest among the interactions of thermal,air quality,acoustic,and lighting environments.Consequently,the main contribution of this paper was that it provided a comprehensive model to accomplish the integration of indoor environmental subjective and objective data,promoting the ability to describe and assess the indoor environment quality.展开更多
The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmult...The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmulti-view modeling approach was further provided.CIM system is composed of several objects where each objecthas a multi-view description.The four most important view-points: function, information, resource and dynamic viewpoint were chosen to provide conceptual model of the object-oriented integrated multi-view modeling in CIMS using a system integration approach展开更多
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.展开更多
A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inhe...A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inherited and expanded in the new system. The integrity and security of the SOTER database are enhanced. The attribute database management, the spatial database management and the model base are integrated into SOTER based on the component object model (COM), and the graphical user interface (GUI) for Windows is used to interact with clients, thus being easy to create and maintain the SOTER, and convenient to promote the quantification and automation of soil information application.展开更多
Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch ...Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.展开更多
文摘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.
基金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.
文摘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.
基金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.
文摘Use of features in order to achieve the integration of design and manufacture has been considered to be a key factor recent years. Features such as manufacturing properties form the workpiece. Features are structured systematically through object oriented modeling. This article explains an object coding method developed for prismatic workpieces and the use of that method in process planning. Features have been determined and modeled as objects. Features have been coded according to their types and locations on the workpiece in this given method. Feature codings have been seen to be very advantageous in process planning.
文摘Virtual assembly is a Virtual Reality (VR) based engineering application which allows engineers to evaluate, analyze, and plan the assembly of mechanical systems. To model the virtual assembly process, new methodology must be applied. Based on the idea that the virtual assembly system is an event driven system, the interactive behavior and information model is proposed to describe the dynamic process of virtual assembly. Definition of the object-oriented model of virtual assembly is put forward.
文摘This paper describes multi view modeling and data model transformation for the modeling. We have proposed a reference model of CAD system generation, which can be applied to various domain specific languages. However, the current CAD system generation cannot integrate data of multiple domains. Generally each domain has its own view of products. For example, in the domain of architectural structure, designers extract the necessary data from the data in architecture design. Domain experts translate one view into another view beyond domains using their own brains.The multi view modeling is a way to integrate product data of multiple domains, and make it possible to translate views among various domains by computers.
文摘The quality factor of class diagram is critical because it has a significant influence on overall quality of the product, delivered finally. Testability analysis, when done early in the software creation process, is a criterion of critical importance to software quality. Reusability is an important quality factor to testability. Its early measurement in object oriented software especially at design phase, allows a design to be reapplied to a new problem without much extra effort. This research paper proposes a research framework for quantification process and does an extensive review on reusability of object oriented software. A metrics based model “Reusability Quantification of Object Oriented Design” has been proposed by establishing the relationship among design properties and reusability and justifying the correlation with the help of statistical measures. Also, “Reusability Quantification Model” is empirically validated and contextual significance of the study shows the high correlation for model acceptance. This research paper facilitates to software developers and designer, the inclusion of reusability quantification model to access and quantify software reusability for quality product.
基金The research has gained the stake of Middleware Software Division of Software Group of F ujitsu L imitedJapanThe Project T
文摘Based on dominant degree of role model among the viewpoints for object oriented modeling process, it dissertates that role modeling is a modeling method for software pattern at knowledge level. After giving some examples for modeling design pattern and analysis pattern at knowledge level using role model, it presents a process for refining design pattern from role model to class model and event trace diagram of UML. In this paper, we advocate the opinion that role modeling before object modeling of UML.
基金Supported by the National Natureal Science Foundation of China (6 98730 36 )
文摘This paper describes how to use the Unified Modeling Language (UML) to modeling software processes in medical insurance MIS, and compares UML Modeling method with classic PO(Process Oriented) Modeling method. It indicates that the whole performance of application system model described by UML is much better than the one described by PO.
文摘Structural development defects essentially refer to code structure that violates object-oriented design principles. They make program maintenance challenging and deteriorate software quality over time. Various detection approaches, ranging from traditional heuristic algorithms to machine learning methods, are used to identify these defects. Ensemble learning methods have strengthened the detection of these defects. However, existing approaches do not simultaneously exploit the capabilities of extracting relevant features from pre-trained models and the performance of neural networks for the classification task. Therefore, our goal has been to design a model that combines a pre-trained model to extract relevant features from code excerpts through transfer learning and a bagging method with a base estimator, a dense neural network, for defect classification. To achieve this, we composed multiple samples of the same size with replacements from the imbalanced dataset MLCQ1. For all the samples, we used the CodeT5-small variant to extract features and trained a bagging method with the neural network Roberta Classification Head to classify defects based on these features. We then compared this model to RandomForest, one of the ensemble methods that yields good results. Our experiments showed that the number of base estimators to use for bagging depends on the defect to be detected. Next, we observed that it was not necessary to use a data balancing technique with our model when the imbalance rate was 23%. Finally, for blob detection, RandomForest had a median MCC value of 0.36 compared to 0.12 for our method. However, our method was predominant in Long Method detection with a median MCC value of 0.53 compared to 0.42 for RandomForest. These results suggest that the performance of ensemble methods in detecting structural development defects is dependent on specific defects.
文摘The current standard Unified Modeling Language(UML) could not model framework flexibility and extendibility adequately due to lack of appropriate constructs to distinguish framework hot-spots from kernel elements. A new UML profile that may customize UML for framework modeling was presented using the extension mechanisms of UML, providing a group of UML extensions to meet the needs of framework modeling. In this profile, the extended class diagrams and sequence diagrams were defined to straightforwardly identify the hot-spots and describe their instantiation restrictions. A transformation model based on design patterns was also put forward, such that the profile based framework design diagrams could be automatically mapped to the corresponding implementation diagrams. It was proved that the presented profile makes framework modeling more straightforwardly and therefore easier to understand and instantiate.
基金Supported by the Natural Science Foundation of Shanxi Province(2008011028-2)
文摘Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.
基金Projects 59904001 supported by National Natural Science Foundation of China
文摘In order to safely exploit coal resource, protection coal pillars must be prepared in coal mines. Some correlative parameters of protection coal pillar are calculated by Drop face and Drop line methods. Models of protecting surface objects and coal pillars are established by TIN modeling and object-oriented technique. By using ACCESS2000as the database and the VC++ and OpenGL as the language, the calculation of protective coal pillars is realized and the 3D-visulizaiton system for protected objects on ground surface and for coal pillars is developed. The system can obtain the data of characteristic points on the surface interactively from the digitized mine topography map, constructing 3D model automatically. It can also obtain the interrelated parameters of the coal seam and drill hole data from existing geological surveying database to calculate the location, surface area and the total coal columns. The whole process can be computed quickly and accurately. And the 3D visualization system was applied in a mine, showing that the system solve the problem of complex calculation,not only realized the automatic 3D mapping and visualization of coal pillars for buildings protection , but also greatly improves the working efficiency.
基金supported by the National Natural Science Foundation of China(No.51978121 and No.51578103)the Key Projects in the National Science&Technology Pillar Program during the 12th Five-year Plan Period of China(No.2012BAJ 02B05)the National Key R&D Program during the 13th Five-year Plan Period of China(No.2018YFD1100701).
文摘Currently the indoor environment quality is described or evaluated mainly by the subjective or objective data.However,research increasingly has demonstrated that objective and subjective data both had some weaknesses to characterize the indoor environment quality,and they can compensate for each other's relative weaknesses.Hence,this study aims to develop an integration model to allow indoor subjective and objective data to be combined based on the structural equation modeling approach,using the Northeast China residential indoor environmental survey data.The results indicated that the integration model had a good fit for the survey data,and the model validity was confirmed.Moreover,in contrast to the subjective data(R^(2)=0.363)and objective data(R^(2)=0.239),the integrated data(R^(2)=0.553)improved the explanatory power on the satisfaction with the overall indoor environment.Furthermore,this integration model demonstrated that indoor subjective data assigned more weights to the integrated data than the corresponding objective data.The association strength of thermal environment and indoor air quality(0.43 or 0.47)was the strongest among the interactions of thermal,air quality,acoustic,and lighting environments.Consequently,the main contribution of this paper was that it provided a comprehensive model to accomplish the integration of indoor environmental subjective and objective data,promoting the ability to describe and assess the indoor environment quality.
文摘The consistency of the CIMS multi-view model is a complicated problem which plays an important role inthe CIMS life cycle. Based on the function-oriented multi-view modeling approach, an object-oriented integratedmulti-view modeling approach was further provided.CIM system is composed of several objects where each objecthas a multi-view description.The four most important view-points: function, information, resource and dynamic viewpoint were chosen to provide conceptual model of the object-oriented integrated multi-view modeling in CIMS using a system integration approach
文摘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.
基金Project supported by the National Natural Science Foundation of China (No. 40271056) Hubei Provin- cial Natural Science Foundation of China (No. 99J123).
文摘A SOTER management system was developed by analyzing, designing, programming, testing, repeated proceeding and progressing based on the object-oriented method. The function of the attribute database management is inherited and expanded in the new system. The integrity and security of the SOTER database are enhanced. The attribute database management, the spatial database management and the model base are integrated into SOTER based on the component object model (COM), and the graphical user interface (GUI) for Windows is used to interact with clients, thus being easy to create and maintain the SOTER, and convenient to promote the quantification and automation of soil information application.
基金supported by National Natural Science Foundation of China (Grant No. 60873003)
文摘Recently automotive nets are adopted to solve increasing problems in automotive electronic systems.Technologies of automotive local area network from CAN and LIN can solve the problems of the increasing of wire bunch weight and lack in module installation space.However,the multilayer automotive nets software becomes more and more complex,and the development expense is difficult to predict and to keep in check.In this paper,the modeling method of hierarchical automotive nets and the substitution operation based on object-oriented colored Petri net(OOCPN) are proposed.The OOCPN model which analyzes the software structure and validates the collision mechanism of CAN/LIN bus can speed the automobile system development.First,the subsystems are divided and modeled by object-oriented Petri net(OOPN).According to the sets of message sharing relations,the message ports among them are set and the communication gate transitions are defined.Second,the OOPN model is substituted step by step until the inner objects in the automotive body control modules(BCM) are indivisible and colored by colored Petri net(CPN).And the color subsets mark the node messages for the collision mechanism.Third,the OOCPN model of the automotive body CAN/LIN nets is assembled,which keeps the message sets and the system can be expanded.The proposed model is used to analyze features of information sharing among the objects,and it is also used to describe each subsystem real-time behavior of processing messages and implemental device controllers operating,and puts forward a reasonable software framework for the automotive body control subsystem.The research can help to design the communication model in the automotive body system effectively and provide a convenient and rapid way for developing the logical hierarchy software.