390 results about "System verification" patented technology

A quantum safe blockchain system can operate with quantum safe blockchain nodes (QSBN) and validators. A QSBN can generate a pending register certificate transaction comprising a public key, a fingerprint for a certificate, a URL for the certificate, a first registration number for a parent certificate of the certificate, and a digital signature. The QSBN can transmit the pending register certificate transaction to the quantum safe blockchain system. A validator can receive the pending transaction, validate the digital signature using the public key and include a confirmed register certificate transaction in a block. The confirmed transaction can include a second registration number for the certificate. The QSBN can receive the confirmed transaction and store in a database the fingerprint, the first registration number, and the second registration number. The QSBN can generate a pending certificate revocation transaction for the certificate, and transmit the pending transaction to the blockchain system.

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.

A cellular communication network based non-fungible token creation system with integrated creator biometric authentication comprises an electronic device of the user; a passive biometric user identification technology coupled to the electronic device and configured for identifying the individual with the passive biometric user identification technology by passively obtaining biometric characteristics that are unique to each human; and a one click non-fungible token forming component which is configured for identifying digital data files on an electronic device with a single user click; wherein the digital data files include the biometric characteristics of the creator, and at least one of audio, video, data and image files, and wherein the system is configured for creating authentication data comprising the digital data files and for recording on a blockchain the authentication data forming the non-fungible token; and systems for managing and transferring ownership of the non-fungible token.

The invention discloses a real-time simulation platform of a floating production storage and offloading (FPSO) riser support system based on Modelica, and belongs to the field of intelligent simulation. Comprising a demand definition module, a data loading module, an environment simulation module, a riser support modeling module, a system verification module, a simulation calculation module, an optimization scheduling module, an evaluation analysis module, a control suggestion module, a real-time visualization module, a storage backtracking module and a feedback adjustment module. According to the method, a high-dimensional nonlinear space can be globally searched, a better solution can be found, premature convergence is avoided, the stability of an optimization result is improved, it can be ensured that parameter configuration always keeps the optimal performance under variable working conditions, the intelligence and adaptability of an operation strategy can be improved, and it is ensured that a riser supporting system is always in an optimal control state under different working conditions; according to the method, high efficiency of multi-objective optimization is achieved, the best balance point among vibration reduction, abrasion reduction and equipment service life prolonging can be found, and therefore double improvement of economical efficiency and safety is achieved.

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 provides a security system verification method in an edge computing power secure channel, which comprises the following steps: acquiring computing power, storage resources and network condition information of each node in the edge computing power secure channel to obtain a node capability matrix which is a two-dimensional array, in which rows represent nodes and columns represent performance indexes; according to the node capability matrix, grouping the nodes by adopting a clustering algorithm, and dividing the nodes with similar computing capabilities, storage resources and network conditions into the same group; after each node receives the verification task and the evaluated delay prediction information, a time window of data synchronization is adjusted according to the delay prediction information in task metadata; and after each node completes the verification task, the verification result and the intermediate data are reported to the scheduling node, and the scheduling node compares and verifies the verification results reported by each node group to obtain a final consistent verification result.

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 provides a failure probability estimation method and device for an automatic driving system, and relates to the technical field of automatic driving, and the method comprises the steps: carrying out the sampling of a uniform distribution space, obtaining an initial sampling result, and constructing a plurality of initial testing scenes according to the initial sampling result; respectively performing simulation testing on the target automatic driving system in the plurality of initial testing scenes to obtain initial simulation testing results, and constructing an evaluation index prediction model according to the initial simulation testing results and the initial sampling results; determining a solving target for obtaining a reference failure sample based on the evaluation index prediction model, and solving the solving target by using an optimization algorithm to obtain a reference failure sample set; and sampling in the proposal distribution space by using the reference failure sample set, and determining a final failure probability according to a final sampling result. By adopting the method and the device for estimating the failure probability of the automatic driving system, the problems of low verification efficiency and inaccurate failure probability estimation of the automatic driving system in the prior art are solved.

A conference system is described that authenticates a user using multiple devices. The conference system authenticates a first device and associates the first device with the user. The conference system provides information for a second authentication method to the user. The conference system authenticates a second device by associating the second device with the user.

The embodiment of the invention provides a multi-system login method and device, a storage medium and a program product, and relates to the technical field of security authentication. The method comprises the steps of receiving a token sent by a server in response to successful passing of identity verification of a digital portal, displaying system entrances of a plurality of systems associated with the digital portal, and responding to a touch operation for a system entrance of a target system in the system entrances of the plurality of systems, determining a system verification level of the target system according to the permission identifier, if the system verification level of the target system is a first system level, logging in a preset page of the target system, and if the system verification level of the target system is a second system level, logging in a preset page of the target system; if yes, first system verification information input by the user based on verification prompt information corresponding to the second system level is verified, and if verification succeeds, a preset page of the target system is logged in. According to the method provided by the embodiment of the invention, the convenience and security of multi-system login are improved.

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

The invention provides a composite QR code verification method and system. The system comprises a code generation system, a QR code generation system and a verification server. During generation, the composite QR code meeting the verification rule can be generated based on the generated first code and second code, 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 discloses a robot inspection method, device and equipment and a medium. The method comprises the following steps: planning a moving route from a current address to a destination address according to an inspection instruction; starting a visual system to capture a first image of a guest room gate in the moving route; after the first image is uploaded to a server, a laser system is started, and guest room exit features corresponding to the first image are verified; determining a corresponding room number according to the guest room exit feature; and sending the room number of the guest room in the abnormal state to a client administrator. According to the embodiment of the invention, the robot detects whether a room door of a user is not closed in a scene or not through the visual system and the laser system in the object conveying process, and sends the inspection record that the room door is not closed in the inspection process to an administrator; the safety of the hotel scene is greatly improved, the potential safety hazard in the scene can be dynamically detected and timely reported to the administrator for feedback, and the occurrence rate of the potential safety hazard of the hotel is reduced.

The invention discloses a method for automatically testing an interface based on RPA. The method comprises the following steps: making a test plan; building a test framework; compiling a test script; performing integrated testing; executing the test script; analyzing a test result; and maintaining the test script. Based on an RPA tool, through a graphical interface and predefined operation, a tester can create an automatic test script without writing any code, and the tester can define a complex test process only through simple dragging, clicking and configuration; an RPA tool is generally designed to be visual and easy to use, even a tester without any programming experience can quickly master the RPA tool, and the tester can master the basic skill of automatic testing through simple training and practice; the RPA has a unique verification mode for the login system needing to be verified, targeted system verification can be carried out, and the login interface can obtain the token conveniently.

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 discloses a power system network cross-region authentication certificate verification method and system, and the verification method comprises the steps: effectively guaranteeing the confidentiality, integrity and non-repudiation of an authentication certificate in a transmission process through a cross-region authentication protocol based on a unified multi-domain identifier; a production control region and a management information region are respectively provided with a sub-domain key management center, a root key management center is arranged between the two regions, corresponding authentication certificates are generated according to respective security policies and requirements, and the authentication certificates are distributed to corresponding users or systems through secure channels; in the process of data exchange and information sharing, both communication parties need to adopt a continuous authentication mechanism, a communication line is protected from attacks of various protocols through a nonlinear function, and the risk of security vulnerabilities and data leakage is reduced to the minimum. According to the invention, safe and rapid verification of authentication credentials between a production control region and a management information region is realized, and the safety, reliability and real-time performance of data exchange and information sharing are ensured.

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 provides a system-on-chip verification method and device, electronic equipment and a computer readable storage medium, and the method comprises the steps: obtaining a plurality of random excitation components and a tag associated with each random excitation component, obtaining a basic excitation component and a random seed sequence according to the recorded tags, and carrying out the verification of the basic excitation component and the random seed sequence; and a verification failure signal is reproduced by using the basic excitation component and the random seed sequence. According to the method, labels are associated with a plurality of random excitation components, random seeds used by the random excitation components are recorded by using the labels, a basic excitation component and a random seed sequence are obtained according to the recorded labels, and specific random seeds forming the random excitation components are obtained by reading the labels associated with the random excitation components. Therefore, in the reproduction process, the same random excitation component can be generated according to the label when the failure signal appears for the first time, and the verification failure signal is reproduced by using the basic excitation component and the random seed sequence, so that the failure signal is reproduced more easily, and the verification efficiency is 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.