11 results about "Timed automaton" patented technology

The invention discloses a computer network management system, which comprises a user interface layer for performing three-level strategy control through a hierarchical strategy manager integrated with a Drools rule engine and a temporary rule engine based on a timed automaton; according to the intelligent analysis layer, a demand level analysis module carries out single-sample incremental learning, version variation real-time capture and network demand label dynamic adjustment, and an adaptive optimization decision module carries out smooth processing on a CV / r index through EWMA, predicts network load change through an ARIMA model, carries out logistic mapping on a nonlinear adjustment function, and completes time sequence perception optimization adjustment. According to the execution control layer, a constraint feedback regulator ensures that weight updating is within a constraint range and supports automatic rollback during exception, and a basic configuration generator achieves configuration issuing of hardware acceleration and basic network parameter generation; and the network entity layer is used for receiving configuration data through an NETCONF protocol, reporting an equipment fault by an SNMP Trap, and cooperating with the execution control layer to complete closed-loop management from a user demand to network configuration.

The invention discloses a cavity robot real-time control method based on a dynamic safety boundary and a related device. The method comprises the following steps: establishing a dynamic security rule base, and activating corresponding constraints in real time according to organization characteristics obtained by sensor fusion; the fusion state information is converted into a symbol track in a discrete time step, and a timed automaton is used for online detection whether the current security constraint is met or not; if not, sampling under a model prediction control framework to generate a control sequence, predicting a track through a physical engine, then verifying point by point by using a safety rule, retaining a passing track, and selecting the track with the highest score as a new motion path; and analyzing the path into a speed instruction, and driving the robot to execute after passing through an impedance control loop and Lie group projection. According to the method, through safety rule dynamic updating and closed-loop verification, the collision risk in the operation is remarkably reduced, and the operation safety and real-time performance of the cavity robot are improved.

The application discloses a hybrid attack graph analysis method based on model detection, which comprises the following steps: (1) defining a hybrid attack graph (HAG) model; (2) proposing conversion rules from the hybrid attack graph to a time automaton; (3) defining system security attributes by using metric interval temporal logic (MITL); (4) performing model detection on the converted time automaton and the security attributes by using a model detector; and (5) analyzing the model detection result. The application provides the hybrid attack graph analysis method based on the model detection, solves the problems that a complex industrial internet of things system is difficult to model, network attacks are difficult to determine, and the hybrid attack graph is difficult to perform model detection, and expands coping strategies of the industrial internet of things system after network attacks. The application comprehensively considers influences of the network attacks on states of the industrial internet of things system and connections between different states, can timely and effectively find network attack behaviors, and avoids occurrence of the network attacks.

The invention relates to a test sequence generation method and device, computer equipment and a readable storage medium. The method comprises the following steps: obtaining object interaction information among a plurality of auxiliary test objects in a test process aiming at a test task in a railway signal system, and test logic information of the test task; according to the object interaction information and the test logic information, a timed automaton model of the test task is constructed, and the timed automaton model is used for representing interaction time sequence information among the multiple auxiliary test objects and state transition information corresponding to the test task under different environment conditions; multiple pieces of preset environment parameter information are simulated through a timed automaton model, a test sequence corresponding to each piece of environment parameter information is obtained, and each test sequence is a continuous state transition sequence of the test task from an initial state to a termination state; and detecting a target test sequence of the test task according to the plurality of test sequences. By adopting the method, the test sequence can be accurately generated.

The application provides a kind of embedded real-time system schedulability analysis method, belong to embedded system schedulability analysis technical field, specifically includes step 1: establish IO model based on AADL;Step 2: establish embedded system model based on time automaton;Step 3: simulate embedded system operation, schedulability analysis is carried out.Through the processing scheme of the application, the accuracy of schedulability analysis result is improved.

This application discloses a real-time control method and related apparatus for cavity robots based on dynamic safety boundaries. The method includes: establishing a dynamic safety rule base; activating corresponding constraints in real time based on tissue characteristics obtained from sensor fusion; converting the fused state information into symbolic trajectories in discrete time steps, and using a time automaton to detect online whether the current safety constraints are met; if not, sampling to generate a control sequence under a model predictive control framework, predicting the trajectory using a physics engine, and then verifying it point-by-point using safety rules, retaining the successful trajectories and selecting the one with the highest score as the new motion path; parsing the path into a velocity command, driving the robot to execute it after impedance control loop and Lie group projection. This invention significantly reduces the risk of intraoperative collisions and improves the safety and real-time performance of cavity robot surgery through dynamic updating and closed-loop verification of safety rules.

The present application relates to the field of computer technology, and more particularly to a multi-terminal customer service conversation quality automatic auditing method, which comprises the following steps: first, constructing event-level data and multi-modal event graph data and establishing evidence fingerprint chain; formalizing standard operation process and regulatory clauses into executable auditing specification library, determining dynamic time window by combining queuing theory and event occurrence time model, and completing clause verification based on timing automaton; obtaining weighted specification satisfaction degree vector data through optimal transmission, and obtaining specification tension function through time series morphological method; learning ideal action strategy based on timing automaton state, calculating minimum repair strategy and decision deviation numerical value on the time expansion graph; fusing compliance, deviation and expected return through confidence propagation and segmented aggregation arbitration, and outputting comprehensive auditing score numerical value, auditing conclusion and evidence chain report, so as to realize consistent cross-platform caliber, continuous risk visibility and executable improvement.

The application discloses an event action modeling and simulation method for engineering system timing behavior analysis, comprising the following steps: constructing an event action model based on hierarchical components, defining behavior contracts and timing contracts based on signal timing logic for the components, and deducing composite external contracts through combination algebra to block state space expansion; mapping the model to a weighted time automaton, using a model detection engine to exhaust timing boundaries, and generating an engineering diagnosis script for one-key playback when a violation is found; cutting and deploying the model to distributed logic processes, using a predictive optimistic synchronization mechanism with an embedded long short-term memory network behavior predictor to perform asynchronous simulation, reducing rollback rate, and realizing lock-free garbage collection combined with global virtual time. The application takes into account the safety of formal verification and the high throughput of system-level dynamic simulation, and improves the troubleshooting efficiency of complex engineering system timing defects.

The invention relates to the technical field of computers, in particular to a multi-terminal customer service session quality automatic auditing method, which comprises the following steps of: firstly, constructing event-level data and multi-modal event graph data, and establishing an evidence fingerprint chain; a standard operation process and supervision terms are formalized into an executable audit specification library, a dynamic time window is determined in combination with a queuing theory and an event occurrence time model, and term verification is completed based on a timing automaton; weighting standard satisfaction degree vector data are obtained through optimal transmission, and a standard tension function is obtained through time sequence morphology; based on a timing automaton state learning ideal action strategy, calculating a minimum repair strategy and a decision deviation degree value on the time extension graph; according to the method, compliance, deviation and expected income are fused through confidence propagation and segmented aggregation judgment, a comprehensive audit score value, an audit conclusion and an evidence chain report are output, and cross-platform caliber consistency, continuous and visible risks and improvement executable are achieved.

A method for providing cyber security measures in a shared network estimates in a probabilistic model, a likelihood of a cybersecurity event occurring in a system. Based on the estimated likelihood selectively applies some but not all of the cyber security measures. Based constraints of system resources available for operations a combination discretionary security measures are selected for execution. During runtime of the system, security risk of an aspect of the system is periodically evaluated causing reconfiguration of the security measures for execution based on the estimated security risk and system resources available for operations. Timed automata corresponding to security threats are assigned a risk score associated with the security threat based on one or more states of the automata. An aggregation of multiple risk scores produces a trust score for the overall system. A number of security measures may be selected and allocated based on the trust score.