15 results about "Requirements modeling" patented technology

The application provides a civil aircraft strength evaluation requirement model construction and verification method based on system engineering, which comprises the following steps: S1, establishing a stakeholder requirement database; S2, constructing a top-level requirement model; S3, establishing an application scenario database based on the top-level requirement model, and establishing a corresponding relationship between the top-level requirement and the scenario; S4, constructing a civil aircraft strength evaluation requirement model based on the corresponding relationship between the top-level requirement and the scenario; S5, verifying the requirement traceability chain in the civil aircraft strength evaluation requirement model, and rectifying the requirement traceability chain that does not meet the requirements. The method can establish a stakeholder requirement-top-level requirement-scenario-architecture-verification requirement traceability chain, so that the source of a verification requirement from a stakeholder requirement can be quickly understood, when a stakeholder requirement is changed, the strength evaluation method that needs to be modified related to the stakeholder requirement can be quickly located, and the related model can be modified, and various scenario requirements can be met.

The invention provides a micro-service code automatic generation method, system and equipment based on a multi-level model and a medium, and relates to the technical field of software development, the method comprises the following steps: according to system development stage characteristics and information dimensions, the system is subdivided into a multi-level model description framework comprising a demand model, an architecture model, a design model and a deployment model; and based on a mapping rule between a predefined model and a code, converting the multi-level model into an executable template code based on a Spring micro-service framework through a hierarchical code generation mechanism, so as to realize an automatic multi-level code generation process from demand to a final system. According to the method, the problems that in existing model driving code generation, input is not standard, generated codes are not complete, a complete information system is difficult to generate during large language model code automatic generation, and the codes are possibly inconsistent are solved, and a more efficient, standard and complete code automatic generation scheme is provided.

The application relates to the technical field of software development tools, and discloses a micro application generation system and method based on natural language interaction, which comprises four core components of a natural language understanding module, a requirement modeling module, a code generation engine and a deployment and integration platform; the natural language understanding module generates a structured semantic representation through intent recognition, entity extraction and context analysis; the requirement modeling module constructs a data model, a process logic and an interface prototype based on the semantic representation, and optimizes model parameters by using reinforcement learning; the code generation engine generates cross-platform code of a micro service architecture through template matching and component assembly; and the deployment and integration platform realizes seamless integration of external systems and Internet of Things devices through standardized interfaces. The application can solve the problems of traditional low-code platforms, such as dependence on visual dragging operation, rough requirement analysis and insufficient cross-field adaptation.

The invention discloses an intelligent engineering integrated construction and operation and maintenance management method suitable for multiple types of buildings, and relates to the technical field of building intellectualization, and the method is realized through the following core steps: firstly, carrying out building type adaptation and demand modeling, and constructing an intelligent engineering demand model adaptive to a target building type; generating a modular construction scheme based on the demand model and implementing dynamic management and control; after construction is completed, cross-system integrated debugging is carried out, and heterogeneous system data interaction adaptation is achieved; an integrated operation and maintenance management platform is built and intelligent monitoring is carried out; and finally, operation and maintenance decision and full-life-cycle management are realized based on the monitoring data. The method can be adapted to various building types, complete-process collaborative management and control of construction and operation and maintenance are achieved, the construction quality and operation and maintenance efficiency of intelligent engineering are improved, and data support is provided for full-life-cycle optimization of a building intelligent system.

The invention relates to the technical field of digital twinning, and particularly discloses an MBSE-based production line digital twinning system design method, which comprises the following steps of: constructing a physical operation scene model and a digital operation scene model of a production line; constructing a physical system demand model and a digital operation scene model of the production line; constructing a physical operation activity model and a digital operation activity model of the production line; constructing a physical validity measurement model and a digital validity measurement model of the production line; constructing a physical system module model and a digital system module model of the production line; constructing a physical system function model and a digital system function model of the production line; constructing a physical module component model and a digital module component model of the production line; and constructing a physical system parameter model and a digital system parameter model of the production line.

The application provides a software test case generation method and system based on domain knowledge constraints. A domain knowledge base covering domain basic knowledge and industry testing criteria is constructed; the original requirement text is normalized, the semantic understanding ability of the knowledge base and the large language model is combined, the requirement type is identified and the structured decomposition rule is dynamically matched, and a structured requirement model is constructed; the test focus features in the requirement are extracted, and the test item decomposition requirements are formulated; the large language model is driven to expand the scene and systematically disassemble the requirement, and the systematic test items are generated according to the test item decomposition requirements; the test cases are generated in multiple dimensions with the test items as the input, and the traceable relationship among the requirements, the test items and the test cases is established; the integrity check and consistency check are performed, and the test design result is output. The application enables the large language model to perform the test design task in a controlled and professional knowledge environment, and realizes the systematic generation from the natural language requirement to the executable test case.

This invention proposes a knowledge mapping system and analysis method for software reliability requirements, belonging to the field of software reliability requirements analysis. This method constructs a standardized requirements modeling system comprising an external cross-linking interface model, a functional logic model, a functional combination model, and a state scenario model to achieve a formal representation of software requirements. It then decomposes and summarizes individual functional requirements, identifies potential failure modes based on a pre-defined classification and comparison system, and establishes a three-layer mapping system of software functional requirements – failure modes – reliability requirements. This completes the forward derivation and transformation of reliability requirements, outputting standardized analysis results. This invention achieves standardized and traceable processing of software reliability requirements analysis, providing prerequisite input and logical basis for the development of highly reliable software, ensuring system stability and task success.

The invention belongs to the technical field of system engineering and software engineering, and provides a function logic confirmation method, system, equipment and medium based on a demand model.The method comprises the steps that firstly, a minimum function module framework organized according to levels is constructed for a system to be confirmed; secondly, processing an original natural language demand to form a demand subset corresponding to each functional unit; thirdly, a single-function logic model is established for each minimum function module and tested, and original requirements are corrected if logic defects are found; and finally, integrating a plurality of confirmed single-function models into a multifunctional module according to a hierarchical relationship and an interface relationship, executing an integration test, and if an interaction logic defect is found, correcting the demand again until the test passes, and completing closed-loop confirmation of the system-level function logic. According to the method, a'modeling-testing-correcting 'closed-loop process is constructed, the dependence of demand confirmation on personnel experience is effectively reduced, and the correctness and integrity of demand logic are remarkably improved.

This application relates to a code generation method, apparatus, device, storage medium, and program product. The method includes: obtaining a requirement model; obtaining an initial class diagram of a design model based on the requirement model; optimizing the initial class diagram of the design model using a multi-objective genetic algorithm and a large model to obtain an optimized design model; and generating monolithic system code matching the requirement model based on the optimized design model. This application can improve code generation efficiency and code generation quality.

The application provides an MBSE-oriented requirement model rapid query and visualization method, obtains a query keyword weight vector according to the weight of each query keyword in an MBSE requirement model library, calculates the similarity of the query keyword weight vector and the weight vector of each requirement model lightweight XML file, obtains a requirement model lightweight XML file with the highest similarity, obtains a corresponding requirement model in the MBSE requirement model library according to the obtained requirement model lightweight XML file with the highest similarity, and performs lightweight display on the obtained requirement model, the requirement model file is parsed and a text index is formed, so that the rapid query of the requirement model is realized, the requirement model most conforming to the query intention is obtained by defining a similarity score algorithm, and the precision rate is ensured.

The invention relates to a system suitable for field demand modeling, and belongs to the field of software modeling. Comprising a front-end module used for interface display and user interaction; the demand template customization module is used for creating a new demand template, the demand modeling module is used for demand modeling, the checking module is used for checking the correctness of the newly created demand template or model, and the publishing module is used for generating a code of a demand modeling system based on the newly created demand template and automatically deploying the code; the data management module is used for storing the new demand template and data corresponding to the model into a database; and the operation management module is used for configuring the operation environment of the demand modeling system. The system supports a new demand template, the code of the demand modeling system is incrementally generated based on the new demand template through the publishing module, and automatic incremental deployment is carried out, so that the online demand modeling system supports new demand change to realize continuous integration, the iterative development cost brought by the demand change is greatly reduced, and the demand modeling efficiency is improved.

The invention discloses an electromechanical system architecture forward design method based on a servitization thought, and belongs to the field of airplane electromechanical system design. The connection of requirements, functions, services, logic and physical architectures is realized through model-based system engineering (MBSE). Specifically, the method comprises the following steps of: establishing a demand structured model by using a SysML language, analyzing a target system function to obtain a service scheme meeting a function demand, realizing service logic through a logic layer state machine, and performing joint simulation with a physical layer simulation model to form'demand-function-service-logic-physics' full-link mapping taking the model as a clue; and the forward design of the system architecture is realized.

The application discloses a software requirement modeling method based on an artificial intelligence large model, relates to the technical field of requirement modeling, and comprises the following steps: converting a fused semantic element set into nodes and edges, adding an uncertainty mark to an edge with insufficient association basis in the conversion process, constructing a requirement semantic knowledge graph, constructing a requirement model generation scheme based on the requirement semantic knowledge graph, filling the requirement model generation scheme into a preset structured prompt word template, obtaining a structured prompt, driving a multi-modal large model to generate a requirement model draft by using the structured prompt, performing rule compliance checking on the requirement model draft, executing an iterative verification and correction cycle according to a checking result, and obtaining a target requirement model. The application greatly improves the automation efficiency of software requirement modeling while improving the accuracy, completeness and usability of the target requirement model by generating the requirement model draft.

This application discloses a method and system for bidirectional synchronization and verification of requirements and code. The method includes: performing hierarchical parsing of natural language format requirement data using a pre-trained large language model; generating a requirement model based on the results of the hierarchical parsing, wherein the requirement model conforms to DSL syntax; establishing a bidirectional mapping relationship between the semantic elements of the requirement model and the nodes of the AST of the code; based on the bidirectional mapping relationship, when the requirement model changes, marking or updating the corresponding nodes according to the changed semantic elements, or when the code changes, marking or updating the corresponding semantic elements according to the changed nodes; performing a semantic consistency comparison between the requirement logic of the current requirement model and the actual logic of the current abstract syntax tree, and generating a conflict report when the core semantics of the requirement logic and the actual logic are inconsistent. This method can achieve bidirectional synchronization and consistency verification of requirements and code, improving development efficiency and development quality.

The invention provides an overall configuration method and application of a space-based rotary launching platform. The model-based system engineering method comprises the following steps of: establishing a demand model, a function model and an architecture model of the platform; a parameterized modeling step: based on the architecture model, constructing a digital model of each subsystem of the platform by using parameterized design software; a dynamic simulation analysis step: carrying out dynamic simulation on the constructed digital model, and analyzing the influence of the load launching process on the platform and the motion of the load; and a scheme iterative optimization step: optimizing the platform design scheme based on the dynamic simulation analysis result. According to the method, disturbance suppression breakthrough innovation is achieved, the launching efficiency is greatly improved, and the orbit precision is effectively guaranteed.