49 results about "Activity diagram" patented technology

A data management system establishes connections with access control systems which are delegated by a domain to control data access and maintain data access history associated with the domain. The system receives a group access permission of a set of data resources to a group of named entities and heterogeneous sets of metadata related to the data access history and generates graph objects. The graph objects include named entity nodes and resource nodes. The named entity node represents a named entity associated with an organization, and the resource node represents a data resource. The system traverses access paths that connect the named entity node and the resource node determines a utilization level of a set of access paths. Based on the utilization level, the system revokes the set of access paths, thereby revoking an access permission of the set of named entity in the group to the specific data resource.

The invention relates to the technical field of unmanned aerial vehicle design, in particular to an unmanned aerial vehicle propeller definite reliability modeling method and system, a medium and a program product. The method comprises the following steps: firstly, constructing a demand model, a system context, a use case and an activity diagram of an unmanned aerial vehicle propeller based on SysML, and defining a mathematical function relationship of core performance parameters such as thrust, torque and rotating speed; then statistical fitting is carried out in combination with experimental data, a joint performance margin equation is constructed, a definite reliability theory is introduced, and the reliability value of the propeller is calculated through a standard normal cumulative distribution function; and finally, carrying out constraint binding on the constraint equation and the system structure model to realize dynamic response and model linkage under parameter change. According to the method, integration of reliability analysis in the MBSE model is realized, and the automation degree, the evaluation precision and the engineering application efficiency of reliability modeling of the propeller system are remarkably improved.

The invention discloses an embedded system integration test case multiplexing method and system, and the method is characterized in that the multiplexing of a test case is carried out based on the existing software assets: firstly, based on the existing software requirements and the test case, an existing requirement-test case tracking chain is constructed; performing demand change analysis on the new demand activity graph information; performing change influence range analysis based on a change analysis result in combination with a demand-test case tracking chain, and determining a test case reuse and generation scheme; and finally, executing the test case multiplexing and generating scheme. According to the method, the tracking relation between existing requirements and test case assets is established, meanwhile, the execution cost of downstream test tasks caused by requirement change is reduced through multiplexing, and the test efficiency of integration testing is improved.

The invention discloses an activity graph simulation execution visualization method and system based on fUML specification driving, and relates to the technical field of computer software, the method extracts core activity business data such as nodes and streams from a SysML activity graph model, converts the core activity business data into semantic data conforming to fUML and ALF standards, and then generates a standardized XMI format simulation file. And a simulation engine strictly following the fUML specification loads and analyzes the simulation file, converts the simulation file into an internally executable fUML instance model, and completes semantic check. And controlling a simulation engine to execute the model through an event-driven mechanism, issuing a state event in real time in the execution process, and driving a user interface to dynamically render the execution process of the activity graph in an animation form. According to the method, seamless connection of the SysML activity diagram from static design to dynamic executable verification is realized, the standard conformity of simulation semantics is ensured, and the verification efficiency and intuition of system function logic are improved.

The invention discloses a manned space mission scene design and orbit analysis interaction method, which comprises the steps of S1, defining a space mission scene, and defining a mission target, a mission range and a mission constraint; s2, an MBSE model is constructed according to the scene, and modeling of a system architecture, function requirements and performance indexes is achieved; s3, generating an activity graph and an executable script based on the MBSE model, and establishing script execution logic; s4, starting simulation according to the activity graph and the script; s5, realizing linkage of MBSE simulation and track analysis software, and constructing a joint simulation environment; and S6, generating an orbit analysis scene in joint simulation, simulating a spacecraft trajectory, and generating a visual result and a parameter report. According to the method, a data link between the MBSE model and an orbit analysis tool is broken through, the problems of low manual construction efficiency, asynchronous parameters and insufficient verification are solved, the space mission scene design efficiency, model consistency and simulation reliability are remarkably improved, and effective support is provided for rapid design and optimization of complex manned space missions.

The application belongs to the technical field of hydraulic systems, and discloses a helicopter hydraulic system joint simulation method based on multi-discipline, wherein step one is to acquire hydraulic system demand; step two is to analyze the hydraulic system demand to obtain a hydraulic system use case diagram; step three is to perform function analysis to obtain an activity diagram, a sequence diagram and a black box state diagram; step four is to perform system design synthesis based on the function analysis to obtain a white box state diagram and build a hydraulic system function logic model based on Rhapsody; step five is to build a hydraulic system physical performance model based on AMESim based on the hydraulic system physical function model based on Rhapsody; the cabin display panel of the hydraulic system is simulated in AMESim based on the sequence diagram; step six is to build a main tail rotor dynamics three-dimensional visual model based on CAT IA; step seven is to combine the hydraulic system function logic model, the complete hydraulic system physical prototype model and the main tail rotor dynamics three-dimensional visual model; and step eight is to set simulation conditions and perform joint simulation.

The present application belongs to the technical field of model-based system engineering, and relates to a laser fusion superfast imaging instrument logic design method and system based on MBSE, which comprises: based on the demand information of the superfast imaging instrument, system indexes of the superfast imaging instrument are obtained through operation analysis; based on the system index identification, components required to achieve the system indexes are obtained, and component indexes are configured through decomposition of the system indexes; based on the component index identification, modules required to achieve the component indexes are obtained, and module indexes are configured through decomposition of the component indexes. The method establishes a multi-level two-way traceable relationship matrix in the collaborative development of the superfast imaging instrument, establishes a two-way traceable link among user demand, service use case and indexes at each level, ensures that any modification can be subjected to impact analysis, and improves information consistency; through standardized and visualized models such as service use case and activity diagram, a common understanding basis without ambiguity is provided for different teams, and team collaboration is promoted.

The application provides an aero-engine design method based on SysML activity diagram native driving and AI autonomous decision, and belongs to the technical field of aero-engines, and comprises the following steps: constructing a SysML model integrating engine architecture and behavior, wherein the SysML model is constructed based on a SysML activity diagram; loading the SysML model by a diagram explanation engine based on asynchronous event driving, and driving a simulation calculation process by managing the life cycle of a token; when the simulation calculation is performed, performing AI autonomous decision and pruning strategy based on Bayesian inference, including dynamic pruning based on a sensitivity matrix and autonomous optimization based on Gaussian process regression; and associating the simulation calculation result with the attributes of the SysML model by the system automation to complete integration. The scheme reduces the communication and maintenance cost of a complex system, improves the process observability and debugging efficiency, and realizes intelligent scheduling and data alignment based on an architecture context.

The embodiment of the invention discloses a safety-critical software test modeling method and device fused with an STPA method.According to the embodiment of the invention, firstly, system boundary definition and demand collection are carried out, then a three-view model composed of a control composite structure diagram, a state machine diagram and an activity diagram is constructed, the control composite structure diagram is based on the MARTE specification and the STAMP theory, and the state machine diagram and the activity diagram are combined. A system component and a control feedback relation thereof are defined. Six kinds of unsafe control behaviors and 23 kinds of cause scenes are systematically recognized by integrating time and reliability constraints of MARTE and combining an STPA method, and model iteration and verification are carried out. According to the method, the problems of non-systematic security analysis, insufficient time constraint management and poor model consistency in the prior art are solved, the test coverage rate and the system security are remarkably improved, and the resource utilization and development efficiency is optimized.

This invention provides a method for automatic test case generation and requirement verification based on SysML activity diagrams, comprising the following steps: S1, requirement formalization and simulation verification; S2, SysML activity diagram structure analysis; S3, SysML activity diagram modularization; S4, test path generation; S5, test data generation; S6, test case generation. This invention also provides a readable storage medium. The beneficial effects of this invention are: it provides a method and readable storage medium for automatic test case generation and requirement verification based on SysML activity diagrams, effectively filling the gaps in current modeling software support for MBT and requirement verification, forming a highly automated, versatile method capable of supporting the generation and optimization of test cases for complex activity diagrams, verifying whether the model design correctly reflects user needs, improving system security and reliability, and reducing modeling and testing costs.

The invention belongs to the technical field of model-based system engineering, and relates to an MBSE-based laser fusion ultrafast imaging instrument logic design method and system, and the method comprises the steps: obtaining system indexes of an ultrafast imaging instrument through operation analysis based on the demand information of the ultrafast imaging instrument; based on system index identification, acquiring components required for achieving the system indexes, and configuring component indexes by decomposing the system indexes; modules required for achieving component indexes are obtained based on component index identification, and module indexes are configured by decomposing the component indexes. According to the method, a multilevel bidirectional traceable relation matrix is established in ultrafast imaging instrument collaborative development, bidirectional traceable links are established among user requirements, service cases and indexes of all levels, and it is ensured that any modification can be subjected to influence analysis, so that information consistency is improved; through standardized and visual models such as service cases and activity diagrams, an unambiguous common understanding basis is provided for different teams, and team cooperation is promoted.

The application relates to the technical field of model configuration, in particular to a software architecture framework configuration and generation method based on UML meta-model extension technology. The application proposes the following scheme: a UML activity diagram is constructed to depict function execution flow, and UML interaction constraint conditions containing time sequence, concurrency, branching and interface constraint are generated from the activity diagram; under the constraint of the interaction constraint, a UML component meta-class is extended, meta-attributes such as framework semantic type, running environment and generation configuration are introduced, and an initial software architecture framework model is constructed; in combination with a component knowledge graph library, an outwardly-biased distribution strategy is adopted to distribute activity nodes to reusable components or newly-built components, and a software architecture framework meeting interaction consistency and generation constraint is generated. The application can improve the traceability, reuse stability and engineering generability of architecture configuration.

A data management system establishes connections with access control systems which are delegated by a domain to control data access and maintain data access history associated with the domain. The system receives a group access permission of a set of data resources to a group of named entities and heterogeneous sets of metadata related to the data access history and generates graph objects. The graph objects include named entity nodes and resource nodes. The named entity' node represents a named entity associated with an organization, and the resource node represents a data resource. The system traverses access paths that connect the named entity node and the resource node determines a utilization level of a set of access paths. Based on the utilization level, the system revokes the set of access paths, thereby revoking an access permission of the set of named entity in the group to the specific data resource.

The invention discloses a modeling and verification method and system for a multi-level system functional architecture of complex equipment. The method comprises the following steps: by establishing a traceability relation matrix of use cases and demands, ensuring the integrity of demand coverage; carrying out platform-level function logic flow modeling based on the activity graph and an OODA ring; generating a plurality of alternative architecture schemes; performing quantitative optimization by using a comprehensive evaluation function fusing the function coupling degree, the interface complexity and the information flow efficiency; function requirements and interface requirements are automatically mapped to a first-level system module; constructing a unified time state interaction graph model and compiling to generate an executable code; closed-loop verification is carried out through human-in-loop testing in a digital twin environment; and the verified accurate demand is output in a structured manner. According to the method, the problems that in complex equipment development, demand tracing is difficult, architecture design depends on experience, and verification and design are disjointed are solved, automation, modeling and precision of the whole process from demand to verification are achieved, and design efficiency and system reliability are remarkably improved.

A machine learning and inference system for generating personalized activity plans includes: a trained world context knowledge base; a trained personal digital memory bank; the target engine is used for establishing a moving target; an activity decomposition engine to decompose the activity into connected logically consistent sub-activities; a weight allocation engine to allocate value weights to the potential sub-activities; a graphics generation engine to generate a multi-layer weighted graph to train a model of personalized results of the sub-activities according to value weights; a scene generation engine to analyze a network of logically consistent potential sub-activities connected by paths to determine a selected scene path to the activity target according to a model that at least personalizes the user results; a feedback engine to apply learning from the scene generation engine to a world context knowledge base and / or a personal digital memory bank; and an output channel for outputting a personalized activity plan comprising recommended actions for implementing the selected scene path.

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

A system and method for generating an activity graph for cybersecurity threat detection is presented. The method includes detecting an activity in a computing environment, the activity including a plurality of event records; detecting a plurality of components in the plurality of event records; detecting in a security graph a plurality of representations, each representation corresponding to a component, wherein the security graph further includes a representation of the computing environment; and generating a visualization based on the plurality of event records and the plurality of representations.

The application belongs to the field of comprehensive radio frequency system, and particularly relates to a comprehensive radio frequency system model based on a meta model and a comprehensive radio frequency system design method, the system model comprising: a concept model, a logic model and a data model; the concept model comprising a use case model and a composition model; the use case model being used to describe a top layer operation architecture and a system boundary of the system, and being described by a use case diagram of a SysML language; the composition model being used to describe a concept composition relationship of the system, and being described by a block definition diagram of the SysML language; the logic model comprising activities and interfaces; the activities being basic elements for describing behaviors of the system, and being described by an activity diagram of the SysML language; the interfaces being basic elements for describing elements transmitted externally by different forms, and being described by an internal block diagram of the SysML language; the data model comprising system form elements and physical data; the system form elements being basic elements for instantiating concept of the system, and being described by a block definition diagram of the SysML language; and the physical data being basic elements for describing interactions between systems, and being described by an internal block diagram of the SysML language.

The present invention provides a support system indicator analysis method based on Harmony SE, which includes: conducting indicator analysis of the support system, determining standardized system indicators, and establishing a first traceability relationship and a second traceability relationship; conducting functional analysis of the support system, determining black-box activity diagrams and black-box sequence diagrams, and establishing a third traceability relationship; conducting architectural analysis of the support system, determining evaluation criteria for the support system, and obtaining an optimal solution for the support system; conducting architectural design of the support system, determining white-box activity diagrams and white-box sequence diagrams, establishing a fourth traceability relationship, and generating subsystem design requirements for the support system. By conducting indicator analysis, functional analysis, architectural analysis, and architectural design of the support system, the present invention supports the indicator-driven forward development of the support system, resolves many issues caused by designer experience, compensates for deficiencies in support system planning and design, and achieves optimization through design assurance.

The invention discloses a SysML model-to-code generation method and device, and belongs to the technical field of model-driven development, and the method comprises the steps: firstly, generating configuration parameters and a semantic structure of a target programming language by expanding SysML model embedded codes; then constructing a model element instance warehouse containing model element instances and association relationships thereof, and carrying out validity verification; converting the SysML model element instances passing the verification into an abstract syntax tree of a target programming language by utilizing a conversion engine; and finally, filling the syntax tree which is verified to be correct into a predefined code template through a template engine, and generating an executable code. According to the method, structure and behavior semantic mapping from the system model to the code is achieved, automatic code generation of dynamic behaviors such as a state machine and an activity graph is supported, and the code generation efficiency and the system development quality are remarkably improved.

The invention provides an MOM-oriented business domain and technical domain model mapping method and device, equipment and a medium, and relates to the technical field of software development, and the method comprises the steps: constructing an activity graph of a business target according to a plurality of key activities supporting the realization of the business target; extracting each key activity from the activity graph, and decomposing each key activity into a plurality of atomic tasks; according to the atomic tasks, a flow chart of each key activity is constructed, and a plurality of DDD concept objects are marked in the flow charts; extracting a plurality of DDD concept objects related to each atomic task from the flow chart, and constructing a class chart of a scene unit corresponding to each atomic task; and extracting a plurality of DDD core concept objects related to interaction from the class diagram, and constructing a time sequence diagram of a scene unit corresponding to each atomic task. According to the method, through a top-down modeling process, an expression path from a business target to a domain model to execution logic is realized, and the efficiency and quality of MOM software development are improved.

The application discloses a kind of SysML model to code generation method and device, belong to model-driven development technical field, including: first, by embedding code generation configuration parameter and the semantic structure of target programming language through extending SysML model;Then, the model element instance repository containing model element instance and its associated relationship is built and validity check is carried out;Subsequently, the SysML model element instance that passes through check is converted into the abstract syntax tree of target programming language using conversion engine;Finally, the correct syntax tree of verification is filled to pre-defined code template, and executable code is generated.By the application, the structure and behavior semantic mapping of system model to code is realized, the code automatic generation of dynamic behavior such as state machine, activity diagram is supported, and the code generation efficiency and system development quality are significantly improved.

The invention relates to a SysML-based system function architecture model automatic generation and real-time synchronization method and system, and the method comprises the steps: receiving a function demand text inputted by a user through a demand analysis module, and generating a structured set containing function demand elements and attribute relationships thereof; and mapping the structured demand into a SysML activity diagram, and optimizing the node layout through a dynamic programming algorithm. The matching degree of active nodes and system modules is calculated based on a multi-objective optimization algorithm (improved NSGA-II), and automatic allocation is realized by taking module coupling degree minimization and function cohesion maximization as principles. And generating an interface definition between the system modules according to the data flow relationship. And the consistency of multi-user collaborative modeling is guaranteed by operating a conversion conflict resolution algorithm. And performing formalized verification on the generated state machine diagram by adopting a sequential logic model detection technology. According to the method, full-automatic generation and real-time synchronization of the model from the demand to the complete system function architecture model are realized, and the modeling efficiency, the model quality and the collaborative reliability are remarkably improved.

A cooperation mode mining method based on activity graph, comprising: step 1, constructing an activity graph; step 2, extracting user activity data and extracting all attributes therefrom to obtain a k-item cooperation mode set Lk; step 3, generating a candidate (k+1)-item cooperation mode set C(k+1); step 4, taking a candidate cooperation mode I from C(k+1) and embedding it into the activity graph to obtain an embedding Π, and pruning; step 5, constructing an activity set A(Π) from the pruned set Π, mapping I to the activity set A(Π) to obtain a set φ, and pruning; step 6, counting the support degree of the occurrence in the set φ, and discarding the occurrence with a count value lower than a minimum support degree threshold; step 7, letting i=i+1, and repeating steps 4-6 until all candidate cooperation modes are checked; step 8, taking a set of all (k+1)-item cooperation modes as Lk, letting k=k+1, and repeating steps 3-7 until no cooperation mode can be obtained any more; and step 9, outputting a result; the application has the advantage of improving the yield rate in various industries.

The present invention discloses a model-based co-simulation method and system for a radar servo system control loop. The method comprises creating a radar servo system using a SysML block definition diagram; establishing the states of the radar servo system and the transition conditions between states using a SysML state machine to obtain the radar servo system state machine; establishing the activity behaviors of the radar servo system using a SysML activity diagram to obtain the radar servo system activity diagram; creating a mathematical model of the radar servo system control loop using Matlab's Simulink tool; encapsulating the mathematical model as opaque actions and adding them to a SysML control loop closed activity diagram; creating an interface for calling behavioral actions and opaque actions of the control loop mathematical model; and simulating the radar servo system state machine and activity diagram using a SysML simulation diagram. The present invention simulates the working process of the radar servo system in an operational state, resolving the problem that system testing and verification primarily rely on physical prototypes, resulting in numerous technical iterations, design and manufacturing errors, and high cycle costs.

The application discloses an embedded system integration test case reuse method and system, which is essentially based on existing software assets to reuse test cases: firstly, based on existing software requirements and test cases, a tracking chain between the existing requirements and test cases is constructed; next, requirement change analysis is performed on new requirement activity diagram information; based on the change analysis result, combined with the requirement-test case tracking chain, change influence range analysis is performed to establish a test case reuse and generation scheme; finally, the test case reuse and generation scheme is executed. The method not only establishes the tracking relationship of the existing requirements and test case assets, but also reduces the execution cost of the downstream test task caused by the requirement change through reuse, and improves the test efficiency of the integration test.

The application provides a model-based power system failure mode and effect analysis method, and relates to the technical field of failure mode and effect analysis, and comprises the following steps: obtaining development requirements of a power system, and constructing a system model of the power system based on the development requirements; wherein the system model comprises an activity graph, a parameter graph model, a module definition graph and an internal module graph; identifying power system failure modes based on the system model; wherein the power system failure modes comprise functional failure modes, performance deviation failure modes and structural failure modes; identifying failure transmission relationships of the power system failure modes based on the system model; modeling the failure transmission relationships to obtain a failure transmission relationship matrix; and generating power system FMEA entries based on the power system failure modes and the failure transmission relationship matrix. The application improves the accuracy and analysis efficiency of power system failure mode and effect analysis.

The embodiment of the application relates to the technical field of software engineering and artificial intelligence, and discloses a process modeling method for human-machine cooperation and related equipment, the method comprising: constructing a hierarchical recursive process model, the process model comprising a process domain layer, an activity layer and a task layer; using an eight-tuple model to formally describe each task, the eight-tuple model comprising a task identifier, an input artifact set, an execution logic, an output artifact set, a role performer, a constraint set, a cognitive level and a deterministic classification, defining four types of role performers for the process model, including a human role, an agent role, a system role and a hybrid role, and based on the four types of role performers and the eight-tuple model, rendering each activity of the process model as an activity graph on a preset workbench interface through differentiated visual lanes, and in this way, the embodiment of the application effectively realizes modeling of AI tasks under the framework of organizational system constraints and standard specifications in a human-machine cooperation scenario.

The invention belongs to the technical field of electromechanical management, and discloses an MBSE-based electromechanical integrated management system air conditioner control software design method, which comprises the following steps of: 1, analyzing the requirements of benefit-critical people to obtain helicopter air conditioner control related use cases; step 2, according to the obtained use case, developing an activity diagram layer by layer to obtain a function which needs to be realized by the electromechanical integrated management system; step 3, according to the architecture of the electromechanical integrated management system, carrying out lane activity diagram development on functions needing to be realized by the electromechanical integrated management system; 4, docking with an environment control system, and combining the functions obtained in the steps 1-3 to obtain software requirements; 5, building a software model according to the software requirements; 6, performing model testing on the software control model; 7, the MBSE model and the software control model are combined to achieve model in-loop test verification; and 8, generating an air conditioner control software source code. According to the method, the problems of low software development readability and inheritance of a traditional electromechanical integrated management system are solved, and the readability is enhanced and the system is more visual.

The application provides a modeling and model conversion method for automatic driving demand analysis, comprising the following steps: step 1, defining a UML extension meta-model; step 2, obtaining an intermediate model; and step 3, generating a target extension model. The application combines the abstracted concepts with the UML analysis model by analyzing and extracting the automatic driving related terms and concepts and the behavior characteristics of the automatic driving vehicle, realizes the extension of the UML class diagram and the activity diagram in the automatic driving field, formulates the model conversion rules according to the automatic driving concepts of the automatic driving system limited use case modeling language, and realizes the model conversion method based on the model conversion engine written in the Java language, so that the defects that the general model conversion method cannot process the RUCM4ADS model are made up, the efficiency and accuracy of the model conversion in the automatic driving field are promoted, the subsequent analysis and testing of the system demand are facilitated, and the accuracy of the demand modeling in the automatic driving field is improved.