84 results about "Modeling language" patented technology

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 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.

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 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 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 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 invention discloses a SysML-based satellite constellation architecture modeling method and system and a storage medium, and the method comprises the steps: analyzing a satellite constellation system strategy scene and a target described by a natural language, and building a satellite constellation architecture system layer model by using a SysML language; based on a system capability demand model in the constructed system layer model, building the system layer model by combining an RFLP (Restriction Fragment Length Polymorphism) method and a SysML (Systematic Modeling Language); analyzing designed functions in the constructed system layer model through a system forward design method, and respectively establishing a satellite platform model and a satellite load model by using an RFLP (Restriction Fragment Length Polymorphism) method and an SysML (SysML) modeling language; and extracting parameters from the constructed satellite parameter model, platform parameter model and load parameter model to carry out orbit design, and establishing a satellite orbit model by using an SysML language. According to the method, comprehensive and visual modeling of the satellite constellation from a macroscopic system to a microcosmic component is realized, the standardization, consistency and understandability of the model are greatly improved, and the modeling efficiency is improved.

The invention provides a product full life cycle data model construction and association method, system and device and a medium, and relates to the field of weapon equipment digitization. According to the method, a data model architecture is determined by analyzing light weapon full life cycle data, and a unified modeling language is used for carrying out model building on a meta-model layer, an abstract model layer and an object instance layer. On the basis of a constructed light weapon development and production process data model, a light weapon product data association rule is constructed from the perspective of application. Based on the constructed association rule and the light weapon product data model, combining the data with the association rule, constructing a light weapon product data association relationship, and associating the light weapon product data through unique identifiers such as a product code, a batch number, a system code and the like. The method provides a basis for application of quality problem tracing, rapid fault diagnosis and positioning, product digital resumes, knowledge maps and the like in the whole life cycle, and the light weapon whole life cycle data acquisition efficiency can be effectively improved.

The application discloses a kind of based on SysML meta-model's templated document automatic generation method, comprising the following steps: based on the standardized meta-model of system modeling language SysML, and its extension package, construct instance-attribute export structure;Based on the model-independent meta-model path expression associated with template node, according to model-independent path screening condition, extract the specified range of model elements from any SysML model;According to model instance related-data source, obtain the model elements in the data source mapping range;Based on the automatic document generation module, apply model instance to the template with data extraction and stylized expression capability, automatically generate the required document.The application provides a method for model publisher, creates a template based on SysML meta-model to define how to show data in the model, and then applies the template to any model instance to generate the required document.

The invention discloses an optimization method, system and device of a model language architecture and a medium, and belongs to the technical field of software development, the method comprises the steps that operation nodes in a model under the model language architecture are virtualized, and a node topology architecture graph of the model is extracted according to the number of C instructions generated by all modules in the model; in a node topology architecture graph of the model, tracing back from each output interface to an input interface to obtain a unit topology architecture of each output interface, and calculating the coupling degree of the unit topology architecture; setting a coupling degree threshold value T, if the coupling degree of the unit topology architecture is lt; if T is greater than T, combining the unit topology architecture with other unit topology architectures of which the coupling degrees are lower than T to obtain a coupling degree gt; a subsystem of T; if the coupling degree of the unit topology architecture is gt; if T, directly setting the sub-system as an independent sub-system; and obtaining an optimized model architecture. According to the method, the static analysis quality of the model can be improved, the unit test case design is simplified, the readability and quality of the generated code are improved, and the problem of complex model architecture optimization is effectively solved.

The present application provides a modeling client and a modeling method based on flow relationships. The modeling client is used to describe business systems in various fields based on a modeling language, including multiple types of classes and flows; each type is used to describe objects with the same attributes, and flows are used to be configured between different types of classes to decouple the connection relationships between different types of classes so as to perform parallel control of the processes between different types of classes. The present invention isolates tasks or processes that were originally closely connected through flows. For example, producers and consumers are no longer directly connected, but information is transmitted through a flow, so that each part can work independently, reducing the complexity of the entire system and significantly improving the modeling efficiency and expression ability of multi-input and multi-output relationship logic. At the same time, due to the simplification of the modeling logic, errors caused by unclear expression are reduced, ensuring the consistency and accuracy of the model logic.

The invention relates to a system development method and device, computer equipment, a computer readable storage medium and a computer program product. Obtaining a system model constructed based on a first language; the first language is a semi-formalized modeling language; analyzing the system model to obtain an abstract instantiated syntax tree corresponding to the system model, and performing system analysis at least including system resource budget analysis based on the abstract instantiated syntax tree to obtain an analysis result; under the condition that the analysis result meets a preset condition, generating a target code of a second language matched with the system model based on the abstract instantiation syntax tree; the second language is a programming language. By adopting the method, the model development efficiency and quality can be improved.

The invention provides a ship information and communication technology double-layer network modeling method based on a unified modeling language. The ship information and communication technology double-layer network modeling method comprises the steps that a ship physical layer deployment graph is constructed according to physical topology, hardware equipment and correlativity in a ship system, the distribution situation of software components on hardware and environmental factors; based on the ship physical layer deployment graph, constructing a ship physical layer class graph according to the ship physical layer dynamic routing relationship; constructing a ship logic layer time sequence diagram according to a self-control signal and a networking structure in a ship system; and based on a unified modeling language, constructing a ship system double-layer network model according to the ship physical layer deployment diagram, the ship physical layer class diagram and the ship logic layer time sequence diagram. According to the method, physical environment parameters, protocol constraints and dynamic fault propagation are introduced into a UML expansion system, and two-way coupling modeling of a physical layer and a logic layer of the ship ICT network is realized by combining deployment diagram three-dimensional space modeling, class diagram redundancy semantic annotation and time sequence diagram dynamic description expansion.

The invention discloses a method and a system for establishing a network attack and defense simulation model. According to the method, firstly, a unified modeling language is adopted to carry out formalized definition on assets, association relationships and atomization attack and defense behaviors, and standardization and reuse of description are achieved; and secondly, constructing a dynamic quantitative judgment model based on the formalized definition, and performing quantitative deduction on the behavior success rate by extracting key factors and integrating capability coefficients. Finally, after specific scene configuration is loaded, an attack and defense sequence is triggered according to behavior rules, a decision model is called for successive judgment, and a simulation result is output. According to the method, the consistency and the configuration efficiency are improved through standardized definition, the prediction accuracy is improved through dynamic quantitative judgment, and multi-scene flexible adaptation and efficient extension are achieved through modular design. Through verification, the method has excellent deduction efficiency in a large-scale complex scene, and can provide accurate simulation support for network security decision.

This invention discloses a SysML-based visual modeling workflow configuration method, comprising the following steps: creating system design stages and sub-stages through a visual interactive interface, and setting operation items for each sub-stage; establishing a dynamic association mapping relationship between operation items and system modeling language model elements based on the semantic association method of the system modeling language, and converting it into an independent configuration file; automatically analyzing the upstream and downstream dependencies of operation items based on the configuration file; monitoring the execution status of each operation item in real time, and dynamically updating the execution status of sub-stages and stages according to the status; automatically providing recommended views and model elements for operation items, and generating design deliverables; automatically performing semantic association analysis of data conflicts; and recording the modification history of model elements for traceability management of design results. This invention provides an efficient, flexible, and traceable modeling workflow configuration method, significantly improving the accuracy and collaboration efficiency in the system design process.

The invention relates to an element-level version management implementation method and device based on SysMLv2, and the method comprises the steps: storing an evolution record of a model element according to an evolution triggering storage mechanism of the model element, and setting a plurality of version IDs of the model element based on the evolution record; a version management instruction is received, the version management instruction comprises to-be-managed model elements, and version elements which are in one-to-one correspondence with the model elements are created according to the evolution records corresponding to the model elements and comprise a current version, a version snapshot, version evolution, a creator and creation time; replacing the corresponding model elements with the versioning elements, and obtaining a current version in all the versioning elements to construct a model tree; and performing version management on the model elements through a plurality of version IDs based on the model tree constructed by the versioned elements. According to the method and the device, version management is carried out by adopting the model elements of the SysMLv2 modeling language, additional expansion is not needed, and version management with finer granularity can be realized.

The invention discloses an electronic and electrical interface design modeling language and a description method thereof, and belongs to the technical field of electronic and electrical architecture modeling, and the core process is as follows: firstly, ontology analysis is performed on the field of electronic and electrical interfaces, and a formal field meta-model containing a black box, a cable and other meta-classes and corresponding attributes and associations is defined; mapping the meta-class into a UML / SysML structural type, a meta-class attribute, a correlation corresponding structural type label and correlation; and finally, customizing function integration configuration through a modeling tool to form a graphical modeling language. According to the method, attributes and association definitions of all meta-classes are defined, and mapping rules from meta-models to constructs are standardized. The electronic and electrical interface design requirement / scheme stage exclusive modeling language blank is filled, design description standardization and imaging are achieved, the cooperation efficiency is improved, early crosslinking analysis is supported to reduce follow-up changes, and efficient development of an electronic and electrical system is assisted.

The application discloses a kind of offshore task planning and deduction simulation analysis method, and the knowledge data of war knowledge base is set war ontology knowledge base, and the model based on event ontology is designed in combination with ontology modeling language, the class of sea battlefield event ontology and the hierarchical structure setting of class are determined, and the sea battlefield rule file model is established to describe sea battlefield combat event, and the sea battlefield combat rule of the sea battlefield rule file model is obtained based on war semantic net rule;Sea battlefield combat rule is inferred according to BN reasoning engine module to obtain the execution event of sea battlefield combat rule;And the execution event is visualized by man-machine interactive system, and the expression of battlefield combat rule based on offshore task planning and deduction simulation is realized.

This invention discloses a method for constructing multi-scale and multi-domain digital twin models of complex equipment, belonging to the field of intelligent manufacturing and engineering technology. The method involves: considering the multi-scale and multi-disciplinary nature of machine tool equipment, the Modelica modeling language is used. Through non-causal modeling and connector modeling, a unified modeling approach is adopted to represent the multi-scale and multi-disciplinary nature of the physical equipment, overcoming the limitations of the complex coupling characteristics of the equipment; with the optimization objective of minimizing the error between the output of the machine tool digital twin model and the test on the machine tool test bench, a correction and optimization problem model for the machine tool digital twin model is constructed, considering spindle stiffness, spindle dimensions, machining temperature, thermal conductivity, and coefficient of thermal expansion; an improved particle swarm optimization algorithm with a "role model-elite" learning strategy is employed to find the optimal parameter combination, thereby correcting the machine tool digital twin model, improving the consistency between the twin model and the physical equipment, and ensuring the accuracy of the machine tool equipment digital twin model.

The invention discloses an intelligent VLA model language instruction noise filtering and robustness improving method, and aims to solve the problem that performance is reduced due to the fact that a VLA model is sensitive to natural language instructions containing irrelevant contexts. The method comprises the following steps: an instruction analysis module based on a large language model is used for receiving a natural language instruction containing noise; the noise detection and filtering module identifies and removes irrelevant contexts through semantic analysis; and the instruction reconstruction module is used for converting the filtered core instruction into a standardized instruction which can be executed by the VLA model. By constructing a processing flow of'user instruction-noise filtering-standardized instruction ', a noise-containing instruction is converted into a simple and clear executable instruction, and the robustness of a VLA model to language change is improved. The method is suitable for instruction preprocessing of the VLA model in an intelligent system, and the task execution success rate of the model in a real man-machine interaction scene can be remarkably improved.

The invention discloses a large language model artificial intelligence system which comprises a modeling processing unit of a large language model, and the modeling processing unit comprises an information extractor agent, a solver agent and a checker agent; the advantage value of each information extraction mode can be calculated through a composite reward function; through the composite reward function, consideration of format verification, constraint check, semantic analysis and text similarity can be realized for each information extraction mode; analyzing the description of the natural language problem based on the composite reward function, and obtaining a candidate solution by using the generated algebraic modeling language code; and finally, verifying the feasibility and format of the candidate solution obtained by the solver, and obtaining a problem solving result. According to the method, the large language model artificial intelligence system has strong expandability and generalization ability; and the modular design is easy to understand and improve, and effective knowledge acquisition and utilization can be realized.

The embodiment of the application discloses a software security analysis method and an electronic device. The software security analysis method comprises the following steps: constructing a first business model of a target software system based on a first modeling language; converting the first business model into a second business model of a formal language based on time sequence logic; and performing formal analysis on the second business model, and determining the security state of the target software system according to the analysis result. The application can improve the comprehensiveness, accuracy and effectiveness of the security analysis on the software system.

Generating architecture solutions is provided. An Extensible Markup Language Metadata Interchange (XMI) representation of a Unified Modeling Language (UML) model corresponding to an architecture solution is generated based on a set of instructions in a predefined format. The UML model corresponding to the architecture solution is generated based on the XMI representation of the UML model.

The invention discloses an inter-model consistency analysis method applied to engine control system software, and the method comprises the following steps: firstly, carrying out the formalized modeling of a demand document and the formalized extraction of a design model through a preset formalized modeling language, and obtaining a formalized demand document and a formalized design model; and generating a corresponding demand model and a design model. Generating one or more demand-based demand model simulation cases based on the demand model, and generating corresponding design model simulation cases by referring to the demand model simulation cases; then, dynamic analog simulation is conducted on the demand model and the simulation model through the demand model simulation case and the design model simulation case respectively, and a demand model simulation result and a design model simulation result are obtained. And finally, according to a demand model simulation result and a design model simulation result, carrying out model consistency analysis on the demand model and the design model so as to determine whether a consistency problem exists between the demand model and the design model.

The application provides an AI-based object-oriented business object modeling method, medium and system, belongs to the technical field of AI-based object-oriented business object modeling methods, media and systems, and solves the technical problem of low business object recognition accuracy caused by low-frequency long-tail distribution of professional terms in natural language text of industrial business requirements by receiving industrial business requirement text, using natural language processing technology and an industrial vertical field continuous pre-training corpus to complete standardized mapping, inputting standardized text into a hierarchical gated knowledge injection double-flow encoding model to identify core business objects, attributes and classification labels, and then automatically generating a business object model of a unified modeling language specification through an artificial intelligence model combined with a Monte Carlo tree search heuristic sampling strategy and a VF2++ graph matching algorithm, and finally calculating a field bias comprehensive score according to verification feedback of business personnel and adaptively fine-tuning model parameters.

A formal verification method and system for interlocking data security are provided. The method includes: building an interlocking data formal verification general model by using a formal modeling language; establishing a mapping relation between a set security logical attribute in the interlocking data formal verification general model and an interlocking device, an interlocking logical parameter, and a station interlocking function in interlocking data; performing security conversion on interlocking data to be verified according to the mapping relation to obtain general verification data required by the interlocking data formal verification data general model; and selecting a verification object from the general verification data, and selecting a verification algorithm to automatically verify the verification object by using a formal verification tool to complete formal verification for interlocking data security. The satisfiability and security of special interlocking data for implementing requirements of an interlocking system can be effectively verified.

The invention belongs to the technical field of computer collaborative modeling, and discloses a system modeling language online collaborative modeling method and system in a network environment. The method comprises the steps that user modeling operation is packaged into an editing event through a browser side and sent to a server side, the server side conducts concurrency control through a multi-granularity locking mechanism, a system modeling language graph serves as the main locking granularity, and model elements serve as the auxiliary locking granularity; the browser end maintains a command execution queue, and multi-end state synchronization is achieved through a version field; the system supports a design intention interaction mechanism, allows a non-lock holder to request operation through an intention event, and allows a server to forward the operation to a lock holder and execute corresponding operation according to feedback, thereby realizing state consistency, concurrency control and intention communication in a collaborative modeling process.