155 results about "Modeling language" patented technology

In various examples, an interactive agent platform that hosts development and / or deployment of an interactive agent may use an interaction modeling language and corresponding interpreter that support the use of natural language descriptions and one or more LLMs to facilitate the development and deployment of more complex and nuanced human-machine interactions. For example, the interpreter may prompt an LLM to generate a natural language description of one or more instruction lines defining a flow, generate one or more instruction lines for a specified flow, determine whether an event matches a flow description of an active flow, determine whether an unmatched event matches the name and / or instruction(s) of an active flow, generate a flow in response to an unmatched event, and / or otherwise.

The invention discloses a fuel cell system modeling and control-oriented joint simulation design method, which comprises the following steps of: based on an electrochemical and heat transfer mechanism, dividing an electric pile into a plurality of nodes along a reaction gas flowing direction by adopting a distributed parameter method, and establishing a one-dimensional solid oxide fuel cell dynamic model by applying a multi-field unified modeling language Modelica; establishing a dynamic model of each auxiliary machine part of the solid oxide fuel cell system; all the components are connected according to a unified interface to form a system overall dynamic model, and dynamic simulation is carried out; carrying out multi-output multi-input state space model identification in SIMULINK by applying dynamic simulation data of the solid oxide fuel cell system; a model prediction controller KF-MPC based on Kalman filtering is developed; and establishing a joint simulation platform. According to the invention, rapid and accurate load tracking and temperature control are realized, and the operation safety of the system is maintained at the same time.

Disclosed in the present invention are a method and system for building a compilable customized module. The method comprises: customizing a module on the basis of a process, defining a modeling language syntax, and generating a modeling language file corresponding to the customized module; establishing a text matching rule and a grammar matching rule, using flex to generate a source program file of a lexical analyzer from the text matching rule, and using bison to generate a source program file of a syntax analyzer from the grammar matching rule; performing lexical analysis and generating an abstract syntax tree; traversing the syntax tree, generating a translation C++ file for a modeling language on the basis of a syntax-based translation configuration file, and compiling the translation C++ file; and importing the built customized module and an executable binary file into a simulation platform, and performing flow simulations for different scenarios including process simulation, optimization and parameter tuning. The present invention can realize the rapid commissioning of a process and can seamlessly switch a customized model to various application scenarios.

The invention relates to a text-to-SQL (Structured Query Language) generation method and system based on large language model fine tuning. The method comprises the following steps: collecting a triple data set; generating a reasoning path for the triple data set, and obtaining an optimized data set comprising the triple data set and the corresponding reasoning path; selecting a basic model, and performing supervised fine tuning training on the basic model through the optimized data set to obtain a reference model; executing feedback through a database corresponding to an output result of the reference model, and performing direct preference optimization training on the reference model to obtain a generative model; and performing SQL generation on a to-be-generated text through the generation model to obtain a generation result. The method utilizes the advantages of the model language reasoning ability and the preference learning algorithm to improve the accuracy of the model in the aspect of text-to-SQL (Structured Query Language) generation tasks.

The invention belongs to the technical field of intelligent automobiles, and particularly relates to a system design method based on an intelligent automobile cyber-physical system field knowledge base, which comprises the following steps of: performing composition analysis on information elements and physical elements of an intelligent automobile cyber-physical system, and constructing an IVCPS field knowledge base by using an ontology representation method; the application technology method for constructing the IVCPS domain knowledge base comprises the steps that knowledge reuse based on the IVCPS domain ontology knowledge base is achieved through knowledge representation language conversion, and auxiliary system modeling design based on the IVCPS domain knowledge base is achieved; the knowledge representation language conversion comprises the following steps: constructing a mapping relationship between a knowledge modeling language and an extensible markup language and a system modeling language; based on an IVCPS field knowledge base application technical method, system design based on the IVCPS field knowledge base is realized, instance analysis is performed by using typical traffic scenes in the IVCPS field, the effectiveness of the system design method is verified, system design research can be effectively assisted, data collection time is shortened, and repeated work is avoided.

In various examples, an interactive agent platform that hosts development and / or deployment of an interactive agent may provide an interpreter or compiler that interprets or executes code written in the interaction modeling language, and a designer may provide customized code written in the interaction modeling language for the interpreter to execute. The interaction modeling language may be used to define a flow of interactions that instruct the interpreter what actions or events to generate in response to a sequence of detected and / or executed human-machine interactions. The interaction categorization schema may classify interactions by standardized interaction modality and / or corresponding standardized action category. As such, a flow may be used to model an agent intent or inferred user intent, which a designer may use to build more complex interaction patterns with the interactive agent.

The embodiment of the invention provides an ontology-based heterogeneous modeling language unified description method, device and equipment. According to the method, a heterogeneous modeling language used by a multi-architecture model is obtained; carrying out analysis and disassembly processing on the heterogeneous modeling language based on the element category of the multi-architecture model ontology to obtain a target element; the multi-architecture model ontology is a predefined standard semantic architecture. Mapping and storing the target element into the multi-architecture model body according to a mapping rule, and determining an element name of the target element; the mapping rule is used for indicating a corresponding relationship between the standard semantic architecture and the heterogeneous modeling language. And performing unified description on the heterogeneous modeling language according to the element names. According to the method, the interoperability and the information consistency among the models are realized by uniformly processing heterogeneous modeling languages in the multi-architecture model.

The invention provides a method and system for generating a SysML model to a three-dimensional CAD model, the generation method adopts a meta-model to drive integrated information and generate the three-dimensional CAD model, and the generation method comprises the following steps: S1, using a meta-model identification system to model a language model and target structure information to be integrated in the CAD model; s2, checking whether the system modeling language model is identified by using a meta-model or not, and traversing the system modeling language model tree from top to bottom for the identified system modeling language model; s3, calling an application programming interface based on the meta-model mapping relation to create a corresponding three-dimensional CAD model; s4, calling an application programming interface, and setting attribute information of the three-dimensional CAD model based on the attribute value of the system modeling language model; and S5, calling an application programming interface to add a meta-model identifier for the three-dimensional CAD model. The design efficiency can be improved, the design quality is ensured, and the design flexibility is enhanced.

The invention relates to the field of nuclear energy system simulation, in particular to a modeling method, system, equipment and medium for a nuclear energy heat supply system, which comprises the following steps: according to the topological structure of the nuclear energy heat supply system, the action of each equipment in the conversion process of nuclear energy and heat energy, the component and interface structure in each equipment, and the component and interface structure in each equipment; decomposing the data into subsystems, equipment, components, basic equations and basic physical elements; establishing corresponding basic models for the basic equations and the basic physical elements, and establishing corresponding component models, equipment models and subsystem models for the components, the equipment and the subsystems; and according to the topological structure, coupling the basic model, the component model, the equipment model and the subsystem model to construct a simulation model of the nuclear energy heat supply system. Based on the unified modeling language, interface adaptation work caused by interface incompatibility in an existing method is avoided, the modeling process is greatly simplified, and the modeling simulation efficiency of the nuclear energy heat supply system is improved.

Disclosed are methods, systems, and non-transitory computer readable memory for generating models and digital threads using graphs. For instance, a method may include: process engineering information to output node information which includes, for at least one data artifact, a set of entities, a set of data attributes, and / or a set of relationships; determine and add nodes and / or edges to a graph based on the node information and the graph; generate, using agents and an interface, at least one data structure based on at least the nodes and / or the edges of the graph, wherein the at least one data structure is compliant to a model language syntax; and generate at least one digital thread that connects the at least one data artifact and the at least one data structure.

The invention discloses an intermediate representation generation method and device based on a domestic modeling language X language. The method comprises the steps that X language code information is acquired; preprocessing the X language code information to obtain X language information; the X language information comprises N rows of code information; n is a positive integer; and processing the X language information to obtain X language intermediate representation information. Therefore, according to the method, the domestic modeling language X language can be quickly and efficiently converted into the intermediate representation capable of being explained by the program, and the method is an important step for converting the X language model into the executable program and an important link for engineering of the X language.

The embodiment of the invention provides a modeling method and device for an airborne system function architecture model, computer equipment and a medium, and relates to the technical field of aviation architecture design, the method comprises the following steps: inputting a design requirement document into an airborne large language model, and in the large language model, under the structural constraint of an airborne system knowledge graph, establishing a design requirement document; the method comprises the following steps: extracting a logical relationship between entities required by airborne system modeling from a design demand document, screening a corresponding airborne meta-model according to the extracted logical relationship between the entities, and constructing a demand graph; constructing and outputting a text model of a concept scene, a text model of a task scene, a text model of a system function, a text model of a logic architecture and a text model of a physical architecture of the airborne system based on the demand graph; and inputting each text model into a system modeling language modeling terminal for visualization to obtain a multi-level functional architecture model of the airborne system. According to the scheme, the modeling efficiency, consistency and normalization are improved.

The invention relates to the technical field of software security, in particular to a high-credibility construction of a synchronous modeling language code generator and a formalized verification method and device thereof, electronic equipment and a medium, and the method comprises the following steps: obtaining a synchronous modeling language source program generated by the code generator; translating the synchronous modeling language source program to the abstract syntax tree; converting the abstract syntax tree into an intermediate representation, and converting the current intermediate representation into a next intermediate representation; and performing formalized verification on each transformation process until the translation process verification of all the language features of the synchronous modeling language source program is completed, and the formalized verification comprises the steps that each intermediate representation formalized definition has operation semantics meeting semantic certainty, and semantic retentivity is proved for the current intermediate representation transformation process. Therefore, the problems that related technologies only support partial language characteristics, compiling architecture design is simple, the formalized verification range is limited, and the requirements for complete modeling ability and high credibility are difficult to meet are solved.

The invention relates to a visual process automatic arrangement method and system, and belongs to the technical field of computers.The method comprises the steps that a natural language requirement input by a user is obtained; modeling knowledge is determined, logic typesetting and structured processing are conducted on the natural language requirement input by the user and the modeling knowledge through a large language model LLM, and XML process definition data meeting the BPMN standard are generated; sending the XML process definition data conforming to the BPMN standard to a process engine so as to create a visual process model; and rendering the visual process model to a front-end interface for a user to review, and determining a review result. According to the method, business personnel can directly participate in process design without learning professional modeling languages such as BPMN, and a business-driven development mode is really realized.

The invention discloses a method for modeling and verifying civil aircraft automatic flight system mode conversion based on a SysML language, and the method comprises the steps: firstly analyzing the key problems of high-level abstraction, hierarchical design, mode conversion logic and priority features in formalized modeling oriented to the field in detail, and constructing a meta-model for flight control mode design and conversion; secondly, expanding the formalized modeling language SysML based on the provided meta-model, and encoding the formalized modeling language SysML into a SysML profile file with a specific field; and then designing in an automatic flight system mode conversion modeling project of a certain type of civil aircraft by using an expanded SysMLprofile, and verifying the safety and correctness of the model by adopting an NUSMV. The invention provides a relatively complete and unified model building thought in the related fields of the automatic flight system, and can effectively ensure the system design quality and improve the system development efficiency and safety.

The invention provides a Modelica language-based rapid simulation method for whole-process dynamics of a carrier rocket, and aims to solve the problem of insufficient model reusability and adaptability in a traditional simulation method. By utilizing the object-oriented characteristic of the Modelica language, the method constructs a comprehensive dynamic model, and the model integrates a plurality of subsystems such as a propulsion system, a control system and an aerodynamic model. The method comprises the following specific steps: firstly, constructing an overall model of a carrier rocket, and defining time-varying parameters to accurately calculate key parameters such as propellant consumption, rotational inertia and centroid position; secondly, the influence of different design parameters on the rocket performance is analyzed through simulation, so that potential problems are recognized and solved in advance; and moreover, the simulation result can be analyzed, so that the accuracy and reliability of the model are ensured. The innovation of the invention lies in the modular design and multi-field collaborative simulation capability, which not only significantly improves the reusability and adaptability of the model, but also effectively supports the design optimization, task planning and control strategy formulation of the rocket. The method not only reduces the research and development cost, but also accelerates the progress of the spaceflight technology, and has a wide application prospect.

A site distribution model identifies a set of sites to satisfy operational requirements of a clinical trial. An objective function is defined as: a first element indicating whether a site is included in the clinical trial; and a second element indicating whether a country is included in the clinical trial. There is a set of constraints including that an estimated total enrollment reaches a defined target enrollment. Computer code is generated to implement a site distribution model, using an optimization modeling language, based on the objective function and the primary set of constraints. The site distribution model is solved, if possible, to produce values of the site decision variable and the country decision variable. Otherwise, it is indicated to a user that a solution is not possible. If solving the site distribution model is possible, a list of clinical trial sites is produced from the site decision variable.

The invention discloses a multi-scale and multi-field digital twin model construction method for complex equipment, and belongs to the technical field of intelligent manufacturing and engineering. The implementation method comprises the following steps of: aiming at the characteristic that machine tool equipment comprises multi-scale layers and multi-disciplinary fields, displaying the multi-scale layers and the multi-disciplinary fields of physical entity equipment in a unified modeling mode by adopting a Modelica modeling language through non-causal modeling and connector modeling, and breaking through the limitation of complex coupling characteristics of the equipment; taking the minimum error between the output of the machine tool digital twin model and the test of a machine tool test bed as an optimization target, considering the main shaft rigidity, the main shaft size, the processing temperature, the thermal conductivity and the thermal expansion coefficient correction variables, and constructing a machine tool digital twin model correction optimization problem model; an optimal parameter combination is searched by adopting an improved particle swarm algorithm of a model-elite learning strategy, correction of the machine tool digital twinborn model is realized, the consistency of the twinborn model and physical equipment is improved, and the accuracy of the machine tool equipment digital twinborn model is ensured.

The invention provides an aviation maintenance data management method and management system, and belongs to the field of data management.The method comprises the steps that fields of multi-source aviation maintenance data are unified, an aviation maintenance data set is generated, and the incidence relation between aviation maintenance services and preset aviation maintenance standards is built; according to the incidence relation, a business object relation method BOR is adopted to conduct logic modeling on the aviation maintenance data set, business objects of the aviation maintenance data set and the dependency relation of the business objects are defined through a modeling language, and a multi-dimensional aviation maintenance data model is generated; and storing the multi-dimensional aviation maintenance data model and the association relationship in an aviation maintenance standard library, and realizing dynamic updating and verification of the aviation maintenance data based on the multi-dimensional aviation maintenance data model and the association relationship. The series of measures fundamentally solve the problems of data dispersion and standard chaos, so that the maintenance data has a unified storage specification.

The invention discloses a system modeling and evaluation method based on MBSE. The method comprises the steps of rocket system demand analysis and modeling; performing rocket system function analysis and modeling; designing and modeling a rocket system architecture; evaluating a rocket system design scheme. The SysML language adopted by the method is a modeling language oriented to system engineering, a unified data source is formed for complex systems involving multiple disciplines such as machinery, electronics, control, hydraulic pressure and the like, and semantic consistency is guaranteed. The system modeling and evaluation method based on the MBSE is adopted, the SysML can establish the incidence relation between the elements, and establishment of a tracing mechanism is facilitated. According to the method, the SysML is converted into the Python codes, multi-criterion comprehensive trade-off evaluation is carried out on the multiple design schemes by utilizing the analysis capability of the Python scripts, the multi-criterion comprehensive trade-off evaluation can be carried out on the multiple design schemes, and the system development efficiency is improved.

The invention relates to automatic modeling language (AutoML) construction, in particular to an intelligent model construction system supporting a rule chain, which comprises a user demand and data receiving module, a machine learning model generation module and an appointed warehouse uploading module, the user demand and data receiving module is used for receiving a demand required by a user and data in a process that the user wants to put into machine learning model training, and extracting the user demand and the data; the machine learning model generation module generates a corresponding trained machine learning model and a corresponding API interface through a code generator; and the uploading to an appointed warehouse module packages the machine learning model generated by the machine learning model generation module and an API interface, and uploads the machine learning model and the API interface to a Docker warehouse appointed by a user outside the system for use by the user. According to the method, various codes with high adaptability and high reliability can be generated, and the efficiency and reliability of generating the machine learning model by the machine learning model generation module are improved.

The invention belongs to the technical field of model-driven system engineering and intelligent system modeling, and particularly relates to a test requirement formalized design method based on primitive intelligent extension. The method comprises the following steps: obtaining a semantic map, and defining semantic nodes in the semantic map as type modules or intelligent modules; instantiating the type module to obtain a type model instance node, and instantiating the intelligent module to obtain an intelligent model instance node; organizing the type model instance nodes and the intelligent model instance nodes into a model graph; constructing an extended state primitive, constructing a plurality of interactive combination states based on the extended state primitive, defining an intelligent migration mechanism and constructing an extended state machine diagram; respectively testing the model diagram and the expansion state machine diagram, and if the model diagram and the expansion state machine diagram are tested to be qualified, exporting the model diagram and the expansion state machine diagram; the method can solve the problems of dynamic behavior description fragmentation, multi-agent interaction mechanism stiffness and insufficient model reusability of a traditional system modeling language in intelligent system modeling.

The invention discloses an MBSE model cross-version migration method based on an ontology, and the method comprises the steps: building a version self-adaptive ontology framework supporting MetaGraph2.0 and MetaGraph3.0 through employing an ontology modeling language OWL based on an MOF mechanism and a GOPPRR-E element model; establishing a semantic mapping rule between a MetaGraph2.0 tool model, a MetaGraph3.0 tool model and the ontology framework, and defining an inter-version increment migration rule; a non-intrusive integrated plug-in is developed, and automatic migration from a MetaGraph2.0 tool model to a MetaGraph3.0 tool is achieved through ontology conversion; according to the method, the standardized semantic framework based on the OWL is constructed, the model elements of the MetaGraph2.0 and the MetaGraph3.0 are uniformly mapped to the ontology structure to ensure accurate expression and logic consistency of model semantics, the accuracy and reliability of cross-version migration are remarkably improved in combination with an increment migration rule, and the problem of semantic fuzziness or data loss is avoided.

The invention provides a system reliability analysis method and device based on a SysML model. The method comprises the following steps: obtaining an architecture model and a function model of a system based on a system modeling language (SysML); obtaining a first fault tree event corresponding to the functional object and a second fault tree event corresponding to the special architecture object; the special architecture object is the architecture object which has a corresponding relationship with the plurality of first fault tree events; according to the architecture model and the function model, a first fault tree model is established, the first fault tree model describes the logic relation of all fault tree events and the corresponding relation between all the fault tree events and the architecture object, and all the fault tree events comprise the first fault tree event and the second fault tree event.

The invention discloses a UML (Unified Modeling Language) graph generation method, belongs to the field of natural language processing, and is used for simply and quickly generating a UML graph through a natural language. The method comprises the steps of obtaining an input text of a target user, and determining a graph type of a to-be-generated unified modeling language (UML) graph according to the input text; performing logic verification on the input text according to a logic relationship corresponding to the graph type; under the condition that the logic verification is passed, determining graph elements and element relations of the UML graph to be generated based on the input text; and generating the UML graph based on the graph element and the element relationship.

The invention discloses an interactive modeling language and classification scheme for interactive systems and applications. In various examples, an interactive agent platform hosting development and / or deployment of an interactive agent may provide an interpreter or compiler for interpreting or executing code written in an interactive modeling language, and a designer may provide customized code written in the interactive modeling language for execution by the interpreter. The interaction modeling language may be used to define an interaction flow that indicates what action or event is generated by the interpreter in response to the detected and / or executed man-machine interaction sequence. An interaction classification scheme may classify interactions according to standardized interaction modalities and / or corresponding standardized action categories. Thus, a stream may be used to model agent intent or inferred user intent, which may be used by a designer to construct a more complex interaction mode with an interactive agent.

The invention discloses a photoelectric system digital prototype function model generation method and device based on artificial intelligence, and belongs to the technical field of artificial intelligence and photoelectric system digital prototypes, and the method comprises the steps: inputting training data of an artificial intelligence model, carrying out semantic analysis, marking and key parameter extraction operation, and forming a knowledge graph; establishing a logic association and constraint relationship among the parameters; training an artificial intelligence model by using the analyzed training data, optimizing a preset general rule base of the artificial intelligence model, and constructing a photoelectric system modeling rule base and a photoelectric system artificial intelligence model; calling the trained artificial intelligence model of the photoelectric system, extracting a model demand, calling the modeling rule base of the photoelectric system, and generating a function model of the photoelectric system; and visually displaying the photoelectric system function model, modifying and updating the photoelectric system function model, and dynamically updating the optimization strategy. Different function model modeling languages can be selected according to actual system requirements, and an artificial intelligence algorithm is adjusted.

The invention relates to a method for realizing configuration change detection processing based on a large language model, which comprises the following steps: acquiring a configuration change execution scheme, and outputting configuration change key information by utilizing the large language model; obtaining current configuration information, and constructing a reference configuration version for parameter comparison for data storage; acquiring update configuration information by sensing a configuration change event and comparing with a reference version; and comparing the pre-published configuration update information output by the large language model with the actual configuration update information to obtain a parameter change detection result. The invention also relates to a corresponding system, device, processor and storage medium. According to the method, the system and the device for realizing configuration change detection processing based on the large language model, the processor and the storage medium thereof, key configuration information is extracted by starting from a configuration change scheme and utilizing the large model language recognition capability, configuration change content abnormity is accurately recognized, and the configuration change detection processing efficiency is improved. And a production fault risk point caused by configuration change can be effectively detected.

The invention provides a context adaptive speech recognition method integrating entity replication and vector retrieval, and belongs to the technical field of artificial intelligence. The method comprises the following steps: converting input voice into acoustic feature representation; converting the external entity dictionary into vector representation; screening out candidate entities through an index technology, and determining to generate output or copy entities from a standard word list according to a matching degree calculated by an attention mechanism; jointly optimizing the model by comprehensively optimizing the objective function, wherein acoustic modeling, language modeling, entity copying accuracy and entity distinguishing capability are included; continuously updating the index during training; in reasoning, in combination with beam search and confidence threshold mechanisms, selection is made between generation of outputs from a standard word list and copying of entities. In the aspect of recognition performance, a dynamic copy-generation fusion mechanism and a contrast learning strategy are adopted in the method, the accuracy of named entity recognition is effectively improved, particularly, the method is excellent in performance when proper nouns such as personal names and place names are processed, and meanwhile the distinguishing capacity for entities similar in pronunciation is enhanced.

The present invention provides a method for supporting the deep integration of MBSE modeling tools and modeling methodology, including: step 1: designing a methodology metamodel based on GOPPRR‑E meta-metamodel; step 2: defining a methodology mapping specification: a mapping diagram of GOPPRR‑E meta-metamodel and XML based on a meta-object mechanism; step 3: constructing a methodology model: loading the methodology metamodel stored in XML format into the MBSE modeling tool, and converting the methodology metamodel in XML into an internal model structure recognizable by the modeling tool by parsing the mapping specification; step 4: designing a physical exchange specification: designing a navigation modeling language based on XML, and designing and defining an abstract syntax. The present invention can solve the problems of poor scalability of existing methodologies, insufficient deep integration of methodologies and tools, and realize the design of a process model-driven system based on methodology construction.