CN110321580A - A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE - Google Patents
A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE Download PDFInfo
- Publication number
- CN110321580A CN110321580A CN201910196659.1A CN201910196659A CN110321580A CN 110321580 A CN110321580 A CN 110321580A CN 201910196659 A CN201910196659 A CN 201910196659A CN 110321580 A CN110321580 A CN 110321580A
- Authority
- CN
- China
- Prior art keywords
- verifying
- design scheme
- top layer
- model
- sysml
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/10—Geometric CAD
- G06F30/15—Vehicle, aircraft or watercraft design
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Geometry (AREA)
- General Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Aviation & Aerospace Engineering (AREA)
- Computational Mathematics (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Pure & Applied Mathematics (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- General Engineering & Computer Science (AREA)
- Automation & Control Theory (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
It is a kind of based on system engineering (the Model-Based Systems Engineering based on model, hereinafter referred to as MBSE) top layer system design scheme verifying, optimization and appraisal procedure, the present invention relates to a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE, according to using certain aircraft as the demand of the complex product top layer system design scheme design and analysis of representative, in conjunction with the system engineering theory based on model, the verifying of top layer system design scheme, optimization and appraisal procedure are proposed.It is of the invention to be mainly characterized by describing top layer system with SysML with graphical model, design scheme is visual in image, system structure and function clear and definite, and SysML model is converted into Petri net model progress Simulation Evaluation by rule and is optimized, appraisal procedure dynamic is effective.
Description
Technical field
The present invention relates to a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE, according to certain
Aircraft is the demand of the complex product top layer system design scheme design and analysis of representative, in conjunction with the system engineering based on model
Theory proposes the verifying of top layer system design scheme, optimization and appraisal procedure, in the design process, as desired, function and knot
The sequence of structure describes top layer system design scheme, and the proof scheme in modeling process with SysML, and by part in SysML
Model conversion is that Petri net model carries out Simulation Evaluation, according to assessment result optimizing design scheme.
Background technique
The design of aircraft top layer system is a complicated system engineering.The design of aircraft top layer system relates to geometry
The subjects such as, aerodynamics, propulsive force, ballistics, calorifics, Structural Dynamics, control, assembly, cost.Traditional
Top layer system design scheme is existed in the form of the document of enormous amount in complex product development process, it is difficult to be assessed and be determined
The integrality and consistency of information, it is difficult to describe various activities and its interaction, it is difficult to be verified, optimized and be assessed.MBSE is
Performance model describes top layer system design scheme, can inconsistent and mistake in reduction scheme, and improve different field personnel it
Between interaction capabilities, and model can be analyzed and be verified.
Model can be established using SysML modeling language to describe top layer system design scheme.SysML is a kind of general
Mathematics library language supports description, design and analysis, verifying and the confirmation of complication system, strong to System describe ability, specification
Change and standardize, has friendly user interface, can effectively describe system.But SysML also has deficiency, mainly has to dynamic
In terms of states model lacks effective verifying and analysis method, system dynamic model precedence diagram, state diagram lack tight effective
Verifying and analysis method, which results in the verifyings of the model of Top-layer Design Method and emulation to become urgent problem to be solved.
Petri network has rigorous Mathematical Method as a kind of modeling tool, existing intuitive graphical representation, no
It is only capable of the static characteristic of description system, can also describe the dynamic characteristic of system, is particularly suitable for description and contains concurrent, asynchronous and divide
The complication system of cloth feature.Therefore Petri network and SysML combined in design a model verifying and simulation stage of top layer system,
The simulating, verifying work for carrying out Top-layer Design Method model, verifies the reasonability of demand and the completeness of overall objective, so that
Petri network and SysML can play respective advantage, meet the needs of system modelling and verifying.
By the research and analysis to SysML model and Petri network, Petri network has stringent formal definitions, and
SysML has friendly user interface；Petri network can directly analyze verifying system, and SysML can effectively describe be
System；Petri net model is good at simulation system, and SysML model can easily program realization.It therefore can be by Petri
Net and SysML are combined, and mapping relations are established between SysML and Petri network, and two methods is made full use of to complement one another
Characteristic, so that Petri network and SysML can play respective advantage, meet the needs of system modelling and verifying, be right
The simulating, verifying and top layer model of Top-layer Design Method model and the dynamic state of parameters mapping of lower layer field Professional Model provide a kind of effective
Solution route.
Top layer modelling personnel can be modeled using SysML figure first, and recycling SysML model conversion is to correspond to
Petri net model rule, SysML figure is converted into Petri network, using Petri net analytical technology model is divided
Analysis verifying, finds out the mistake or defect in model, finally improves the design scheme of system.By this process, reduce top layer
Mistake in modeling process, to improve the quality of top layer modelling.This avoid direct use form methods pair
System modelling reduces the use difficulty of formalization method, improves the scalability of formalization method；It is simultaneously also SysML
The explication of language provides reference.
Summary of the invention
Present invention solves the technical problem that are as follows: overcome existing technical problem, a kind of top layer system based on MBSE is provided and is set
Plan-validation, optimization and appraisal procedure are counted, solves the problems, such as that top layer system design scheme is difficult to dynamic evaluation.
The technical solution that the present invention solves are as follows:
With SysML as desired, the sequence of function and structure top layer system design scheme described with model, modeling
Design scheme is verified in journey, inconsistent mistake in reduction scheme, is converted according to modeling element in SysML department pattern
For the transformation rule of Petri network modeling element, software programming realizes that SysML design scheme arrives the conversion of Petri network scheme, to turn
Petri network scheme after changing carries out Simulation Evaluation, is optimized according to assessment result to design scheme.
The advantages of the present invention over the prior art are that:
(1) it is based on MBSE, uses document management top layer system design scheme in traditional development process, it is difficult to assess and determine
The integrality and consistency of information, it is difficult to describe various activities, optimize and assess difficult, the present invention is based on MBSE, use
Modular system modeling language building system designs a model and as traceable Information Integration Framework, can integrated presentation product grind
The information in terms of early stage demand, function, structure and behavior is sent out, provides convenience for the demand management and tracking of R&D process；Pass through
Continue unreasonable place existing for dynamic simulation link verifying discovery Conceptual Design and corrects in time；System designs a model tool
There is uniqueness, provides intuitive, unified, unambiguity design information intercommunion platform for the different participants of research and development.
(2) static structure assessment is combined with dynamic simulation analysis, in the verifying of top layer system design scheme, optimization and assessment
In the process, not only need to describe the structure of system, it is also necessary to the dynamic part in description system, the need of present invention combination various aspects
It asks, the behaviour of system assesses system structure itself, and system dynamic model is converted to Petri network and is emulated
Analysis.
(3) it is operated with stronger, the present invention provides have stronger operability and targetedly modeling side
Method can be abstracted top layer system features to be designed the analysis on its rationality of scheme, and modeling process is simpler and easy to accomplish,
Modeling process can be made simplified with template in modeling process and standardization, and support model is reusable, it can be preferably
Support design scheme verifying, optimization and assessment.
Detailed description of the invention
Fig. 1 aerocraft system execution flow chart
Fig. 2 aerocraft system list of requirements
Fig. 3 aerocraft system demand figure
Fig. 4 aerocraft system Use Case Map
Fig. 5 aerocraft system function and demand relation
Fig. 6 boost function activity diagram
Fig. 7 aerocraft system activity diagram
Fig. 8 aerocraft system block structure definition figure
Fig. 9 aerocraft system structurally live cardon
Each submodel sequence chart of Figure 10 aerocraft system
Each submodel internal block figure of Figure 11 aerocraft system
Conversion of Figure 12 SysML model to Petri net model
The Petri network of Figure 13 aerocraft system Use Case Map conversion
Figure 14 aerocraft system functional sequence Petri net model
Specific embodiment
The present invention aiming at the problem that using aircraft as the complex product top layer system design scheme design and analysis of representative, with
Demand, function, the sequence of structure describe top layer system design scheme, and the authentication in modeling process with SysML model
Department pattern is converted to Petri net model point and carries out Simulation Evaluation by case, is optimized according to assessment result to design scheme.
Implementation will be carried out by taking an aerocraft system General layout Plan case as an example below.
Based on execution process shown in FIG. 1, the verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE
Steps are as follows for specific execution:
1, aerocraft system list of requirements is listed in Requirements Modeling and verifying, establishes SysML demand graph model according to list,
The hierarchical relationship of each demand described, whether confirmation demand contradictory and the significance level of each demand, verifies the reasonability of demand, such as
Shown in Fig. 2, Fig. 3.
2, function modeling and verifying determine system function according to demand, establish SysML system case graph model and describe system
The interaction of built-in function sequence and system and external environment, as shown in Figure 4；Establish SysML demand graph model verifying system function
Whether system requirements are met, system function is associated with system requirements, it checks whether either with or without associated demand, such as Fig. 5
It is shown, demand is made a change and is adjusted as needed or system function is increased and decreased；Each system function is established
SysML activity graph model is the movable graph model of boost function as shown in Figure 6, combines the activity diagram of each function to form top
The movable graph model of layer system, as shown in fig. 7, verifying system function process.
3, structural modeling and verifying confirm the structure of top layer system design scheme according to system function process, establish
The block of SysML defines the structural hierarchical relation that graph model describes top layer system, as shown in Figure 8；According to structure division by top layer system
Activity in system activity graph model is divided into each structure, establishes new movable graph model, as shown in figure 9, right as needed
System function is changed and adjusts；System structure further refines, and establishes the clear internal system structure of SysML timing graph model
And subsystems dynamic interaction process, as shown in Figure 10；It establishes SysML internal block graph model and defines internal system structure
Port and interface are changed and adjust to system structure as needed as shown in figure 11.
4, design scheme is converted, with the software write by SysML Use Case Map, activity diagram and state graph model according to definition
Rule is converted to Petri net model, as shown in figure 12, chooses the model for needing to convert and export.
5, Petri network scheme evaluation, the Petri net model after conversion are arranged in Petri net and enable as shown in Figure 13,14
Board quantity and branch condition, simulation run obtain whether process smoothly executes, executes time, implementing result, and are counted, really
Recognize functional sequence rational and orderly.20 simulation calculatings are carried out in this example altogether, are successfully fought result 11 times, confrontation success rate is
55%.
6, design scheme optimizes, and according to simulation result, confirms unreasonable place in functional sequence, to design scheme function and
Structural model is changed and adjusts.
Claims (10)
1. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE, in the design process, with system
Modeling language as desired, the sequence of function and structure establish model and describe top layer system design scheme, it is right in modeling process
Design scheme is verified, inconsistent mistake in reduction scheme；It is converted to according to modeling element in SysML department pattern
The conversion of SysML design scheme to Petri network scheme is realized in the transformation rule of Petri network modeling element, software programming；To conversion
Petri network scheme afterwards carries out Simulation Evaluation；Design scheme is optimized according to assessment result.
2. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 1,
It is characterized in that: including the following steps, design scheme modeling and verifying, Requirements Modeling and verifying, function modeling and verifying, structure are built
Mould and verifying, design scheme conversion, Petri network scheme evaluation and design scheme optimization.
3. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 2,
It is characterized in that, specific steps are as follows:
(1) design scheme modeling and verifying, comprising: demand, function, structure three with SysML to top layer system design scheme
A aspect is modeled, and forms complete design scheme model, and by confirming the reasonable of design scheme to the verifying of model
Property；
(2) Requirements Modeling and verifying, are the sub-steps in step (1), comprising: list system requirements list, description design
To system performance index demand or functional requirement in scheme；Demand graph model is established to demand with SysML, describes demand and needs
Whether the inclusion relation asked conflicts between illustraton of model confirmation demand according to demand, verifies demand reasonability；System is determined according to demand
System function division is several relatively independent funtion parts by system top-level functionality；
(3) function modeling and verifying, are the sub-steps in step (1), comprising: determining top-level functionality according to demand, fortune
Use-case graph model is established with SysML, describes the interactive relation of system top level functional sequence process and system and external environment；It establishes
Whether SysML demand graph model verifying system function is able to satisfy system requirements, and whether confirmation each single item system requirements have accordingly
System function is corresponding to it；With SysML foundation activity graph model, the built-in function stream of each top-level functionality is specifically described respectively
Then journey combines each top-level functionality internal process, establish entire top layer system activity graph model；
(4) structural modeling and verifying, are the sub-steps in step (1), comprising: according to top layer system function process, are determined
Similar or relatively independent function distribution is realized to physical composition part, establishes the block of SysML by the structure composition of system
Define the structural hierarchical relation that graph model describes top layer system；Each activity in top layer system activity graph model is divided into and is
It unites in each component part of structure, establishes the movable graph model with swimming lane, whether verifying system structure can support system function to draw
Point；
(5) design scheme is converted, comprising: with Use Case Map, activity diagram, state in the software realization SysML model independently write
Figure will describe the Use Case Map of system top level functional sequence, description according to the conversion of modeling element mapping ruler to Petri net model
The activity diagram of entire top layer system or state diagram are converted to Petri net model；
(6) Petri network scheme evaluation, comprising: checking whether there is deadlock or resource contention in Petri net model after converting, right
Initial token quantity carries out assignment, specifies the alternative condition in the branched structure of decision node conversion, carries out simulation run and unites
Count result；
(7) design scheme optimizes, comprising: according to the model verification result in modeling verification step, and is converted to Petri network mould
The simulation result of type, is adjusted design scheme, changes top layer system requirements or irrational mix, Functional Design.
4. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
Be characterized in that: step (4) further includes further refining system structure, establishes the clear internal system structure of SysML timing graph model
And the dynamic interaction process between subsystems, confirm interactive port and interface；SysML internal block graph model is established to retouch
State port and the interface of internal system structure.
5. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
It is characterized in that: with demand pull function, the sequence of structure is determined with function, Top-layer Design Method scheme is modeled and verified, from
Demand, which is set out, confirms system function and subfunction, with system requirements verifying system function design reasonability, by system function into
System structure reasonability is verified after step refining accordingly, design scheme can be changed and be adjusted in verification process, other side
Case optimizes.
6. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
Be characterized in that: based on MBSE, performance model rather than document describe top layer system design scheme, can be improved different field people
The ability of interaction between member, and the inconsistency and mistake of model are reduced, find that needs of problems, enhancing system design complete as early as possible
Whole property refines the requirement description to software and hardware, the trackability for reducing the system integration and mistake, enhancing demand in test, protects
Hold the consistency for grinding examination document.
7. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
It is characterized in that: being modeled using SysML, SysML is a kind of general mathematics library language, supports retouching for complication system
It states, design and analysis, verifying and confirmation, it is strong to System describe ability, standardization and standardize, there is the user interface of close friend, it can
Effectively to describe system.
8. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 6,
Be characterized in that: SysML includes demand, structure, the total nine kinds of graphical models of function three classes, comprising: demand figure, activity diagram, timing
Figure, state diagram, Use Case Map, block define figure, internal block figure, Bao Tu and Parameter Map.
9. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
It is characterized in that: defining modeling element mapping ruler, realize SysML Use Case Map, activity diagram and state graph model with software programming
To the conversion process of Petri net model, transformation rule specifies role in Use Case Map, use-case, flow relation, originates section in activity diagram
Point, decision node, branch's merge node, connection, connects logic at activity, and state, state hierarchical relationship, state turn in state diagram
The modeling elements such as connection are moved to Petri network library institute, the mapping relations of transition and arc, and to initial token number in Petri net model
Amount carries out assignment.
10. a kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE according to claim 3,
It is characterized by: execute Simulation Evaluation to the Petri network scheme after conversion, check in Petri net model with the presence or absence of deadlock or
Resource contention, carries out simulation run and statistical result, and obtained assessment result can be fed back in SysML model and then to top layer
System design scheme optimizes.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910196659.1A CN110321580A (en) | 2019-03-13 | 2019-03-13 | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201910196659.1A CN110321580A (en) | 2019-03-13 | 2019-03-13 | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN110321580A true CN110321580A (en) | 2019-10-11 |
Family
ID=68112772
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201910196659.1A Pending CN110321580A (en) | 2019-03-13 | 2019-03-13 | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN110321580A (en) |
Cited By (9)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110990336A (en) * | 2019-12-10 | 2020-04-10 | 北京慧虹远航科技有限公司 | Industrial control-oriented function design method and system |
| CN112068805A (en) * | 2020-09-02 | 2020-12-11 | 中国航空无线电电子研究所 | Demand development method |
| CN112597654A (en) * | 2020-12-24 | 2021-04-02 | 中国人民解放军国防科技大学 | MBSE-based top-level system design scheme verification, optimization and evaluation method |
| CN113449379A (en) * | 2021-06-25 | 2021-09-28 | 中国舰船研究设计中心 | MBSE design method for ship steam power system |
| CN113537739A (en) * | 2021-06-30 | 2021-10-22 | 杭州电子科技大学 | Product scheme multi-index evaluation method considering order relation analysis |
| CN114416048A (en) * | 2021-12-17 | 2022-04-29 | 北京机电工程研究所 | Method and device for determining operation logic of UML model |
| CN114519525A (en) * | 2022-02-18 | 2022-05-20 | 中国电子科技集团公司第三十八研究所 | Multi-dimensional evaluation method of product solution based on system engineering |
| CN115062464A (en) * | 2022-06-10 | 2022-09-16 | 北京航空航天大学 | Integrated modeling method for universal quality characteristic and functional characteristic test flow of equipment based on SysML |
| CN117473871A (en) * | 2023-11-08 | 2024-01-30 | 上海安托信息技术有限公司 | Formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20060242002A1 (en) * | 2005-04-26 | 2006-10-26 | Xerox Corporation | Validation and analysis of JDF workflows using colored Petri nets |
| CN102253877A (en) * | 2011-06-29 | 2011-11-23 | 南京航空航天大学 | Airborne system digital design verification system and method |
| CN105303004A (en) * | 2015-11-30 | 2016-02-03 | 上海电机学院 | Meta object mechanism driven complex system top layer design method |
| CN107301128A (en) * | 2017-06-23 | 2017-10-27 | 北京计算机技术及应用研究所 | System emulation verification method based on Petri net model |
| CN107944095A (en) * | 2017-11-07 | 2018-04-20 | 北京航空航天大学 | A kind of hierarchical system integration design setting model method |
-
2019
- 2019-03-13 CN CN201910196659.1A patent/CN110321580A/en active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20060242002A1 (en) * | 2005-04-26 | 2006-10-26 | Xerox Corporation | Validation and analysis of JDF workflows using colored Petri nets |
| CN102253877A (en) * | 2011-06-29 | 2011-11-23 | 南京航空航天大学 | Airborne system digital design verification system and method |
| CN105303004A (en) * | 2015-11-30 | 2016-02-03 | 上海电机学院 | Meta object mechanism driven complex system top layer design method |
| CN107301128A (en) * | 2017-06-23 | 2017-10-27 | 北京计算机技术及应用研究所 | System emulation verification method based on Petri net model |
| CN107944095A (en) * | 2017-11-07 | 2018-04-20 | 北京航空航天大学 | A kind of hierarchical system integration design setting model method |
Cited By (13)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN110990336A (en) * | 2019-12-10 | 2020-04-10 | 北京慧虹远航科技有限公司 | Industrial control-oriented function design method and system |
| CN112068805A (en) * | 2020-09-02 | 2020-12-11 | 中国航空无线电电子研究所 | Demand development method |
| CN112068805B (en) * | 2020-09-02 | 2024-05-03 | 中国航空无线电电子研究所 | Demand development method |
| CN112597654A (en) * | 2020-12-24 | 2021-04-02 | 中国人民解放军国防科技大学 | MBSE-based top-level system design scheme verification, optimization and evaluation method |
| CN113449379A (en) * | 2021-06-25 | 2021-09-28 | 中国舰船研究设计中心 | MBSE design method for ship steam power system |
| CN113449379B (en) * | 2021-06-25 | 2023-02-07 | 中国舰船研究设计中心 | MBSE (steam dynamic system) design method for ship steam power system |
| CN113537739B (en) * | 2021-06-30 | 2024-04-09 | 杭州电子科技大学 | Multi-index evaluation method for product scheme by considering order relation analysis |
| CN113537739A (en) * | 2021-06-30 | 2021-10-22 | 杭州电子科技大学 | Product scheme multi-index evaluation method considering order relation analysis |
| CN114416048A (en) * | 2021-12-17 | 2022-04-29 | 北京机电工程研究所 | Method and device for determining operation logic of UML model |
| CN114519525A (en) * | 2022-02-18 | 2022-05-20 | 中国电子科技集团公司第三十八研究所 | Multi-dimensional evaluation method of product solution based on system engineering |
| CN115062464A (en) * | 2022-06-10 | 2022-09-16 | 北京航空航天大学 | Integrated modeling method for universal quality characteristic and functional characteristic test flow of equipment based on SysML |
| CN117473871A (en) * | 2023-11-08 | 2024-01-30 | 上海安托信息技术有限公司 | Formalized system modeling method based on CATIA (computer aided three-dimensional architecture) Magic |
| CN117473871B (en) * | 2023-11-08 | 2024-05-03 | 上海安托信息技术有限公司 | Formalized system modeling method based on CATIA MAGIC |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN110321580A (en) | A kind of verifying of top layer system design scheme, optimization and appraisal procedure based on MBSE | |
| US8065252B2 (en) | Method and system of knowledge component based engineering design | |
| Diaz | Analysis of benefits, advantages and challenges of building information modelling in construction industry | |
| Ramaji et al. | Interpreted information exchange: Systematic approach for BIM to engineering analysis information transformations | |
| Dašić et al. | Functional and information modeling of production using IDEF methods | |
| CN106021816B (en) | A kind of implementation method of the distributed system behavior simulation analysis tool of Behavior-based control tree | |
| CN102012673A (en) | Design method of complex reaction type system controller | |
| CN106681726A (en) | Method for converting Python model to Modelica model | |
| CN106096145A (en) | A kind of complication system mathematics library based on state space and analysis environments | |
| CN105956287A (en) | System and method for integrating product design and environment influence evaluation in CAD system environment | |
| See et al. | Development of a user interface for the EnergyPlus whole building energy simulation program | |
| CN114491722A (en) | Automatic modeling method for user-defined vehicle controller | |
| Chen et al. | ArchME: A Systems Modeling Language extension for mechatronic system architecture modeling | |
| CN113962061A (en) | Electromechanical system knowledge component design method | |
| CN102231132A (en) | Method for generating simulation test example of AADL (Architecture Analysis and Design Language) software component model based on SystemC | |
| CN107526865A (en) | The modeling method towards CPS based on AADL | |
| Horber et al. | A model-based approach for integrated variation management | |
| Cabrera et al. | Architecture-centric design approach for multidisciplinary product development | |
| Luu | Methodology development for parametric CAD modeling in CATIA V5 to aid simulation driven design using turbine volute as a case study | |
| Chua et al. | Process-parameter-interface model for lean design management | |
| Niemeyer et al. | A Modeling Framework for Engine-Neutral Automation of Building Analysis and Compliance Reporting | |
| Jing et al. | Demand Analysis of Wind Turbine System Based on MBSE | |
| Zhang et al. | Towards holistic system models including domain-specific simulation models based on SysML. Systems 2021, 9, 76 | |
| Van der Elst et al. | Application of a knowledge engineering process to support engineering design application development | |
| Desa et al. | The development and implementation of a comprehensive concurrent engineering method: theory and application |
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 | ||
| WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20191011 |
|
| WD01 | Invention patent application deemed withdrawn after publication |