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

188 results about "Sequential logic" patented technology

In digital circuit theory, sequential logic is a type of logic circuit whose output depends not only on the present value of its input signals but on the sequence of past inputs, the input history as well. This is in contrast to combinational logic, whose output is a function of only the present input. That is, sequential logic has state (memory) while combinational logic does not.

Multifunctional test tool and method for EUROMAP interface of injection molding machine

The invention relates to the field of industrial automation testing, discloses a multifunctional testing tool and method for an EUROMAP interface of an injection molding machine, and achieves the crossing from single function verification to system-level compliance evaluation. A test network is constructed through a controller, and deep compliance verification, coverage data interaction, exception handling and cross-layer response consistency are realized. The test tool integrates the functions of protocol analysis, signal simulation, fault injection and the like, supports dynamic generation of boundary value test scenes and abnormal injection of signal delay, CRC errors and the like, and verifies the time sequence / logic consistency of a protocol instruction and an execution mechanism response through a hardware-level timestamp alignment technology. According to the method, an evaluation report including compliance rating, fault diagnosis and optimization suggestions is automatically generated, the problems of single coverage dimension, insufficient abnormal simulation, cross-layer verification deficiency and the like of a traditional test are solved, the intelligence and standardization level of the injection molding machine interface test is remarkably improved, and the equipment interconnection and intercommunication performance is guaranteed.
Owner:KRAUSSMAFFEI MACHINERY ZHEJIANG CO LTD

Electric power system intrusion detection and defense method based on artificial intelligence

The invention provides a power system intrusion detection and defense method based on artificial intelligence, and belongs to the technical field of power system intelligent control, and the method comprises the steps: 1, collecting data based on a multi-dimensional data collection layer, and forming an original data flow containing a time-space synchronization mark; 2, dynamically segmenting the original data stream by adopting a self-adaptive sliding window mechanism, automatically adjusting the size of a window according to the arrival frequency of a data packet, and converting the continuous data stream into a final triple sequence; 3, extracting and analyzing the features of the final triple sequence, and determining an equipment behavior mode and sequential logic of power operation; 4, performing deviation analysis on the equipment behavior mode and the normal behavior mode, and generating a primary alarm signal when the deviation degree exceeds a dynamic threshold value; and 5, starting multi-stage interlocking verification based on the primary alarm signal to determine an intrusion type, and matching a preset response rule base according to the intrusion type. Intrusion behaviors in the power system are effectively detected and defended in real time.
Owner:ALTAY POWER SUPPLY CO OF STATE GRID XINJIANG ELECTRIC POWER CO

Running state monitoring and fault diagnosis method for loom control system based on machine vision

The invention relates to the technical field of industrial vision and intelligent monitoring, and discloses a loom control system operation state monitoring and fault diagnosis method based on machine vision, which comprises the following steps: acquiring a video stream in a loom shed area and constructing a two-dimensional space-time slice tensor; performing global motion compensation processing on the space-time slice tensor by using a homography transformation matrix, mapping a compensated dynamic texture feature sequence to a three-dimensional phase space by using a time delay embedding algorithm, and reconstructing a closed phase space trajectory representing periodic operation logic of the loom; the discrete Frechet distance between the phase space trajectory of the current operation cycle and the preset reference trajectory is calculated, and a control instruction is generated. The health degree of the sequential logic of the system is directly quantified on the premise that specific components are not recognized by using the invariant characteristic of the phase space manifold topology; the technical problems that small phase lag is difficult to perceive and nonlinear faults cannot be early warned in a strong noise environment are solved.
Owner:HU ZHOU XIN NAN HAI ZHI ZAO CHANG

Multi-level circulation box quantity distribution scheduling method and system

The invention relates to the technical field of electric digital data processing, and discloses a multi-level circulation box quantity distribution scheduling method and system, and the method comprises the steps: extracting a request numerical value in a resource request instruction, comparing the request numerical value with a reference limit, and when the request numerical value exceeds a preset triggering proportion, executing the step 1; splitting the resource request instruction into an activated detection sub-instruction and a frozen main body sub-instruction; issuing a detection sub-instruction and receiving a processing state updating signal fed back by the target node; calculating a state circulation rate of the detection sub-instruction, and when the state circulation rate is higher than a preset circulation rate threshold value, unfreezing the main body sub-instruction and triggering an issuing operation; according to the invention, through an active interaction mechanism of data instruction fragmentation and sequential logic gating, prediction of an uncertain demand is converted into determinacy verification of instant physical feedback; the problems of system resource locking and scheduling deadlock caused by input data distortion in a distributed network are solved.
Owner:TIANJIN PORT INFORMATION TECH DEV CO LTD

Rigid-flexible switching type four-door hinge mounting tool and method based on pneumatic sequential logic

The invention discloses a rigid-flexible switching type four-door hinge installation tool and method based on pneumatic sequential logic, and relates to the technical field of automobile manufacturing equipment, and the rigid-flexible switching type four-door hinge installation tool comprises a positioning and clamping operation module, a ground pushing chassis module and a pneumatic sequential logic floating module. The floating module comprises a three-dimensional decoupling mechanism, a normally-closed self-resetting mechanism and a normally-open delaying locking mechanism. The pneumatic control system is provided with three parallel branches including a reset unlocking branch, a clamping operation branch and a delay locking branch with a one-way sequence valve, and a pure pneumatic logic time sequence is constructed by utilizing the characteristic that an opening threshold value is set between dynamic pressure and stable pressure. By means of the scheme, accurate switching of pushing rigidity, positioning flexibility and tightening rigidity can be automatically achieved only through on-off of a single air source, complex electrical control is abandoned, the rigid and flexible requirement contradiction in follow-up assembly is effectively solved, vehicle body damage caused by time sequence disorder is avoided, and hinge installation accuracy and equipment reliability are improved.
Owner:CHINA FAW CO LTD

Intelligent building method and system based on BIM

The invention relates to the technical field of intelligent construction, and discloses a BIM-based intelligent construction method and system, and the method comprises the following steps: S1, deploying a laser scanner, an RFID tag and a displacement sensor; s2, coding sequential logic in the construction plan into a JSON format rule, and importing the JSON format rule into a BIM logic coding unit; s3, establishing an end-to-end data pipeline through 5G SA networking; s4, the cloud server runs the pre-trained three-layer residual convolutional neural network; s5, dynamically adjusting the inspection path of the unmanned aerial vehicle according to the updated BIM coordinates; and S6, monitoring the execution attitude data of the construction machinery in real time through the sensor database. By constructing the BIM and the Internet of Things, construction logic rule codes are embedded into the BIM, dynamic interaction of design-construction data is achieved, two-way association of a physical entity and a virtual model is achieved through the data mapping technology, the mechanical arm is driven to conduct automatic deviation correction, and the construction precision and the automatic construction effect are remarkably improved.
Owner:ZHONGYUAN CONSTR GROUP

Semi-cut mountain modeling database construction method and system based on multi-dimensional parameters

The invention relates to the technical field of database structures, in particular to a semi-cut mountain modeling database construction method and system based on multi-dimensional parameters, and the method comprises the following steps: extracting slope elevation and cutting angle fields, arranging the sequence of related fields and unifying formats, calculating a text relationship and generating numbers, dividing blocks, and writing the blocks into a structural text. And forming a database structure construction atlas. According to the method, a regularized field cluster is formed by constructing a field value set and a structure sequence, a field jump path is established, the sequence direction is identified, clear expression of a field combination mode and continuing logic is achieved, content blocks are divided in combination with node information, the pairing relation is adjusted, and a unified format is set to enhance field normalization; the method comprises the following steps: binding elevation and strength sections through attribute injection, completing classified undertaking and structure reconstruction of text records, realizing field system output in cooperation with directory naming and path registration, enhancing the ordered organization and linkage ability among fields, and improving the expression efficiency and expansion adaptability of structure construction.
Owner:THREE GORGES NEW ENERGY POWER GENERATION (MAILE) CO LTD +1

Parking lot automatic parking extreme test case generation method and related equipment

The embodiment of the invention belongs to the field of intelligent driving, and relates to a parking lot automatic parking extreme test case generation method and related equipment. In the prior art, in a parking lot automatic parking extreme test case generation process, parameter combination explosion causes computing resource waste and low efficiency, insufficient risk quantification precision is difficult to guarantee case extreme performance, and lack of sequential logic rationality causes low reference value of a test result. According to the method and the device, the technical problems that key cases cannot be accurately obtained due to undefined screening standards and the like are solved, so that the test cases which have extreme property and time sequence reasonability and can effectively trigger system limit response are efficiently generated, and the effectiveness and safety verification level of extreme scene testing of the automatic parking system are improved.
Owner:SHENZHEN ZHONGHONG TECH

Water conservancy equipment cooperative operation system based on industrial control system

The invention relates to the technical field of water conservancy project automation and industrial control, in particular to a water conservancy equipment collaborative operation system based on an industrial control system, which comprises a programmable input mapping and logic matching unit, a data processing unit and a data processing unit, the system carries out binary bit mode matching on the operation result and the feature data block in the memory; the logical operation and addressing unit is used for calculating control lag time and generating a structured digital control sequence data stack; the sequential control and instruction addressing unit is used for generating a cooperative control instruction set containing sequential logic; the output mapping and checking unit is used for reading real-time feedback, and if deviation exists, an interruption compensation program is triggered to correct an action curve of an executing mechanism; the storage rewriting and loop optimization unit is used for correcting transmission delay parameters of the model and realizing closed-loop optimization; according to the method, the problem of model distortion caused by physical property drift is solved, and stable full-life-cycle operation is ensured.
Owner:ANHUI ZHONGKE ZHIBO TECH DEV CO LTD

Automatic test-oriented communication protocol and sequential logic cooperative control system

The invention discloses an automatic test-oriented communication protocol and sequential logic cooperative control system, and relates to the technical field of nuclear field instrument and control system test, and the system comprises a 7-slot computer cage, a controller, a function card, a dual-path full duplex communication link, and a power supply monitoring module. The controller is fixed at the slot 0 of the 7-slot cage, and the function card is inserted in the slot 1 to the slot 6 in a mixed manner. And the controller is connected with each function card through a double-path full duplex communication link, is linked with the power supply monitoring module through a GPIO (General Purpose Input / Output) signal so as to monitor and control the power supply of the function card, and is also connected with the HMI through a gigabit Ethernet. The controller receives a test case of the HMI based on a first preset communication protocol, generates a test instruction, packages the test instruction into a control frame through a second preset communication protocol, issues the control frame according to three time sequence regulation and control modes, receives the state and test data returned by the function card, and intervenes the abnormal function card through the power supply monitoring module. And the function card analyzes the instruction, executes a test, collects and returns data, and reports the operation state at the same time.
Owner:NUCLEAR POWER INSTITUTE OF CHINA

Power network security knowledge ontology modeling method

The invention belongs to the technical field of computer network security, and discloses a power network security knowledge ontology modeling method, which comprises the following steps of: firstly, collecting multi-mode heterogeneous data such as power monitoring, security equipment and threat intelligence in parallel; then, adopting a hybrid strategy, on one hand, constructing a top-layer seed ontology based on a domain standard, and on the other hand, automatically extracting an entity relationship from the text by utilizing a deep learning model; secondly, associating multi-source knowledge and solving conflicts through entity alignment and sequential logic fusion, and generating a consistent and credible global knowledge view; and finally, establishing an ontology self-evolution mechanism based on reinforcement learning, dynamically adjusting knowledge weight and automatically expanding a mode, realizing deep understanding, accurate prediction and self-adaptive evolution of network threats, and improving the active defense level of a power system. According to the method, the core problems of one-sided knowledge acquisition, poor fusion capability, static model evolution incapability and the like in the prior art are solved.
Owner:GUANGXI POWER GRID CORP

Closed-loop virtual test flight pre-evaluation method and medium

The invention relates to a closed-loop virtual test flight pre-evaluation method and a medium, and relates to the field of flight tests. The method comprises the steps of constructing a digital twin module which comprises a pneumatic sub-model, a flight control sub-model, a power sub-model and a structure sub-model, defining a tilt transition specific high-risk subject and generating a test case, executing parallel Monte Carlo simulation and hardware-in-the-loop test, performing flight safety risk identification and envelope boundary quantification, and determining a tilt transition specific high-risk subject according to the tilt transition specific high-risk subject. And generating a risk assessment report and optimizing a real aircraft test flight outline. Wherein the aerodynamic sub-model adopts a dynamic vortex grid correction method based on CFD offline calibration and online query; the flight control sub-model comprises a configurable fault injection module based on a script engine, and the configurable fault injection module is used for defining a coupling fault sequence of sequential logic and a condition triggering relation. Compared with the prior art, the accuracy and the applicability of the pre-evaluation of the virtual test flight are improved.
Owner:LOW SPEED AERODYNAMIC INST OF CHINESE AERODYNAMIC RES & DEV CENT

Adaptive feature fusion intrusion detection method and system for electric power industrial control network

The invention provides a self-adaptive feature fusion intrusion detection method and system for an electric power industrial control network, and the method comprises the steps: enabling the generation of a sample to strictly follow the sequential logic of an industrial control protocol through introducing a protocol state perception dynamic sampling mechanism; multi-modal causal feature extraction is adopted, protocol semantics, equipment fingerprints and causal association features are fused, and the feature discrimination ability is effectively improved; designing a federated residual error enhancement fusion model, and realizing safety cooperative training and heterogeneous data adaptation between distributed nodes; and in combination with deep reinforcement learning and transfer learning, constructing a detection parameter dynamic tuning mechanism. According to the method, various attacks such as DoS attacks, protocol forgery and unauthorized access can be accurately identified, the real-time performance of services is guaranteed, meanwhile, the detection precision is remarkably improved, the false alarm rate is reduced, and the method has high environmental adaptability and can be widely applied to electric power industrial control scenes such as transformer substations and dispatching centers.
Owner:ZHANGZHOU POWER SUPPLY COMPANY STATE GRID FUJIANELECTRIC POWER +1

Dynamic configuration cockpit host video test multiplexing method

The invention belongs to the technical field of computers, and particularly relates to a dynamically configured cockpit host video test multiplexing method. The method aims at solving the problems that a traditional testing means is poor in universality, incomplete in coverage and low in automation degree. A structural equipment description file is constructed by analyzing a host technical document, an adaptive dynamic test configuration template is automatically generated in combination with a test case library, and flexible configuration of multi-channel video stream parameters, abnormal injection modes and time sequence logic is supported. A containerized virtual signal source is deployed on a universal computing platform, and an analog video stream conforming to an input specification is generated in real time. Through the equipment description driving and virtualization signal generation technology, the multiplexing capability and coverage integrity of the testing system are improved, efficient and automatic testing of multiple types of hosts is achieved, and the hardware cost and the deployment period are remarkably reduced.
Owner:SHENZHEN TINGBAO TECH CO LTD

Artificial intelligence voice interaction system based on big data

The invention belongs to the technical field of artificial intelligence and big data fusion, and particularly relates to an artificial intelligence voice interaction system based on big data, and the system comprises a multi-dimensional data collection module which is used for collecting user voice data, real-time scene data and equipment state data, and providing basic data support for subsequent processing; the big data preprocessing module is used for carrying out cleaning and feature extraction on the collected original data, removing invalid data and improving the subsequent analysis efficiency; and the multi-level semantic analysis module is used for associating a multi-instruction sequence through a sequential logic algorithm and adjusting an analysis priority in combination with scene data. Through progressive logic of the multi-dimensional data acquisition module, the big data preprocessing module and the multi-level semantic analysis module, the situation that original data containing noise and invalid fields are directly used for semantic analysis is avoided, and repeated instruction operation caused by analysis errors of a user can be reduced.
Owner:BEIJING CHUANGLIAN YUNRUI TECH CO LTD

Distributed sequential logic conflict resolution method for distributed control system

The invention discloses a distributed sequential logic conflict resolution method for a distributed control system, which relates to the technical field of automatic control, and can accurately calculate the queuing retention time length of an instruction in a network by acquiring the real-time load and identifier of each network node in an instruction transmission path, thereby improving the accuracy of the queuing retention time length of the instruction. The local clock of the controller is subjected to high-precision correction by combining the basic transmission delay of the link, so that the real sequential relationship of the instruction is restored, and the interference of clock asynchronization and network delay fluctuation in the distributed system on sequential judgment is fundamentally eliminated; meanwhile, on the basis of a real-time working condition self-adaptive physical constraint model, the theoretical duration needed by equipment state change is quantified, the corrected clock difference value and the theoretical duration are dynamically matched, causal instructions can be effectively distinguished from the physical level, and the accuracy and reliability of conflict resolution are remarkably improved.
Owner:NANJING HORBON ENERGY TECH CO LTD

Smart factory production scheduling and energy supply collaborative optimization method and system integrating clean energy

The invention discloses a smart factory production scheduling and energy supply collaborative optimization method and system integrated with clean energy, particularly relates to the technical field of industrial process control, and is used for solving the problems of insufficient consumption of clean energy and reduction of production efficiency caused by neglecting of production flow sequential logic in the prior art. The method comprises the following steps: calculating a carbon-energy collaborative efficiency index by acquiring energy consumption data, production tasks and clean energy supply information in an industrial production process, judging whether clean energy supply meets a production scheduling requirement, and if not, constructing a directed graph network model of the production tasks and calculating propagation betweenness centrality; key paths are identified, key time sequence conflict points are positioned, system core output performance attenuation caused by all the key time sequence conflict points is simulated, function toughness loss is quantified in the recovery process, the priority is determined, and finally the execution sequence and time sequence of corresponding production tasks are sequentially adjusted according to the priority. The invention aims to minimize time sequence conflicts and maximize clean energy consumption.
Owner:SHANDONG YUSHENG COMPREHENSIVE ENERGY CO LTD

Layered motion planning method and equipment for mechanical arm in dynamic environment

The invention discloses a mechanical arm hierarchical motion planning method and device in a dynamic environment, and belongs to the technical field of mechanical arm motion planning. A target position of the mechanical arm is set, and a collision-free initial global path from the current position of each joint of the mechanical arm to the target position is planned; a continuous and smooth planned mechanical arm movement track is generated; generating the angular velocity control quantity of each joint of the mechanical arm; on the basis of avoiding the static obstacles, when it is detected that the moving range of the mechanical arm contains the dynamic obstacles, a dynamic obstacle avoiding frame is constructed in combination with a dynamic control obstacle function (DCBF); and a signal sequential logic STL is introduced into the dynamic obstacle avoidance framework to carry out task constraint, and the mechanical arm is controlled to carry out dynamic obstacle avoidance. The method is simple in step, high in execution efficiency and capable of guiding the mechanical arm to avoid obstacles and complete tasks in real time.
Owner:CHINA UNIV OF MINING & TECH

A method and system for maintaining consistency between a floating point operation algorithm verification prototype and hardware engineering

A method and system for ensuring consistency between a floating-point arithmetic algorithm verification prototype and hardware engineering, relating to the field of floating-point arithmetic, are disclosed. The method includes: obtaining the HDL source code of a hardware floating-point IP core; converting the sequential logic describing floating-point operations in the HDL source code into a behavioral-level combinational logic expression, which retains the computational logic of floating-point operations; compiling the converted HDL source code using an HDL compilation tool to generate a library file executable on a processor; calling function interfaces in the library file to perform floating-point operations in a prototype verification program running on the processor; and integrating a hardware floating-point IP core into the hardware system to implement floating-point operations, wherein the library file and the hardware floating-point IP core are based on the same HDL source code. Implementing this method can reduce the cost of ensuring consistency between the floating-point arithmetic algorithm verification prototype and hardware engineering.
Owner:SUZHOU SILITER SEMICON TECH CO LTD

Complex man-machine cooperation station operation compliance sequential logic verification method and system based on multi-modal video

The invention discloses a complex man-machine cooperation station operation compliance sequential logic verification method and system based on a multi-modal video, and the method comprises the steps: obtaining a standard operation instruction (SOP), analyzing the SOP, and converting the SOP into a formal model with sequential logic constraints; synchronously acquiring a video data stream, an audio data stream and an equipment data stream of the station; performing real-time analysis on the video data stream by using a human-object interaction (HOI) deep learning model to generate structured visual event metadata; taking the visual event metadata as input, and driving the formalized model to carry out state evolution so as to judge the compliance of an operation process; and performing fusion cross validation on the audio data stream and the equipment data stream at a preset key verification node by taking the time window of the occurrence of the visual event as a reference. By fusing fine-grained visual interaction recognition, strict sequential logical reasoning and multi-modal cross validation, high-reliability closed-loop verification can be carried out on operational process compliance and physical result authenticity.
Owner:ZHUJI HEWU DIGITAL TECH CO LTD

Sequential logic control circuit for noise shaping SAR ADC

The invention relates to the technical field of sequential control, and discloses a sequential logic control circuit for a noise shaping SAR ADC (Synthetic Aperture Radar Analog to Digital Converter), which comprises an analog signal acquisition circuit for receiving and preprocessing an initial input signal; the noise shaping circuit is used for performing frequency spectrum shaping on quantization noise in the analog signal and generating the analog signal subjected to noise shaping; the successive approximation type analog-to-digital converter is used for performing bit-by-bit comparison with the analog signal subjected to noise shaping and gradually completing conversion from the analog signal to the digital signal from the highest bit to the lowest bit; and the clock control circuit is used for coordinating sequential logic among the analog signal acquisition circuit, the noise shaping circuit and the successive approximation type analog-to-digital converter. According to the method, frequency spectrum remodeling is carried out on the quantization noise in the signal, the signal-to-noise ratio of the signal is remarkably improved on the premise that the hardware complexity is not additionally increased, and then interference of the noise on follow-up analog-to-digital conversion is reduced.
Owner:XIDIAN UNIV +1

A security monitoring and analyzing system and method applied to an electronic ticket platform

The application discloses a kind of security monitoring analysis system and method applied to electronic ticket platform, it is related to information security technical field, to solve the time difference attack problem of state synchronization delay implementation in distributed ticket system;Method includes: monitoring system captures multiple operation request sequences to the same ticket in specific time window;Respectively from business access end and distributed account book obtain the local trusted time stamp and block confirmation time stamp of each operation;After uniform to coordinated universal time benchmark, traversal all operation to execution serialization logic judgment: when the local time of operation one is earlier than operation two, but its on-chain confirmation time is later than operation two, it is judged that there is timing logic paradox;Accordingly, it is determined that fraudulent attack occurs and generates tamper-proof security audit report and pushes to regulatory party;The application realizes accurate insight into hidden fraud by cross-validation of double-source time stamp, fills the blind area of existing monitoring technology.
Owner:上海市大数据中心

Behavior verification method and device of information physical system, electronic equipment and medium

The invention provides a behavior verification method and device of an information physical system, electronic equipment and a medium, and the method comprises the steps: for a to-be-verified function of the to-be-verified information physical system, obtaining a mixed operation signal which is generated in the operation process of the system and is related to the to-be-verified function; obtaining a time-sequence point to be verified; calling a pre-defined mixed signal sequential logic formula for formally describing the function to be verified; utilizing Boolean semantics to judge whether the mixed operation signal meets a mixed signal sequential logic formula on a time-sequence point or not; and / or, calculating a robustness value of the mixed signal sequential logic formula on a time-sequence point by using robust semantics so as to quantify the degree of meeting or violating the mixed signal sequential logic formula; and determining whether the to-be-verified function passes verification or not according to the judgment result of the Boolean semantics or the robustness value. Unified processing and verification of the mixed operation signals are realized through the method.
Owner:BEIJING JIAOTONG UNIV

Ribbon winding device of ribbon loom

The invention provides a ribbon winding device of a ribbon loom, and belongs to the technical field of ribbon looms. The device comprises a mounting plate and a driving box, a plurality of clamping and cutting mechanisms are correspondingly arranged on the mounting plate and the driving box, and each clamping and cutting mechanism comprises a clamping assembly and a cutting assembly; a driving cavity is formed in the driving box, and a driving assembly is arranged in the driving cavity and used for driving the clamping and cutting mechanism to clamp and cut the braid. According to the ribbon winding device of the ribbon loom, through cooperation of the cutting cam and the clamping cam which rotate synchronously, sequential logic of clamping, cutting and loosening in the ribbon cutting process is achieved.
Owner:XUZHOU ZHENYI PLASTIC PRODUCTS CO LTD

Repeated vulnerability detection method based on multi-object type state analysis

The invention provides a repeated vulnerability detection method based on multi-object type state analysis, and the method comprises the steps: employing a preset vulnerability mode description language, constructing a corresponding vulnerability mode description rule for each vulnerability, and the rule comprises a plurality of variable objects and program statements causing the vulnerabilities; translating the vulnerability mode description rule into a corresponding linear sequential logic formula; converting the formula into an automaton, wherein the automaton comprises an accepting state of the automaton and binding constraints of a plurality of variable objects of the environment in the accepting state; constructing an interprocess control flow diagram for the target program to be detected, wherein the interprocess control flow diagram comprises a plurality of program points; performing multivariable object analysis on the target program based on the graph to obtain an automaton state set of each program point and a data dependency relationship of a plurality of variable objects under each automaton state, and when an automaton state in an accepting state exists and the data dependency relationship of the plurality of variable objects meets the binding constraint, performing the multivariable object analysis on the target program; and detecting that a corresponding vulnerability exists in the target program.
Owner:INST OF COMPUTING TECH CHINESE ACAD OF SCI

A method, system and electronic device for controlling a complex sequence of forced and logical associations for a die casting machine

This invention discloses a composite sequence forced and logical association control method, system, and electronic device for die-casting machines, relating to the field of die-casting machine testing technology. The invention collects multi-source operating data from the die-casting machine and, based on this data and pre-set process rules, determines the process state of the die-casting machine. It acquires a pre-stored forced test sequence and generates corresponding test instructions. The forced test sequence includes trigger conditions and forced steps arranged in a logical order. During the operation of the die-casting machine, it monitors in real time whether the trigger conditions are met. If met, the test instructions are executed according to the timing logic of the forced steps. Simultaneously, it continuously monitors the process state and die-casting machine safety parameters, and controls the interruption and reset of the test instructions based on the monitoring results. This method supports repeatable and safe simulation and verification of complex operating conditions or occasional faults, improving the testing efficiency of the die-casting machine control system.
Owner:NINGBO FREE TRADE ZONE HAITIAN ZHISHENG DIE CASTING EQUIPMENT CO LTD

Automated verification of technology specific and technology independent logic models of a memory array

A computer implemented method for automated generation and verification of a technology specific logic model and a technology independent logic model of a memory array, the method at least comprising: having a first set of parameters; having a set of constraints, creating a second set of parameters; generating the technology independent model of the memory array wherein the second set of parameters and the set of constraints are used; generating the technology specific model of the memory array wherein the first set of parameters and the set of constraints are used; verifying the technology independent model and the technology specific model for equivalence on a sequential logic basis.
Owner:INTERNATIONAL BUSINESS MACHINE CORPORATION

A hierarchical controller synthesis method based on dynamic quantization linear sequential logic specifications

A hierarchical controller synthesis method based on dynamic quantization under a linear sequential logic specification belongs to the field of nonlinear system control technology. First, a model checking algorithm is used to obtain an acceptable path for the linear sequential logic specification, providing a high-dimensional solution for the controller synthesis problem. Second, a quantization interval is generated based on a dynamic quantizer to verify the implementation of the acceptable path. Finally, a local abstract controller is obtained by solving the auxiliary control problem. This local abstract controller is refined to obtain a local hybrid controller, which is then combined into a global hybrid controller. Applying this controller to the original system enables it to satisfy the given linear sequential logic specification. The abstract model construction and controller synthesis adopted in this invention are both local and dynamic, thus effectively reducing computational complexity. Since each quantization space can be considered independently, the proposed hierarchical mechanism is more effective than existing methods in solving larger and more complex problems.
Owner:DALIAN UNIV OF TECH

Simulation model, verification platform and method based on TLM

The embodiment of the invention discloses a simulation model based on TLM, a verification platform and a method. Wherein the simulation model based on the TLM comprises a TLM Model, a first interface conversion module, a second interface conversion module and a transaction level conversion module; wherein the TLM model is used for simulating behaviors of a to-be-tested module; the first interface conversion module is used for realizing conversion between a transaction of a first transaction level of the TLM Model and a sequential logic signal of a first transaction level interface of the to-be-tested module; the transaction level conversion module is used for realizing conversion between transactions of a first transaction level and transactions of a second transaction level; and the second interface conversion module is used for realizing conversion between transactions of a second transaction level and sequential logic signals of a second transaction level interface of the to-be-tested module. Through the simulation model, college cooperation verification can be carried out among different abstract levels of the to-be-tested module.
Owner:HYGON INFORMATION TECH CO LTD

Main and standby switching method and system for water dispatching automation system

The invention provides a main and standby switching method and system for a water dispatching automation system, and relates to the field of water dispatching automation and data processing. The method aims at solving the problems that in an existing method, business event flow sequential logic is ignored, and instructions are prone to being disordered and lost due to switching. The method is applied to a framework comprising a main system, a standby system and a time source, and the main system and the standby system are synchronous in time. When executing the water dispatching control instruction, the main system generates a water dispatching event containing instruction content and a timestamp, and stores the water dispatching event in a shared event sequence cache region; the standby system periodically pulls an event, simulates execution after verification by a business rule engine in combination with an associated context, constructs an event node tree diagram with a weight, and prunes based on an actual result; and when the switching is triggered, comparing the actual result of the main system with the execution sequence of the standby system, matching an adaptive path, and avoiding error instruction marks. The method guarantees the time sequence consistency and logic correctness of the event flow, achieves the intelligent seamless switching of a main system and a standby system, and guarantees the continuous and stable operation of a water dispatching service.
Owner:CHINA YANGTZE POWER