Patents
Literature
Patsnap Copilot is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Patsnap Copilot

317 results about "Occurrence data" patented technology

The Occurrence Data is a raw and machine-readable dataset that is intended to be read, analyzed and interpreted by software and analytics tools.

Data race detection and evidence generation method based on multithreaded program constraint building

The invention provides a data race detection and evidence generation method based on multithreaded program constraint building. The data race detection problem is converted into a constraint solving problem by building a constraint expression according to the multithreaded program semanteme, a constraint solver is used for detecting possible data races and program execution paths triggering the data races are generated; the data race detection and evidence generation method comprises the steps of firstly, carrying out the instrumentation of the detected program, executing the program and obtaining an execution path, secondly, converting the execution path into a quantifier-free first-order logic expression covering all feasible thread interleaving according to the multithreaded program execution semanteme, thirdly, building a data race candidate set according to the sequential relationship of statements when a data race happens and generating candidate conditions for races, and finally, traversing the candidate set to determine whether the data race exists, and if so, generating a corresponding evidence sequence. The method is capable of finding out all data races in once operation without misinformation; for each data race, the evidence sequence indicating the trigger process of the data race is generated.
Owner:XI AN JIAOTONG UNIV

Working surface outburst risk evaluation index system analysis method

The invention discloses a working surface outburst risk evaluation index system analysis method, which comprises the following steps of: acquiring gas occurrence data of a mine stope face; comprehensively analyzing the data to form risk evaluation indexes for judging working surface outburst risk, and storing the risk evaluation indexes in a criterion index library; processing the risk evaluation indexes and preset evaluation index critical values to determine the risk level of a working surface region range; and pre-warning according to the risk level. According to the method, working surface outburst risk dynamic evaluation indexes are classified into a gas index, a geology index, a stress index and an outburst prevention measure index on the basis of researching the gas occurrence rule of the mine stope face, so that the change rule of each evaluation index is grasped in time and analyzed intelligently, a working surface outburst evaluation result is formed comprehensively, outburst risk pre-warning of different levels is generated automatically, and real-time change update of each evaluation index can be predicted along with outburst; and the blindness of outburst prevention work is reduced, outburst prevention engineering cost is saved, and safe production of a mine is ensured.
Owner:CHINA COAL TECH ENG GRP CHONGQING RES INST

Data real-time synchronization method and system

The invention discloses a real-time data synchronization method and system, and the method comprises the steps: obtaining a data change sequence of a source database when detecting that the source database has data change, and storing the data change sequence in a data change log table; When it is detected that the data change occurs in the data change log table, obtaining change data in the datachange log table, packaging the change data into message queue information, and sending the message queue information to a message queue; Informing a target database needing to synchronize data, so that after receiving the notification message, the target database reads the message queue information from the message queue and then performs data updating operation according to the message queue information; And after judging that the message queue information in the message queue is successfully sent, sending a synchronization completion message notification to the target database. The synchronization mode is simple, program development difficulty is low, synchronization efficiency is high, data synchronization can be carried out in time, the period is short, and the method can be widely applied to the software technology industry.
Owner:恒峰信息技术有限公司

Fault-tolerance method for high-reliability disk array

The invention discloses a fault-tolerance method for a high-reliability disk array. The fault-tolerance method comprises the following steps: when a data write error occurs, confirming storage space of a disk in which data with the write error is, and carrying out bad block marking on the storage space; when a data read error occurs, judging if the disk array is complete, if so, working out current position data by checking, writing the data in a corresponding position of the disk, and otherwise, carrying out bad block marking on the storage space with the data read error; and when a next write operation is carried out, carrying out the write operation on the storage space subjected to bad block marking, if the storage space is successfully written and the subsequent read operation is also successful, removing a bad block mark of the storage space, and on the contrary, remaining the bad block mark. According to the fault-tolerance method, the technical problems that only bad block information of read-write errors is recorded and bad blocks are not repaired in a disk array system and the disk array system is limited by a fault-tolerance range in the prior art are solved; and the fault-tolerance method is in particular suitable for occasions with low data accuracy requirements.
Owner:SUZHOU KEDA TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products