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

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

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

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

Disclosed are example methods, systems, and devices for allowing caller computing devices to authenticate calls via a service provider computing system. Users may opt to have entities register to contact the user with a positive ID, icon, or other notification on the user's computing device transmitted by the service provider computing system. A caller computing device may use a unique security token of the user to activate the notification on the user's device. The user device may be used to exert control over the security token via a service provider client application running on the user device. The caller computing device may initiate authentication via an API call to the service provider computing system. The caller computing device is able to have items (text, images, documents, etc.) delivered to the user computing device if authenticated.

The invention relates to the technical field of data processing, in particular to a test method and device based on a large model. In the embodiment of the invention, the electronic equipment calls the large model to generate a large batch of target questions and corresponding reference answers according to the knowledge data stored in the knowledge base, so that a high-quality question and answer data set is efficiently generated; and calling the to-be-tested system to reply each target question to obtain a target answer corresponding to each target question, scoring the target answers according to the reference answers corresponding to each target question so as to obtain an effect evaluation report of the to-be-tested system, and automatically verifying the accuracy of the to-be-tested system based on the question and answer data set. And the verification quality and efficiency of the to-be-tested system are improved.

The invention relates to a Schema-driven green building assessment method and system, and the core of the method is an autonomous assessment agent which takes off-line constructed Schema as an action instruction. In the evaluation process, the intelligent agent calls a knowledge base retrieval tool internally executing a coarse screening and fine selection two-stage mixed retrieval strategy according to the requirement of Schema so as to accurately position evidences, and finally a language model is guided to complete constraint information extraction and report generation. The prototype system verification shows that the method effectively improves the automation degree, the accuracy and the traceability of report generation, and provides a set of low-cost and high-controllability solution for constructing the man-machine collaborative intelligent assessment workflow.

A method may include receiving, by a first computing system and from a second computing system, an encrypted first key encrypted with a first public-private key pair. The encrypted first key may include a hash of at least a portion of sensitive data. The method May include decrypting, by the first computing system, the encrypted first key using a private key of the first public-private key pair to access a first key. The method may include validating, by the first computing system, the first key. The method may include re-encrypting, by the first computing system, the first key using a symmetric key to generate a re-encrypted key. The method may include transmitting, by the first computing system, the re-encrypted key to the second computing system such that the sensitive data may be decrypted.

The invention discloses a digital chip verification method and device, electronic equipment and a computer readable storage medium, the method and device are applied to a verification system, the verification system comprises a software simulation platform and a hardware verification platform, and the method comprises the following steps: determining a to-be-tested code of a target digital chip; utilizing the software simulation platform to generate an excitation signal according to the to-be-tested code, and sending the excitation signal to a hardware verification platform; executing verification operation on the target digital chip by using the hardware verification platform according to the excitation signal to obtain a hardware verification result; when the hardware verification result has abnormal information, determining an abnormal node in the to-be-tested code, and debugging at the abnormal node by using a software simulation platform to obtain a software simulation result; and determining a final verification result of the target digital chip according to the hardware verification result and the software simulation result. By applying the technical scheme provided by the invention, more flexible and efficient digital chip verification can be realized.

The invention relates to an embedded chip simulation and debugging method and system. The method comprises the following steps: expanding an instruction decoding module, a register description module and a breakpoint management module which support a C28x instruction set in a GDB debugger, and generating a special debugging front-end program; the method comprises the following steps: expanding a C28x JTAG protocol adaptation module in an OpenOCD debugging agent, and generating a debugging agent program; a C28x instruction set execution simulation unit is realized in the NEMU simulator, and a GDB Server communication module is embedded in the NEMU simulator; seamless switching between a simulation debugging mode and a hardware debugging mode is realized based on a unified configuration file through a software and hardware debugging environment rapid switching control module. The problems that a traditional debugging mode depends on a special hardware simulator, the cost is high and the simulation environment is inaccurate are solved, and through an integrated software and hardware collaborative debugging scheme, the debugging cost is greatly reduced, and the development efficiency and the comprehensiveness of system verification are improved.

Methods, systems, and devices for authenticated reading of memory system data are described. In some examples, a host system and a memory system may exchange keys used to grant the host system access to one or more protected regions of the memory system. The keys may be symmetric or asymmetric. In some cases, the host system may transmit a read command to access data stored at a protected region of the memory system, along with a signature generated using the key associated with the protected region. The memory system may verify the signature to determine whether the host is authorized to access the protected region, and may transmit the requested data to the host system. In some examples, the memory system may sign the returned data, so that the host system may verify the source of the data.

The invention provides an SMT solver rewriting system defect detection method based on rewriting space exploration, and aims to solve the problems that in the prior art, an SMT solver rewriting system is insufficient in verification, test input is difficult to trigger a rewriting rule, errors are difficult to verify and the like. The method comprises the following steps: 1) collecting and automatically verifying rewriting rules in an SMT solver, and constructing a high-quality rule base; 2) performing structure transformation on the existing test formula by adopting mimicry variation to enable the existing test formula to be matched with a rewriting rule mode, thereby activating more rewriting opportunities; 3) constructing an equivalence graph based on a generative equivalence saturation technology, and systematically generating semantic equivalence but structural diversity formula variants; and 4) inputting the original formula and the variant formula into an SMT solver, comparing the solving result with the performance behavior, and detecting potential defects. The invention also provides corresponding system implementation, and supports an automatic test process, rule management, formula generation and defect recording.

A verification system includes: a first verification device that verifies integrity of a first verification target; and a second verification device that has a higher security privilege than the first verification device and verifies integrity of the first verification device. The first verification device includes: a first verifier that refers to first verification related information including first verification target information and a first expected value, generates a first verification value by performing the predetermined operation on data on a first storage area storing the first program, and verifies integrity by comparing the first verification value with the first expected value; and a first updater that accepts a first update request for updating the first verification related information when receiving the first update request from the second verification device or when receiving the first update request while the first verification related information is updated, and updates the first verification related information.

This application provides a verification system, verification method, apparatus, and related devices. The verification system includes two cache consistency slave device verification units, each configured with a main address region and a mirror address region. The mirror data in the mirror address region of one cache consistency slave device verification unit is the data in the main address region of the other cache consistency slave device verification unit. When a mirroring operation is triggered between the two cache consistency slave device verification units, the correctness of the mirror data in the mirror address region is verified. The verification is determined by comparing the data in the main address region of one cache consistency slave device verification unit with the mirror data in the mirror address region of the other cache consistency slave device verification unit. This application avoids the complex processes of traditional verification, comprehensively reduces verification overhead, and thus improves the verification efficiency of memory address mirroring functionality.

The invention relates to the technical field of chemical engineering, in particular to an interlocking protection method for a dry acetylene carbide crushing system. According to the technical scheme, the interlocking protection method for the dry acetylene carbide crushing system comprises a real-time operation state monitoring and data acquisition method; according to the method, seven quantitative indexes such as mechanical part abrasion loss detection, frequency converter parameter calibration and nitrogen replacement system verification need to be completed before starting, and it is ensured that equipment is in the optimal initial state; during shutdown, through operations of confirming closing of a stock bin flashboard through a position sensor, controlling stopping time of a rotating part through inertia braking, cleaning a screen mesh through a high-pressure air gun and the like, through combination with a double-confirmation mechanism of a final equipment state signal and a communication state, hidden dangers in the start-stop stage are thoroughly eliminated, and the non-planned shutdown frequency of equipment is reduced by more than 60%; meanwhile, the service life of key parts is prolonged, and the maintenance cost caused by improper start and stop is reduced.

The invention relates to a method for verifying the origin of an electronic unit (1) for a control device (2) using a verification system (3), comprising the steps of: receiving a certificate signing request (7) for digitally certifying the control device (2) with the electronic unit (1) from a requesting instance using a receiving device (4) of the verification system (3), wherein the certificate signing request (7) is signed with a wrapper signature (8) of the electronic unit (1); generating a verification request (9) with a manufacturer of the electronic unit (1) based on the received wrapper signature (8) using an electronic computing device (6) of the verification system (3); transmitting the verification request (9) to the manufacturer using a sending device (5) of the verification system (3);Receiving a verification message (11) for verifying the electronic unit (1) from the manufacturer using the receiving device (4); and verifying the origin of the electronic unit (1) depending on the verification message (11) using the electronic computing device (6). The invention further relates to a computer program product and a verification system (3).

Disclosed are a method and apparatus for mirror image verification based on a dual-chain-of-trust mechanism, a device, and a medium. The method for mirror image verification based on a dual-chain-of-trust mechanism comprises: determining a read-only file system on the basis of an original mirror image file system and target operating system verification information; constructing a signed mirror image by means of the read-only file system, a root hash value file generated on the basis of the read-only file system, a customized public key, and a signature result of a customized private key on the root hash value file, the root hash value file being obtained on the basis of a device mapper verification method of a hardware manufacturer chain-of-trust mechanism, and the customized public key being stored in a one-time programmable region; performing a target operation on the customized public key to obtain a first encrypted value, writing the first encrypted value into a verified mirror image, and burning the signed mirror image into a device flash memory; after the device is powered on, mounting the signed mirror image on the basis of a startup script of the started verified mirror image, and performing a target operation on the customized public key in the signed mirror image to obtain a second encrypted value; and if the first encrypted value is the same as the second encrypted value, verifying the root hash value file on the basis of the customized public key and the signature result, and if the verification passes, implementing verified boot of the target operating system by means of the root hash value file, so as to ensure the reliability of the chain-of-trust mechanism of the target operating system.

The invention provides an access control terminal response method based on data line signal reading, which realizes a closed loop process of temporary charging, identity signal reading and system verification through a data line of an access control, and is in communication connection with an access control management system through a data line with data communication and charging functions configured by an access control terminal. Output management, signal reading and response control are realized; and when the user fails to try to scan the access control terminal or the electric quantity of the user terminal is lower than a preset threshold value, the access control terminal prompts the user to connect the user terminal to the access control terminal through the data line, reads data, verifies the data and performs access control. Through the processes of data line connection, temporary charging, signal reading and system verification, the problem that a user cannot open a door due to terminal power failure / code scanning failure is solved, and meanwhile, the safety of identity verification is ensured through multiple safety mechanisms.

Embodiments of this application disclose an in-path verification method and system, a verification point, a translation point, a terminal, and a storage medium, and relate to the field of communication technologies. In the method, the verification point receives a first packet from a terminal, where the first packet includes an unencrypted first in-path verification header, and the first in-path verification header carries a first profile index; the verification point determines a second profile index based on the first profile index, where the second profile index is a real index of a profile used in the first in-path verification header; and the verification point verifies the first packet based on a profile indicated by the second profile index. In other words, a profile index transmitted in a network is an obfuscated profile index. In this way, even if an attacker obtains the obfuscated profile index, a relative position of each field in an in-path verification header cannot be obtained based on the obfuscated profile index. Therefore, network security of a packet can be improved. In addition, in this manner, there is no need to separately encrypt the in-path verification header. Therefore, packet transmission pressure of the network can also be reduced.

The present disclosure involves systems, software, and computer implemented methods for age-restricted access to a locker bank. An example method includes receiving an indication from an agent computing device at a physical location that an age and identity of a user requesting pickup of an age-restricted item have been verified. The physical location includes a locker that includes the item. An unlock code is generated for the user for the item in response to receiving the indication. The unlock code is provided to a user computing device and to a locker system. A user-provided unlock code is received at the locker system. The locker system verifies that the user-provided unlock code has not expired and matches the generated unlock code. An unlocking of the locker for the user is triggered in response to determining that the user-provided code matches the generated code.