Recently,the ontological metamodel plays an increasingly important role to specify systems in two forms:ontology and metamodel.Ontology is a descriptive model representing reality by a set of concepts,their interrelat...Recently,the ontological metamodel plays an increasingly important role to specify systems in two forms:ontology and metamodel.Ontology is a descriptive model representing reality by a set of concepts,their interrelations,and constraints.On the other hand,metamodel is a more classical,but more powerful model in which concepts and relationships are represented in a prescriptive way.This study firstly clarifies the difference between the two approaches,then explains their advantages and limitations,and attempts to explore a general ontological metamodeling framework by integrating each characteristic,in order to implement semantic simulation model engineering.As a proof of concept,this paper takes the combat effectiveness simulation systems as a motivating case,uses the proposed framework to define a set of ontological composable modeling frameworks,and presents an underwater targets search scenario for running simulations and analyzing results.Finally,this paper expects that this framework will be generally used in other fields.展开更多
To achieve CO2 emissions reductions, the UK Building Regulations require developers of new residential buildings to calculate expected CO2 emissions arising from their energy consumption using a methodology such as St...To achieve CO2 emissions reductions, the UK Building Regulations require developers of new residential buildings to calculate expected CO2 emissions arising from their energy consumption using a methodology such as Standard Assessment Procedure （SAP 2005） or, more recently SAP 2009. SAP encompasses all domestic heat consumption and a limited proportion of the electricity consumption. However, these calculations are rarely verified with real energy consumption and related CO2 emissions. This work presents the results of an analysis based on weekly heat demand data for more than 200 individual fiats. The data were collected from a recently built residential development connected to a district heating network. A method for separating out the domestic hot water （DHW） use and space heating （SH） demand has been developed and these values are compared to the demand calculated using SAP 2005 and SAP 2009 methodologies. The analysis also shows the variation in DHW and SH consumption with size of flats and with tenure （privately owned or social housing）. Evaluation of the space heating consumption also includes an estimate of the heating degree day （HDD） base temperature for each block of fiats and compares this to the average base temperature calculated using the SAP 2005 methodology.展开更多
To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowle...To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowledge(DIK) and application variant knowledge(AVK) levels. This study concentrates on the specification of CESS’s physical behaviors at the DIK level of abstraction, and proposes a model driven framework for efficiently developing simulation models within model-driven engineering(MDE). Technically, this framework integrates the four-layer metamodeling architecture and a set of model transformation techniques with the objective of reducing model heterogeneity and enhancing model continuity. As a proof of concept, a torpedo example is illustrated to explain how physical models are developed following the proposed framework. Finally, a combat scenario is constructed to demonstrate the availability, and a further verification is shown by a reasonable agreement between simulation results and field observations.展开更多
The distributed hybrid processing optimization problem of non-cooperative targets is an important research direction for future networked air-defense and anti-missile firepower systems. In this paper, the air-defense ...The distributed hybrid processing optimization problem of non-cooperative targets is an important research direction for future networked air-defense and anti-missile firepower systems. In this paper, the air-defense anti-missile targets defense problem is abstracted as a nonconvex constrained combinatorial optimization problem with the optimization objective of maximizing the degree of contribution of the processing scheme to non-cooperative targets, and the constraints mainly consider geographical conditions and anti-missile equipment resources. The grid discretization concept is used to partition the defense area into network nodes, and the overall defense strategy scheme is described as a nonlinear programming problem to solve the minimum defense cost within the maximum defense capability of the defense system network. In the solution of the minimum defense cost problem, the processing scheme, equipment coverage capability, constraints and node cost requirements are characterized, then a nonlinear mathematical model of the non-cooperative target distributed hybrid processing optimization problem is established, and a local optimal solution based on the sequential quadratic programming algorithm is constructed, and the optimal firepower processing scheme is given by using the sequential quadratic programming method containing non-convex quadratic equations and inequality constraints. Finally, the effectiveness of the proposed method is verified by simulation examples.展开更多
基金the National Natural Science Foundation of China(61273198).
文摘Recently,the ontological metamodel plays an increasingly important role to specify systems in two forms:ontology and metamodel.Ontology is a descriptive model representing reality by a set of concepts,their interrelations,and constraints.On the other hand,metamodel is a more classical,but more powerful model in which concepts and relationships are represented in a prescriptive way.This study firstly clarifies the difference between the two approaches,then explains their advantages and limitations,and attempts to explore a general ontological metamodeling framework by integrating each characteristic,in order to implement semantic simulation model engineering.As a proof of concept,this paper takes the combat effectiveness simulation systems as a motivating case,uses the proposed framework to define a set of ontological composable modeling frameworks,and presents an underwater targets search scenario for running simulations and analyzing results.Finally,this paper expects that this framework will be generally used in other fields.
文摘To achieve CO2 emissions reductions, the UK Building Regulations require developers of new residential buildings to calculate expected CO2 emissions arising from their energy consumption using a methodology such as Standard Assessment Procedure （SAP 2005） or, more recently SAP 2009. SAP encompasses all domestic heat consumption and a limited proportion of the electricity consumption. However, these calculations are rarely verified with real energy consumption and related CO2 emissions. This work presents the results of an analysis based on weekly heat demand data for more than 200 individual fiats. The data were collected from a recently built residential development connected to a district heating network. A method for separating out the domestic hot water （DHW） use and space heating （SH） demand has been developed and these values are compared to the demand calculated using SAP 2005 and SAP 2009 methodologies. The analysis also shows the variation in DHW and SH consumption with size of flats and with tenure （privately owned or social housing）. Evaluation of the space heating consumption also includes an estimate of the heating degree day （HDD） base temperature for each block of fiats and compares this to the average base temperature calculated using the SAP 2005 methodology.
基金supported by the National Natural Science Foundation of China(61273198)
文摘To reduce complexity, the combat effectiveness simulation system(CESS) is often decomposed into static structure,physical behavior, and cognitive behavior, and model abstraction is layered onto domain invariant knowledge(DIK) and application variant knowledge(AVK) levels. This study concentrates on the specification of CESS’s physical behaviors at the DIK level of abstraction, and proposes a model driven framework for efficiently developing simulation models within model-driven engineering(MDE). Technically, this framework integrates the four-layer metamodeling architecture and a set of model transformation techniques with the objective of reducing model heterogeneity and enhancing model continuity. As a proof of concept, a torpedo example is illustrated to explain how physical models are developed following the proposed framework. Finally, a combat scenario is constructed to demonstrate the availability, and a further verification is shown by a reasonable agreement between simulation results and field observations.
基金supported by the National Natural Science Foundation of China (61903025)the Fundamental Research Funds for the Cent ral Universities (FRF-IDRY-20-013)。
文摘The distributed hybrid processing optimization problem of non-cooperative targets is an important research direction for future networked air-defense and anti-missile firepower systems. In this paper, the air-defense anti-missile targets defense problem is abstracted as a nonconvex constrained combinatorial optimization problem with the optimization objective of maximizing the degree of contribution of the processing scheme to non-cooperative targets, and the constraints mainly consider geographical conditions and anti-missile equipment resources. The grid discretization concept is used to partition the defense area into network nodes, and the overall defense strategy scheme is described as a nonlinear programming problem to solve the minimum defense cost within the maximum defense capability of the defense system network. In the solution of the minimum defense cost problem, the processing scheme, equipment coverage capability, constraints and node cost requirements are characterized, then a nonlinear mathematical model of the non-cooperative target distributed hybrid processing optimization problem is established, and a local optimal solution based on the sequential quadratic programming algorithm is constructed, and the optimal firepower processing scheme is given by using the sequential quadratic programming method containing non-convex quadratic equations and inequality constraints. Finally, the effectiveness of the proposed method is verified by simulation examples.
