Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

105 results about "Graphical model" patented technology

A graphical model or probabilistic graphical model (PGM) or structured probabilistic model is a probabilistic model for which a graph expresses the conditional dependence structure between random variables. They are commonly used in probability theory, statistics—particularly Bayesian statistics—and machine learning.

Privacy-enhanced structured data simulation and generation method and system

The present invention provides a privacy-enhanced structured data simulation and generation method and system. The method comprises: step 1, a data conversion phase: performing normalization preprocessing on data; step 2, a probabilistic graphical model construction phase: on the basis of a Bayesian form, constructing the posterior distribution for variational inference from the data having undergone normalization preprocessing in step 1, obtaining an association relationship between the features of structured data by using a Stein variational gradient descent method, and when introducing differential privacy noise, using a Monte Carlo estimation algorithm to automatically obtain the amount of noise that needs to be added for each update step; and step 3: a data generation phase: using the association relationship obtained in step 2 as a metric set to generate more accurate simulation data than real data. The beneficial effect of the present invention is that: the method of the present invention avoids gradient clipping when applying DP-SGD, thereby avoiding the selection of clipping parameters and reducing the adverse effects of gradient clipping on an inference process.
Owner:HARBIN INSTITUTE OF TECHNOLOGY (SHENZHEN) (INSTITUTE OF SCIENCE AND TECHNOLOGY INNOVATION HARBIN INSTITUTE OF TECHNOLOGY SHENZHEN)

Substation equipment temperature measurement method and system based on visible light guidance

The invention relates to the technical field of mode recognition, in particular to a transformer substation equipment temperature measurement method and system based on visible light guidance. Firstly, a visible light image, an infrared thermogram and vibration spectrum data are synchronously collected, a dynamic compensation coefficient matrix is constructed through illumination intensity analysis, the dynamic compensation coefficient matrix is applied to the infrared thermogram, and illumination interference compensation is achieved. And then, inputting the corrected infrared thermogram and visible light image into a pre-trained heterogeneous atlas matching model, and identifying the category and three-dimensional coordinates of the target equipment. And based on the equipment category information, calling a standard temperature field template in the digital twin model library, establishing a heat conduction path model in combination with the vibration spectrum data, and generating a temperature field prediction reference map of the equipment. And finally, through pixel-by-pixel deviation analysis, inputting the temperature deviation value, the image features and the vibration data into the probability graphic model, and outputting equipment fault information. The method can realize high-precision temperature measurement and fault diagnosis.
Owner:NANCHANG POWER SUPPLY BRANCH OF STATE GRID JIANGXI ELECTRIC POWER CO LTD

Data-driven product collaborative design management method and system

The invention discloses a product collaborative design management method and system based on data driving, and relates to the technical field of product design management, and the method comprises the steps: constructing a double-flow heterogeneous quantitative collection network; establishing an incidence matrix and calculating dynamic coupling strength among the parameters; designing a recursive deep belief network based on the incidence matrix and the dynamic coupling strength, encoding product structure parameters and design process data into a probability graph model, and constructing a design knowledge base; dynamically distributing the design rules in the design knowledge base by adopting a swarm intelligent optimization algorithm, generating a collaborative decision-making unit, and establishing a constraint propagation link; and generating a multi-target collaborative optimization scheme group, and screening an optimal scheme group based on Pareto frontier. According to the invention, omnibearing acquisition of product structure parameters and design flow data is realized through the double-flow heterogeneous quantitative acquisition network, and the data integrity is improved.
Owner:NANCHANG UNIV

Domestic software and hardware compatibility intelligent evaluation system and method thereof

The invention relates to the technical field of software and hardware compatibility testing, in particular to a domestic software and hardware compatibility intelligent evaluation system and method, and the system comprises a compatibility analysis engine, a compatibility detection task execution engine, a software behavior analysis module, a fault positioning module, a knowledge graph module, a performance optimization suggestion module and a visual interface. The software behavior analysis module constructs a high-dimensional feature space of a software running state through deep learning, and extracts abnormal features based on a topological space mapping technology; the fault positioning module constructs a dynamic causal network based on a probability graph model, and identifies a root node through a chaos sensitivity analysis algorithm; the knowledge graph module constructs a software and hardware dependency relationship model and provides priori knowledge for fault location; and the performance optimization suggestion module generates an optimization scheme based on the root positioning result, so that the functions of automatically executing a compatibility test, accurately positioning the root of the compatibility problem and providing targeted optimization suggestions are realized, and the adaptation efficiency of domestic software and hardware is greatly improved.
Owner:BEIJING ZHIDAKE INFORMATION TECH CO LTD

Device and method for testing thermal deformation of filter film

The invention relates to the technical field of filter film testing, and discloses filter film thermal deformation testing equipment and a testing method. The method comprises the following steps: based on a test environment, carrying out a temperature cycle test on the filter film, and collecting a triple data set at the same time; performing image preprocessing and displacement field construction on the triple data set, and decomposing a displacement field into a linear combination of a standard deformation mode to obtain a thermal deformation response function; constructing a hierarchical probability graph model based on a thermal deformation response function, and extracting thermal deformation feature structural representation through variational inference; and performing deviation compensation on the structural representation of the thermal deformation characteristics to obtain environment self-adaptive thermal deformation characteristics, and calculating a thermal deformation reliability evaluation result comprising a thermal expansion coefficient matrix, a thermal deformation anisotropy index and thermal ripple strength. And comprehensive evaluation and reliability analysis of the thermal deformation characteristic of the filter film are realized.
Owner:GUIZHOU TONGREN XUJING PHOTOELECTRIC CO LTD

Cyberattack detection using probabilistic graphical models

Various embodiments include systems and methods to implement a security platform providing cyberattack detection. The security platform may, with respect to a cloud compute environment, use audit log data that is associated with a particular domain of operational activity within the cloud compute environment. Based on multiple baseline profiles associated with the operational activity, the security platform may use a probabilistic graph to determine a behavioral anomaly. The security platform may, based on the behavioral anomaly, identify a cyberattack.
Owner:INTSIGHTS CYBER INTELLIGENCE LTD

Generation of secure synthetic data based on true-source datasets

A system, method, and computer-readable medium for generating factual and / or counterfactual data are described. This may have the effect of improving the complexity of data available for training machine learning models. The models may include, but not limited to, a probabilistic graphical model (PGM) and / or an agent-based model (ABM). Further aspects may provide for scrubbing actual data to create a data model that does not reveal the content of the underlying source data. Yet further aspects may provide for validating a data model.
Owner:CAPITAL ONE SERVICES LLC

Class level feature importance using lasso and probabilistic graphical models

Embodiments of the following disclosure provide a feature importance system and method to identify features relevant to determining whether a target variable will achieve a particular value. One example method includes generating a probabilistic graphical model to represent the performance of one or more entities in a supply chain and selecting or more target variables. The method further includes collating a list of features pertaining to the one or more selected target variables, pruning at least one of the one or more features from the list and generating one or more bins in which to distribute the one or more features in the list. The method further includes modeling a network graph incorporating the one or more features in the list and bins and determining one or more inferences pertaining to the one or more supply chain entity target variables.
Owner:BLUE YONDER GROUP INC

Bayesian and frequentist anomaly detection ensemble

A system and method are disclosed for applying machine learning to identify anomalous supply chain data that generates a probabilistic graphical model based on training data from historical attributes of a supply chain comprising supply chain entities to represent the performance of the supply chain entities in the supply chain, standardizes input features data related to the probabilistic graphical model, performs data anomaly detection within the probabilistic graphical model using one or more frequentist data anomaly detection algorithms, performs data anomaly detection within the probabilistic graphical model using one or more Bayesian data anomaly detection algorithms, combines according to one or more weighting methods, the data anomaly detection performed using one or more frequentist data anomaly detection algorithms with the data anomaly detection performed using one or more Bayesian data anomaly detection algorithms, and detects in response to the combining, an anomaly within the standardized input features data.
Owner:BLUE YONDER GROUP INC

Asset data fusion and atlas analysis method and system in industrial control network environment

The invention discloses an asset data fusion and mapping analysis method and system in an industrial control network environment, which ensure that asset nodes are unique and the relationships are diversified through asset data fusion, improve the data quality and consistency, greatly improve the data storage and query efficiency through a graphical model, adapt to large data volume and high concurrency scenes, and improve the data storage and query efficiency. According to the method, the limitation of a traditional storage technology in processing industrial control network environment asset dynamic behavior data construction and display is solved, the expandability and the intelligent level of the whole system are improved, a powerful tool is provided for industrial control network management and safety monitoring, and efficient operation and maintenance decision is promoted.
Owner:BEIJING CHANGYANG TECH CO LTD

Deep learning system

A machine learning system is provided to enhance various aspects of machine learning models. In some aspects, a substantially photorealistic three-dimensional (3D) graphical model of an object is accessed and a set of training images of the 3D graphical mode are generated, the set of training images generated to add imperfections and degrade photorealistic quality of the training images. The set of training images are provided as training data to train an artificial neural network.
Owner:MOVIDIUS LTD

A sponge city design method and system

The present invention provides a sponge city design method and system, relating to the field of sponge city data processing technology. The method comprises obtaining information; simulating the waterlogging situation in the urban area using an agent-based model based on the information to obtain a waterlogging distribution map; constructing a graphical model based on the drainage system data; and constructing a drainage pipeline layout optimization model based on the graphical model and the waterlogging distribution map. The drainage pipeline layout optimization model includes an objective function and constraints, the objective function including minimizing the sum of the construction cost of the drainage pipeline and a penalty for insufficient drainage capacity. The constraints include flow balance constraints at the drainage points, capacity constraints of the drainage pipelines, drainage capacity constraints in the flood-prone areas, and drainage capacity constraints in the drainage bottleneck areas. The method then solves the drainage pipeline layout optimization model based on hypergeometric distribution sampling. The present invention takes into account the differences between different urban areas and significantly improves the design results of sponge cities.
Owner:GUANGXI ZHUANG AUTONOMOUS REGION TOBACCO CO LIUZHOU TOBACCO CO

Simulation of quantum circuits

Methods, systems and apparatus for simulating quantum circuits including multiple quantum logic gates. In one aspect, a method includes the actions of representing the multiple quantum logic gates as functions of one or more classical Boolean variables that define a undirected graphical model with each classical Boolean variable representing a vertex in the model and each function of respective classical Boolean variables representing a clique between vertices corresponding to the respective classical Boolean variables; representing the probability of obtaining a particular output bit string from the quantum circuit as a first sum of products of the functions; and calculating the probability of obtaining the particular output bit string from the quantum circuit by directly evaluating the sum of products of the functions. The calculated partition function is used to (i) calibrate, (ii) validate, or (iii) benchmark quantum computing hardware implementing a quantum circuit.
Owner:GOOGLE LLC

Building management system with intelligent fault visualization

A building management system including one or more storage devices storing instructions thereon that, when executed by one or more processors, cause the one or more processors to ingest asset information; cause a graphical model of the building to include a fault indicator based on the asset information, the fault indicator corresponding to a fault occurring on a first physical asset corresponding to a first virtual asset; cause a display device of a user device to display the graphical model within a user interface; receive a selection of the fault indicator from a user via the user interface; and in response to receiving the selection, cause the user interface to navigate to a fault-driven view of the graphical model depicting the first virtual asset and one or more second virtual assets corresponding to one or more second physical assets affected by the fault occurring on the first physical asset.
Owner:TYCO FIRE & SECURITY GMBH

Building energy-saving roof heat insulation monitoring system and heat insulation monitoring method

The invention relates to the technical field of building energy-saving monitoring, and discloses a building energy-saving roof heat insulation monitoring system and a heat insulation monitoring method. The method comprises the following steps: acquiring real-time heat insulation monitoring data of a building roof of a plurality of sensors, comparing and analyzing the real-time heat insulation monitoring data with a pre-stored roof heat insulation historical database, and extracting a system change component and a random interference component; detecting an unexpected temperature fluctuation phenomenon in the real-time data by adopting a mode recognition technology; mining a causal relationship by using a graph model analysis method, performing mode co-occurrence association processing, and identifying a core influence variable; taking the core influence variable as input, combining reference performance information of the same heat insulation structure to establish a standard heat insulation performance reference line, comparing the offset of the standard heat insulation performance reference line with the offset of an actually measured heat insulation performance curve, and fusing a statistical inference model to evaluate the heat insulation performance and judge the risk level of a heat insulation weak point; according to the related information, a sequence prediction technology is used for estimating an area where heat insulation failure possibly occurs in a specified time interval, and a heat insulation optimization maintenance scheme document is generated.
Owner:GUANGDONG DIANBAI CONSTR GRP

Low-light image quality enhancement system and method based on enhanced night scene modeling

PendingCN122335591AData setTraining phase
This invention discloses a low-light image quality enhancement system and method based on enhanced night scene modeling. The system includes: a sample data construction module, which generates enhanced low-light scene images based on an initial image dataset using a dual-channel hybrid generative network architecture and constructs an optimized training sample library; and a hybrid enhancement model, constructed based on an attention module and a probabilistic graphical model module. During the training phase, the hybrid enhancement model uses the optimized training sample library as input and employs a region-adaptive weighted loss function for parameter optimization. During the application phase, the optimized model receives the low-light image to be processed, estimates the illumination and noise distribution of the low-light image, and generates the enhanced image. This invention significantly improves the coverage of night scene training data and achieves adaptive enhancement of image features under low-light conditions, significantly improving the noise suppression effect in dark areas and the ability to restore image details.
Owner:INNER MONGOLIA UNIVERSITY

Graph-based model running simulation method and device, terminal and medium

The application provides a simulation method and device based on a graphical model, a terminal and a medium. The method comprises the following steps: obtaining a runnable simulation model in response to a configuration operation on a basic graphical primitive; analyzing the simulation model to generate a target logical framework and a complex behavior set corresponding to the simulation model; verifying the target logical framework and the complex behavior set, and performing model simulation based on the target logical framework and the complex behavior set when the target logical framework and the complex behavior set both pass the verification, to obtain a running simulation result corresponding to the simulation model. The application proposes a simulation running mechanism that is naturally runnable without code conversion based on simple primitives for quickly constructing a model, so as to improve the limitations or problems that cannot be realized in the existing modeling system.
Owner:BEIJING TONGYU ZHICHENG TECH CO LTD

Tensor interpolation decomposition method and device based on Bayesian learning

The invention discloses a Bayesian learning-based tensor interpolation decomposition method and device, and the method comprises the following steps: S1, expanding a multi-order tensor into a matrix according to one dimension, carrying out the clustering of the matrix, extracting a certain number of column vectors from different clustering types, and organizing the column vectors into a skeleton matrix; s2, regarding the skeleton matrix as a factor matrix in CP decomposition, and regarding the remaining factor matrixes as weight matrixes; carrying out probability modeling on tensor interpolation decomposition by utilizing leaf bass learning, and adding prior to the tensor; s3, setting prior for the weight matrix, drawing a probability graph model according to the prior of the weight matrix, and exporting model posterior distribution; s4, using a Gibbs sampling algorithm to carry out posterior approximate calculation of the weight matrix; and S5, calculating a model error value based on the tensor approximate value, if the model error value is smaller than a set threshold value, outputting a weight matrix, and otherwise, carrying out iteration on the step S4. The method has the effect of high interpretability.
Owner:HUAZHONG UNIV OF SCI & TECH

Highway bridge engineering construction safety monitoring method

The invention discloses a highway bridge engineering construction safety monitoring method. The highway bridge engineering construction safety monitoring method comprises the steps of obtaining highway bridge construction historical accident data; extracting structured information from the accident report text to determine an accident label and risk factors associated with the accident label; processing co-occurrence data of the risk factors in the accident case by using a preset association rule mining algorithm, and generating a risk factor association rule set representing a potential causal relationship among the risk factors according to the co-occurrence data; constructing a probability graph model of the risk factors based on causal semantics of the risk factor association rule set, wherein the probability graph model represents a dependency relationship among the risk factors; based on the probability graph model, determining sensitivity values of at least part of risk factors by using a preset importance degree measurement algorithm; determining a key risk factor according to the sensitivity value of the risk factor and a preset sensitivity threshold; and determining safety monitoring indexes of highway bridge engineering construction according to the key risk factors.
Owner:CHINA ACAD OF TRANSPORTATION SCI

Multi-source data fusion method and system for mobile Beidou high-precision positioning

The invention discloses a multi-source data fusion method and system for mobile Beidou high-precision positioning, and relates to the technical field of high-precision navigation positioning, the problem of satellite observation value quality degradation in a complex environment is inhibited through tight coupling layer explicit modeling and online estimation of multipath errors, and in the tight coupling depth fusion and calculation process, the real-time performance of the satellite observation value is improved. The constructed first factor graph model takes the multi-path error as a state parameter to be estimated for explicit modeling, the multi-path error is incorporated into a Beidou original observation factor, and in the joint optimization solution process, the first factor graph model takes the multi-path error as an independent degree of freedom for online real-time estimation and updating, so that the multi-path error is estimated in real time; according to the method, the part, attributable to multi-path interference, in the observation residual error is actively distributed and absorbed into the state parameters, so that a tight coupling resolving module can still output a more reliable tight coupling optimal pose sequence with higher anti-interference capability and provide a stable absolute position even if the satellite observation condition is seriously polluted by multiple paths.
Owner:JIANGSU KUAILU SEG TECH CO LTD

A method for sorting multifunctional radar pulse sequences based on probabilistic graphical model

The present invention discloses a method for sorting multifunctional radar pulse sequences based on a probabilistic graphical model, belonging to the field of radar electronic reconnaissance technology. The method mainly comprises two steps: constructing a radar pulse sequence interleaving model and sorting the radar pulse sequence. First, a hidden Markov model is used to model each radiation source to adapt to the type of interpulse modulation of the multifunctional radar. Second, a Markov chain is used to control the interleaving process. The present invention simultaneously infers the component Markov chain and the interleaving Markov chain, and has the characteristics of fast convergence speed and the ability to adapt to pulse missing. The present invention can sort radars with agile parameters.
Owner:BEIJING INST OF TECH

Data processing method and device for conversion from Revit to YJK model and medium

The invention discloses a data processing method and device for conversion from a Revit model to a YJK model and a medium, and relates to the technical field of electric digital data processing, and the method comprises the steps: building a three-dimensional diagram model based on building structure three-dimensional model data in a Revit model; carrying out collinear analysis on all plane edges in the three-dimensional graph model, extracting a plurality of plane edges which are located on the same straight line and are adjacent end to end as collinear edge groups, and marking grouping identifiers; tracking continuous frames at the same plane position in a vertical space based on a collinear edge group, and calculating projection weighted center coordinates for each continuous frame based on a cross section projection overlapping region of upper and lower vertical members and a cross section projection overlapping region of a horizontal beam member; rounding the weighted center coordinate according to a preset modulus to obtain an adjusted node coordinate; and updating the original coordinates of the corresponding nodes by using the adjusted node coordinates, and recording the deviation between the original coordinates and the adjusted node coordinates as an eccentric distance to generate a YJK structure calculation model.
Owner:HEFEI LIANGZHEN CONSTR TECH CO LTD

Repayment ability dynamic prediction and overdue early warning method based on multi-source time series data

PendingCN122335429AData streamFeature set
This invention relates to the field of financial risk early warning technology, specifically a method for dynamic prediction of repayment ability and overdue early warning based on multi-source time-series data. The method includes: acquiring multi-source time-series data of a target object over a continuous time period; generating a clean time-series data stream through time axis normalization and data quality restoration; constructing a feature set of income stability, expenditure volatility, and debt pressure based on this data stream, forming a multi-dimensional risk feature space; inputting this data into a probabilistic graphical model based on state transitions, outputting a probability distribution of repayment ability states; and calling an inversion inference engine to trace the key characteristic variables and change trajectories of abnormal states through state inversion technology, comparing them with preset risk thresholds to determine the risk critical point and level. This method achieves dynamic prediction of repayment ability and overdue early warning, improving the accuracy and targeting of risk identification.
Owner:SHANGHAI WEIYA INFORMATION TECH CO LTD

Display system for realizing graphical data through natural language interaction

The invention discloses a display system for realizing graphical data through natural language interaction, which belongs to the technical field of data conversion, and comprises a user interaction module for carrying out natural language interaction with a user, acquiring user intention and keywords, generating a database language and displaying the database language. The graph generation module is used for carrying out graphical conversion on target data by using a data graphical model based on a mapping rule and generating and displaying graphical data, and the data prediction module is used for predicting and calculating subsequent data of the target data in a preset period by using a change function and carrying out graphical conversion and generating and displaying graphical prediction data. The business application module selects a corresponding business scene template according to the intention of the user, so that the style of the generated and displayed graphical data conforms to the intention of the user and an application scene, the data analysis process can be simplified, the use threshold is reduced, complex business data of an enterprise can be conveniently integrated, and a visual graph is visually and effectively displayed for enterprise management personnel; and the accuracy of enterprise data analysis and the efficiency of enterprise management are improved.
Owner:BEIJING ZHONGRUI HAOHANG TECH CO LTD

Design processing method and device of state machine, storage medium and electronic equipment

The invention discloses a design processing method and device of a state machine, a storage medium and electronic equipment, relates to the technical field of nuclear power instrument control systems, and mainly aims to solve the problems of high cost and low reuse rate when the state machine in a nuclear power DCS (Distributed Control System) is designed by adopting existing graphical model design software. Performing modularization customization processing on each state machine element to obtain each corresponding component module; the state machine elements comprise a state machine, a state, migration and bifurcation; tool options corresponding to the state machine, the state, the migration and the bifurcation are set on a toolbar of a software page, and an incidence relation is established between the corresponding tool options and the component module; and when the tool option is selected, calling the corresponding component module based on the incidence relation, and designing a state machine structure on a software page according to the sequence of the engineering structure.
Owner:NUCLEAR POWER INSTITUTE OF CHINA

Monitoring security risk of a computing device

Disclosed herein are system, method, and computer program product embodiments for determining a probability of a device at risk. The device may be associated with a plurality of security parameters. For a security parameter, the device can be in multiple states. A probability value corresponding to a security parameter can indicate the security parameter being in a state among the multiple states. A probabilistic graphical model may be used to represent dependences of the plurality of security parameters. A device security risk prediction module may determine a probability of the device at risk based on the probabilistic graphical model and the probability assignments to the plurality of nodes of the probabilistic graphical model, and further determine a user action instruction to be provided to a user of the device based on the probability of the device at risk.
Owner:CAPITAL ONE SERVICES LLC

A method and system for simulating and analyzing a rainfall-induced landslide geological disaster scene

This invention relates to a method for simulating and analyzing rainfall-induced landslide geological disaster scenarios, belonging to the field of image synthesis, and more specifically to the field of 3D geographic modeling for computer mapping. The method includes: collecting customized model data of a given mountain at the current moment based on a 3D graphical model of the mountain; and using a landslide intelligent prediction model to intelligently predict whether a landslide geological disaster will occur on each side of the given mountain within the next time interval, starting from the current moment, based on the customized model data. This invention also relates to a rainfall-induced landslide geological disaster scenario simulation and analysis system. Through this invention, the technical problem of difficulty in predicting future landslide data for landslide-prone physical entities such as mountains is addressed by intelligently predicting whether a landslide will occur on each side of the given mountain within a future time interval based on a 3D graphical model of the mountain at the current moment, thereby solving the aforementioned technical problem.
Owner:CHINA RAILWAY GUANGZHOU ENG BUREAU GRP MUNICIPAL ENVIRONMENTAL PROTECTION ENG CO LTD

Controller reference power supply fault diagnosis and correction method based on compressed sensing

The present invention relates to a controller reference power supply fault diagnosis and correction method based on compressed sensing, comprising the following steps: systematically analyzing the internal reference power supply circuit of an aircraft engine controller, establishing a correlation model, and obtaining a correlation graphical model and a mathematical model matrix; establishing a linearized fault equation based on the correlation model; reconstructing the fault mode from the measured values and the fault feature matrix based on an orthogonal matching pursuit algorithm to achieve fault diagnosis of the reference power supply; and evaluating the offset ratio of all components by calculating the projection length of the measured values in different fault subspaces, thereby achieving correction of the reference power supply and correction of the measured values. The present invention improves the fault detection rate of the system, reduces the demand for test points, and can simultaneously locate single-point faults and multi-point combination faults, providing an effective means for system health management, and providing a reference power supply deviation correction method to improve the measurement accuracy of the controller.
Owner:CHINA AERONAUTICAL CONTROL SYST RES INST

Simulation method and device based on graphical model operation, terminal and medium

The invention provides an operation simulation method and device based on a graphical model, a terminal and a medium, and the method comprises the steps: responding to a configuration operation for a basic graphical primitive, and obtaining a runnable simulation model; analyzing the simulation model to generate a target logic framework and a complex behavior set corresponding to the simulation model; and verifying the target logic framework and the complex behavior set, and performing model operation simulation based on the target logic framework and the complex behavior set under the condition that the target logic framework and the complex behavior set pass verification to obtain an operation simulation result corresponding to the simulation model. The invention provides a natural runnable simulation running mechanism which is based on simple primitives to quickly construct a model and does not need to convert codes, so that the problem that an existing modeling system is limited or cannot be realized is solved.
Owner:BEIJING TONGYU ZHICHENG TECH CO LTD