9 results about "Deterministic function" patented technology

A method for analyzing uncertainty in a multi-scale interpretation of a medical image includes inputting the medical image into a trained segmentation network. The method includes outputting via the trained segmentation network a segmentation output mask for each pixel of the medical image or a region of interest of the medical image. The method includes utilizing a deterministic function to aggregate segmentation output masks for all pixels of the medical image or the region of interest and to output a first classification prediction of the aggregated segmentation output masks. The method includes inputting the medical image into a trained classification network. The method includes outputting a second classification prediction of the medical image or the region of interest. The method includes determining an uncertainty between the first classification prediction and the second classification prediction via comparison of the first classification prediction to the second classification prediction.

A method of model checking a PLC algorithm inscribed in a graphical programming language and a method for automatic test case generation and model-based testing of the PLC implementing these PLC algorithms are provided. The model checking method includes converting the functional block diagram algorithm into a functionally-equivalent formalized functional block diagram algorithm. The method includes model checking the functionally-equivalent formalized functional block diagram algorithm. The verified PLC algorithm is a functional block diagram algorithm including discrete-time deterministic function blocks. The verified PLC algorithm can be then downloaded into a target PLC and periodically executed. The test case generation method includes predefined testable behaviors (unit tests) of each function block and combination of compatible unit tests to valid test cases according the assume-guarantee principle. The resulting test scenarios and test cases are used for model-based grey-box testing in MIL, SIL and HIL testing of the PLC implementing these PLC algorithms.

A method of testing a signature verification system including a computing device and a memory device, may include: generating a seed and a signature including first type codes and a leaf node index, wherein the first type codes include height information of a hash chain and height information of a Merkle tree; generating first intermediate values ​​of the hash chain, a first hash function seed, and first node values ​​of the Merkle tree using a deterministic function, based on the seed; generating a message; performing, by the computing device, a hash operation on the message; and generating a value of a first leaf node by performing hash chain operations, wherein the hash chain operations take the first intermediate values ​​and the first hash function seed as inputs.

The invention discloses a method for testing a signature verification system, the signature verification system and a computing device. The signature verification system comprises the computing device and a memory device. The method may include: generating a seed and a signature including a first type code and a leaf node index, the first type code including height information of a hash chain and height information of a Merkel tree; generating a first intermediate value of a hash chain, a first hash function seed, and a first node value of a Merkel tree using a deterministic function based on the seed; generating a message; performing, by the computing device, a hash operation on the message; and generating a value of the first leaf node by performing a hash chain operation with the first intermediate value and the first hash function seed as inputs.

A method and system for managing device association and access is disclosed. Some embodiments may include receiving, from a user device, a request to access a network device. The request may include a public key of the user device. The request may include a digital certificate, wherein the digital certificate may include the public key of the user device. A distributed database address of the user device may be determined by applying a deterministic function to the public key of the user device. A distributed database entry may include the address of the user device. A distributed database entry may be generated. The distributed database entry may include the address of the user device. Based on the address of the user device, access to the network device may be granted to the user device.

A computer implemented method for deriving a metric from a data resource. A data resource query is received from a user device and mapped to one or more data resources. Identifiers associated with mapped data resources are communicated to the user device. A mapping validation is received from the user device, representing a user validation of the mapping of data resources to the data resource query. A metric query is received from the user device and is similarly mapped to metrics with the mapping being validated by the user device. The validated mapped data resource and data defining how to compute the validated mapped metric are retrieved. A composite query including the metric definition data and the retrieved data resource and an instruction for an AI model to generate an instruction set for a deterministic function that applies the metric computation to the data resource are retrieved.

The present application for a patent of invention relates to a deterministic consensus method for distributed computer networks, for application in the technical fields of information technology and computer networks. The present method aims to deterministically organize the network using the identifier of the previous block. When generating a new block, each participant individually calculates the organization of the network using the identifier of the last block and the identifiers of the participants, thereby determining the order in which the participants will act. The participants are grouped and selected as representatives through cryptographic values and deterministic functions, ensuring an ordered structure. The transactions are signed within each group, preserving the integrity and order of the data. The last signature of the final group is used to calculate the new block identifier, which reorganizes the network for the next cycle. The method ensures that any modification to the data results in a different block identifier, enabling the detection and correction of conflicting transactions.

The application discloses a kind of based on cryptography primitive generation perception pilot integrated sensing algorithm integration deterministic perception method and system, belong to 6G integrated sensing algorithm integration technical field.The application makes both sides of communication based on shared cryptography material and time-varying synchronization parameter, same perception pilot is independently generated by cryptography deterministic function, and multi-node zero signaling cooperative perception is realized.Synchronization parameter can use physical layer broadcast timing, the logical state of protocol security state machine output or unified anchor point time T_anchor;Wherein rule D directly uses T_anchor As state value, can generate various communication and perception parameters.The application provides three kinds of implementation paths: path A is compatible with 5G traditional architecture, path B introduces DSF and PSSM, path C uses LPC+PAN decoupling architecture, and introduces two layers of decoupling and centralized clock bias management, and physical layer uncertainty is transparent to node.Through two-step deterministic arbitration and downlink implicit authorization mechanism, multi-node resource conflict is solved in order.The application completely eliminates pilot signaling overhead, reduces external synchronization dependence, tolerates the inconsistency between nodes Physical parameters, applicable to ground network, non-ground network and hybrid networking scene, provides end-to-end deterministic guarantee for integrated sensing algorithm integration.

A method comprising: obtaining (102) a dataset consisting of respective unique identifiers of signaling instances present in a system at a first time; obtaining (104) a unique identifier of a peer of a peer-to-peer network; selecting (106) a first signaling instance among the signaling instances, by applying a deterministic function (F) to input data comprising the unique identifier and the dataset; establishing (108) a communication channel comprising a subchannel between a load balancer (L) and the peer and a subchannel between the load balancer (L) and the first signaling instance; obtaining (102) an updated dataset consisting of respective unique identifiers of signaling instances present in the system (1) at a second time; selecting (106) a second signaling instance among the signaling instances, by applying the deterministic function (F) to updated input data, wherein the updated input data comprises the unique identifier and the updated dataset; if the second signaling instance differs from the first signaling instance, updating (109) the communication channel by closing the subchannel between the load balancer (L) and the first signaling instance and opening a subchannel between the load balancer (L) and the second signaling instance.