CN107944095A - A kind of hierarchical system integration design setting model method - Google Patents

A kind of hierarchical system integration design setting model method Download PDF

Info

Publication number
CN107944095A
CN107944095A CN201711081518.2A CN201711081518A CN107944095A CN 107944095 A CN107944095 A CN 107944095A CN 201711081518 A CN201711081518 A CN 201711081518A CN 107944095 A CN107944095 A CN 107944095A
Authority
CN
China
Prior art keywords
function
functional
model
design
behavior
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201711081518.2A
Other languages
Chinese (zh)
Inventor
刘继红
王树德
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Beihang University
Original Assignee
Beihang University
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Beihang University filed Critical Beihang University
Priority to CN201711081518.2A priority Critical patent/CN107944095A/en
Publication of CN107944095A publication Critical patent/CN107944095A/en
Pending legal-status Critical Current

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/20Design optimisation, verification or simulation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2111/00Details relating to CAD techniques
    • G06F2111/20Configuration CAD, e.g. designing by assembling or positioning modules selected from libraries of predesigned modules

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

The present invention relates to a kind of hierarchical system integration design setting model method, predefined by conceptual design model storehouse, demand classification modeling, the functional requirement analysis based on use-case, systemic-function modeling, five steps of behaviour structure mapping in a variety of paths realize the Unify legislation of the demand to conceptual design of system model, function, behavior and structural information, the present invention has the advantages that formalization, object-oriented, patterned, it is possible to increase the efficiency of conceptual design of system.

Description

A kind of hierarchical system integration design setting model method
Technical field
The invention belongs to the research contents in computer-aided system design field, it is more particularly related to a kind of Hierarchical system integration design setting model method.
Background technology
The Systematization method research of Complex Product Development is the product for being combined product design and system engineering, it develops It is long-standing, general description is usually carried out as starting point using design process, and then probe into during this and complete each task Required specific steps form detailed process approach.Typical system research and development process includes four-stage:Task is illustrated, is said It is bright and define design objective;Conceptual design, defines the allomeric function and subfunction of product systems, forms functional structure;Tentatively set Meter and detailed design, so as to generate designing scheme.
Although in different engineering fields, there is the mistake much with the difference of task in above-mentioned conceptual design process Top-down design process is employed in journey model, such as Mechatronic Systems engineering mutually to tie with bottom-up integrated verification process " V " model closed.This is because it is related to multidisciplinary problem, and it is more complicated than the design process of common product, to reduce research and development failure Risk, the importance of Complex Mechatronic Products conceptual design is self-evident.
There is expression diversity in existing conceptual design descriptive model, the monistic feature of target, lacks unified description The characteristic information (demand, function, behavior and structure etc.) of different aspect in design can be combined together by model, be formed integrated Product concept visual angle, and feasible Conceptual Design is generated by the continuous iteration of the system model, evolution, to alternative Optimal case solution is selected after carrying out evaluation decision, as the information source in follow-up detailed design phase.
The content of the invention
The purpose of the present invention is overcoming the deficiencies of the prior art and provide a kind of hierarchical system integration design setting model method, Effective method is provided for engineering field conceptual design of system process.
A kind of hierarchical system integration design setting model method of the present invention, comprises the following steps:
The predefined step in conceptual design model storehouse:Being imported according to the design objective of different subject product systems structure is made Demand model storehouse, functional model library, behavior model storehouse and structural model storehouse, graphically carry out model library using SysML Unified Expression;
The step of demand classification models:System requirements are patterned with modeling from the overall angle of system;
The step of functional requirement based on use-case is analyzed:From user perspective, pass through the master of use case analysis identification product Function is wanted, defines system boundary;
The step of systemic-function models:Designer is analyzed to identify input, the type that output is flowed and number for particular case Amount, carries out allomeric function identification with definition and based on flow port two basic processes of matched Function Decomposition, output is only comprising original The system functional model of subfunction;
The step of function- behavior- structure mapping in a variety of paths:Achievable atom work(is inferred to obtained functional structure The physical arrangement of energy, and the contact between fabric port is established, form complete conceptual design of system scheme.
The first as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein according to different subjects It is the step of demand model storehouse used in the design objective structure importing of product systems:
It will be modeled using the document formula demand of natural language description, in the modeling tool for supporting SysML language Direct construction demand model storehouse, by demand model storehouse according to functional requirement, operational requirements, performance requirement, interface requirements to wrap Formal classification is stored in the file of single specific format, each requirement elements by two base attributes " Id " and " Text " is represented.
Second as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein according to different subjects It is the step of functional model library used in the design objective structure importing of product systems:
Basic atomic function is decomposed into a four-tuple, including functional identity, inlet flow f_in, Functional Unit p, output stream F_out, using the functional expression mode of " Functional Unit+flow object ", is subdivided into three-decker expression by Functional Unit, is thing by flow point Material, energy and signal three major types.
The third as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein according to different subjects It is the step of behavior model storehouse used in the design objective structure importing of product systems:
Behavior layer is divided into two aspects of anticipatory behavior and agenda, using the combination of " physics law+input and output " Form is indicated anticipatory behavior, physics law is carried out with the constrained attributes of structural model it is corresponding, by iostream with The input and output of function correspond to, and the relation between structural parameters variable and variable is indicated by equation;
The anticipatory behavior is the fundamental problems that systemic-function is realized from abstract aspect, by the type and category of flow object Property change be considered as the change of its physical state, and the change follows certain physics law, and the agenda is structure mould The physical behavio(u)r of block.
The 4th kind as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein according to different subjects Product systems design objective structure import used in structural model storehouse step be:
Systemic-function and behavior model are mapped, output system structural design scheme, is then tested by entry evaluation The reasonability of card scheme.
The 5th kind as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein based on flow port The step of Function Decomposition matched somebody with somebody is:
Functional Unit is judged, according to the iostream comparing result of Functional Unit, if more in the type of stream, attribute It is as soon as according to the Functional Unit for the definition that standardizes before and the layer representation method of flow object, system is overall in changing Function Decomposition is refined as the functional mode of three abstraction hierarchies.
The 6th kind as a kind of hierarchical system integration design setting model method of the present invention is preferred, wherein to obtained function Structure inferring goes out the physical arrangement of achievable atomic function, and establishes the contact between fabric port, and it is general to form complete system The step of reading designing scheme be:
First, atomic function judgement is carried out to the function of input, after judgement meets mapping condition, carries out function-structure Directly map, the port of the type and attribute to the iostream of atomic function and predefined physical arrangement carries out matching behaviour Make, identical for the type of stream, attribute does not have the then successful match of range conflicts, otherwise fails, then, by the defeated of atomic function Enter output stream to be matched again with the flow object attribute in anticipatory behavior, decision condition is same as described above, for successful match Situation, will continue to carry out third time matching with the constrained attributes of the physical effect attribute of anticipatory behavior and predefined structure, into Work(then terminates, and otherwise enters together with the atomic function for not matching anticipatory behavior and matches next time, if it is possible to finds input The material flow attribute change of output and the material property of physical arrangement meet functional requirement, then according to this material searches physics knot Structure, if this process equally fails, carries out manual intervention, and being realized by the design experiences autonomous Design structure of domain expert should Function.
The beneficial effects of the invention are as follows overcome existing multidisciplinary complex product conceptual design field expression diversity, target Unicity, lack the shortcomings that unified descriptive model, and the present invention can be to the demand, function, behavior of conceptual design of system model Unify legislation is carried out with structure, there is formalization, object-oriented, patterned, improve the efficiency of conceptual design of system.
Brief description of the drawings
Fig. 1 is to carry out hierarchical system integration design setting model flow chart to multidisciplinary complex product;
Fig. 2 is function- behavior- structure mapping flow chart;
Fig. 3 is luggage case cover demand model;
Fig. 4 is luggage-boot lid use-case;
Fig. 5 is to close case lid function as a whole;
Fig. 6 is to close case lid functional mode;
Embodiment
Embodiment one:With reference to shown in Fig. 1, present embodiment is a kind of hierarchical system integration design setting model side Method, comprises the following steps:
The predefined step in conceptual design model storehouse:Being imported according to the design objective of different subject product systems structure is made Demand model storehouse, functional model library, behavior model storehouse and structural model storehouse, graphically carry out model library using SysML Unified Expression;
The step of demand classification models:System requirements are patterned with modeling from the overall angle of system;
The step of functional requirement based on use-case is analyzed:From user perspective, pass through the master of use case analysis identification product Function is wanted, defines system boundary;
The step of systemic-function models:Designer is analyzed to identify input, the type that output is flowed and number for particular case Amount, carries out allomeric function identification with definition and based on flow port two basic processes of matched Function Decomposition, output is only comprising original The system functional model of subfunction;
The step of function- behavior- structure mapping in a variety of paths:Achievable atom work(is inferred to obtained functional structure The physical arrangement of energy, and the contact between fabric port is established, form complete conceptual design of system scheme.
Embodiment two:Present embodiment is that the further of embodiment one is limited, wherein according to different subjects It is the step of demand model storehouse used in the design objective structure importing of product systems:
It will be modeled using the document formula demand of natural language description, in the modeling tool for supporting SysML language Direct construction demand model storehouse, by demand model storehouse according to functional requirement, operational requirements, performance requirement, interface requirements to wrap Formal classification is stored in the file of single specific format, each requirement elements by two base attributes " Id " and " Text " is represented.
Embodiment three:Present embodiment is that the further of embodiment two is limited, wherein according to different subjects It is the step of functional model library used in the design objective structure importing of product systems:
Basic atomic function is decomposed into a four-tuple, including functional identity, inlet flow f_in, Functional Unit p, output stream F_out, using the functional expression mode of " Functional Unit+flow object ", is subdivided into three-decker expression by Functional Unit, is thing by flow point Material, energy and signal three major types.
Embodiment four:Present embodiment is that the further of embodiment three is limited, wherein according to different subjects It is the step of behavior model storehouse used in the design objective structure importing of product systems:
Behavior layer is divided into two aspects of anticipatory behavior and agenda, using the combination of " physics law+input and output " Form is indicated anticipatory behavior, physics law is carried out with the constrained attributes of structural model it is corresponding, by iostream with The input and output of function correspond to, and the relation between structural parameters variable and variable is indicated by equation;
The anticipatory behavior is the fundamental problems that systemic-function is realized from abstract aspect, by the type of flow object and Attribute change is considered as the change of its physical state, and the change follows certain physics law, and the agenda is structure The physical behavio(u)r of module.
Embodiment five:Present embodiment is that the further of embodiment four is limited, wherein according to different subjects Product systems design objective structure import used in structural model storehouse step be:
Systemic-function and behavior model are mapped, output system structural design scheme, is then tested by entry evaluation The reasonability of card scheme.
Embodiment six:Present embodiment is that the further of embodiment five is limited, wherein based on flow port The step of Function Decomposition matched somebody with somebody is:
Functional Unit is judged, according to the iostream comparing result of Functional Unit, if more in the type of stream, attribute It is as soon as according to the Functional Unit for the definition that standardizes before and the layer representation method of flow object, system is overall in changing Function Decomposition is refined as the functional mode of three abstraction hierarchies.
Embodiment seven:With reference to shown in Fig. 2, present embodiment is that the further of embodiment six is limited, wherein The physical arrangement of achievable atomic function is inferred to obtained functional structure, and establishes the contact between fabric port, is formed Completely the step of conceptual design of system scheme is:
First, atomic function judgement is carried out to the function of input, after judgement meets mapping condition, carries out function-structure Directly map, the port of the type and attribute to the iostream of atomic function and predefined physical arrangement carries out matching behaviour Make, identical for the type of stream, attribute does not have the then successful match of range conflicts, otherwise fails, then, by the defeated of atomic function Enter output stream to be matched again with the flow object attribute in anticipatory behavior, decision condition is same as described above, for successful match Situation, will continue to carry out third time matching with the constrained attributes of the physical effect attribute of anticipatory behavior and predefined structure, into Work(then terminates, and otherwise enters together with the atomic function for not matching anticipatory behavior and matches next time, if it is possible to finds input The material flow attribute change of output and the material property of physical arrangement meet functional requirement, then according to this material searches physics knot Structure, if this process equally fails, carries out manual intervention, and being realized by the design experiences autonomous Design structure of domain expert should Function.
Below by specific embodiment, the present invention is described in further details, it will be appreciated that described herein specific Embodiment only to explain the present invention, is not intended to limit the present invention.
By a simple mechanical system --- exemplified by the design setting model process of car trunk cover, its demand model is such as Shown in Fig. 3
Third step, the functional requirement analysis based on use-case:From user perspective, the operation to case lid can be summarized Use-case, wherein, operation including closing and opening two kinds of modes of operation, unloads case lid and is although not belonging to normal operating use-case model again Farmland, but the extension use-case to operation is construed as, drawn it is possible thereby to analyze, which, which has, closes, opens, unloading three Main systemic-function, as shown in Figure 4.
Four steps, systemic-function modeling:Exemplified by closing case lid this major function, its input and output can be carried out Judge, definition simultaneously mathematics library expression, as shown in Figure 5.
Fig. 6 is the subfunction structure chart obtained after closing luggage case cover top-level functionality defined above is decomposed.For closing For closed box lid function, overall input, the output situation of function, then since input, the inside of analytic function are defined first Structure, when case lid is as input here, considers that it is fixedly connected, next considers its motion conditions, it can be seen that in structure first When building functional structure, the logical relation of selective analysis to operate inlet flow, according to basic logic relation, compares function element type Matched, such as connection, guiding.Similarly, from the input angle of manpower, judged according to the action direction of power, Ke Yifa Existing three subfunctions can be completed to match.
5th step:The function- behavior- structure mapping in a variety of paths:It is relatively easy to close case lid functional structure, for case The function of lid-structure mapping result is it will be apparent that it can be learnt that, closing function needs by the subfunction name in functional diagram The physical arrangements such as canvas, nail, metallic plate, case lid are wanted, that is, complete complete system modelling process.
The above description is merely a specific embodiment, and protection scope of the present invention is not limited thereto, for this It for the those of ordinary skill of field, can according to the above description be not added with creatively being improved or converting, and all these change Into and conversion should all belong to the protection domains of appended claims of the present invention.

Claims (7)

  1. A kind of 1. hierarchical system integration design setting model method, it is characterised in that include the following steps:
    The predefined step in conceptual design model storehouse:According to used in importing the design objective of different subject product systems structure Demand model storehouse, functional model library, behavior model storehouse and structural model storehouse, graphically carry out model library using SysML unification Expression;
    The step of demand classification models:System requirements are patterned with modeling from the overall angle of system;
    The step of functional requirement based on use-case is analyzed:From user perspective, pass through the main work(of use case analysis identification product Can, define system boundary;
    The step of systemic-function models:Designer is analyzed to identify input for particular case, exports the type and quantity of stream, into Row allomeric function identifies with definition and only includes atomic function based on flow port two basic processes of matched Function Decomposition, output System functional model;
    The step of function- behavior- structure mapping in a variety of paths:Achievable atomic function is inferred to obtained functional structure Physical arrangement, and the contact between fabric port is established, form complete conceptual design of system scheme.
  2. A kind of 2. hierarchical system integration design setting model method according to claim 1, it is characterised in that the basis It is the step of demand model storehouse used in the design objective structure importing of different subject product systems:
    It will be modeled using the document formula demand of natural language description, in the modeling tool for supporting SysML language directly Demand model storehouse is built, by demand model storehouse according to functional requirement, operational requirements, performance requirement, interface requirements in the form of wrapping Classification storage in the file of single specific format, each requirement elements by two base attributes " Id " and " Text " come Represent.
  3. A kind of 3. hierarchical system integration design setting model method according to claim 2, it is characterised in that the basis It is the step of functional model library used in the design objective structure importing of different subject product systems:
    Basic atomic function is decomposed into a four-tuple, including functional identity, inlet flow f_in, Functional Unit p, output stream f_ Out, using the functional expression mode of " Functional Unit+flow object ", is subdivided into three-decker expression by Functional Unit, is thing by flow point Material, energy and signal three major types.
  4. A kind of 4. hierarchical system integration design setting model method according to claim 3, it is characterised in that the basis It is the step of behavior model storehouse used in the design objective structure importing of different subject product systems:
    Behavior layer is divided into two aspects of anticipatory behavior and agenda, using the combining form of " physics law+input and output " Anticipatory behavior is indicated, physics law is carried out with the constrained attributes of structural model it is corresponding, by iostream and function Input and output correspond to, the relation between structural parameters variable and variable is indicated by equation;
    The anticipatory behavior is the fundamental problems that systemic-function is realized from abstract aspect, by the type and attribute of flow object Change is considered as the change of its physical state, and the change follows certain physics law, and the agenda is construction module Physical behavio(u)r.
  5. A kind of 5. hierarchical system integration design setting model method according to claim 4, it is characterised in that the basis Different subject product systems design objective structure import used in structural model storehouse step be:
    Systemic-function and behavior model are mapped, output system structural design scheme, then passes through entry evaluation authentication The reasonability of case.
  6. A kind of 6. hierarchical system integration design setting model method according to claim 5, it is characterised in that it is described based on The step of flow port matched Function Decomposition is:
    Functional Unit is judged, according to the iostream comparing result of Functional Unit, if being more than one in the type of stream, attribute Item changes, just according to the Functional Unit for the definition that standardizes before and the layer representation method of flow object, by system allomeric function It is decomposed and refined into the functional mode of three abstraction hierarchies.
  7. 7. a kind of hierarchical system integration design setting model method according to claim 6, it is characterised in that described to obtaining To functional structure infer the physical arrangement of achievable atomic function, and establish the contact between fabric port, formed complete Conceptual design of system scheme the step of be:
    First, atomic function judgement is carried out to the function of input, after judgement meets mapping condition, carries out the direct of function-structure Mapping, the port of type and attribute and predefined physical arrangement to the iostream of atomic function carries out matching operation, right Identical in the type of stream, attribute does not have the then successful match of range conflicts, otherwise fails, then, the input of atomic function is defeated Go out stream to be matched again with the flow object attribute in anticipatory behavior, decision condition is same as described above, for the feelings of successful match Condition, will continue to carry out third time matching with the constrained attributes of the physical effect attribute of anticipatory behavior and predefined structure, it is successful then Terminate, otherwise enter together with the atomic function for not matching anticipatory behavior and match next time, if it is possible to find input and output Material flow attribute change and the material property of physical arrangement meet functional requirement, then according to this material searches physical arrangement, such as This process of fruit equally fails, then carries out manual intervention, and the function is realized by the design experiences autonomous Design structure of domain expert.
CN201711081518.2A 2017-11-07 2017-11-07 A kind of hierarchical system integration design setting model method Pending CN107944095A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201711081518.2A CN107944095A (en) 2017-11-07 2017-11-07 A kind of hierarchical system integration design setting model method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201711081518.2A CN107944095A (en) 2017-11-07 2017-11-07 A kind of hierarchical system integration design setting model method

Publications (1)

Publication Number Publication Date
CN107944095A true CN107944095A (en) 2018-04-20

Family

ID=61934370

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201711081518.2A Pending CN107944095A (en) 2017-11-07 2017-11-07 A kind of hierarchical system integration design setting model method

Country Status (1)

Country Link
CN (1) CN107944095A (en)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108595855A (en) * 2018-04-28 2018-09-28 北京航空航天大学 A kind of function system model building method based on improvement generalized directed graph
CN110321580A (en) * 2019-03-13 2019-10-11 北京宇航系统工程研究所 A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE
CN110717059A (en) * 2019-09-22 2020-01-21 南京信易达计算技术有限公司 Quantum mechanics compression graphical system and method based on web
CN111061233A (en) * 2019-12-10 2020-04-24 北京慧虹远航科技有限公司 Design method and device for industrial control system and storage medium
CN112068805A (en) * 2020-09-02 2020-12-11 中国航空无线电电子研究所 Demand development method

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102393635A (en) * 2011-07-07 2012-03-28 浙江大学 Multidomain complex product system layer behavior modeling method based on SysML
US20140214396A1 (en) * 2013-01-28 2014-07-31 International Business Machines Corporation Specification properties creation for a visual model of a system
CN105303004A (en) * 2015-11-30 2016-02-03 上海电机学院 Meta object mechanism driven complex system top layer design method
US20160188752A1 (en) * 2014-12-24 2016-06-30 International Business Machines Corporation Defining reusable metrics for architectural optimization
CN106096126A (en) * 2016-06-08 2016-11-09 华东师范大学 A kind of modeling method of information physical emerging system based on SysML/MARTE
CN106125573A (en) * 2016-06-22 2016-11-16 陕西宝成航空仪表有限责任公司 Aircraft nose wheel Servo Control box method for designing based on graphical model

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN102393635A (en) * 2011-07-07 2012-03-28 浙江大学 Multidomain complex product system layer behavior modeling method based on SysML
US20140214396A1 (en) * 2013-01-28 2014-07-31 International Business Machines Corporation Specification properties creation for a visual model of a system
US20160188752A1 (en) * 2014-12-24 2016-06-30 International Business Machines Corporation Defining reusable metrics for architectural optimization
CN105303004A (en) * 2015-11-30 2016-02-03 上海电机学院 Meta object mechanism driven complex system top layer design method
CN106096126A (en) * 2016-06-08 2016-11-09 华东师范大学 A kind of modeling method of information physical emerging system based on SysML/MARTE
CN106125573A (en) * 2016-06-22 2016-11-16 陕西宝成航空仪表有限责任公司 Aircraft nose wheel Servo Control box method for designing based on graphical model

Non-Patent Citations (4)

* Cited by examiner, † Cited by third party
Title
WEI WAN ET.AL: "Automated transformation of design text ROM diagram into SysML models", 《ADVANCED ENGINEERING INFORMATICS》 *
李新光等: "基于 SysML 的系统设计-仿真模型可视化转换", 《计算机辅助设计与图形学学报》 *
王西超: "飞行控制系统数字化设计顶层建模与模型集成技术研究", 《中国博士学位论文全文数据库工程科技Ⅱ辑(月刊)》 *
蒋彩云等: "SysML:一种新的系统建模语言", 《系统仿真学报》 *

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108595855A (en) * 2018-04-28 2018-09-28 北京航空航天大学 A kind of function system model building method based on improvement generalized directed graph
CN110321580A (en) * 2019-03-13 2019-10-11 北京宇航系统工程研究所 A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE
CN110717059A (en) * 2019-09-22 2020-01-21 南京信易达计算技术有限公司 Quantum mechanics compression graphical system and method based on web
CN111061233A (en) * 2019-12-10 2020-04-24 北京慧虹远航科技有限公司 Design method and device for industrial control system and storage medium
CN111061233B (en) * 2019-12-10 2021-05-14 北京慧虹远航科技有限公司 Design method and device for industrial control system and storage medium
CN112068805A (en) * 2020-09-02 2020-12-11 中国航空无线电电子研究所 Demand development method
CN112068805B (en) * 2020-09-02 2024-05-03 中国航空无线电电子研究所 Demand development method

Similar Documents

Publication Publication Date Title
CN107944095A (en) A kind of hierarchical system integration design setting model method
Felfernig et al. Conceptual modeling for configuration of mass-customizable products
Wan et al. Functional model-based design methodology for automotive cyber-physical systems
CN103488568B (en) A kind of embedded software credible attribute modeling and verification method
He et al. Preliminary exploration on digital twin for power systems: Challenges, framework, and applications
Mital et al. Handbook of expert systems applications in manufacturing structures and rules
Cimino et al. Harmonising and integrating the Digital Twins multiverse: A paradigm and a toolset proposal
Brodsky et al. Analysis and optimization in smart manufacturing based on a reusable knowledge base for process performance models
Abbas Test-based falsification and conformance testing for cyber-physical systems
Dressler et al. A toolbox integrating model-based diagnosability analysis and automated generation of diagnostics
Courcelle On the Expression of Graph Properties in some Fragments of Monadic Second-Order Logic.
Imeson et al. A language for robot path planning in discrete environments: The TSP with Boolean satisfiability constraints
Zhu et al. Inconsistency measurement of software requirements specifications: An ontology-based approach
Yuan et al. Pattern-based integration of system optimization in mechatronic system design
Telerman et al. Subdefinite models as a variety of constraint programming
Marek et al. Logic programming with costs
da Costa et al. Formal feature interpretation of hybrid systems
Balkhair Development of a multi-layer V-model design process and computational tools for mechatronic conceptual design
Schätz Combining product lines and model-based development
Samer et al. Constraint satisfaction with bounded treewidth revisited
Xia et al. Design and implementation of automatic verification for PLC systems
Acampora et al. Visualjfml: A visual environment for designing fuzzy systems according to ieee std 1855-2016
Ablonskis et al. Discovery of complex model implementation patterns in source code
Jozwiak Quality-driven system-on-a-chip design
Hamraz et al. FBS linkage model–Towards an integrated engineering change prediction and analysis method

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication

Application publication date: 20180420

RJ01 Rejection of invention patent application after publication