Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses si...Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses significant challenges and requires an integrated approach.In this study,a unified requirement modeling approach is proposed based on unified architecture framework(UAF).Theoretical models are proposed which compose formalized descriptions from both topdown and bottom-up perspectives.Based on the description,the UAF profile is proposed to represent the SoS mission and constituent systems(CS)goal.Moreover,the agent-based simulation information is also described based on the overview,design concepts,and details(ODD)protocol as the complement part of the SoS profile,which can be transformed into different simulation platforms based on the eXtensible markup language(XML)technology and model-to-text method.In this way,the design of the SoS is simulated automatically in the early design stage.Finally,the method is implemented and an example is given to illustrate the whole process.展开更多
In order to solve the problem that the ripple-effect analy- sis for the operational architecture of air defense systems （OAADS） is hardly described in quantity with previous modeling approaches, a supernetwork model...In order to solve the problem that the ripple-effect analy- sis for the operational architecture of air defense systems （OAADS） is hardly described in quantity with previous modeling approaches, a supernetwork modeling approach for the OAADS is put for- ward by extending granular computing. Based on that operational units and links are equal to different information granularities, the supernetwork framework of the OAADS is constructed as a “four- network within two-layer” structure by forming dynamic operating coalitions, and measuring indexes of the ripple-effect analysis for the OAADS are given combining with Laplace spectral radius. In this framework, via analyzing multidimensional attributes which inherit relations between operational units in different granular scales, an extended granular computing is put forward integrating with a topological structure. Then the operation process within the supernetwork framework, including transformation relations be- tween two layers in the vertical view and mapping relations among functional networks in the horizontal view, is studied in quantity. As the application case shows, comparing with previous modeling approaches, the supernetwork model can validate and analyze the operation mechanism in the air defense architecture, and the ripple-effect analysis can be used to confirm the key operational unit with micro and macro viewpoints.展开更多
China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develo...China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.展开更多
Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a vi...Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.展开更多
Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are g...Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are gaining higher priority from CSES users when evaluating different modeling methodologies for CSES. Traditional CSES modeling methodologies are either domain-neutral (lack of domain characteristics consideration and limited support for model composability) or domain-oriented (lack of openness and evolvability) and fall short of the three NFRs. Inspired by the concept of architecture in systems engineering and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architecture-oriented modeling methodology in which the model architecture plays a central role in achieving the three NFRs. Various model-driven engineering (MDE) approaches and technologies, including simulation modeling platform (SMP), unified modeling language (UML), domain specific modeling (DSM), eclipse modeling framework (EMF), graphical modeling framework (GMF), and so forth, are applied where possible in representing the CSES model architecture and its components' behaviors from physical and cognitive domain aspects. A prototype CSES system, called weapon effectiveness simulation system (WESS), and a non-trivial air-combat simulation example are presented to demonstrate the methodology.展开更多
Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is prese...Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.展开更多
This paper investigates the distributed model predictive control(MPC)problem of linear systems where the network topology is changeable by the way of inserting new subsystems,disconnecting existing subsystems,or merel...This paper investigates the distributed model predictive control(MPC)problem of linear systems where the network topology is changeable by the way of inserting new subsystems,disconnecting existing subsystems,or merely modifying the couplings between different subsystems.To equip live systems with a quick response ability when modifying network topology,while keeping a satisfactory dynamic performance,a novel reconfiguration control scheme based on the alternating direction method of multipliers(ADMM)is presented.In this scheme,the local controllers directly influenced by the structure realignment are redesigned in the reconfiguration control.Meanwhile,by employing the powerful ADMM algorithm,the iterative formulas for solving the reconfigured optimization problem are obtained,which significantly accelerate the computation speed and ensure a timely output of the reconfigured optimal control response.Ultimately,the presented reconfiguration scheme is applied to the level control of a benchmark four-tank plant to illustrate its effectiveness and main characteristics.展开更多
More than two decades ago, object-oriented representation of AEC （architecture engineering and construction） projects started to offer the promise of seamless communication of semantic data models between computer-b...More than two decades ago, object-oriented representation of AEC （architecture engineering and construction） projects started to offer the promise of seamless communication of semantic data models between computer-based systems used from the design stage to the operation of the facilities. BIM （building information modelling） emerged and appeared as a means to store all relevant data generated during the life-cycle of the facilities. But this upstream view of the built environment, arising from the design and construction stages, extended to the downstream operations where building and industrial facilities appeared more and more as huge dynamic data producers and concentrators while being operated. This created new challenges leading to what is referred to as ISCs （intelligent and smart constructions）. The current state of the art is that final constructions still contain various and increasingly versatile control and service systems, which are hardly standardised, and not interconnected among themselves. Monitoring, maintenance and services are done by specialised companies, each responsible of different systems, which are relying on customised software and techniques to meet specific user needs and are based on monolithic applications that require manual configuration for specific uses, maintenance and support. We demonstrate in this paper that the early promises of integration across the actors and along the life-time of facilities have gone a long way but will only be delivered through enhanced standardisation of computerized models, representations, services and operations still not yet fully accomplished 25 years after work started.展开更多
The Internet is playing an important role in information retrieval, and additionally industrial process manipulation. This paper describes an approach to writing requirements specifications for Internet-based control ...The Internet is playing an important role in information retrieval, and additionally industrial process manipulation. This paper describes an approach to writing requirements specifications for Internet-based control systems, from which architectures can be derived. The requirements specifications developed are described in terms of a functional model, which is then extended to form an information architecture. Distinct from the functional model, the information architecture provides an indication as to the architectural structure of subsequently developed Internet-based control systems. Three general control structures are generated from the analysis of an information architecture. An integrated-distributed architecture is derived as an ideal implementation, in which a control system is linked to the Internet at all levels of a control system hierarchy.展开更多
This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA archi...This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA architecture description model is proposed based on an easy-to-use file format known as YAML. This format permits the description of any detailed architecture of hard blocks and channels. Then a general algorithm of building FPGA resource graph is presented. The proposed model is scalable and capable of dealing with detailed architecture design and can be used in FPGA architecture evaluation system which is developed to enable detailed architecture design. Experimental results show that a maximum of 16.36% reduction in total wirelength and a maximum of 9.34% reduction in router effort can be obtained by making very little changes to detailed architectures, which verifies the necessity and effectiveness of the proposed model.展开更多
Aiming at the characteristics of modularity and reconfigurable in open architecture computer numerical control （CNC） system, the open architecture CNC system, Harbin Institute of Tech- nology computer numerical cont...Aiming at the characteristics of modularity and reconfigurable in open architecture computer numerical control （CNC） system, the open architecture CNC system, Harbin Institute of Tech- nology computer numerical control （HITCNC）, is researched and manufactured based on the interface standards. The system＇s external interfaces are coincident with the corresponding international standards, and the internal interfaces follow the open modular architecture controller （OMAC） agreement. In the research and manufacturing process, object-oriented technology is used to ensure the openness of the HITCNC, and static programming is applied in the CNC system according to the idea of modularization disassembly. The HITCNC also actualizes real-time and unreal-time modules adopting real-time dynamical linked library （RTDLL） and component object model （COM）. Finite state ma- chine （FSM） is adopted to do dynamically modeling of HITCNC. The complete separation between the software and the hardware is achieved in the HITCNC by applying the SoftSERCANS technique. The application of the above key techniques decreases the programming workload greatly, and uses software programs replacing hardware functions, which offers plenty technique ensures for the openness of HITCNC. Finally, based on the HITCNC, a three-dimensional milling system is established. On the system, series experiments are done to validate the expandability and interchangeability of HITCNC. The results of the experiments show that the established open architecture CNC system HITCNC is correct and feasible, and has good openness.展开更多
Another component in Pattern-Oriented and Model-Driven Architecture (POMA) is the concept of model generation. The generation code of models is the process of creating a source code from a model using generation rules...Another component in Pattern-Oriented and Model-Driven Architecture (POMA) is the concept of model generation. The generation code of models is the process of creating a source code from a model using generation rules. In this paper, we present the generation rules that are used to support the automated code generator of POMA architecture to generate the source code of the entire interactive system. These Platform-Specific Model (PSM) models are based on patterns which illustrate how several individual models of patterns can be generated at different levels of abstraction such as PSM models to source code in the development of interactive systems.展开更多
This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,a...This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,aquacultural and environmental systems.The challenging practical problem is to develop a framework for automatic generation of causally right and balance-based,unified models that can also be applied for the effective coupling amongst the various(sophisticated field-specific,sensor data processing-based,upper level optimization-driven,etc.)models.The scientific problem addressed in this innovation is to develop Programmable Process Structures(PPS)by combining functional basis of systems theory,structural approach of net theory and computational principles of agent based modeling.PPS offers a novel framework for the automatic generation of easily extensible and connectible,unified models for the underlying complex systems.PPS models can be generated from one state and one transition meta-prototypes and from the transition oriented description of process structure.The models consist of unified state and transition elements.The local program containing prototype elements,derived also from the meta-prototypes,are responsible for the case-specific calculations.The integrity and consistency of PPS architecture are based on the meta-prototypes,prepared to distinguish between the conservation-laws-based measures and the signals.The simulation is based on data flows amongst the state and transition elements,as well as on the unification based data transfer between these elements and their calculating prototypes.This architecture and its AI language-based(Prolog)implementation support the integration of various field-and task-specific models,conveniently.The better understanding is helped by a simple example.The capabilities of the recently consolidated general methodology are discussed on the basis of some preliminary applications,focusing on the recently studied agricultural and aquacultural cases.展开更多
为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建...为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建基于DS的复杂装备技术状态管理基本架构,设计DS元模型、DS模型、DS模式的建模方法,将国防部体系架构元模型(Department of Defense Architecture framework metamodel,DM2)进行复杂装备技术状态管理领域化重组为DS元模型,并通过领域元数据映射为DS模型,使其有序组织为适用于具体装备技术状态管理的DS模式。为验证所提方法的有效性,以运载火箭结构系统多视图物料清单(X bill of material,XBOM)为案例,开展基于DS的技术状态管理应用。结果表明,所提方法可为其技术状态管理提供兼具建模的一致性和可追溯性的实施方案,为复杂装备技术状态管理的领域模型配置提供指导性思路。展开更多
Plant root development is strongly affected by nutrient availability. Despite the importance of structure and function of roots in nutrient acquisition,statistical modeling approaches to evaluate dynamic and temporal ...Plant root development is strongly affected by nutrient availability. Despite the importance of structure and function of roots in nutrient acquisition,statistical modeling approaches to evaluate dynamic and temporal modulations of root system architecture in response to nutrient availability have remained as widely open and exploratory areas in root biology. In this study,we developed a statistical modeling approach to investigate modulations of root system architecture in response to nitrogen availability. Mathematical models were designed for quantitative assessment of root growth and root branching phenotypes and their dynamic relationships based on hierarchical con figuration of primary and lateral roots formulating the fishbone-shaped root system architecture in Arabidopsis thaliana. Time-series datasets reporting dynamic changes in root developmental traits on different nitrate or ammonium concentrations were generated for statistical analyses. Regression analyses unraveled key parameters associated with：（i） inhibition of primary root growth under nitrogen limitation or on ammonium;（ii） rapid progression of lateral root emergence in response to ammonium; and（iii） inhibition of lateral root elongation in the presence of excess nitrate or ammonium. This study provides a statistical framework for interpreting dynamic modulation of root system architecture,supported by metaanalysis of datasets displaying morphological responses of roots to diverse nitrogen supplies.展开更多
水面无人艇是海上有人/无人协同作战体系中重要的一环,对装备的保障性、可维修性要求较高,因此亟需建立与其装备体系相匹配的装备保障体系。为解决水面无人艇的保障体系设计问题,应用基于模型的系统工程(Model Based System Engineering...水面无人艇是海上有人/无人协同作战体系中重要的一环,对装备的保障性、可维修性要求较高,因此亟需建立与其装备体系相匹配的装备保障体系。为解决水面无人艇的保障体系设计问题,应用基于模型的系统工程(Model Based System Engineering,MBSE)方法,面向典型应用场景构建水面无人艇装备保障体系的多视图模型,并给出水面无人艇装备保障体系在仿真推演过程中的关键要素和基本流程,初步构建可靠性-能力-效能综合评估指标体系,实现了“作战任务-保障任务-保障能力需求-保障体系结构”的闭环验证,为水面无人艇装备体系和装备保障体系的协同设计和高效运用提供参考。展开更多
基金Fifth Electronic Research Institute of the Ministry of Industry and Information Technology(HK07202200877)Pre-research Project on Civil Aerospace Technologies of CNSA(D020101)+2 种基金Zhejiang Provincial Science and Technology Plan Project(2022C01052)Frontier Scientific Research Program of Deep Space Exploration Laboratory(2022-QYKYJHHXYF-018,2022-QYKYJH-GCXD-001)Zhiyuan Laboratory(ZYL2024001)。
文摘Model-based system-of-systems(SOS)engineering(MBSoSE)is becoming a promising solution for the design of SoS with increasing complexity.However,bridging the models from the design phase to the simulation phase poses significant challenges and requires an integrated approach.In this study,a unified requirement modeling approach is proposed based on unified architecture framework(UAF).Theoretical models are proposed which compose formalized descriptions from both topdown and bottom-up perspectives.Based on the description,the UAF profile is proposed to represent the SoS mission and constituent systems(CS)goal.Moreover,the agent-based simulation information is also described based on the overview,design concepts,and details(ODD)protocol as the complement part of the SoS profile,which can be transformed into different simulation platforms based on the eXtensible markup language(XML)technology and model-to-text method.In this way,the design of the SoS is simulated automatically in the early design stage.Finally,the method is implemented and an example is given to illustrate the whole process.
基金supported by the National Natural Science Foundation of China(61272011)
文摘In order to solve the problem that the ripple-effect analy- sis for the operational architecture of air defense systems （OAADS） is hardly described in quantity with previous modeling approaches, a supernetwork modeling approach for the OAADS is put for- ward by extending granular computing. Based on that operational units and links are equal to different information granularities, the supernetwork framework of the OAADS is constructed as a “four- network within two-layer” structure by forming dynamic operating coalitions, and measuring indexes of the ripple-effect analysis for the OAADS are given combining with Laplace spectral radius. In this framework, via analyzing multidimensional attributes which inherit relations between operational units in different granular scales, an extended granular computing is put forward integrating with a topological structure. Then the operation process within the supernetwork framework, including transformation relations be- tween two layers in the vertical view and mapping relations among functional networks in the horizontal view, is studied in quantity. As the application case shows, comparing with previous modeling approaches, the supernetwork model can validate and analyze the operation mechanism in the air defense architecture, and the ripple-effect analysis can be used to confirm the key operational unit with micro and macro viewpoints.
文摘China’s space technology has gradually improved from the early stages’ introduction, absorption and re-innovation based on backward design to independent innovation based on forward design. It is necessary to develop a new approach of systems engineering to improve the quality and efficiency of space systems design considering the large number of original design problems expected in the future. Adopting Model-Based Systems Engineering(MBSE) and Digital Twin method are important development initiatives in the field of modern engineering design. In the initial phase of system design, it is necessary to generate firm system architecture models based on the needs of stakeholders. The quality of the system design in this phase has a great impact on the detailed design and implementation for the subsequent system, and also plays an important role in the performance, development progress and cost of the whole system. Through the collaboration of cross-professional teams, modeling and model execution, comparing the model execution with expected results, MBSE has enabled digital model-level verification and validation before test verification and validation based on physical products, thus improving the design exactness, completeness and greatly reducing design errors or defects. This paper explores the logical ideas behind modeling of system architectures in order to promote the adoption of MBSE in the field of space systems.
基金National Natural Science Foundation of China(71690233,71971213,71901214)。
文摘Architecture framework has become an effective method recently to describe the system of systems(SoS)architecture,such as the United States(US)Department of Defense Architecture Framework Version 2.0(DoDAF2.0).As a viewpoint in DoDAF2.0,the operational viewpoint(OV)describes operational activities,nodes,and resource flows.The OV models are important for SoS architecture development.However,as the SoS complexity increases,constructing OV models with traditional methods exposes shortcomings,such as inefficient data collection and low modeling standards.Therefore,we propose an intelligent modeling method for five OV models,including operational resource flow OV-2,organizational relationships OV-4,operational activity hierarchy OV-5a,operational activities model OV-5b,and operational activity sequences OV-6c.The main idea of the method is to extract OV architecture data from text and generate interoperable OV models.First,we construct the OV meta model based on the DoDAF2.0 meta model(DM2).Second,OV architecture named entities is recognized from text based on the bidirectional long short-term memory and conditional random field(BiLSTM-CRF)model.And OV architecture relationships are collected with relationship extraction rules.Finally,we define the generation rules for OV models and develop an OV modeling tool.We use unmanned surface vehicles(USV)swarm target defense SoS architecture as a case to verify the feasibility and effectiveness of the intelligent modeling method.
基金supported by the National Natural Science Foundation of China(61273198)
文摘Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are gaining higher priority from CSES users when evaluating different modeling methodologies for CSES. Traditional CSES modeling methodologies are either domain-neutral (lack of domain characteristics consideration and limited support for model composability) or domain-oriented (lack of openness and evolvability) and fall short of the three NFRs. Inspired by the concept of architecture in systems engineering and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architecture-oriented modeling methodology in which the model architecture plays a central role in achieving the three NFRs. Various model-driven engineering (MDE) approaches and technologies, including simulation modeling platform (SMP), unified modeling language (UML), domain specific modeling (DSM), eclipse modeling framework (EMF), graphical modeling framework (GMF), and so forth, are applied where possible in representing the CSES model architecture and its components' behaviors from physical and cognitive domain aspects. A prototype CSES system, called weapon effectiveness simulation system (WESS), and a non-trivial air-combat simulation example are presented to demonstrate the methodology.
基金Project supported by the National High-Technology Research and Development Program of China(Grant No.8632003AA721070)
文摘Dynamic architecture of multi-agent systems （MAS） is important for critical systems. As the existing formal specifications of MAS cannot describe its dynamic architecture, a formal approach using n-calculus is presented, which is suited for the describing and analyzing of concurrent MAS with dynamic topology, n-calculus describes the belief-desireintention （BDI） model that represents agent＇s mental states and provides many useful facilities to analyze MAS model such as deadlock, behavior equivalence, and model checking. To illustrate the favorable representation capability of n-calculus, an example of dynamic multi-agent systems in e-commerce is provided. Finally, by using an existing n-calculus supporting tool, MAS model and some key behaviors properties are analyzed and verified.
基金the National Natural Science Foundation of China(61833012,61773162,61590924)the Natural Science Foundation of Shanghai(18ZR1420000)。
文摘This paper investigates the distributed model predictive control(MPC)problem of linear systems where the network topology is changeable by the way of inserting new subsystems,disconnecting existing subsystems,or merely modifying the couplings between different subsystems.To equip live systems with a quick response ability when modifying network topology,while keeping a satisfactory dynamic performance,a novel reconfiguration control scheme based on the alternating direction method of multipliers(ADMM)is presented.In this scheme,the local controllers directly influenced by the structure realignment are redesigned in the reconfiguration control.Meanwhile,by employing the powerful ADMM algorithm,the iterative formulas for solving the reconfigured optimization problem are obtained,which significantly accelerate the computation speed and ensure a timely output of the reconfigured optimal control response.Ultimately,the presented reconfiguration scheme is applied to the level control of a benchmark four-tank plant to illustrate its effectiveness and main characteristics.
文摘More than two decades ago, object-oriented representation of AEC （architecture engineering and construction） projects started to offer the promise of seamless communication of semantic data models between computer-based systems used from the design stage to the operation of the facilities. BIM （building information modelling） emerged and appeared as a means to store all relevant data generated during the life-cycle of the facilities. But this upstream view of the built environment, arising from the design and construction stages, extended to the downstream operations where building and industrial facilities appeared more and more as huge dynamic data producers and concentrators while being operated. This created new challenges leading to what is referred to as ISCs （intelligent and smart constructions）. The current state of the art is that final constructions still contain various and increasingly versatile control and service systems, which are hardly standardised, and not interconnected among themselves. Monitoring, maintenance and services are done by specialised companies, each responsible of different systems, which are relying on customised software and techniques to meet specific user needs and are based on monolithic applications that require manual configuration for specific uses, maintenance and support. We demonstrate in this paper that the early promises of integration across the actors and along the life-time of facilities have gone a long way but will only be delivered through enhanced standardisation of computerized models, representations, services and operations still not yet fully accomplished 25 years after work started.
基金This work was supported in part by the EPSRC under Grant GR/R13371/01.
文摘The Internet is playing an important role in information retrieval, and additionally industrial process manipulation. This paper describes an approach to writing requirements specifications for Internet-based control systems, from which architectures can be derived. The requirements specifications developed are described in terms of a functional model, which is then extended to form an information architecture. Distinct from the functional model, the information architecture provides an indication as to the architectural structure of subsequently developed Internet-based control systems. Three general control structures are generated from the analysis of an information architecture. An integrated-distributed architecture is derived as an ideal implementation, in which a control system is linked to the Internet at all levels of a control system hierarchy.
基金Supported by National High Technology Research and Develop Program of China(No.2012AA012301)National Science and Technology Major Project of China(No.2013ZX03006004)
文摘This paper addresses the issue of designing the detailed architectures of Field-Programmable Gate Arrays(FPGAs), which has a great impact on the overall performances of an FPGA in practice. Firstly, a novel FPGA architecture description model is proposed based on an easy-to-use file format known as YAML. This format permits the description of any detailed architecture of hard blocks and channels. Then a general algorithm of building FPGA resource graph is presented. The proposed model is scalable and capable of dealing with detailed architecture design and can be used in FPGA architecture evaluation system which is developed to enable detailed architecture design. Experimental results show that a maximum of 16.36% reduction in total wirelength and a maximum of 9.34% reduction in router effort can be obtained by making very little changes to detailed architectures, which verifies the necessity and effectiveness of the proposed model.
基金This project is supported by Provincial Science & Technology Projoct of Heilongjiang, China (No. GB05A501).
文摘Aiming at the characteristics of modularity and reconfigurable in open architecture computer numerical control （CNC） system, the open architecture CNC system, Harbin Institute of Tech- nology computer numerical control （HITCNC）, is researched and manufactured based on the interface standards. The system＇s external interfaces are coincident with the corresponding international standards, and the internal interfaces follow the open modular architecture controller （OMAC） agreement. In the research and manufacturing process, object-oriented technology is used to ensure the openness of the HITCNC, and static programming is applied in the CNC system according to the idea of modularization disassembly. The HITCNC also actualizes real-time and unreal-time modules adopting real-time dynamical linked library （RTDLL） and component object model （COM）. Finite state ma- chine （FSM） is adopted to do dynamically modeling of HITCNC. The complete separation between the software and the hardware is achieved in the HITCNC by applying the SoftSERCANS technique. The application of the above key techniques decreases the programming workload greatly, and uses software programs replacing hardware functions, which offers plenty technique ensures for the openness of HITCNC. Finally, based on the HITCNC, a three-dimensional milling system is established. On the system, series experiments are done to validate the expandability and interchangeability of HITCNC. The results of the experiments show that the established open architecture CNC system HITCNC is correct and feasible, and has good openness.
文摘Another component in Pattern-Oriented and Model-Driven Architecture (POMA) is the concept of model generation. The generation code of models is the process of creating a source code from a model using generation rules. In this paper, we present the generation rules that are used to support the automated code generator of POMA architecture to generate the source code of the entire interactive system. These Platform-Specific Model (PSM) models are based on patterns which illustrate how several individual models of patterns can be generated at different levels of abstraction such as PSM models to source code in the development of interactive systems.
文摘This research paper defines the theoretical foundations and computational implementation of a non-conventional modeling and simulation methodology,inspired by the needs of problem solving for biological,agricultural,aquacultural and environmental systems.The challenging practical problem is to develop a framework for automatic generation of causally right and balance-based,unified models that can also be applied for the effective coupling amongst the various(sophisticated field-specific,sensor data processing-based,upper level optimization-driven,etc.)models.The scientific problem addressed in this innovation is to develop Programmable Process Structures(PPS)by combining functional basis of systems theory,structural approach of net theory and computational principles of agent based modeling.PPS offers a novel framework for the automatic generation of easily extensible and connectible,unified models for the underlying complex systems.PPS models can be generated from one state and one transition meta-prototypes and from the transition oriented description of process structure.The models consist of unified state and transition elements.The local program containing prototype elements,derived also from the meta-prototypes,are responsible for the case-specific calculations.The integrity and consistency of PPS architecture are based on the meta-prototypes,prepared to distinguish between the conservation-laws-based measures and the signals.The simulation is based on data flows amongst the state and transition elements,as well as on the unification based data transfer between these elements and their calculating prototypes.This architecture and its AI language-based(Prolog)implementation support the integration of various field-and task-specific models,conveniently.The better understanding is helped by a simple example.The capabilities of the recently consolidated general methodology are discussed on the basis of some preliminary applications,focusing on the recently studied agricultural and aquacultural cases.
文摘为保障复杂装备技术状态管理的有效集成和多方协同,实现技术状态管理业务数据的双重有序管控,提出基于领域系统(domain system,DS)的建模架构和设计方法。通过引入基于模式的系统工程(pattern-based system engineering,PBSE)框架,构建基于DS的复杂装备技术状态管理基本架构,设计DS元模型、DS模型、DS模式的建模方法,将国防部体系架构元模型(Department of Defense Architecture framework metamodel,DM2)进行复杂装备技术状态管理领域化重组为DS元模型,并通过领域元数据映射为DS模型,使其有序组织为适用于具体装备技术状态管理的DS模式。为验证所提方法的有效性,以运载火箭结构系统多视图物料清单(X bill of material,XBOM)为案例,开展基于DS的技术状态管理应用。结果表明,所提方法可为其技术状态管理提供兼具建模的一致性和可追溯性的实施方案,为复杂装备技术状态管理的领域模型配置提供指导性思路。
基金supported in part by the National Science Foundation(IOS-1444549 to H.T.)the Deutsche Forschungsgemeinschaft(WI1728/13-1 to N.v.W.)Grants-in-aid for Scientific Research from the Ministry of Education,Culture,Sports,Science,and Technology of Japan(T.K.)
文摘Plant root development is strongly affected by nutrient availability. Despite the importance of structure and function of roots in nutrient acquisition,statistical modeling approaches to evaluate dynamic and temporal modulations of root system architecture in response to nutrient availability have remained as widely open and exploratory areas in root biology. In this study,we developed a statistical modeling approach to investigate modulations of root system architecture in response to nitrogen availability. Mathematical models were designed for quantitative assessment of root growth and root branching phenotypes and their dynamic relationships based on hierarchical con figuration of primary and lateral roots formulating the fishbone-shaped root system architecture in Arabidopsis thaliana. Time-series datasets reporting dynamic changes in root developmental traits on different nitrate or ammonium concentrations were generated for statistical analyses. Regression analyses unraveled key parameters associated with：（i） inhibition of primary root growth under nitrogen limitation or on ammonium;（ii） rapid progression of lateral root emergence in response to ammonium; and（iii） inhibition of lateral root elongation in the presence of excess nitrate or ammonium. This study provides a statistical framework for interpreting dynamic modulation of root system architecture,supported by metaanalysis of datasets displaying morphological responses of roots to diverse nitrogen supplies.
文摘水面无人艇是海上有人/无人协同作战体系中重要的一环,对装备的保障性、可维修性要求较高,因此亟需建立与其装备体系相匹配的装备保障体系。为解决水面无人艇的保障体系设计问题,应用基于模型的系统工程(Model Based System Engineering,MBSE)方法,面向典型应用场景构建水面无人艇装备保障体系的多视图模型,并给出水面无人艇装备保障体系在仿真推演过程中的关键要素和基本流程,初步构建可靠性-能力-效能综合评估指标体系,实现了“作战任务-保障任务-保障能力需求-保障体系结构”的闭环验证,为水面无人艇装备体系和装备保障体系的协同设计和高效运用提供参考。
