To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering ...To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering the Defense Science and Technology Thesaurus into a prototype military aircraft ontology, a four-phase thesaurus-based methodology is introduced and investigated, which consists of identifying the application purpose, overall design, designing in detail and evaluation. Designing in detail is the core step, converting the terms and semantic relationships of the thesaurus into an ontology and supplementing richer semantic relationships. The resulting prototype ontology includes 87 concepts and 34 relationships, and can be extended and scaled up to a full-fledged domain ontology in the future. Eight universal genres of relationships of this ontology are preliminarily summarized and analyzed, including equivalent relationships, approximate relationships, generic/abstract relationships, part/whole relationships, cause/effect relationships, entity/location relationships etc., and the normalization of semantic relationships is critical to the merging and reusing of follow-up multiple ontologies.展开更多
The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed ...The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed and a type of periodically autoregressive model (PAR) based on the improved genetic algorithms (IGA) were used to perform the optimum energy saving scheduling. The example of the Liangmahe Plaza was taken to show the effectiveness of the methods.展开更多
In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial n...In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial neural network(ANN) and input-output data of the system during shield tunneling and can overcome the precision problem in mechanistic modeling(MM) approach. The computational results show that the training algorithm with Gauss-Newton optimization has fast convergent speed. The experimental investigation indicates that, compared with mechanistic modeling approach, intelligent modeling procedure can obviously increase the precision in both soil pressure fitting and forecasting period. The effectiveness and accuracy of proposed intelligent modeling procedure are verified in laboratory tests.展开更多
To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they ...To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they can be separated into two categories: capacitive components and resistive components. Then, the thermal-hydraulic pseudo-bond graphs of capacitive C element and resistance R element were developed, based on the conservation of mass and energy. Subsequently, the connection rule for the pseudo-bond graph elements and the method to construct the complete thermal-hydraulic system model were proposed. On the basis of heat transfer analysis of a typical hydraulic circuit containing a piston pump, the lumped parameter mathematical model of the system was given. The good agreement between the simulation results and experimental data demonstrates the validity of the modeling method.展开更多
The opposition between the terms carcasse (carcass), conceptualized by Auguste Perret, and ossature (frame), proposed as an alternative by Le Corbusier, gives rise to the exploration of the capital contribution of...The opposition between the terms carcasse (carcass), conceptualized by Auguste Perret, and ossature (frame), proposed as an alternative by Le Corbusier, gives rise to the exploration of the capital contribution of the "Dom-ino" prototype as the basic and in escapable condition for an aesthetic operation. Some issues addressed are: the importance of the question of the structure--which remains implicit in Toward an Architecture--as key to a quest for the specificity of architecture; Le Corbusier's troublesome relationship with Perret and the debates between them, which convey two different ways of understanding the potential contributions of concrete to the redefinition of architectural vocabulary; the "Dom-ino" system considered as a new structural type in the sense ascribed to this category by Violletle Duc; the topic of the abri souverain (sovereign shelter) fit for all programs, which triggered typological invention; the ways in which Le Corbusier plays with Gottfried Semper's Urformen and, finally, how this new structural type anchors Le Corbusier's radical redefinition of the elements of the discipline, the making of a new grammar.展开更多
ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information bet...ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information between applications. In this paper, the approach of modeling part library conforming to ISO 13584 is presented. Also, a prototype of part library management system, i.e. BYL-PLIB, whose implementation is in agreement with ISO 13854 is developed to demonstrate the usefulness of proposed approach.展开更多
Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a...Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.展开更多
With Xiao Jianzhong Tang (小建中汤), the author has successfully treated 80 cases of peptic ulcer. The therapeutic effects obtained were compared with that of the Western medicine. A report follows.
The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimatio...The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimation accuracy of soft sensor models. Wiener model effectively describes dynamic and static characteristics of a system with the structure of dynamic and static submodels in cascade. We propose a soft sensor model derived from Wiener model structure, which is an extension of Wiener model. Dynamic and static relationships between secondary and primary variables are built respectively to describe the dynamic and static characteristics of system. The feasibility of this model is verified. Then the expression of discrete model is derived for soft sensor system. Conjugate gradient algorithm is applied to identify the dynamic and static model parameters alternately. Corresponding update method for soft sensor system is also given. Case studies confirm the effectiveness of the proposed model, alternate identification algorithm, and update method.展开更多
In order to improve the process precision of an XY laser annealing table, a geometric error modeling, and an identification and compensation method were proposed. Based on multi-body system theory, a geometric error m...In order to improve the process precision of an XY laser annealing table, a geometric error modeling, and an identification and compensation method were proposed. Based on multi-body system theory, a geometric error model for the laser annealing table was established. It supports the identification of 7 geometric errors affecting the annealing accuracy. An original identification method was presented to recognize these geometric errors. Positioning errors of 5 lines in the workspace were measured by a laser interferometer, and the 7 geometric errors were identified by the proposed algorithm. Finally, a software-based error compensation method was adopted, and a compensation mechanism was developed in a postprocessor based on LabVIEW. The identified geometric errors can be compensated by converting ideal NC codes to actual NC codes. A validation experiment has been conducted on the laser annealing table, and the results indicate that positioning errors of two validation lines decreased from ±37 μm and ±33 μm to ±5 μm and ±4.5 μm, respectively. The geometric error modeling, identification and compensation method presented in this work can be straightforwardly extended to any configurations of 2-dimensional worktable.展开更多
Cracking furnace is the core device for ethylene production. In practice, multiple ethylene furnaces are usually run in parallel. The scheduling of the entire cracking furnace system has great significance when multip...Cracking furnace is the core device for ethylene production. In practice, multiple ethylene furnaces are usually run in parallel. The scheduling of the entire cracking furnace system has great significance when multiple feeds are simultaneously processed in multiple cracking furnaces with the changing of operating cost and yield of product. In this paper, given the requirements of both profit and energy saving in actual production process, a multi-objective optimization model contains two objectives, maximizing the average benefits and minimizing the average coking amount was proposed. The model can be abstracted as a multi-objective mixed integer non- linear programming problem. Considering the mixed integer decision variables of this multi-objective problem, an improved hybrid encoding non-dominated sorting genetic algorithm with mixed discrete variables (MDNSGA-II) is used to solve the Pareto optimal front of this model, the algorithm adopted crossover and muta- tion strategy with multi-operators, which overcomes the deficiency that normal genetic algorithm cannot handle the optimization problem with mixed variables. Finally, using an ethylene plant with multiple cracking furnaces as an example to illustrate the effectiveness of the scheduling results by comparing the optimization results of multi-objective and single objective model.展开更多
The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a ...The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a particular industry. A firm with an open system model creates and captures value taking advantage not only from the internal resource but also from external. The organization could approach to open model acquisition using different focus: external focus namely looking out of its boundary, acting and reacting to competitor innovation, costumers' changing, demand growth, or internal focus remaining inside its boundary improving its best capabilities ignoring what happened outside (Vagnani, Moran, & Simoni, 2010). The actors involved are firms, customers and suppliers linked together through a business to business model. The methodology is based on an Object-Oriented Analysis Field Model that allows to intuitively describe systems characterized by a large number of objects that interact, as in this case of a system composed by different organizational entities. The system simulation allows to analyze how the actors influence the acquisition and diffusion of the open organization model. This approach permits the generation of different classes of objects to represent all actors involved in the evolution of the system and to define the dynamics that determine their interaction. The solution of the model can be approximated using the Mean-Field analysis technique (Kurtz, 1978), following the results proposed in Bobbio, Gribaudo, and Yelek (2008). A qualitative result is illustrated in order to show the applicability of the proposed methodology and to emphasize its relevant features: flexible modeling approach, capacity of solving complex systems and output management facilities. The presented model is comprehensive and its scope is wide; it could be used to study the behavior of enterprises changing model in many different scenarios and situations. In future works quantitative results will be given, and different situations will be analyzed.展开更多
The introduction of the new budget law is one of the most important achievements of the construction of national legal system. It is a landmark event in building financial system. The new budget law has made a lot of ...The introduction of the new budget law is one of the most important achievements of the construction of national legal system. It is a landmark event in building financial system. The new budget law has made a lot of breakthroughs and innovations in the budget managemenL to lead direction for further deepen fiscal reform. However, the modification of the budget law can only adopt the principle of limited modification, there are still many problems. This paper discusses the innovation and deficiency of the new budget law under the background of budget law modification, and makes suggestions to further improve the budget law.展开更多
Facing the innovation technology in building construction, the designer has the option in selecting the type of system construction and building materials. There is a big question for the designer and owner on how to ...Facing the innovation technology in building construction, the designer has the option in selecting the type of system construction and building materials. There is a big question for the designer and owner on how to evaluate the quality material to meet the technical requirements as building construction reliability. By demand to provide a low cost house, there is need for improving structure model and material construction for residents. When material cost takes 60%-70% of total construction cost, it is important to select the appropriate building material. Currently the innovation of material building for main frame and wall component has present for residential projects in Indonesia. Attempt to replace the traditional material such as brick or pozzolan lime concrete block is developed a new material include utilization of coal combustion waste for concrete block, lightweight concrete, or prefab panel wall. This paper presents the research result to develop a tool support for material and system construction selecting that facilitates the selection an optimal material for a simple house construction. A multi-criteria decision method is used based on performance criteria such as economy, reliability, comfort and eco-friend.展开更多
文摘To alleviate the amount of work involved in constructing a domain ontology, starting with the base of an existing terminological-rich thesaurus is better than starting from scratch. With a case study of reengineering the Defense Science and Technology Thesaurus into a prototype military aircraft ontology, a four-phase thesaurus-based methodology is introduced and investigated, which consists of identifying the application purpose, overall design, designing in detail and evaluation. Designing in detail is the core step, converting the terms and semantic relationships of the thesaurus into an ontology and supplementing richer semantic relationships. The resulting prototype ontology includes 87 concepts and 34 relationships, and can be extended and scaled up to a full-fledged domain ontology in the future. Eight universal genres of relationships of this ontology are preliminarily summarized and analyzed, including equivalent relationships, approximate relationships, generic/abstract relationships, part/whole relationships, cause/effect relationships, entity/location relationships etc., and the normalization of semantic relationships is critical to the merging and reusing of follow-up multiple ontologies.
文摘The central air conditioning system in an intelligent building (IB) was analyzed and modeled in order to perform the optimization scheduling strategy of the central air conditioning system. A set of models proposed and a type of periodically autoregressive model (PAR) based on the improved genetic algorithms (IGA) were used to perform the optimum energy saving scheduling. The example of the Liangmahe Plaza was taken to show the effectiveness of the methods.
基金Project(2013CB035402) supported by the National Basic Research Program of ChinaProjects(51105048,51209028) supported by the National Natural Science Foundation of China
文摘In order to deal with modeling problem of a pressure balance system with time-delay, nonlinear, time-varying and uncertain characteristics, an intelligent modeling procedure is proposed, which is based on artificial neural network(ANN) and input-output data of the system during shield tunneling and can overcome the precision problem in mechanistic modeling(MM) approach. The computational results show that the training algorithm with Gauss-Newton optimization has fast convergent speed. The experimental investigation indicates that, compared with mechanistic modeling approach, intelligent modeling procedure can obviously increase the precision in both soil pressure fitting and forecasting period. The effectiveness and accuracy of proposed intelligent modeling procedure are verified in laboratory tests.
基金Project(51175518)supported by the National Natural Science Foundation of China
文摘To increase the efficiency and reliability of the thermodynamics analysis of the hydraulic system, the method based on pseudo-bond graph is introduced. According to the working mechanism of hydraulic components, they can be separated into two categories: capacitive components and resistive components. Then, the thermal-hydraulic pseudo-bond graphs of capacitive C element and resistance R element were developed, based on the conservation of mass and energy. Subsequently, the connection rule for the pseudo-bond graph elements and the method to construct the complete thermal-hydraulic system model were proposed. On the basis of heat transfer analysis of a typical hydraulic circuit containing a piston pump, the lumped parameter mathematical model of the system was given. The good agreement between the simulation results and experimental data demonstrates the validity of the modeling method.
文摘The opposition between the terms carcasse (carcass), conceptualized by Auguste Perret, and ossature (frame), proposed as an alternative by Le Corbusier, gives rise to the exploration of the capital contribution of the "Dom-ino" prototype as the basic and in escapable condition for an aesthetic operation. Some issues addressed are: the importance of the question of the structure--which remains implicit in Toward an Architecture--as key to a quest for the specificity of architecture; Le Corbusier's troublesome relationship with Perret and the debates between them, which convey two different ways of understanding the potential contributions of concrete to the redefinition of architectural vocabulary; the "Dom-ino" system considered as a new structural type in the sense ascribed to this category by Violletle Duc; the topic of the abri souverain (sovereign shelter) fit for all programs, which triggered typological invention; the ways in which Le Corbusier plays with Gottfried Semper's Urformen and, finally, how this new structural type anchors Le Corbusier's radical redefinition of the elements of the discipline, the making of a new grammar.
文摘ISO 13584 (i.e. PLIB) is an international standard for the representation and exchange of CAD part libraries. It aims to provide an application-independent mechanism to enable the share of part library information between applications. In this paper, the approach of modeling part library conforming to ISO 13584 is presented. Also, a prototype of part library management system, i.e. BYL-PLIB, whose implementation is in agreement with ISO 13854 is developed to demonstrate the usefulness of proposed approach.
文摘Rigorous modeling could ensure correctness and could verify a reduced cost in embedded real-time system development for models. Software methods are needed for rigorous modeling of embedded real-time systems. PVS is a formal method with precise syntax and semantics defined. System modeled by PVS specification could be verified by tools. Combining the widely used UML with PVS, this paper provides a novel modeling and verification approach for embedded real-time systems. In this approach, we provide 1) a time-extended UML statechart for modeling dynamic behavior of an embedded real-time system; 2) an approach to capture timed automata based semantics from a timed statechart; and 3) an algorithm to generate a finite state model expressed in PVS specification for model checking. The benefits of our approach include flexibility and user friendliness in modeling, extendability in formalization and verification content, and better performance. Time constraints are modeled and verified and is a highlight of this paper.
文摘With Xiao Jianzhong Tang (小建中汤), the author has successfully treated 80 cases of peptic ulcer. The therapeutic effects obtained were compared with that of the Western medicine. A report follows.
基金Supported by the National Natural Science Foundation of China(61104218,21006127)the National Basic Research Program of China(2012CB720500)the Science Foundation of China University of Petroleum(YJRC-2013-12)
文摘The processes of building dynamic and static relationships between secondary and primary variables are usually integrated in most of nonlinear dynamic soft sensor models. However, such integration limits the estimation accuracy of soft sensor models. Wiener model effectively describes dynamic and static characteristics of a system with the structure of dynamic and static submodels in cascade. We propose a soft sensor model derived from Wiener model structure, which is an extension of Wiener model. Dynamic and static relationships between secondary and primary variables are built respectively to describe the dynamic and static characteristics of system. The feasibility of this model is verified. Then the expression of discrete model is derived for soft sensor system. Conjugate gradient algorithm is applied to identify the dynamic and static model parameters alternately. Corresponding update method for soft sensor system is also given. Case studies confirm the effectiveness of the proposed model, alternate identification algorithm, and update method.
基金Projects(2012ZX04010-011,2009ZX02037-02) supported by the Key National Science and Technology Project of China
文摘In order to improve the process precision of an XY laser annealing table, a geometric error modeling, and an identification and compensation method were proposed. Based on multi-body system theory, a geometric error model for the laser annealing table was established. It supports the identification of 7 geometric errors affecting the annealing accuracy. An original identification method was presented to recognize these geometric errors. Positioning errors of 5 lines in the workspace were measured by a laser interferometer, and the 7 geometric errors were identified by the proposed algorithm. Finally, a software-based error compensation method was adopted, and a compensation mechanism was developed in a postprocessor based on LabVIEW. The identified geometric errors can be compensated by converting ideal NC codes to actual NC codes. A validation experiment has been conducted on the laser annealing table, and the results indicate that positioning errors of two validation lines decreased from ±37 μm and ±33 μm to ±5 μm and ±4.5 μm, respectively. The geometric error modeling, identification and compensation method presented in this work can be straightforwardly extended to any configurations of 2-dimensional worktable.
基金Supported by the National Natural Science Foundation of China(21276078)"Shu Guang"project of Shanghai Municipal Education Commission,973 Program of China(2012CB720500)the Shanghai Science and Technology Program(13QH1401200)
文摘Cracking furnace is the core device for ethylene production. In practice, multiple ethylene furnaces are usually run in parallel. The scheduling of the entire cracking furnace system has great significance when multiple feeds are simultaneously processed in multiple cracking furnaces with the changing of operating cost and yield of product. In this paper, given the requirements of both profit and energy saving in actual production process, a multi-objective optimization model contains two objectives, maximizing the average benefits and minimizing the average coking amount was proposed. The model can be abstracted as a multi-objective mixed integer non- linear programming problem. Considering the mixed integer decision variables of this multi-objective problem, an improved hybrid encoding non-dominated sorting genetic algorithm with mixed discrete variables (MDNSGA-II) is used to solve the Pareto optimal front of this model, the algorithm adopted crossover and muta- tion strategy with multi-operators, which overcomes the deficiency that normal genetic algorithm cannot handle the optimization problem with mixed variables. Finally, using an ethylene plant with multiple cracking furnaces as an example to illustrate the effectiveness of the scheduling results by comparing the optimization results of multi-objective and single objective model.
文摘The objective of this research is to show a new methodology for modeling phenomena present in complex economic systems. The case study we analyzed is the adoption of open organization model among firms operating in a particular industry. A firm with an open system model creates and captures value taking advantage not only from the internal resource but also from external. The organization could approach to open model acquisition using different focus: external focus namely looking out of its boundary, acting and reacting to competitor innovation, costumers' changing, demand growth, or internal focus remaining inside its boundary improving its best capabilities ignoring what happened outside (Vagnani, Moran, & Simoni, 2010). The actors involved are firms, customers and suppliers linked together through a business to business model. The methodology is based on an Object-Oriented Analysis Field Model that allows to intuitively describe systems characterized by a large number of objects that interact, as in this case of a system composed by different organizational entities. The system simulation allows to analyze how the actors influence the acquisition and diffusion of the open organization model. This approach permits the generation of different classes of objects to represent all actors involved in the evolution of the system and to define the dynamics that determine their interaction. The solution of the model can be approximated using the Mean-Field analysis technique (Kurtz, 1978), following the results proposed in Bobbio, Gribaudo, and Yelek (2008). A qualitative result is illustrated in order to show the applicability of the proposed methodology and to emphasize its relevant features: flexible modeling approach, capacity of solving complex systems and output management facilities. The presented model is comprehensive and its scope is wide; it could be used to study the behavior of enterprises changing model in many different scenarios and situations. In future works quantitative results will be given, and different situations will be analyzed.
文摘The introduction of the new budget law is one of the most important achievements of the construction of national legal system. It is a landmark event in building financial system. The new budget law has made a lot of breakthroughs and innovations in the budget managemenL to lead direction for further deepen fiscal reform. However, the modification of the budget law can only adopt the principle of limited modification, there are still many problems. This paper discusses the innovation and deficiency of the new budget law under the background of budget law modification, and makes suggestions to further improve the budget law.
文摘Facing the innovation technology in building construction, the designer has the option in selecting the type of system construction and building materials. There is a big question for the designer and owner on how to evaluate the quality material to meet the technical requirements as building construction reliability. By demand to provide a low cost house, there is need for improving structure model and material construction for residents. When material cost takes 60%-70% of total construction cost, it is important to select the appropriate building material. Currently the innovation of material building for main frame and wall component has present for residential projects in Indonesia. Attempt to replace the traditional material such as brick or pozzolan lime concrete block is developed a new material include utilization of coal combustion waste for concrete block, lightweight concrete, or prefab panel wall. This paper presents the research result to develop a tool support for material and system construction selecting that facilitates the selection an optimal material for a simple house construction. A multi-criteria decision method is used based on performance criteria such as economy, reliability, comfort and eco-friend.