52results about How to "Does not affect correctness" patented technology

The invention provides a formal verification method for a security protocol, which comprises the following steps of: 1) giving the security protocol under a set network environment; 2) layering the security protocol according to functions realized by an execution step of the security protocol; 3) decomposing an expected security goal into subgoals corresponding to sublayers; 4) modeling each sublayer in turn and describing each subgoal; and 5) respectively verifying whether layering models constructed in the step 4) meet the subgoals corresponding to the layering models or not, and if so, finishing the verification of the security protocol. By combining a layering method with a model checking scheme, dividing the security protocol into clearly layered modules and verifying the modules respectively, the complexity of accurate modeling is reduced; and on the premise of not influencing the correctness of a verification result, the scale of a state space in the checking process is greatlyreduced.

The invention provides a transaction deletion method and a system under user balance privacy protection and authorization supervision, which are suitable for an alliance chain. The method comprises the following steps: an initialization step of participating in each party: defining role classification and functions of member nodes, generating public and private keys of the member nodes, and generating supervision parameters of an authorization supervisor; and an account transfer initiating step: enabling a common user to initiate an account transfer transaction, and sending account transfer transaction information to the accounting node, the authorization supervisor and the account transfer receiver. According to the invention, an authorization supervisor can revise malicious information on a block chain without influencing link information of an existing block chain; according to the scheme of the invention, the chameleon hash function and the traditional password hash function are used at the same time, and the collision algorithm of the chameleon hash function is used, so that an authorized supervisor can revise the block carrying malicious information and keep the original hashvalue of the revised block unchanged, and the correctness of the effective block is not influenced.

The invention discloses a distributed-type parallel computing platform system based on Web dynamic participation. The distributed-type parallel computing platform system based on the Web dynamic participation comprises a computing task management host machine and a computing node, wherein the computing task management host machine comprises a computing task decomposition unit, a computing task distributing unit, a Web server unit, a computing result collection unit and a computer result summarizing processing unit, the computing node comprises a Web browser and a Java Applet node program embedded and operated in a webpage of the Web browser, and the computing task decomposition unit is used for decomposing a computing task and packaging the computing task into a computing task package. Any network idle computer accesses a service website of the Web server unit through the browser and obtains the webpage containing the Java Applet node program to be a computing mode, and the node program obtains the computing package from the computing task distributing unit through remote method invocation (RMI) and sends the computing result to the computing result collection unit. The distributed-type parallel computing platform system based on the Web dynamic participation utilizes the network idler computing resources to carry out high-performance computing, is low in cost and is flexible and convenient to implement.

The invention discloses a method and a system for dynamically monitoring the software service quality based on Bayesian inference. The method comprises the following steps of: setting null hypothesis and alternative hypothesis, selecting a prior distribution function, reading a training sample, pre-processing the training sample, counting the quantity of samples meeting attributes, and updating a sample set; reshaping the total quantity of samples, the quantity of successful samples and a standard value; and calculating a Bayesian factor, and analyzing, storing and returning a monitoring result. The system comprises a controller, an observer and an analyzer, wherein the controller is used for acquiring the service statement of software, generating an analyzer of different task objectives, transmitting a service standard required to be matched to the analyzer, issuing a command to a data acquisition end, and controlling periodic acquisition; the observer is used for periodically acquiring needed service data from a data service end, and screening, classifying and rearranging information; and the analyzer is used for matching data to form a sample which can be pre-processed, transmitting into a history database for storing, analyzing data by adopting a Bayes statistical module, and storing a result into a monitoring result database.

The invention discloses short-distance measurement method and structure of the grounding resistance of a grounding network. A current pole used for measuring the grounding resistance of the grounding network is arranged near the grounding network to be measured, even inside the grounding network; the current pole is used as a small grounding network to be measured, and the grounding resistance R pole of the current pole is measured by the traditional long-distance measuring method; finally, a test voltage is applied between the grounding networking to be measured and the current electrode, a test current between the grounding network to be measured and the current pole is measured by an ampere meter, and the total grounding resistance R (total) of the grounding network to be measured and the current pole is calculated by using the Ohm's law; and the grounding resistance R pole of the current pole is subtracted from the R (total) to obtain the grounding resistance R (network) of the grounding network to be measured. The invention not only can avoid the problems of long wire pay-off distance, large work load, easy interference production and the like, but also can avoid the technical difficulty that the measurement precision of the traditional short-distance measurement method can not satisfy actual requirements.

This invention discloses a demodulation method for multi-user mapping signals including: the transmission end transmits modulation parameter information and multi-user mapping signal to the receiving end of each user contained in the multi-user map to generate a constellation mapping list based on the information and a preserved multi-user signal modulation method, the receiving end in the map decides the constellation point nearest to the multi-user mapping signal based on the constellation mapping list and selects the information bit occupied by it from the information bit corresponding to the dot, which is used in the cellular system based on OFDM and multi-user multiplex to provide a general demodulation method for multi-user mapping.

Provided are a method and device for error correction and calibration of communication data packets. The communication data packets comprise an initial data packet and an error correction data packet, wherein the initial data packet comprises N initial data blocks including N-1 first valid data blocks and a first calibration data block, the error correction data packet comprises N error correction data blocks corresponding to the N initial data blocks in a one-to-one mode, a receiving end carries out a first calibration operation on the first valid data blocks according to the first calibration data block, if the first calibration result is correct, the first valid data blocks are processed, and otherwise, the receiving end conducts an error correction operation on the initial data packet according to the error correction data packet to obtain a correction data packet; the correction data packet comprises N-1 second valid data blocks and a second calibration data block, the receiving end carries out a second calibration operation on the second valid data blocks according to the second calibration data block, if the second calibration result is correct, the second valid data blocks are processed, and otherwise, the receiving end abandons the initial data packet and the error correction data packet and requests to resend the communication data packets.

The invention provides a method of processing embedded information in paper medium file, comprising the steps of: reading the to-be-embedded information, RS coding the information, converting the paper medium file into image data, configuring the halftone screen coding, arranged into two-dimensional distribution at certain interval, at the interval of a print image, forming shading of the print image, composing the print image of the embedded information; printing and outputting the print image of the embedded information, or outputting the printing plate-making data for plate-making, and printing the print image of the embedded information. The method can directly embed much information on the paper medium file and can be used in the fields of automatically reading the paper medium file, and anti-fake of certificates, production and management of classified documents.

The invention discloses a method for achieving the concurrent process of buffer data accessing and loading, which comprises using two data buffer areas to store data, wherein either of the data buffer areas is in an accessing state, and the other is in a wait state, using a data loading pointer and a data visiting pointer to point for the two data buffer areas, using the data loading pointer to point for the data buffer area in the wait state when loading for buffer data, and loading buffer data, and simultaneously using the data visit pointer to point the data buffer area in the accessing state if buffer data are needed to be accessed, and accessing buffer data. Data can be accessed when loading data according to the method without influencing the accuracy of accessing data, and the speed of accessing data can be improved.

The invention provides a synthetic aperture radar control interface network which comprises a plurality of control interface nodes and transmission media used for connecting the control interface nodes into a ring topology network. The control interface nodes comprise a main node and a plurality of secondary nodes, wherein the main node adopts a network interface chip as an input and output interface. The main node is used for starting and ending control information data packages. The control information data packages are sequentially transmitted in the control interface nodes of the ring topology network and comprise information sessions corresponding to the secondary nodes. The information sessions comprise control instructions controlling the secondary nodes. The secondary nodes are used for receiving the control information data packages and analyzing the control instructions corresponding to the secondary nodes from the information sessions, corresponding to the secondary nodes, of the control information data packages. The synthetic aperture radar control interface network has the advantages of being high in speed, efficiency and reliability, and enhancing the maintainability.

The invention discloses a method for interpreting the data structure of the internal memory data blocks which comprises, the structure analyzer analyzing the source file to create the type structural description file, and storing it on the host computer where the internal memory decryption course locates, obtaining the byte stream data of the internal memory data block, selecting the structural description file corresponding to the internal memory data block and creating a structure tree, and displaying the meaning of each byte of the internal memory data block, thus the internal memory data block is interpreted.

The invention provides a method for weather resource data processing by a server. The method comprises the steps of classifying each weather data source; from the weather data source with the highest evaluation grade corresponding to a required area, reading weather data of the required area, and taking the read weather data as optical weather data; from the weather data source of the next evaluation grade corresponding to the required area, reading missing or defective weather data of the required area, supplementing the read weather data to the optimal weather data; and using the optimal weather data to update a weather database for a client to read. The server has very good flexibility, and weather data customized by the client can be provided according to different requirements; the client does not rely on weather data source update, and problems that it is single when data is queried from a single data source and the resource consumption is large when data is queried from multiple data sources are also solved.

The invention discloses a deep learning method for a voice medical advice. The method comprises the following steps sequentially: a voice medical advice is acquired; the voice medical advice is converted to text data and the text data are stored; key words in the text data are extracted, and key words extracted from medical advices for the same patient in different periods are classified, and thesame key words are categorized to the same class; according to variables in the same class of key words, a corresponding chart is made; and the corresponding made chart is stored and outputted, and incombination of the corresponding chart, the change condition of the patient is monitored and a treatment plan suitable for the patient is made. The medical advice is recorded into voice, and the workload of a doctor is reduced.

The embodiment of the invention provides a data processing method and a related device, and the method comprises the steps: receiving each data processing request with a request category, and writing each data processing request into a corresponding request category queue; according to a writing sequence of the data processing requests located at the head of each request category queue, determining a previous data processing request and a later data processing request, and according to the previous data processing request, determining a storage space of a current-level module corresponding to previous request data; when the previous request data is not obtained, determining a storage space of a current-level module corresponding to the post-requested data according to the post-data processing request, obtaining the post-requested data, and when previous obtained data in the previous request data and the post-requested data is obtained, processing the request category of the data processing request corresponding to the previously obtained data. According to the embodiment of the invention, the cache data processing efficiency can be improved.