27 results about "Requirements modeling" patented technology

The invention relates to the technical field of software development tools, and discloses a micro-application generation system and method based on natural language interaction, and the system comprises four core components: a natural language understanding module, a demand modeling module, a code generation engine and a deployment and integration platform. The natural language understanding module generates structured semantic representation through intention recognition, entity extraction and context analysis; the demand modeling module constructs a data model, a process logic and an interface prototype based on the semantic representation, and optimizes model parameters by utilizing reinforcement learning; the code generation engine generates a cross-platform code of the micro-service architecture through template matching and modularization assembly; and the deployment and integration platform realizes seamless integration of the external system and the Internet of Things equipment through a standardized interface. According to the method, the problems that a traditional low-code platform depends on visual dragging operation, demand analysis is rough and cross-domain adaptation is insufficient can be solved.

According to the multi-mode man-machine interaction view and component expression method and system, the design state, the development state and the operation state are integrated, and the problems of scene linkage integration, multi-model association collaborative scheduling and the like of an aerospace equipment MOM system are solved by means of graphical interaction and the like. The method comprises construction of a knowledge graph and demand modeling in a design state, visual design and code generation in a development state, and fault diagnosis in an operation state. Compared with the prior art, knowledge can be deeply mined, codes can be automatically generated, system stability is guaranteed, development efficiency and reliability are improved, and the manufacturing and development requirements of aerospace equipment are met.

A system and method for an AI-based Automated Software Application Development Platform which intelligently gathers requirements from a business analyst and generates a runnable software application from those requirements. The AI-based platform enables the business analyst with no technical knowledge to visually model their requirements rapidly without requiring any programming Using the abstract requirements architecture and the platform, the analyst creates requirements models for the application's business processes and business tasks for each of the processes, including defining the supporting information needs. The system intelligently assists the user in defining the information needs for each of the business processes and their tasks. Once the requirements models are created by the analyst with the help of the platform, the platform automatically designs and creates an appropriate persistent canonical data model for the application from the defined information needs. The platform then creates a runnable software application. The system also provides a template for the user to input their requirements in descriptive text, and accepts requirements document for applications as written free form text or text documents written in English as input, and in a non-English language that the system automatically translates them into English. The system provides a method for reverse engineering an existing application, including generating a requirements document for the existing application such as a legacy modernization or digital transformation an old applications for redesigning, updating or revising them to accommodate a new requirements set for such applications.

The invention provides an engine software FADEC demand-oriented modeling analysis and test case automatic generation method, and belongs to the field of aero-engine control. According to the method, DeepSeek is used for assisting preprocessing at the system demand level, and modeling work based on a formalized table is completed; through multi-level demand model analysis, vulnerabilities existing in the demand are automatically detected; and finally, automatically generating a test case set meeting DO-178C airworthiness requirements by establishing a grammar logic architecture. The method focuses on formalized verification work of an engine software FADEC demand level, by using an executable model, defects appearing in the demand or design process can be effectively found, errors can be eliminated in time, test cases are automatically generated, and therefore rework and iteration cost in the later period of development is greatly reduced.

The invention discloses a helicopter transmission system digital engineering overall technology analysis method, and relates to the field of helicopter transmission system digital engineering, and the method comprises the steps: building a helicopter transmission system overall design digital environment; demand capturing is carried out around all benefit critical people and facing scenes; obtaining preliminary design requirements, node parameters, interface requirements and overall requirements of the helicopter transmission system; carrying out helicopter transmission system-component-part demand analysis, and establishing a demand model, a function model, a logic model and a physical model; establishing a design model, a manufacturing model, an assembly model and a test model; and establishing a comprehensive database, and storing the model established in each stage into the comprehensive database to realize numerical model multiplexing and complete digital design closed loop. The problems that a traditional analysis method is low in efficiency, low in integration level, short in simulation evaluation and long in closed loop iteration period are solved.

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 present application relates to a method, system, device, and storage medium for generating a product manufacturing process specification, wherein the method comprises: constructing a process specification requirement model for product manufacturing that includes product quality, production cost, and production efficiency requirements; obtaining process-related test data from a pre-conducted product development process to obtain a process data sample; and generating a process specification that meets the target requirements based on the process specification requirement model and the process data sample. The present application can positively form a process specification that meets product quality requirements, production cost, and production efficiency requirements, and can get rid of dependence on manual experience. By means of knowledge acquisition and coupling, it can guide the precise writing of process technology documents.

The present invention relates to the field of drone design technology, and in particular to a method, system, medium and program product for modeling the reliability of drone propellers. The method first constructs a requirement model, system context, use case and activity diagram of drone propellers based on SysML, and defines the mathematical function relationship of core performance parameters such as thrust, torque and speed; then statistical fitting is performed in combination with experimental data to construct a joint performance margin equation, and the reliability theory is introduced to calculate the reliability value of the propeller through the standard normal cumulative distribution function; finally, the above constraint equation is constrained and bound to the system structure model to realize dynamic response and model linkage under parameter changes. The present invention realizes the integrated integration of reliability analysis in the MBSE model, significantly improving the automation level, evaluation accuracy and engineering application efficiency of propeller system reliability modeling.

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 discloses a software requirement document analysis method and device and medium, and belongs to the technical field of document analysis, and is used for solving the technical problems that the information analysis in the existing requirement document has content deviation, manual analysis and extraction are complex and tedious, and the requirement document cannot be efficiently and accurately analyzed. The method comprises the following steps: performing layout analysis on text information and image information of the requirement document to obtain layout area information; classifying and positioning a plurality of elements in the page requirement information to obtain first key information based on the page requirement information; performing text analysis on the word sequence of the function requirement information to obtain second key information based on the function requirement information; performing layout recognition training on the requirement document based on the first key information and the second key information to obtain a comprehensive requirement model; and defining the requirement document to be analyzed to generate corresponding software development parameter information.

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.

A method (200) for planning a product (105) comprises steps of determining responses of a plurality of potential users (120) to the product (105); wherein first responses are determined in a first format by means of a first method and second responses are determined in a second format by means of a second method; creating a requirements model based on the first and second responses by means of a machine learning technique (140); and determining requirements for the product (105) based on the requirements model.

The present invention provides a method for optimizing the architecture design of a two-dimensional optoelectronic turntable system, belonging to the field of optoelectronic turntable testing technology. The method comprises the following steps: Step 1: Using the SysML modeling language and combining it with the ROFLP methodology, a multi-level modeling of the two-dimensional optoelectronic turntable system is performed, including requirements modeling, operation modeling, functional modeling, logical modeling, and physical modeling; Step 2: Converting the SysML model into executable state machine simulation code and indicator verification scripts through mapping rules; Step 3: Verifying the system's dynamic behavior and static indicators using state machine simulation and indicator verification to optimize the system architecture design. The present invention solves the technical problems in the existing optoelectronic turntable design field, such as the lack of unified semantics, scattered resources, and low efficiency of top-level system design solutions.

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 discloses a device for supporting complex system requirement integrity modeling and evaluation, and relates to the technical field of system engineering, and comprises requirement modeling, requirement integrity evaluation, design process modeling, requirement and design process ontology integration, requirement traceability expression and evaluation; the requirement modeling module comprises requirement entry modeling and requirement content constraint definition; the requirement modeling module mainly functions to realize requirement model creation based on requirement integrity expression rules and constraints, and guarantee requirement content integrity in the created requirement model; in the requirement modeling module, the requirement content constraint definition submodule provides constraints to the requirement entry modeling submodule; the application uses entry modeling technology to decompose high-level requirements into specific and operable entries in the requirement modeling module, which promotes in-depth understanding of the requirements and ensures that each requirement is accurately defined and recorded.

The application discloses an industrial host machine digital prototype collaborative design method and device based on MBSE, and belongs to the technical field of industrial host machine modeling. The method comprises the following steps: S1, a design model library of an industrial host machine digital prototype is constructed; the design model library comprises a plurality of different types of requirement models and a plurality of large models for requirements of each aspect of the digital prototype; S2, according to a target and requirements, a plurality of suitable requirement models are selected from the design model library, and the large models matched are called by using artificial intelligence technology to construct an industrial host machine structure digital prototype model, an industrial host machine electrical digital prototype model, an industrial host machine hydraulic digital prototype model and / or an industrial host machine process digital prototype model; and S3, the digital prototype model is adjusted and optimized to obtain an industrial host machine digital prototype model meeting accuracy requirements. The application can perform digital prototype design from four dimensions, multi-model fusion, and improve the design efficiency and accuracy of the industrial host machine.

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.