60 results about "Happened-before" patented technology

A camera creates successive digital images of a scene, and computes a stability measure estimate blur in a final photograph of the scene. The camera combines information such as lens focal length, focus distance, scene brightness value, and shutter speed to determine alternate camera settings that may reduce the blur. The camera communicates to the photographer suggested camera setting changes that may reduce the blur. The communication may optionally happen before the final photograph is taken or after, and may take one of several forms. The camera may optionally be a digital camera. The setting change suggestions may optionally be stored in an image file with a final digital photograph.

A system and method for predictive analysis includes generating an execution trace on an instrumented version of source code for a multithreaded computer program. Interleavings which potentially lead to a violation in the program are statically generated by performing a static predictive analysis using a Universal Causality Graph (UCG) to generate alternative interleavings that might lead to an error. The UCG includes a unified happens-before model for the concurrent program and a property being analyzed. The interleavings are symbolically checked to determine errors in the program.

A mobile terminal includes a report function that is adapted to send, in case of a failure event, a report containing at least information on said failure event to an at least one cellular radio network. The mobile terminal is distinguished in that said report function is adapted to send said report such that said report contains: a history of any failure event backwards in time until and including at least one successful event in regard of a communication between said mobile terminal and a radio base station belonging to said at least one cellular radio network, said at least one successful event having happened before said history of any failure event. A network entity for at least one cellular radio network and a method of information management in at least one cellular radio network are also provided.

A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory / file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes. The synchronizer device estimates each clock's start time and approximates elapsed time between events in threads or processes by executing an all-pair shortest-path algorithm

The method comprises: the video sending end sends the RTP packet generated in each time, and puts it into history buffer area; the receiving end decides if there is packet-loss happened before receiving the RTP packet; if not, the RTP packet is placed into RTP linked list to make framing; otherwise, sending a retransmission request to the sending end; after receiving the retransmission request, the sending end retransmits all RTP packets; the receiving end receives the retransmitted RTP packets, and puts them into the linked list to make framing; if the receiving end receives a same RTP packet again, it will generate a retransmission failure report; after receiving the report, the sending end stops transmitting the RTP packet, and informs the upper layer application program to handle it.

A system and method to synchronize independent local clocks in multi-core processing system are disclosed. A shared counter or a shared memory / file is provided to establish a partial happened-before relationship (e1<e2 in the happened-before order if we know that the event e1 happened before the event e2) and a synchronizer device is utilized to generate a global time of events in threads or processes. The synchronizer device estimates each clock's start time and approximates elapsed time between events in threads or processes by executing an all-pair shortest-path algorithm.

A method for maintaining the long connection by sending a heartbeat packet includes the steps that a keepAlive switch is turned on, keepAlive parameters are set, a keepAlive timer of a client TCP starts to work, and if no effective data transmission happens before time of the keepAlive timer is up, the client TCP stack working in a kernel space of the system automatically sends the keep-alivepacket to a server side. According to different network conditions, three processing procedures of normal conditions, network abnormity or server side abnormity and the condition that the server side is restarted after being interrupted occur. The method is achieved by regulating the keepAlive parameters of the TCP, the function that the keepAlive options of the TCP are used is the internal function of the TCP and belongs to a transmission layer, when a server receives the keepAlive explorer packet sent by the client side, the server can reply the client side on the transmission layer, the keepAlive explorer packet will not be submitted to the upper layer any more, and therefore the efficiency is improved greatly.

A method for controlling the communications of a computer in a computer network or a plurality of single computers in a computer network, in which the computer is connected to other computers and the single computers are connected with each other via a standard network LAN and a high performance network SAN. Each single computer comprises, in an operation system kernel, a protocol unit connected with the standard network LAN for servicing communication protocols and a library, which is connected in front of the operation system kernel, for which applications are sitting at a communication interface. Selection of the communication path between the standard network LAN and the high performance network SAN occurs in a network selection unit integrated with a base library. It is thereby provided that the network selection happens after the communication interface of the library and before access to the operation system kernel. If the network selection happens before access to the operation system, the library can be connected via a communication path with the high performance network SAN, which bypasses the operation system kernel.

An image forming device includes a box for each user for storing a file, a table management portion for storing a file change in the box together with a time when the change happened as change history information, an inbox change detection portion for detecting a file change in the box of the user when the user logs in that happened before the user logs in this time in accordance with the change history information of the box and a screen display process portion for displaying a result of the detection.

The present invention relates to a program scheduling method for data race detection and belongs to the field of software testing and the field of software reliability. The program scheduling method comprises the steps of: partitioning a given program into a plurality of program blocks; dynamically determining a set of types of locks in each program block bi by operating a program for once; selecting a data race detection tool, operating the program p again, scheduling operation of each thread according to relations between each thread and the locks and the set of the types of the locks in the program blocks, and detecting data race by using the selected data race detection tool; recomputing a lock type set corresponding to each program block in the program scheduling process; repeating the steps for a couple of times; According to the present invention, operation of the program is scheduled on the basis of the acquiring relation of the lock type set in each program block and the threads for the locks, so that hidden data race can be exposed, and thus, the hidden data race is detected by the data race detection tool based on Happens-before and detection efficiency of data race based on Happens-before is improved.

The embodiment of the invention provides a method and system for displaying prompt information. The method for displaying the prompt information includes the steps that an interface control is presented, and the prompt information is displayed in the interface control; presentation of the interface control is controlled. The step of controlling presentation of the interface control includes the specific sub-steps that the interface control is made to automatically disappear after being continuously presented for a preset duration; if a preset interaction event relevant to the interface control happens before the interface control is continuously presented for the preset duration, the presentation duration of the interface control is changed. Thus, a user can flexibly control the display time of the prompt information, and better experience is brought to the user.

The invention relates to a method for Android application program data race detection based on predictability analysis. The method comprises the steps that based on an Android development framework and a multi-thread model of the Android development framework, an Android application program is instrumented and operated dynamically to extract a single executing track, the executing track is then analyzed through a predictability analysis method, the happening order relation (Happens-Before) among activities of the Android application program is structured, multiple executing tracks are generated through prediction, on this basis, all activities in the executing tracks are subjected to constraint coding through combination of variable slacking and path slacking, and codes are finally put into a constrain solver to be solved to complete detection of data races. By means of the method, the false alarm rate of the data races can be effectively decreased, expansibility is good, efficiency is high, only the single executing track needs to be collected, and thus the labor cost is greatly reduced.

The invention discloses a foreign matter limit invasion monitoring system based on fiber Bragg gratings. The foreign matter limit invasion monitoring system based on the fiber Bragg gratings comprises a foreign matter limit invasion monitoring system, a monitoring host machine system and a foreign matter limit invasion sensing system. The foreign matter limit invasion sensing system is used for sensing foreign matter limit invasion information and transmitting the foreign matter limit invasion information to the foreign matter limit invasion monitoring system, after the foreign matter limit invasion monitoring system receives the foreign matter limit invasion information, the foreign matter limit invasion information is processed and converted into a sensing signal, the sensing signal is transmitted to the monitoring host machine system, and the monitoring host machine system stores and processes the foreign matter limit invasion information. According to the foreign matter limit invasion monitoring system based on the fiber Bragg gratings, a single-mesh double-optical network mode is adopted, a fault point can be accurately positioned, rapid positioning of faults is achieved, usability, safety and reliability are improved, and repairing and maintaining cost are saved. The foreign matter limit invasion monitoring system based on the fiber Bragg gratings is capable of achieving uninterrupted monitoring and effectively preventing accidents of derailing of a train and the like from happening before foreign matter limit invasion is beyond a safety range.

A method for detecting distributed concurrency errors in a distributed cloud computing system includes the steps of: tracing operations that access objects in functions involving inter-process messaging, applying a set of happens-before rules to the traced operations. Analyzing the traced operations to identify concurrent operations that access a common object to generate a list of potential distributed concurrency errors (DCbugs). Pruning the list of DCbugs to remove DCbugs having only local effect and that do not generate run-time errors.

A solution to failover processing for automatic responder in a mixed server environment. The instant response system is part of mail delivery system without requiring every server in the cluster to be upgraded to the latest version. The auto-responder is installed in the router, as part of the mail delivery. In order to process messages delivered to the older version of servers seamlessly, the invention comprises an agent trigger which runs only on server start, an agent with a new type in the user mail file, which performs Out of Office functionality (similar to the current mail template functionality) or “failover” agent. The router processing for auto responder will enable the agent in the user mail file when it becomes activated (based on user specified configuration). The agent does not require any special security configuration because it is signed by the server. The email comes from the mail owner (intended recipient) setting the “Principal” field. The router auto responder processing marks each email it auto-responds (this happens before the email is written down to the user mail box, so this special marking does not require any additional I / O). It also stamps out of office profile document with date it performed the processing.

The invention discloses a finite element model correcting method based on reverse substructures. The method includes the following steps of firstly, measuring a test mode of an actual engineering structure to establish the test mode of the whole structure; secondly, dividing the test mode of the whole structure into test modes of the independent substructures through the relation between the test mode parameters of the independent substructures and the test mode parameters of the whole structure; thirdly, establishing a target function on the basis of the test modes of the independent substructures, adjusting the parameters of the independent substructures, minimizing the target function, obtaining the optimal structural parameters of the substructures, and correcting finite element models of the independent substructures according to the optimal structural parameters; fourthly, completing structure damage recognition according to the changes, happening before and after structure damage, of finite model structure parameters. By means of the method, by correcting the models of the independent substructures, the models of the whole structure are prevented from being repeatedly analyzed, the accuracy and efficiency of the finite element model correcting method can be greatly improved, and high practicability is achieved.

Privacy violation detection of a mobile application program is disclosed. Regular histories of the mobile application are mined. A call-graph representation of the mobile application program can be created and sequences of events of interest according to the platform specification of the mobile application can be collected. A plurality of learnable features are extracted from the regular histories. The plurality of learnable features are combined into a single feature vector which is fed into a machine-learning-based classification algorithm. Whether the mobile application program includes one or more permissions for accessing unauthorized privacy data of a mobile application user is determined based on a machine learning classification of the single feature vector. The collected sequences can be reduced into a plurality of feature vectors which can include at least one of a happens-before feature and a multiplicity of occurrences feature.

A deadlock free synchronization synthesizer for must-happen-before relations in at least two parallel programs or at least two threads each having multiple code segments has an input device to specify a synchronization point to involving code segments for each parallel program or thread and must-happen-before relations to the synchronization point, an analyzing module connected to the input device to detect existence of a deadlock in the parallel programs by using the must-happen-before relations, and a synthesizing module connected to the analyzing module to synthesize a practice code corresponding to the parallel programs if the deadlock existence detection is negative.

The invention discloses a vehicle starting control method and device, a vehicle and a storage medium, and belongs to the field of automatic control. The method includes the steps of detecting whether living bodies exist in a human eye vision blind area of the vehicle or not through a living body detecting sensor before the vehicle is started, forbidding the starting of the vehicle when the living bodies exist in the human eye vision blind area, and allowing the starting of the vehicle when no living bodies exist in the human eye vision blind area. By detecting whether the living bodies exist in the human eye vision blind area of the vehicle or not through the living body detecting sensor, the probability of accidents happening before a vehicle is started is reduced. The method is used in the vehicle.

The invention discloses a concurrent program data competition instruction level positioning method for solving the problem of concurrent program data competition positioning, and belongs to the technical field of software testing. The method comprises the following steps: firstly, carrying out data competition preliminary detection on instruction information obtained in the dynamic binary instrumentation process of a concurrent program by utilizing a data competition definition, and setting a vector clock for each thread to track and record the time of accessing a shared memory by the thread;and judging whether data competition occurs or not by judging whether the vector clocks of the threads threaded by the instructions have a partial order relationship or not according to the happens-before rule, and forming a final data competition positioning report. The invention provides a concurrent program data competition instruction level positioning method, effectively reduces the false alarm rate and the missing alarm rate of detection, and is used for improving the precision and efficiency of concurrent program testing.

The invention discloses a block HB (Happens-Before) based dynamic data race detection method and system. The method comprises the steps of carrying out compilation on a source representation by employing a front end of an LLVM (Low Level Virtual Machine) to obtain an IR (Intermediate Representation), and carrying out instrumentation on a memory access operation and a synchronization operation by employing a process PASS of the LLVM; in an operating process of the IR, obtaining physical time information of the memory access operation and the synchronization operation after the instrumentation, and then compressing and simplifying HB relationships; and carrying out data race detection based on the compressed HB relationships. By compressing and simplifying the HB relationships of an event, the overheads of a time and a memory caused by a large number of the HB relationships are reduced.

A graphical user interface configured to facilitate replay debugging in distributed software programs is provided. The graphical user interface can allow the user to provide watchpoints and can allow the user to visualize variables that are contained within the log files. The watchpoints can represent one or more conditions. The user defined watchpoints can be converted into regex expressions and applied to the log files to determine if they meet the condition specified in the watchpoint, and if the log files meet the condition, a visual indication can be provided on a visual progress bar.

The invention provides a working face deep concealed water-conducting channel exploration method. The method comprises the steps that microearthquake detectors are arranged in the upper and lower crossheading roadways of the working face, and a microearthquake monitoring system is constructed; a microearthquake accident is induced to happen before mining of the working face, the spatial form of apre-mining microearthquake accident intensive belt in a working face deep strong aquifer and a relative water-resisting layer above the strong aquifer is acquired through the microearthquake monitoring system; the working face deep concealed water-conducting channel is subjected to grouting reinforcing according to the location and the type of the identified working face deep concealed water-conducting channel; the spatial and temporal distribution characteristics and evolution characteristics of the microearthquake accident in the mining process are acquired when the working face is mined, the location and the type of working face deep concealed water-conducting channel which is not found out and not effectively blocked are identified according to the spatial and temporal distribution characteristics and the evolution characteristics of the microearthquake accident in the mining process, the location and the type of the concealed water-conducting channel in the relatively deep position of the working face can be accurately identified, and important evidences are provided for mine grouting blocking and water burst prevention.

Circuits and methods are introduced to allow for timing relationship between a clock signal and a synchronization signal to be observed. The observations may include observing the timing relationship between a capture edge of the clock signal and a transition of the synchronization signal. Based on the observations the timing of the synchronization signal transition may be adjusted. Observing the timing relationship may include providing a delayed synchronization signal and a delayed clock signal. The delayed synchronization signal may provide what happens before the capture edge of the clock signal. The delayed clock signal may provide what happens after the capture edge of the clock signal.

The present invention refers to a process for producing cellulose of market eucalyptus fibers having distinct features through the use of at least one enzymatic treatment with hydrolytic enzymes, such as for example, xylanases, cellulases or mixtures thereof, in association to at least one acidic treatment step. These treatments may be applied into different steps of the fibers process producing, wherein all of them happen before drying.

The present application relates to a secondary equipment state monitoring method based on infrared thermal imaging, the method comprises the following steps of: acquiring current infrared thermal imaging data of a secondary equipment; comparing the current infrared thermal imaging data with target infrared thermal imaging data to obtain a comparison result; and determining a current state of the secondary equipment based on the comparison result. According to the infrared imaging technology and the fact that insulation breakdown or obvious thermal effects will happen before most of the secondary equipment ''fail'', an effective choice is provided to the monitoring device of the current secondary circuit, which solves problems that some secondary circuits can only be solved after an accident, and accident prediction and abnormal diagnosis cannot be performed. Therefore, the operation and maintenance level of the secondary equipment and the initiative of operation and maintenance have been greatly improved, and it has a great significance on the status evaluation of secondary equipment, hidden danger investigation, operation and maintenance inspection. Moreover, a new discriminatingbasis for the operation and maintenance state of the secondary circuit is provided, getting rid of the predicament that the original judgment basis is insufficient.

The invention discloses a method for growing a thick gate oxide layer for a high-voltage MOS device. The growth of the thick gate oxide layer for the high-voltage device happens before shallow channel isolation, and a silicon nitride layer serves as a hard mask. According to the method, changes of electrical characteristics and reliability of low-voltage devices in a high-voltage gate oxidation process are avoided, risks are reduced; and simultaneously, the process is simple, and the number of photoetching plates remains unchanged.

The invention discloses an automatic water pressure detecting and adjusting system which comprises a water pump, a motor, a programmable logic controller, a pressure sensor and a frequency converter, wherein the motor is used for driving the water pump; the pressure sensor is installed on a water supply pipe and used for detecting the actual pressure of the water supply pipe, and the output end of the pressure sensor is connected with the input end of the programmable logic controller; and the frequency converter is used for controlling the motor to drive the water pump to work and the input end of the frequency converter is connected with the output end of the programmable logic controller. According to the automatic water pressure detecting and adjusting system, hardware such as the programmable logic controller, the frequency converter, a liquid level sensor and the pressure sensor is utilized to detect and adjust the water pressure of water supply equipment automatically, water supply efficiency of the equipment is improved, electric power resource waste is reduced, the normal service life of the water pump motor is prolonged, and the prominent problems of insufficient / excessive water supply and underpressure / overpressure of water pressure, likely to happen before, are solved.