322 results about "System verification" patented technology

The invention relates to the technical field of slope protection, in particular to a design method of a slope protection monitoring and early warning system. According to the technical scheme, the method comprises the steps of multi-dimensional sensing network construction, spatial-temporal feature analysis and multi-physical field coupling modeling, dynamic risk assessment and intelligent early warning strategy, hierarchical response mechanism and system verification. The data complementarity and analysis reliability are improved through the multi-dimensional sensing network, the problem of missed sampling is solved in combination with a dynamic sampling measure, the misjudgment rate is reduced through improved Moran's I index analysis, in addition, the water-ion-heat interaction effect is quantified through the seepage-pressure-temperature coupling model, the system monitoring and early warning accuracy is further improved, and the real-time performance of the system is improved. And finally, an early warning threshold value is automatically adjusted through a dynamic threshold value mechanism, so that the problem that a fixed threshold value adopted by a traditional system cannot be dynamically adjusted along with the change of the environment is solved, and the false alarm rate and the missing report rate are reduced.

The present disclosure provides a verification system, a verification method, an electronic device and a storage medium. The verification system includes a simulation verification device, a first portion and a second portion. The first portion includes a first master module and a second slave module. The second slave module includes a memory unit connected to a memory access interface at a periphery of a design under test. The second portion includes a first direct programming interface, a second direct programming interface, a function library module, and a test case module. The first direct programming interface communicates with the first master module and is configured to call a first function to implement front door access to a register of the design under test. The second direct programming interface communicates with the memory unit and is configured to call a second function to implement back door access to the memory unit.

Systems and methods are provided for implementing confidence enhancement for responses by document-based large language models (“LLMs”) or other AI / ML systems. A first prompt is generated based on data items that are previously received or accessed. The first prompt is used by a first LLM or AI / ML system to extract requested information from the data items. One or more citations are generated and presented within a structured object together with a representation of the extracted information, in some cases, as output from a second LLM or AI / ML system. In some cases, the citations and / or the representation may be verified by a third LLM or AI / ML system, and reliability indicators may be generated for the citations and / or the representation based on determined accuracy of the citations and / or the representation. In this manner, the common issue of hallucinations may be mitigated.

The invention discloses a data privacy protection method and system based on a zero trust principle, and particularly relates to the field of data privacy protection.The method comprises the steps that identity information and biological characteristics are provided when a user registers, and a security token is obtained; during login, the system verifies identity information and inquires role permission to ensure access compliance; a quantum encryption algorithm is adopted for data transmission, and the data security is ensured through quantum state selection, quantum channel transmission and error rate detection; the system continuously monitors user behaviors, equipment states and environment information, dynamically adjusts access authority, divides risk levels based on a risk assessment result and takes corresponding measures; sensitive data are processed through a desensitization technology and an anonymization algorithm, and privacy is protected; and the system collects operation logs and data access logs, analyzes and excavates the logs by using an audit analyzer, identifies abnormal behaviors and generates early warning information.

A payment service system receives a request from a user's device for an exchange between a first asset (e.g., a fiat currency) and a second asset (e.g., a cryptocurrency) via an agent, and identifies the agent based on context of the request. The system generates an interactive element, provides the interactive element to the user's device, and detects when the agent's device interacts with the interactive element on the user's device. The system verifies respective identities of the user and the agent based on the interaction. The system verifies that the first asset has been transferred between the user and the agent, and facilitates transfer of the second asset between an account associated with the user and an account associated with the agent and / or the payment service system.

The invention discloses a chip prototype verification method and device, a medium and a product, and relates to the technical field of integrated circuit verification, and the method comprises the steps: dynamically dividing a central processing unit core of a multi-core chip into a first core group and a second core group in a chip prototype verification platform; performing data interaction on the first core group and the second core group through the inter-core communication agent to obtain a verification control instruction; converting the test case into a chip register operation instruction or a real-time operating system drive call instruction based on the verification control instruction; distributing the chip register operation instruction to the first core group to execute a hardware real-time verification process, and distributing the real-time operation system drive calling instruction to the second core group to execute a multi-task scheduling verification process so as to respectively obtain a corresponding register snapshot and a task scheduling log; and aligning the register snapshot with the task scheduling log according to a time axis so as to generate a chip function verification result report based on the alignment data. Cooperative verification of bare computer verification and real-time operating system verification is realized.

The invention discloses a causal control VLA end-to-end system fusing perception and a world model, and belongs to the technical field of automatic driving. The system comprises a perception and world modeling subsystem; a reasoning and generating subsystem; a verification and collaborative learning subsystem; moreover, the perception and world modeling subsystem is composed of an environment perception module and a world model training module, the reasoning and generation subsystem is composed of a causal modeling module and a diffusion trajectory generation module, and the verification and collaborative learning subsystem is composed of a form verification module and a federal collaborative distillation module. According to the VLA end-to-end system, traditional correlation modeling of a world model is enhanced through causal modeling, so that the world model becomes more accurate; meanwhile, on the basis of traditional verification and updating of the world model, the verification and updating process of the world model generation trajectory is further enhanced through the verification and collaborative learning subsystem, so that the generated trajectory is safer and more reliable.

The invention relates to the field of two-dimensional code information acquisition, and discloses a two-dimensional code-based abnormal information acquisition and uploading method, which comprises the following steps of: generating a two-dimensional code containing abnormal information on terminal equipment; scanning the two-dimensional code by using a mobile terminal device; the server verifies the received abnormal information; generating a unique identifier of the abnormal information from the hash value of the abnormal information, and recording the unique identifier in a distributed account book database based on the block chain technology; when the abnormal information is stored in a database, an authorized user is allowed to verify the integrity and authenticity of the abnormal information by accessing a block chain system; the block chain system is composed of a plurality of nodes, and each node is responsible for storing and verifying transaction data; a permission management mechanism is deployed on the server, and access to the block chain and the Internet of Things data and permission modification are limited, so that the security of information is protected; according to the invention, the security and traceability of the data are ensured, and the abnormal information processing efficiency is improved.

To perform verification with higher consistency with respect to an entire workflow system that realizes coordination with externally provided components whose behavior is uncertain and difficult to be predicted.SOLUTION: A computer 70: observes inputs for a process task block that constitutes a workflow system and calls external software whose outputs fluctuate in response to inputs, and outputs in response to the inputs; creates a test pattern that associates expected outputs with inputs of the workflow system while the process task block is being executed based on the inputs and outputs of the process task block; determines whether or not behavior of the process task block is normal based on a similarity between actual outputs in response to inputs of the workflow system while the process task block is being executed and the expected outputs in response to the inputs of the workflow system registered in the test pattern; and verifies the workflow system from the results of determining the behavior of the process task block.SELECTED DRAWING: Figure 4

A system establishes a secure connection between a first entity and a second entity upon validating a digital signature of a digital certificate. The digital signature is validated utilizing a trust anchor public key corresponding to a security token issued by a trust anchor that is trusted by the first entity and the second entity. In response to a request to establish the secure connection, the system validates the security token issued by the trust anchor to establish trust between the first entity and the second entity. Upon validating the security token, the system validates the digital signature of the digital certificate utilizing an entity public key embedded in the security token. Based on the trust established by the security token, the digital certificate is trusted upon validating the digital signature. Upon validating the digital signature, the system establishes the secure connection between the first entity and the second entity.

The invention relates to the technical field of data processing, and discloses a motor controller research and development method and system based on an intelligent algorithm. The method comprises the steps that after parameter identification is carried out on a motor, PID parameters are optimized through an adaptive differential evolution algorithm; constructing a double-loop control structure according to the optimal PID parameters; designing a virtual sensor based on the optimized double-loop structure and obtaining a health index; fusing the multi-source signal to obtain a fusion speed signal; therefore, a backstepping sliding mode controller is realized and system verification is completed. The motor control system with high fault-tolerant capability is constructed by fusing various intelligent algorithms and virtual sensor technologies, the basic operation performance of the motor can be kept even if the sensor is abnormal or fails, and the reliability and the safety of the system are improved.

The invention belongs to the technical field of intrusion detection, and relates to a vehicle internal network intrusion detection method, system and device and a storage medium, and the method comprises the steps: 1) carrying out the data mining of a data flow of a vehicle internal area control bus network CAN in a normal state, and generating a detection rule, so as to form a rule base; 2) generating a forged node and data containing the forged node by using a honeypot system, and injecting the data containing the forged node into a real-time data stream of an in-vehicle regional control bus network CAN; 3) detecting the real-time data flow of the area control bus network CAN in the vehicle through the rule base; 4) verifying the data which does not pass the detection of the rule base and has the same node ID as the forged node ID by the honeypot system; and 5) sending the data which does not pass the verification of the honeypot system to an alarm response module for response so as to realize intrusion detection. Rapid detection of intrusion can be realized, and injection data forged by a honeypot system can be prevented from being misjudged.

The invention belongs to the technical field of integrated circuit simulation verification, particularly relates to an RISC-V simulation resource dynamic generation method and system, and solves the problems of instruction consistency and variable-length instruction truncation through a metadata double-table structure and a cross-boundary instruction splicing mechanism. Virtualized two-stage translation support and abnormal injection are realized through a recursive multiple hit detection and dynamic attribute bit modification mechanism. According to the method, complete storage is replaced with lightweight metadata, memory occupation is remarkably reduced, the problem that memory occupation is linearly increased along with time is solved, simulation efficiency and consistency are improved, and the method is suitable for full-system verification of a high-performance RISC-V processor.

A system for analyzing documents to be used for verifying a system-on-a-chip (SoC). The system includes: a parser configured to analyze a technical document associated with the SoC to generate multiple text fragments; a data preparator configured to convert the multiple text fragments into a dataset for a machine learning model; and a machine learning model block configured to perform a training mode including multiple training epochs or an inference mode. In each training epoch, the machine learning model block trains the machine learning model based on the dataset such that a label is appended to each text fragment. In the inference mode, the machine learning model block makes a prediction for each text fragment based on the training result to generate the dataset with prediction values.

The invention provides a port fog navigation intelligent decision system verification method and device. The method comprises the following steps: acquiring port topography and wharf point cloud data by using a laser radar, and constructing a port model in combination with an electronic chart; and constructing a ship model according to the target ship form drawing and the AIS historical data. And simulating different foggy weather conditions, calculating collision and stranding safety coefficients of the target ship, and comparing the collision and stranding safety coefficients with a preset threshold to generate a risk decision text. And counting downshift success rates of different risks, and calculating a decision reasonability evaluation index. And generating a comprehensive fog aviation evaluation index by combining the collision and stranding safety coefficient and the decision rationality index, comparing the comprehensive fog aviation evaluation index with a preset standard value to generate an optimization decision instruction, and sending the optimization decision instruction to a management personnel terminal. According to the method, the real environment is highly simulated, risk assessment and decision rationality assessment are combined, the navigation decision is optimized, and the port fog navigation safety and efficiency are improved.

The invention discloses a method, device and equipment for diagnosing an electronic suspension system and a storage medium. The method comprises the steps that an electronic suspension system in a vehicle detects the state through a sensor and an ECU, and after it is obtained that the electronic suspension system breaks down, fault information is sent to a diagnosis server through remote transmission. Meanwhile, the electronic suspension system component with the hardware fault is replaced, and the characteristics of the replaced component are sent to the diagnosis server. And the diagnosis server generates system parameters according to the fault information and the characteristics of the replacement part and returns the system parameters to the vehicle, after the vehicle is adjusted according to the system parameters, system verification including static testing, dynamic testing and fault simulation is carried out on the electronic suspension system, and it is ensured that the performance of the suspension system is stable and reliable after the part is replaced. The diagnosis server returns the system parameters to the vehicle, it is ensured that the electronic suspension system can rapidly recover the working state after parts are replaced, and the maintenance efficiency and the user experience are improved.

The invention relates to a GPU system verification method and device, electronic equipment, a storage medium and a program product. The method comprises the following steps: obtaining a target random test excitation sequence; respectively inputting the target random test excitation sequence into the GPU function model and the register transfer level model; wherein the GPU function model is a software model used for simulating functions of the GPU; the register transfer level model is a model written based on a hardware description language, and the register transfer level model is used for describing hardware implementation and behaviors of the GPU; obtaining a function simulation result output by the GPU function model in response to the target random test excitation sequence and a simulation result output by the register transfer level model in response to the target random test excitation sequence; and comparing the function simulation result with the simulation result to obtain a first random verification result of the GPU system. According to the method and the device, the GPU system verification flexibility can be remarkably improved.

The invention provides a renewable energy dynamic binding green certificate time-sharing and step-by-step issuing method, and belongs to the technical field of green certificate issuing. Firstly, active power and timestamps of power generation equipment are collected in a fixed period to form collected data, independent windows are divided according to energy types, and real-time generating capacity is calculated based on the collected data; time-sharing and step-by-step issuing is carried out by comparing the real-time generating capacity with the preset reference electric quantity; a certificate is issued immediately when the electric quantity reaches the standard; if not, the electric quantity is stored in the scattered electric quantity pool. In the process, by calculating the window power generation characteristics of the independent window, the green certificate and the window power generation characteristics are bound to generate an irreplaceable digital green certificate, and the irreplaceable digital green certificate is written into the block chain. When the user cancels after verification, the system verifies the similarity between the data integrity and the feature vector, and the user can cancel after verification if the similarity reaches the standard. Through the above design, the green certificate is accurately checked and issued, the association between the green certificate and the power generation characteristics is enhanced, and the data is ensured to be safe and traceable.

The invention discloses a verification method for integrating module verification and system verification, which comprises the following steps of: a, selecting at least one module from a plurality of composition modules of a system, establishing an independent verification environment for each selected module, and writing a test case; b, performing independent simulation verification on each module according to a coverage rate requirement; c, integrating each module and the corresponding verification environment into a system verification environment; and d, performing simulation verification on each function of the system. According to the method, in the project verification process, parallel verification can be carried out between a single module and a system, the verification work efficiency is further improved, and the mutual influence between verification workers is reduced.

The invention discloses a method and a system for analyzing an influence path of an information physical cooperative attack. The method comprises the following steps of: concluding an electric power information physical cooperative attack type and establishing two typical attack scenes; based on a complex network theory, a single-side node network of a power physical system, a single-side node network of a power information system and a single-side node network of a power business control system are established, and a power three-layer interconnection network model under a one-to-one node dependency framework is provided; establishing a dependent node failure linkage failure evolution model; providing a weight comprehensive centrality index which comprehensively considers key node importance degrees of a power primary physical system and a power secondary information system, and estimating the vulnerability of the key nodes of the power system; an IEEE 57 node system is simulated through MATLAB, the accuracy of the proposed method in identifying an influence path of the cyber-physical cooperative attack is verified, accurate identification and evaluation of the cyber-physical cooperative attack in a power system are achieved, and it is guaranteed that the system is safe and controllable.

The invention discloses a door lock collaborative community mutual assistance method and system, and the method comprises the steps: completing multicast registration according to the service type of a hot neighbor or a to-be-assisted old person selected by an owner on an intelligent door lock; according to a hot neighbor object selected by the old person to be assisted on the door lock, generating an assisted purchase request multicast message; the authorized party door lock verifies the identity of the entrusting party to the property management system after receiving the information, generates an entrusting confirmation message according to a user confirmation result, and returns the entrusting confirmation message to the entrusting party door lock; according to a consignment confirmation success result, the entrusting party door lock sends a shopping list input by the old person to the entrusted party door lock; after the entrusted party arrives at the unmanned supermarket, the face is scanned to trigger verification, and a supermarket door lock is opened; and according to a payment request triggered after the delegated person completes article selection, the door lock collects the payment two-dimensional code and sends the payment two-dimensional code to the payment machine to complete payment. According to the embodiment of the invention, the shopping problem of the elderly having difficulty in moving can be solved, the elderly does not need to operate a mobile phone, and the convenience and reliability of community mutual assistance are improved.

The invention belongs to the technical field of power system safety analysis and control, and particularly relates to a data-driven power system transient stability evaluation method with interpretability, in the aspect of evaluation result interpretation, an SHAP (Shapley additive interpretation) method and an ALE (cumulative local effect) analysis are comprehensively applied, the SHAP method calculates marginal contribution of each feature based on the game theory, and the ALE method calculates the marginal contribution of each feature based on the game theory. And the nonlinear relation between the characteristic value and the model output is quantized. In addition, a local agent model (LIME) is adopted to train an interpretable model in a sample neighborhood to approximate black box model behaviors. In order to ensure the reliability of an explanation result, verification methods such as a characteristic sensitivity test, an anti-fact prevention and control experiment and a migration scene robustness test are adopted, and the credibility of an explanation conclusion is systematically verified in manners of disturbing key characteristics, adjusting operating parameters, constructing different working conditions and the like.

The invention relates to the technical field of voice processing, can be applied to business scenes of financial science and technology, medical health and the like, and discloses a voice-driven information recording and checking method, device, equipment and medium. Key fields are extracted by applying a semantic analysis strategy to form preliminary structured data, an independent data system is connected to verify authenticity and generate data conflict information, and automatic error correction is executed based on the conflict information to generate updated structured data; and according to the user role matching output template, filling the template with the updated structured data to generate display content, and pushing the display content to target terminal equipment. Structured data generation is realized through voice input and semantic analysis, the data accuracy is improved by combining cross-system verification and automatic error correction, personalized display and real-time pushing are realized by utilizing a role matching template, and a closed loop of acquisition, verification and display is formed, so that the efficiency of information recording and management is improved.

The invention relates to a GPU system verification method and device, electronic equipment, a storage medium and a program product. The verification environment comprises a parameter transfer verification environment and a random verification environment which are mutually independent, the method comprises the steps that a parameter transfer test set and a random test set are obtained, the parameter transfer test set comprises a plurality of parameter transfer test cases, and the random test set comprises a plurality of random test cases; acquiring a verification environment control instruction; in response to the verification environment control instruction used for starting the random verification environment, verifying the GPU system based on the random test set through the random verification environment; or, responding to the verification environment control instruction used for starting the parameter unloading verification environment, and verifying the GPU system based on the parameter unloading test set through the parameter unloading verification environment. According to the invention, the efficiency and accuracy of GPU system verification can be improved.

In a method of processing a cash transaction, a transaction processing system receives an account transaction request identifying a user account and a cash transaction to be carried out using a cash service machine (CSM). A set of CSMs available for processing the account transaction request is determined and a list of available CSMs is transmitted to the requesting user device. A request to process the transaction including an identification of a selected CSM is received the user device or the selected CSM. A unique authentication code is generated and transmitted to the processing requester. The transaction processing system receives from the non-process requester, an authentication request including a purported authentication code. The system then verifies that the purported authentication code matches the unique authentication code. Upon positive verification, the system transmits an instruction to the CSM to carry out a cash exchange according to the requested account transaction.

The invention provides a hardware-in-the-loop test device. The hardware-in-the-loop test device comprises a simulation model verification system used for obtaining real-time data of input and output of an IO terminal of a DCS system in various operation states; the real-time data is transmitted to the fault state detection system; the fault state detection system is used for converting real-time data into a control signal and transmitting the control signal to the simulation data signal IO system; the simulation data signal IO system is used for converting the control signal into an electric signal; the electric signal is transmitted to a fault signal injection system; and the fault signal injection system is used for superposing the fault signal on the electric signal to obtain various types of faults, and transmitting the electric signal superposed with the fault signal to the DCS. According to the invention, the hardware-in-the-loop test device simulates each external signal fault of the DCS system, and injects the fault signal into the DCS system, thereby verifying and improving the robustness of the DCS system and a simulation model, and meeting the reliability test of the DCS system under an extreme working condition.

The application discloses a kind of causal control VLA end-to-end systems of fusion perception and world model, belong to the technical field of automatic driving;The system includes: perception and world modeling subsystem;Reasoning and generation subsystem;Verification and collaborative learning subsystem;And, perception and world modeling subsystem is constituted by environment perception module and world model training module, reasoning and generation subsystem is constituted by causal modeling module and diffusion trajectory generation module, verification and collaborative learning subsystem is constituted by formal verification module and federal collaborative distillation module;The VLA end-to-end system of the application, through causal modeling, enhances the traditional correlation modeling of world model, so that the world model becomes more accurate;At the same time, on the basis of traditional verification and updating of world model, the verification and updating process of trajectory generated by world model is further strengthened through verification and collaborative learning subsystem, so that the generated trajectory is more safe and reliable.

The invention provides a composite QR code verification method and system based on a coding transformation mechanism. The system comprises a code generation system, a QR code generation system and a verification server. During generation, the first code and the second code are generated, the codes are converted, the composite QR code meeting the verification rule can be generated, and the composite QR code can be verified. The composite QR code can be applied to the fields of commodity anti-counterfeiting, process management and the like so as to guarantee the authenticity of the commodity endowed with the composite QR code or the reliability of the process management process.

The invention relates to the technical field of intelligent manufacturing, in particular to a driving shaft assembly assembling system and assembling method.The driving shaft assembly assembling system comprises a front driving shaft assembling system and a rear driving shaft assembling system; the front driving shaft assembling system and the rear driving shaft assembling system each comprise a distribution device, a half shaft assembling machine, an assembling robot system, a feeding conveying line, a first assembling conveying line, a second assembling conveying line, a third assembling conveying line, a bolt sequencing machine and a transverse moving mechanism. The distribution equipment is used for distributing the parts to the feeding conveying line; the bolt sequencing machine is used for supplying bolts to the assembly robot; the bolt sorting machine is used for supplying bolts to the assembly robot system. Through the assembly robot system, the visual verification system and the design of the multiple assembly conveying lines, parts are conveyed through the feeding conveying line, can be verified and compared by the visual verification system, and can be grabbed and assembled by the assembly robot system, so that the labor cost is greatly reduced, the operation efficiency is improved, and the operation accuracy and stability are enhanced.

The invention provides a chip verification system, verification method, device and medium, the system comprises a verification device and a to-be-tested chip, and the verification device comprises a test component, a verification model and a verification file; the test component is used for obtaining a reference test case and a to-be-input picture according to the identifier of the to-be-tested module; according to the dependency relationship of the to-be-tested module, determining an associated module having the dependency relationship with the to-be-tested module and obtaining an associated test case, and sequentially splicing the reference test case and the associated test case to obtain a first test linked list; obtaining a target test case, and sequentially splicing the reference test case, the associated test case and the target test case to obtain a second test linked list; and inputting the to-be-input picture and the first test linked list into the verification model, inputting the to-be-input picture and the second test linked list into the to-be-tested chip, and comparing output results of the to-be-input picture and the second test linked list to obtain a verification result. According to the scheme, the chip verification is accurate and reliable.