186 results about "Modeling language" patented technology

A method includes generating a modeling language diagram that is indicative of a compiled version of program code. The modeling language diagram includes at least one node corresponding to at least one function in the program code. The method also includes identifying at least one function signature associated with anode state transition between nodes in the modeling language diagram. The method also includes identifying, using a large language model, a particular policy to attribute to the at least one function signature associated with the node state transition. The method further includes performing, using the large language model, a policy compliance operation that ensures a particular portion of the program code complies with the particular policy. The particular portion of the program code is associated with the node state transition. Performing the policy compliance operation includes generating a policy-compliant version of the particular portion of the program code.

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.

Method and system for the design, execution and monitoring of works, particularly in the construction field, through the modeling of projects by means of a BIM system integrated with the construction engineering necessary to configure all the systems and equipment required for construction, including automatic generation of smart contracts starting form a contract document. In a preferred embodiment of the present invention the automatic generation of a smart contract is performed by means of SysML (System Modeling Language) tool. IoT and / or Blockchain technologies are combined with conventional BIM systems for more precise monitoring and traceability of the stages in construction. The system and method according to a preferred embodiment of the present invention use the information collected by a plurality of detectors. The plurality of detectors preferably includes IoT devices. Detectors can be associated with any machinery used for the project and may include, for example, image acquisition devices such as cameras, remote cameras or web-cams fixed or mounted on drones; other possible detectors may be worn by construction staff. Detectors may also receive information from meteorological and / or seismographic services for a geographical area linked to at least one project.

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 a three-dimensional digital-analog file generation method and device, equipment, a medium and a program product. The method comprises the steps of determining a target three-dimensional digital-analog file based on at least one of the following modes: text description information, a first three-dimensional digital-analog file and an edited three-dimensional CAD modeling language data sequence; the text description information is description information of the target three-dimensional digital-analog file or modification parameter description information of the first three-dimensional digital-analog file; the edited three-dimensional CAD modeling language data sequence is obtained by combining editing parameters with a three-dimensional CAD modeling language data sequence generated by a CAD sequence modeling language generation model which is finely adjusted in advance. According to the embodiment of the invention, the target digital-analog file can be automatically generated, the target three-dimensional digital-analog file can be more quickly and accurately determined, the quality and efficiency of generating the three-dimensional digital-analog file are improved, meanwhile, the labor cost can be reduced, and the dependence on computer aided design software is reduced.

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.

Compiler systems and methods that solve the DAE transformation problem by simulating DAEs using general-purpose compilers are disclosed herein. The compiler systems and methods extend an existing general-purpose intermediate representation (IR) with a minimal set of intrinsics to represent the model function, which allows leveraging existing compiler technology. A first compiler input is a model of a physical system from source modeling languages. A second compiler input is a first IR for each subroutine specific to the model. The model is compiled to a second IR that is universal across multiple source modeling languages. The IR maps each primitive of the source modeling language to a subroutine call specific to the source modeling language from which the primitive is derived. The first and second IRs are combined into a third IR that describes the model in terms of intrinsics of the third IR.

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.

A distributed control system (DCS) of an industrial process plant includes a data center storing a plant information model that includes a description of physical components, the control framework, and the control network of the plant using a modeling language. A set of exposed APIs provides DCS applications access to the model, and to an optional generic framework of the data center which stores basic structures and functions from which the DCS may automatically generate other structures and functions to populate the model and to automatically create various applications and routines utilized during run-time operations of the DCS and plant. Upon initialization, the DCS may automatically sense the I / O types of its interface ports, detect communicatively connected physical components within the plant, and automatically populate the plant information model accordingly. The DCS may optionally automatically generate related control routines and / or I / O data delivery mechanisms, HMI routines, and the like.

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 discloses a model-based human factor analysis integrated modeling method and system. The method comprises the following steps: establishing an operation task list from a stakeholder perspective by using an operation concept analysis method; constructing a task scene case based on the operation task list and a SysML modeling language; human factor task analysis is carried out based on the task scene use case, the operation task list and the interaction relation, and human factor requirements related to the task are identified; a task, demand and system mapping table is formed based on the SysML modeling language, and a task and demand integrated model is obtained; and carrying out satisfaction verification on the task and demand integrated model by adopting professional human factor analysis software, and taking the task and demand integrated model passing the verification as a human factor analysis integrated model. According to the method, human factor task and demand modeling is carried out on the SysML modeling language, system engineering and human factor engineering are closely linked together, and the problems that in the complex system design process, human factor problems are not fully considered, and the human factor problem iteration period span is long are solved.

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.