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

18 results about "State transition table" patented technology

In automata theory and sequential logic, a state transition table is a table showing what state (or states in the case of a nondeterministic finite automaton) a finite semiautomaton or finite state machine will move to, based on the current state and other inputs. A state table is essentially a truth table in which some of the inputs are the current state, and the outputs include the next state, along with other outputs.

Multi-agent cooperative RESTful API vulnerability test method

The invention relates to the technical field of network security, and discloses a multi-agent cooperative RESTful API vulnerability test method. Constructing a parameter structured representation by analyzing an API interface specification, generating a test value conforming to service semantics by using a large language model, and establishing a semantic request baseline representing normal service logic; constructing a multi-agent collaborative architecture including vulnerability reasoning, case generation, test execution, test analysis and test management; all the agents are coordinated to carry out iterative vulnerability testing through a signal mechanism and a state transition table, and API service analysis, test strategy customization, use case directional variation and execution, result study and judgment and strategy optimization are achieved; and finally generating a structured vulnerability report. According to the method, the problems of semantic blind areas, shallow analysis layers, insufficient adaptive capacity and the like are solved, security risks such as business logic vulnerabilities and sensitive data leakage in the RESTful API can be deeply detected, and the accuracy and coverage rate of vulnerability detection are remarkably improved.
Owner:SICHUAN UNIV

Heavy-load train automatic driving curve planning method, electronic equipment and storage medium

The invention discloses a heavy haul train automatic driving curve planning method, electronic equipment and a storage medium. The method comprises the steps that a DP state transition table is loaded, and a plurality of initial states, a plurality of actions capable of being adopted in each initial state and a transition state capable of being reached by each action are defined in the DP state transition table; acquiring a protection curve as a speed limit line, and drawing according to the protection curve to obtain a guide line; performing curve planning by taking N DP step lengths as a cycle, for each DP step length, sequentially traversing each migration state corresponding to the initial state of the DP step length from top to bottom in the DP state migration table, and performing judgment based on a speed limit line and a guide line to obtain respective target migration states of the N DP step lengths; and generating a speed-mileage planning curve of the train according to the final speed of a differential interval obtained by performing dynamic differential calculation by adopting the action corresponding to the target migration state of each DP step length. According to the invention, the planning success rate and fault tolerance can be improved.
Owner:CASCO SIGNAL LTD

Method and device for adjusting reading voltage by recording programming position, computer equipment and storage medium

The invention provides a method and a device for adjusting read voltage by recording programming positions, computer equipment and a storage medium. The method comprises the following steps of: constructing a nearest programming position table according to a nearest programming page number of an unprogrammed block, and pre-constructing a distance-state conversion table and a state-voltage conversion table; receiving a host read command, and judging the position information of a target block in the nearest programming position table; calculating and converting the position information through the distance-state conversion table and the state-voltage conversion table to obtain a read voltage; and performing a read operation based on the read voltage. According to the invention, the problems of high bit error rate of unprogrammed blocks and waste of power consumption caused by a fixed voltage strategy in a traditional storage system are solved.
Owner:成都芯忆联信息技术有限公司

Automatic illegal character cleaning system

The invention relates to the technical field of computer data processing and network security, in particular to an illegal character automatic cleaning system, which comprises a rule compiling module for monitoring rule change, performing semantic fusion and topological mapping on a rule set, constructing a deterministic finite automaton and mapping the deterministic finite automaton into a state transition table; the state switching module is used for constructing a double-buffer context and operating lock-free switching through an atomic pointer to realize hot updating; the speculation execution module is used for carrying out vectorization pre-scanning based on a state transition table by utilizing single-instruction multi-data stream parallel loading, identifying a walk path, falling into a safe state for releasing and falling into a trap state for triggering external verification; the self-adaptive feedback module is used for counting trap state triggering frequency, generating a rule allergy report and dynamically adjusting the size of a read fragment; according to the method, the contradiction between rule flexibility and execution efficiency is solved, and high-performance cleaning based on speculative execution is realized.
Owner:北京啄木鸟云健康科技有限公司

Behavior analysis based on finite-state machine for malware detection

A system and method are disclosed for identifying malicious activity on a target device based on behavior analysis of the target device. The system includes a behavioral analyzer run on a virtual machine connected to the target device. The virtual machine collects system events and parameters from the target device and run a script, independent of the target device, to detect a threat. The script is a set of instructions executed to analyze behavior of an object by processing and correlating the events. The script includes a rule structure which stores signatures and expressions of the known malwares. By correlating the selected event parameters with known malware parameters, it is determined whether the event imposes a threat or not. A finite state machine is used for the state transition table.
Owner:ACRONIS INT

Enhanced states dependent quantization

Systems, methods, and instrumentalities may be provided for enhanced states dependent quantization. In examples, a device (e.g., a video encoding device) may determine to use a quantization state transition table for trellis coded quantization (TCQ) comprising a plurality of quantization states and a dummy state. The device may determine that the quantization state transition table comprises more than eight states. The device may select a quantization state from the plurality of quantization states. The device may determine, based on the selected quantization state, a dequantization index based on a parity associated with the selected quantization state. The dummy state may be associated with the selected quantization state. The device may perform quantization based on the selected quantization state.
Owner:INTERDIGITAL CE PATENT HOLDINGS SAS

State transition design method and system for automobile air conditioning system based on Simulink and StateFlow

The invention discloses an automobile air conditioning system state transition design method and system based on Simulink and StateFlow. The core lies in separating definition and execution links of state transition rules, constructing a two-dimensional state transition table through a visual table tool, and defining a current state, a transition condition and a transition result containing a target state, a memory command and a user-defined command; a Simulink module in the fixed execution framework analyzes the migration table and outputs a target state and a command signal, a StateFlow module executes stack operation to manage historical state memory, and an independent logic module processes a self-defined command; the historical state popped up by the stack is preferentially adopted during state updating, and the target state is switched when the state is invalid. According to the method, through rule and execution decoupling, stack type state management and a command expansion mechanism, the problems that a traditional state machine is complex in maintenance and migration table scale expansion and function expansion are difficult are solved, the configurability, operation efficiency and maintainability of the system are remarkably improved, and the method is particularly suitable for the multi-scene air conditioner control requirement of the electric vehicle.
Owner:WENZHOU CHANGJIANG AUTOMOBILE ELECTRONICS SYST

A pattern string matching method, device and equipment and computer readable storage medium

Embodiments of the present application provide a pattern string matching method, device and equipment and a computer readable storage medium, relating to the technical field of pattern string matching, the method comprising: determining a character to be matched from a current state in a text to be matched as a character to be matched; calculating a hash value of the current state and the character to be matched as an address to be used; obtaining a first position index recorded at the address to be used in a hash mapping table; the hash mapping table is constructed based on a state transition table; obtaining a transition entry recorded at the first position index in the state transition table to obtain a transition entry of a sub-state matched with the current state and the character to be matched as a first transition entry; updating the sub-state matched with the current state and the character to be matched as a new current state, returning to execute the step of determining the character to be matched until there is no character to be matched in the text to be matched, and obtaining a matching result based on the obtained first transition entry. In this way, the storage space is reduced.
Owner:NEW H3C TECH CO LTD

Rogowski coil event detection recording method and system based on finite-state machine

The invention discloses a Rogowski coil event detection recording method and a Rogowski coil event detection recording system based on a finite-state machine. The method comprises the following steps: acquiring a set global state machine and a state transition table; real-time polling the state transition table based on a global state machine sub-machine, where the global state machine sub-machine compares with each state transition sub-machine in the state transition table to perform a target action, the target action including communicating with a Rogowski coil to store an event; the interface voltage of the Rogowski coil is inquired to judge the model type, counter operation is executed based on comparison between the model type and the previous state, and the counter operation comprises counter zero clearing or counter detection. A solution is provided for Rogowski coil event detection records, the existing defects and problems in the program design process are specifically solved, and the method has the advantages of being clear in program logic, high in readability, easy to maintain and high in expansibility.
Owner:HANGZHOU SUNRISE TECH +1

Decoding method, device, equipment, medium and product

Disclosed are a decoding method, apparatus, device, medium and product, the method comprising: in response to a decoding request for target data, dividing the target data into at least one sub-block according to a preset length, the target data comprising system sequence soft information, verification sequence soft information and prior information; performing multi-channel parallel computing on the target data according to a pre-stored state transition table, and respectively determining current branch metric information of each sub-block, current forward state metric information of the target data and current backward state metric information of the target data; determining a posterior probability log-likelihood ratio and extrinsic information of each sub-block according to the current branch metric information, the current forward state metric information and the current backward state metric information; and determining a decoding result for target data according to each posterior probability log-likelihood ratio. According to the technical characteristics, the decoding complexity is reduced, the calculation time delay is reduced, and the decoding efficiency is improved.
Owner:SHANGHAI SMARTLOGIC TECHNOLOGY LTD

A packet data matching method and device

The application discloses a packet data matching method and device, comprising: receiving packet data; the packet data comprises a matching object; indexing a first rule set and a second rule set corresponding to the matching object according to the matching object; the first rule set is a rule sub-set indexed by a DFA state transition table based on an array form continuous memory space; the second rule set is a rule sub-set indexed by an RFC hash mapping table based on a rule priority bitmap form; matching a first rule corresponding to the packet data from the first rule set; matching a second rule corresponding to the packet data from the second rule set; selecting a high-priority rule from the first rule and the second rule according to the priority to process the packet data. The application realizes rule matching of different packet data types, guarantees data plane packet data matching efficiency, and reduces time and space complexity of configuring plane rule construction.
Owner:NSFOCUS INFORMATION TECHNOLOGY CO LTD +1

Aircraft collision avoidance method and device fusing static and dynamic cost tables

The invention relates to an aircraft collision avoidance method and device fusing static and dynamic cost tables. The method comprises the following steps: firstly, performing state discretization on a conflict encountering scene of a controlled aircraft to obtain a finite state-action space, constructing a state transition probability and a comprehensive event cost function, defining a possible action suggestion set and determining a legal action transition matrix; then, generating a Markov decision process state transition table, performing value iteration based on the Markov decision process state transition table in combination with the current flight state of the invading aircraft, and determining an optimal action strategy and a static offline cost table; and finally, predicting the future trajectory change of the invading aircraft, determining the optimal action and value as an initial strategy, detecting the height and speed change of the invading aircraft in real time, and when the invading aircraft deviates from the static hypothesis, adjusting the initial strategy in real time, and determining the optimal collision avoidance path of the controlled aircraft. Collision risks and maneuvering cost are continuously balanced in a complex, multi-aircraft-type and uncertain airspace.
Owner:SICHUAN UNIV

Process control type code generation method and device for large language model

The present application relates to the code generation technology field in the new generation information technology field, especially to the process control type code generation method for large language model, which is used to solve the semantic drift and accumulation problem in the code generation process. The method comprises the following steps: receiving an architecture specification document, constructing a structured constraint rule library and a specification semantic graph based on the document parsing result; mapping the graph into a FSM state transition table; compiling the FSM state transition table into a FSM running instance; in the code generation cycle, using the FSM running instance to monitor each atomic execution step of the large language model in real time; after each Token is generated, performing compliance verification based on the current FSM state and the structured constraint rules associated with the current state node; when the constraint rules are violated, triggering the corresponding gating mechanism and performing local correction. The present application fundamentally eliminates the semantic drift caused by long sequence reasoning, and ensures that the generated industrial code strictly converges to the preset specification.
Owner:BEIJING JUNTIAN TECHNOLOGY CO LTD

Rogowski coil event detection and recording method and system based on finite state machine

The present invention discloses a method and system for detecting and recording Rogowski coil events based on a finite state machine. The method comprises: obtaining a pre-configured global state machine and state transition table; performing real-time polling of the state transition table based on a global state machine sub-machine, wherein the global state machine sub-machine compares each state transition sub-machine in the state transition table to execute a target action, wherein the target action includes communicating with a Rogowski coil to store an event; querying the interface voltage of the Rogowski coil to determine the model type, and performing a counter operation based on the model type and a comparison with the previous state, wherein the counter operation includes clearing the counter or testing the counter. The present invention provides a solution for Rogowski coil event detection and recording, specifically resolving existing defects encountered during program design, thereby ensuring clear program logic, high readability, simple maintenance, and strong scalability.
Owner:HANGZHOU SUNRISE TECH +1

An illegal character automatic cleaning system

The present application relates to computer data processing and network security technical field, specifically to a kind of illegal character automatic cleaning system, comprising: rule compiling module: monitoring rule changes, rule set is fused with topological mapping with semantics, constructs deterministic finite automaton and is mapped into state transition table;State switching module: constructs double-buffer context, realizes hot update by atomic pointer operation lockless switching;Speculative execution module: utilize single-instruction multiple-data stream parallel loading, vectorized pre-scanning is carried out based on state transition table, identifies wandering path, falls into safe state and releases, falls into trap state and triggers external check;Adaptive feedback module: the frequency of trap state triggering is counted, generates rule hypersensitivity report, dynamically adjusts reading fragment size;The present application solves the contradiction between rule flexibility and execution efficiency, realizes high-performance cleaning based on speculative execution.
Owner:北京啄木鸟云健康科技有限公司

High-speed network packet payload inspection system based on ebpf (extended berkeley packet filter) / XDP (express data path) for container environment

According to the present specification, a method for inspecting a high-speed network packet payload by a terminal includes: a step of receiving L7 (Layer 7) policy related to containers from a user; a step of extracting string patterns to be inspected for each of the containers on the basis of the L7 policy through a pattern compiler; a step of creating a deterministic finite automaton (DFA) on the basis of the extracted string patterns through the pattern complier; and a step of converting a state transition table of the deterministic finite automaton into a match-action table through the pattern compiler and storing the match-action table in an eBPF (extended Berkeley Packet Filter) map for a payload inspection engine.
Owner:KOREA ADVANCED INST OF SCI & TECH +1

Interrupt event detection method and device, electronic equipment and storage medium

The embodiment of the invention provides an interrupt event detection method and device, electronic equipment and a storage medium, and aims to improve the accuracy of interrupt event detection. Comprising the following steps of: on the basis of a valley-free principle, constructing a state transition table among all AS (Autonomous Area System) by traversing all the AS in acquired autonomous AS business relation topology; according to the obtained routing data, determining an abnormal AS set with interruption in a target space-time range; on the basis of the state transition table, in the AS business relation topology, determining a second legal path between any two abnormal AS in the abnormal AS set, and obtaining an abnormal AS sub-graph corresponding to the abnormal AS set on the basis of each second legal path; determining an abnormal parameter of each abnormal AS based on the interruption frequency of each abnormal AS and the upstream and downstream relationship between the abnormal AS in the abnormal AS sub-graph, and performing interruption event tracing according to the abnormal parameter; the abnormal parameters are used for reflecting the probability that the corresponding abnormal AS is an interruption event source.
Owner:CHINA TELECOM NETWORK SECURITY TECH CO LTD

Motor control device

A motor control device is provided that reduces the computational burden of current command values ​​and improves processing speed. The combination of intersection points selected from the intersection points of two curves plotted on an orthogonal coordinate plane of the dq axes—the maximum efficiency curve, the minimum current curve, the minimum voltage curve, the current limit circle, the voltage limit ellipse, and the constant torque curve—is determined as valid intersection points for current commands. Then, the combinations of intersection points are arranged as the current state and the transition destination state, thereby creating a state transition table with set transition conditions. Based on the positional relationship on the curves of the intersection points corresponding to the transition destination state when a transition occurs from any intersection point corresponding to the current state according to the transition conditions, a current command value for the electric motor (15) is generated.
Owner:NIDEC CORP(JP)