CN117763820B - Code generation and design verification method and device for aircraft landing gear model - Google Patents
Code generation and design verification method and device for aircraft landing gear model Download PDFInfo
- Publication number
- CN117763820B CN117763820B CN202311744541.0A CN202311744541A CN117763820B CN 117763820 B CN117763820 B CN 117763820B CN 202311744541 A CN202311744541 A CN 202311744541A CN 117763820 B CN117763820 B CN 117763820B
- Authority
- CN
- China
- Prior art keywords
- landing gear
- model
- aircraft landing
- instance
- meta
- 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.)
- Active
Links
- 238000000034 method Methods 0.000 title claims abstract description 37
- 238000012942 design verification Methods 0.000 title claims abstract description 16
- 238000004364 calculation method Methods 0.000 claims abstract description 61
- 238000012795 verification Methods 0.000 claims abstract description 17
- 230000006870 function Effects 0.000 claims description 17
- 238000013461 design Methods 0.000 claims description 15
- 230000000704 physical effect Effects 0.000 claims description 10
- 230000003993 interaction Effects 0.000 claims description 8
- 238000011161 development Methods 0.000 claims description 6
- 230000008569 process Effects 0.000 claims description 6
- 238000012546 transfer Methods 0.000 claims description 6
- 238000010276 construction Methods 0.000 claims description 3
- 230000001419 dependent effect Effects 0.000 claims description 3
- 238000003384 imaging method Methods 0.000 claims description 3
- 238000006243 chemical reaction Methods 0.000 abstract description 5
- 238000012938 design process Methods 0.000 abstract description 3
- 230000018109 developmental process Effects 0.000 description 6
- 238000005096 rolling process Methods 0.000 description 6
- 238000010586 diagram Methods 0.000 description 4
- 238000004458 analytical method Methods 0.000 description 2
- 230000009286 beneficial effect Effects 0.000 description 2
- 230000014509 gene expression Effects 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000006399 behavior Effects 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 230000010485 coping Effects 0.000 description 1
- 230000004927 fusion Effects 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000004088 simulation Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000006467 substitution reaction Methods 0.000 description 1
- 230000002195 synergetic effect Effects 0.000 description 1
- 230000033772 system development Effects 0.000 description 1
- 238000011426 transformation method Methods 0.000 description 1
Classifications
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02T—CLIMATE CHANGE MITIGATION TECHNOLOGIES RELATED TO TRANSPORTATION
- Y02T90/00—Enabling technologies or technologies with a potential or indirect contribution to GHG emissions mitigation
Landscapes
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
The invention discloses a code generation and design verification method and device of an aircraft landing gear model, wherein the method comprises the steps of constructing a meta-model instance of the aircraft landing gear based on KARM language, dragging the meta-model instance of the aircraft landing gear in a modeling tool based on physical attributes, constructing an aircraft landing gear model, generating calculation codes for evaluating functional indexes of the aircraft landing gear model based on the aircraft landing gear model and a script template for carrying out index calculation on the aircraft landing gear model, and guiding the calculation codes corresponding to the generated aircraft landing gear model into a related solver to carry out calculation verification on the designed functional indexes of the aircraft landing gear model. The method can realize automatic or semi-automatic conversion from the system model to other heterogeneous data files, thereby improving the traceability and consistency of data between the system model and other data files in the design process.
Description
Technical Field
The invention relates to the field of aircraft landing gear engineering, in particular to a code generation and design verification method and device of an aircraft landing gear model.
Background
Along with the continuous development of the complex system, complex products and complex systems have the trends of multidisciplinary, synergetic, parallelization and the like in the design process. Model-based system engineering (Model-based SYSTEMS ENGINEERING, MBSE) supports formalization, modeling, design, analysis and verification in the whole life cycle process of product and system development through a Model, and provides a scheme for coping with development challenges of a complex system.
The Chinese patent application publication No. CN110321580A discloses a method for verifying, optimizing and evaluating the design scheme of a top-level system based on MBSE. The method is represented by a certain aircraft, and the design and analysis of a top-layer system are carried out. The method is based on a system engineering theory of a model, and a requirement model, a functional model and a structural model are respectively constructed in a graphical mode by adopting a SysML modeling language. By analyzing the method, the problems to be solved in the prior art are found:
(1) And part of tools only support a single modeling language, which is not beneficial to the design and development of complex systems, and SysML is an object-oriented software modeling language and is extremely excellent in expression capability and coverage. However, as the complexity of the product increases, it is difficult for a single domain-specific modeling language to complete a unified description of the complex system. It is difficult to construct conversion rules for any modeling language to be used. There is therefore a need for a modeling language transformation method that supports subsequent verification and iteration of the design.
(2) All verification methods of the method are manually judged through a model, and the design verification of the index is performed with lower efficiency by manual calculation. The SysML language is a semi-formal language, and cannot describe the model and the index accurately, so that an accurate and reliable design verification method can improve the design efficiency of a complex system and help a designer to verify whether the design of the system meets the requirements of stakeholders.
Disclosure of Invention
In view of the above, the invention provides a code generation and design verification method and device for an aircraft landing gear model, which can solve the technical problem that data transmission for modeling and index verification of an aircraft landing gear is difficult in the prior art.
The present invention is so implemented as to solve the above-mentioned technical problems.
A code generation and design verification method for an aircraft landing gear model, comprising:
Step S1, constructing a meta-model instance of an aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
Step S2, obtaining physical properties of an aircraft landing gear to be modeled, and building an aircraft landing gear model by dragging a meta-model instance of the aircraft landing gear in a modeling tool based on the physical properties;
Step S3, based on the aircraft landing gear model and a script template for calculating indexes of the aircraft landing gear model, generating calculation codes for calculating the functional indexes for evaluating the aircraft landing gear model, wherein the script template is multiple and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples;
and S4, based on the generated calculation codes corresponding to the aircraft landing gear model, importing the calculation codes into a related solver, and carrying out calculation verification on the designed functional index of the aircraft landing gear model.
Preferably, the landing gear primitive model instance is an icon element required by system architecture design in an aircraft landing gear development process, the landing gear object primitive model instance is used for representing physical components of the aircraft landing gear, the landing gear relation primitive model instance is used for representing information transfer relations among actual components of the aircraft landing gear, the landing gear point primitive model instance is used for representing interface types and interaction things of interactions among the actual components of the aircraft landing gear, the landing gear attribute primitive model instance pair is an abstract description of characteristic features of the landing gear object primitive model instance and the relation primitive model, and the landing gear role primitive model instance is used for describing what type and mode the information transfer relations among different components of a landing gear physical actual product are input and output.
Preferably, the step S3 includes:
Step S31, determining a model instance of the aircraft landing gear to be verified, and determining a view type of the model instance, wherein the model instance is an imaging instantiation of a sub-model of the aircraft landing gear model, and the sub-model is one or more of a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
Step S32, determining the names of code blocks corresponding to the automatic codes to be generated based on preset naming rules and the view types;
Step S33, determining a meta-model instance category and/or a plurality of meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs, and acquiring data related to the meta-model category and/or the plurality of meta-model instance categories to which the meta-model instance of the aircraft landing gear belongs in the model instance of the aircraft landing gear as parameter input variables of the code block based on the data definition of the attribute in the model instance of the aircraft landing gear and the meta-model category and/or the plurality of meta-model instance categories to which the meta-model instance of the aircraft landing gear belongs;
Step S34, determining whether the model instance of the aircraft landing gear to be verified has a constraint relation given by an index calculation formula with other model instances of the aircraft landing gear, if so, acquiring data with the constraint relation with the model instance of the aircraft landing gear as a constraint input variable of the code block, and entering step S35;
And step 35, determining script templates corresponding to meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs and/or a plurality of meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs, acquiring calculation rules from the script templates as codes for calculation, and encapsulating the parameter input variables, the constraint input variables and the codes for calculation into code blocks, wherein the code blocks comprise calculation codes for calculating the functional indexes for evaluating the aircraft landing gear model.
Preferably, the script template includes a variable definition and a calculation formula of a function index required for calculating and evaluating the function index of the landing gear model of the aircraft, the parameter input variable, the constraint input variable and a code for calculation are packaged, the parameter input variable is used as an independent variable of the calculation formula of the function index, and a calculation result of the calculation formula is used as a dependent variable.
Preferably, the correlation solver is a code module capable of parsing and calculating the code block.
The invention provides a code generation and design verification device of an aircraft landing gear model, which comprises the following components:
the meta-model instance construction module is configured to construct a meta-model instance of the aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
the aircraft landing gear model building module is configured to acquire physical properties of the aircraft landing gear of the model to be built, drag meta-model instances of the aircraft landing gear in a modeling tool based on the physical properties, and build an aircraft landing gear model;
The code generation module is configured to generate a calculation code for calculating the functional index of the aircraft landing gear model based on the aircraft landing gear model and a script template for calculating the index of the aircraft landing gear model, wherein the script template is multiple and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples;
And the function verification module is configured to be guided into a related solver based on the generated calculation code corresponding to the aircraft landing gear model, and perform calculation verification on the designed function index of the aircraft landing gear model.
The invention provides a computer readable storage medium, wherein a plurality of instructions are stored in the storage medium, and the instructions are used for being loaded by a processor and executing the method.
The invention provides an electronic device, which is characterized by comprising:
A processor for executing a plurality of instructions;
A memory for storing a plurality of instructions;
Wherein the plurality of instructions are for storage by the memory and loading and executing by the processor the method as described above.
The beneficial effects are that:
(1) The invention is developed on the basis of GOPPRR modeling theory, can support the establishment of a multi-architecture model, and is not limited to a model in a certain field.
(2) The code generation of the present invention obtains information from a source model via a model query and then converts the obtained information into object code or text. Automatic or semi-automatic conversion from the system model to other heterogeneous data files can be realized through code generation, so that the traceability and consistency of data between the system model and other data files in the design process are improved.
(3) The invention realizes static verification calculation of the performance index/technical index of the complex system based on the code generation large method, and compared with the traditional method adopting the joint simulation interface, the invention carries out closed-loop fusion on the system architecture model and the mechanism calculation of the performance index/technical index, and has strong expansibility, high reusability and low additional software development cost.
Drawings
FIG. 1 is a schematic flow diagram of a code generation and design verification method for an aircraft landing gear model provided by the invention;
FIG. 2 is a schematic diagram of a code generation and design verification method for an aircraft landing gear model provided by the present invention;
FIG. 3 is a schematic diagram of a method for validating an example of a model of an aircraft landing gear corresponding to a landing gear landing brake scenario provided by the present invention;
FIG. 4 is a schematic illustration of an aircraft landing gear model attribute setup provided by the present invention;
fig. 5 is a schematic diagram of a code generation and design verification device for an aircraft landing gear model according to the present invention.
Detailed Description
The present invention will be described in detail below with reference to the accompanying drawings and examples.
As shown in fig. 1-2, the invention provides a code generation and design verification method for an aircraft landing gear model, which comprises the following steps:
Step S1, constructing a meta-model instance of an aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
Step S2, obtaining physical properties of an aircraft landing gear to be modeled, and building an aircraft landing gear model by dragging a meta-model instance of the aircraft landing gear in a modeling tool based on the physical properties;
Step S3, based on the aircraft landing gear model and a script template for calculating indexes of the aircraft landing gear model, generating calculation codes for calculating the functional indexes for evaluating the aircraft landing gear model, wherein the script template is multiple and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples;
and S4, based on the generated calculation codes corresponding to the aircraft landing gear model, importing the calculation codes into a related solver, and carrying out calculation verification on the designed functional index of the aircraft landing gear model.
The landing gear primitive model instance is an icon element required by system architecture design in the development process of the aircraft landing gear, the landing gear object primitive model instance is used for representing physical components of the aircraft landing gear, the landing gear relation primitive model instance is used for representing information transfer relations among actual components of the aircraft landing gear, the landing gear point primitive model instance is used for representing interface types and interaction things of interactions among the actual components of the aircraft landing gear, the landing gear attribute primitive model instance is an abstract description of characteristic features of the landing gear object primitive model instance and the relation primitive model, and the landing gear role primitive model instance is used for describing what type and mode the information transfer relations among different components of a landing gear physical actual product are input and output.
The model instance of the landing gear is an instance of a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance, and a landing gear system can be characterized from the aspects of functions, behaviors and composition.
The step S3 includes:
Step S31, determining a model instance of the aircraft landing gear to be verified, and determining a view type of the model instance, wherein the model instance is an imaging instantiation of a sub-model of the aircraft landing gear model, and the sub-model is one or more of a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
Step S32, determining the names of code blocks corresponding to the automatic codes to be generated based on preset naming rules and the view types;
Step S33, determining a meta-model instance category and/or a plurality of meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs, and acquiring data related to the meta-model category and/or the plurality of meta-model instance categories to which the meta-model instance of the aircraft landing gear belongs in the model instance of the aircraft landing gear as parameter input variables of the code block based on the data definition of the attribute in the model instance of the aircraft landing gear and the meta-model category and/or the plurality of meta-model instance categories to which the meta-model instance of the aircraft landing gear belongs;
Step S34, determining whether the model instance of the aircraft landing gear to be verified has a constraint relation given by an index calculation formula with other model instances of the aircraft landing gear, if so, acquiring data with the constraint relation with the model instance of the aircraft landing gear as a constraint input variable of the code block, and entering step S35;
And step 35, determining script templates corresponding to meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs and/or a plurality of meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs, acquiring calculation rules from the script templates as codes for calculation, and encapsulating the parameter input variables, the constraint input variables and the codes for calculation into code blocks, wherein the code blocks comprise calculation codes for calculating the functional indexes for evaluating the aircraft landing gear model.
Further, the script template includes a variable definition and a calculation formula of a function index required for calculating and evaluating the function index of the landing gear model of the aircraft, the parameter input variable, the constraint input variable and a code for calculation are packaged, the parameter input variable is used as an independent variable of the calculation formula of the function index, and a calculation result of the calculation formula is used as a dependent variable.
The step S4, wherein the correlation solver is a code module capable of parsing and calculating the code block.
Further, corresponding code blocks are respectively generated for model examples corresponding to all sub-models forming the aircraft landing gear model, and the designed functional indexes of the aircraft landing gear model are calculated and verified through a correlation solver.
As shown in fig. 3-4, information representing objects and interactions involved in this scenario of landing gear landing brake.
The force interaction and the signal interaction are set relational meta-models, the signal port and the force port are set point meta-models (the input and output relations of the relational meta-models are bound with the character meta-models), the physical ground, the landing gear, the physical load and the like are set object meta-models, the mass, the landing gear arrangement form, the wheel braking moment and the wheel rolling radius in fig. 4 are set attribute meta-models, and the meta-models can be instantiated into models by assigning the attribute of the meta-models, for example, in a left main landing gear object meta-model, parameters such as braking moment, rolling radius, mass and the like are assigned, for example, the mass=100 kg, the wheel braking moment=1000N×m and the wheel rolling radius=0.1 m.
In the left main landing gear object element model, parameters such as braking moment, rolling radius, mass and the like are assigned, for example, mass=100 kg, wheel braking moment=1000n×m, and wheel rolling radius=0.1 m.
Definition constraint a= 2*M/m×r
In the constraint, a represents a braking deceleration rate, M represents a wheel braking moment, M represents mass, and R represents a wheel rolling radius.
Through code generation, corresponding attribute values can be extracted from the left main landing gear object meta-model, and the following calculation codes are generated:
m=100
M=1600
R=0.1
A=M*2/(m*R)
Println(“a=”,a)
The invention realizes the corresponding functions through specific modules and extends the rule-based grammar generated by codes based on pattern matching to KARMA. An extended abstraction of code generation is shown in fig. 2. The code generation module (CodeGenerationModule) is used to declare the code generation unit of the KARMA model. Global variable declarations (GlobalVariableDecl) and local variable declarations (LocalVarDeclModule) are used to declare global and local variables, respectively. Variables of data types such as Int, real, string, boolean and File are supported. The rules module (RuleModule) is used to define code generation rules identified by key rules, the specific syntax of which is shown below.
A query module (QueryModules) is used to describe the model query portion in code generation. It is divided into two parts, source model declaration (SourceModelDecl) and schema declaration (PATTERNDECL). The source model declaration is used to describe the source model that needs to be transformed, which is identified by the key in. The pattern declaration may define a model pattern starting from the keyword from. Model element declarations (modelElementDecl) are used to declare OPPR (object, point, attribute, role) instances that exist in the model schema. Binary relationship statements (binaryRelationStatement) are used to describe the relationship between OPPR instances, such as the "include" relationship between an Object instance and a Point instance. The radix statement (CARDINALITYSTATEMENT) is used to define the radix of an element, i.e., the number of occurrences of some OPPR instances in model patterns. The constraint statement (constraintStatement) is used to describe model-mode constraints consisting of boolean expressions in the model mode. The conversion module (TransformationModule) describes a conversion section that is divided into two sections, a call template statement (CALLTEMPLATESTATEMENT) and a follow-up operation (PostOperation). The call template statement is used to generate object code from information obtained in the model query section by calling a user-defined template. The follow-up operation is used to describe a follow-up operation on the generated code, such as adding the code to a file.
In this embodiment, the step S4 of introducing the generated calculation code corresponding to the aircraft landing gear model into a correlation solver to perform calculation verification on the designed functional index of the aircraft landing gear model includes:
the code generation text is compiled using a code generation compiler of tool METAGRAPH, and the template engine generates object code through a user-defined template, passing model information into the computation script. The generated code (i.e., the computation script) may be returned to METAGRAPH's workbench and user-specified files. Invoking the Julia solver runs the computable language code (i.e., the computation script) and the solution results are output on the console page. The designer can match the design requirement according to the solving result, and if the calculating result of the index design does not meet the design requirement, the designer can quickly respond to the iterative design scheme. Compared with the traditional manual calculation method, the index verification process has the advantages that a user can customize code generation rules and templates according to a needed solver, the process is automatic, and the expandability is high.
The invention also provides a code generation and design verification device of the landing gear model of the aircraft, as shown in fig. 3, the device comprises:
the meta-model instance construction module is configured to construct a meta-model instance of the aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
the aircraft landing gear model building module is configured to acquire physical properties of the aircraft landing gear of the model to be built, drag meta-model instances of the aircraft landing gear in a modeling tool based on the physical properties, and build an aircraft landing gear model;
The code generation module is configured to generate a calculation code for calculating the functional index of the aircraft landing gear model based on the aircraft landing gear model and a script template for calculating the index of the aircraft landing gear model, wherein the script template is multiple and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples;
And the function verification module is configured to be guided into a related solver based on the generated calculation code corresponding to the aircraft landing gear model, and perform calculation verification on the designed function index of the aircraft landing gear model.
The above specific embodiments merely describe the design principle of the present invention, and the shapes of the components in the description may be different, and the names are not limited. Therefore, those skilled in the art can make modifications and equivalents to the technical solutions described in the foregoing embodiments, and those modifications and substitutions do not depart from the spirit and technical solutions of the present invention and should fall within the protection scope of the present invention.
Claims (7)
1. A method of code generation and design verification for an aircraft landing gear model, comprising:
Step S1, constructing a meta-model instance of an aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
step S2, obtaining physical properties of an aircraft landing gear to be modeled, and building an aircraft landing gear model by dragging a meta-model instance of the aircraft landing gear in a modeling tool based on the physical properties;
step S3, based on the aircraft landing gear model and a script template for calculating the functional index of the aircraft landing gear model, generating calculation codes for calculating the functional index of the aircraft landing gear model, wherein the script template is in various types and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples, and the method specifically comprises the following steps:
step S31, determining a model instance of the aircraft landing gear to be verified, and determining a view type of the model instance, wherein the model instance is an imaging instantiation of a sub-model of the aircraft landing gear model, and the sub-model is one or more of a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
Step S32, determining the names of code blocks corresponding to the automatic codes to be generated based on preset naming rules and the view types;
Step S33, determining a meta-model instance class and/or a plurality of meta-model instance classes to which the model instance of the aircraft landing gear to be verified belongs, and acquiring data related to the meta-model class and/or the plurality of meta-model instance classes to which the meta-model instance of the aircraft landing gear belongs in the model instance of the aircraft landing gear as parameter input variables of the code block based on the meta-model class and/or the plurality of meta-model instance classes to which the meta-model instance class belongs and the data definition of the attribute in the model instance of the aircraft landing gear;
step S34, determining whether the model instance of the aircraft landing gear to be verified has a constraint relation given by an index calculation formula with other model instances of the aircraft landing gear, if so, acquiring data with the constraint relation with the model instance of the aircraft landing gear as a constraint input variable of the code block, and entering step S35, otherwise, entering step S32;
Step S35, determining script templates corresponding to meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs and/or a plurality of meta-model instance categories to which the model instance of the aircraft landing gear to be verified belongs, acquiring calculation rules from the script templates as codes for calculation, and encapsulating the parameter input variables, the constraint input variables and the codes for calculation into code blocks;
And S4, based on the generated calculation code corresponding to the aircraft landing gear model, importing the calculation code into a related solver, and carrying out calculation verification on the designed functional index of the aircraft landing gear model.
2. A method according to claim 1, wherein the landing gear metamodel instance is an icon element required for system architecture design in an aircraft landing gear development process, the landing gear metamodel instance is used for characterizing physical components of the aircraft landing gear, the landing gear relational metamodel instance is used for characterizing information transfer relationships between actual components of the aircraft landing gear, the landing gear point metamodel instance is used for characterizing interface types and interactions among the actual components of the aircraft landing gear, the landing gear attribute metamodel instance pair is an abstract description of characteristics possessed by the landing gear metamodel instance and the relational metamodel, and the landing gear character metamodel instance is used for describing what types and modes information transfer relationships among different components of a landing gear physical actual product are input and output.
3. The method of claim 2, wherein the script template includes a calculation formula for calculating a variable definition and a function index required for evaluating the function index of the aircraft landing gear model, wherein the parameter input variable, the constraint input variable and the code for calculation are packaged, wherein the parameter input variable is used as an independent variable of the calculation formula for the function index, and wherein a calculation result of the calculation formula is used as a dependent variable.
4. A method according to any of claims 1-3, wherein the correlation solver is a code module capable of parsing and calculating the code block.
5. Code generation and design verification device for an aircraft landing gear model for implementing the method of any one of claims 1 to 4, comprising:
The meta-model instance construction module is configured to construct a meta-model instance of the aircraft landing gear based on KARM language, wherein the meta-model instance category of the aircraft landing gear comprises a landing gear primitive model instance, a landing gear object primitive model instance, a landing gear relation primitive model instance, a landing gear point primitive model instance, a landing gear attribute primitive model instance and a landing gear role primitive model instance;
The aircraft landing gear model building module is configured to acquire physical attributes of the aircraft landing gear of the model to be built, drag meta-model instances of the aircraft landing gear in a modeling tool based on the physical attributes, and build an aircraft landing gear model;
the code generation module is configured to generate a calculation code for calculating the functional index of the aircraft landing gear model based on the aircraft landing gear model and a script template for calculating the index of the aircraft landing gear model, wherein the script template is in various types and respectively corresponds to various meta-model examples and/or combinations of a plurality of meta-model examples;
And the function verification module is configured to be guided into a related solver based on the generated calculation code corresponding to the aircraft landing gear model, and perform calculation verification on the designed function index of the aircraft landing gear model.
6. A computer readable storage medium having stored therein a plurality of instructions for loading and executing by a processor the method of any of claims 1-4.
7. An electronic device, the electronic device comprising:
A processor for executing a plurality of instructions;
A memory for storing a plurality of instructions;
Wherein the plurality of instructions are for storage by the memory and loading and executing by the processor the method of any of claims 1-4.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311744541.0A CN117763820B (en) | 2023-12-18 | 2023-12-18 | Code generation and design verification method and device for aircraft landing gear model |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202311744541.0A CN117763820B (en) | 2023-12-18 | 2023-12-18 | Code generation and design verification method and device for aircraft landing gear model |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN117763820A CN117763820A (en) | 2024-03-26 |
| CN117763820B true CN117763820B (en) | 2025-03-07 |
Family
ID=90321396
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202311744541.0A Active CN117763820B (en) | 2023-12-18 | 2023-12-18 | Code generation and design verification method and device for aircraft landing gear model |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN117763820B (en) |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113626026A (en) * | 2021-07-21 | 2021-11-09 | 北京理工大学 | Code generation method supporting complex model structure conversion |
| CN114896755A (en) * | 2022-03-30 | 2022-08-12 | 北京理工大学 | A Metric Verification Technology Supporting Quantitative Evaluation of Model Attributes |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8495580B2 (en) * | 2010-04-07 | 2013-07-23 | International Business Machines Corporation | Facilitating use of model transformations |
| CN114186347B (en) * | 2021-12-15 | 2025-04-04 | 北京机电工程研究所 | A multi-aircraft collaborative operation simulation system |
| CN116909544A (en) * | 2023-07-21 | 2023-10-20 | 哈尔滨工业大学 | Automatic code generation method based on SysML model |
-
2023
- 2023-12-18 CN CN202311744541.0A patent/CN117763820B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN113626026A (en) * | 2021-07-21 | 2021-11-09 | 北京理工大学 | Code generation method supporting complex model structure conversion |
| CN114896755A (en) * | 2022-03-30 | 2022-08-12 | 北京理工大学 | A Metric Verification Technology Supporting Quantitative Evaluation of Model Attributes |
Also Published As
| Publication number | Publication date |
|---|---|
| CN117763820A (en) | 2024-03-26 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Mann et al. | Pono: a flexible and extensible SMT-based model checker | |
| Kim | Cardinality-based feature modeling and constraints: A progress report | |
| Rivera et al. | Formal specification and analysis of domain specific models using Maude | |
| US7567890B1 (en) | Conversion of model components into references | |
| Simko et al. | Foundation for model integration: Semantic backplane | |
| CN102426521B (en) | CPS (Cyber Physical Systems) adaptability verification method based on Hybrid UML (Unified Modeling Language) and theorem proving | |
| Sindico et al. | Integrating SysML with Simulink using Open-source Model Transformations. | |
| CN111176639A (en) | An automated model conversion method from SysML to AltaRica | |
| Gonzalez et al. | Towards an automatic model transformation mechanism from UML state machines to DEVS models | |
| Yurin | Technology for prototyping expert systems based on transformations (PESoT): a method. | |
| Posse et al. | Processing causal block diagrams with graphgrammars in atom3 | |
| CN117763820B (en) | Code generation and design verification method and device for aircraft landing gear model | |
| de Lara et al. | Formal support for QVT-Relations with coloured Petri nets | |
| Johnson | Integrating models and simulations of continuous dynamic system behavior into SysML | |
| CN115033212B (en) | Avionics system graphic element model integrated construction method, device, and computer equipment | |
| Cao et al. | A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics | |
| Gonçalves et al. | ReFlO: An interactive tool for pipe-and-filter domain specification and program generation | |
| Amissah | A framework for executable systems modeling | |
| Maschotta et al. | An OCL implementation for model-driven engineering of C++ | |
| CN114896755B (en) | Index verification method supporting model attribute quantitative evaluation | |
| Boronat et al. | An algebraic specification of generic OCL queries within the eclipse modeling framework | |
| Gu et al. | Typing Requirement Model as Coroutines | |
| Wenckstern | Improving the model-based systems engineering process | |
| Pedro et al. | Principles for system prototype and verification using metamodel based transformations | |
| Haq et al. | B-OCL: An Object Constraint Language Interpreter in Python |
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 | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |