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

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.

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

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.

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.