7 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 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.

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.

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.