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

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