Xi'an Jiaotong University Patent applications |
Patent application number | Title | Published |
20150363305 | METHOD FOR TEST CASE REDUCTION BASED ON PROGRAM BEHAVIOR SLICES - The present invention provides a method of test cases reduction based on program behavior slices. In the case that there is no need to scan all program paths, a test suite capable of covering all program behaviors is generated to relieve the state-space explosion problem confronted by program tests. In the present invention, during a static analysis stage, analyzing a control flow and an information flow of a program according to input program codes, extracting control dependence and data dependence of the program; calculating potential dependence of the program according to the control dependence and the data dependence of the program; on the basis of the control dependence, the data dependence and the potential dependence, constructing combination dependence of the program; during a dynamic execution stage, according to an execution path and the dependence relation, calculating program behavior slices covered by the path and program behavior slices uncovered by the path, and guiding symbolic execution to generate a path capable of covering new program slices according to the uncovered program behavior slices. Compared with the existing symbolic execution technique, the present invention can ensure the validity of the test suite, while at the same time reducing the number of the generated test cases remarkably. | 12-17-2015 |
20150321930 | SYSTEMS AND METHODS FOR TREATING HEAVY METAL WASTEWATER - Methods for treating wastewater containing one or more heavy metals are disclosed. The methods can include providing a fuel cell, the fuel cell including: an anode having a catalyst; a cathode electrically coupled to the anode; and an ion-exchange membrane disposed between the anode and the cathode. The methods may also include contacting a fuel to the anode to oxidize the fuel and contacting the wastewater to the cathode to reduce at least a portion of the heavy metals in the wastewater. The methods for treating wastewater may advantageously provide an efficient means for treating the wastewater while producing electricity. Systems for treating wastewater are also disclosed. | 11-12-2015 |
20150135785 | Method for sorting and comprehensively utilizing municipal solid waste - A method for sorting and comprehensively utilizing municipal solid waste includes steps of: 1) feeding the municipal solid waste into a feeding tank through a feeding inlet, then outputting into a breaking device; 2) breaking refuse bags and large blocks by the breaking device; 3) transporting broken refuse into a two-stage roller screen for screening out dusts with a particle size of less than 3 mm, and hanging strips; and 4) transporting mixed refuse screened by the two-stage screen into a vibrating screen; screening oversize products by a heavy winnowing machine for separating inorganic blocks, large plastics and paper; transporting underflow products into a two-room multi-functional winnowing machine for dividing into heavy materials, light materials and medium materials. By effectively combining sorting devices, effective sorting and reutilization of mixed refuse are achieved. Thereafter, paper, fibers, plastics and kitchen organic refuse are respectively for producing refuse derived fuel, wood-plastic composite and fertilizer. | 05-21-2015 |
20150051857 | Measurement method for aviation-specific proximity sensor - A measurement method for an aviation-specific inductive proximity sensor (IPS for short) includes steps of: 1) building a measurement circuit, wherein an IPS comprises an internal resistance r and an inductance L; 2) building a look-up table, wherein the step 2) specifically comprises steps of: sampling a first voltage measured value U | 02-19-2015 |
20140376140 | HYBRID DC BREAKER - A hybrid DC breaker, comprises a main current circuit, a transfer current circuit, an over-voltage limiting circuit and a control system, wherein the main current circuit, the transfer current circuit and the over-voltage limiting circuit are connected in parallel. The transfer current circuit consists of circuits | 12-25-2014 |
20140341716 | Cryogenic liquid turbine - A cryogenic liquid turbine is provided, wherein, an impeller end of the rotor and a nozzle assembly are received into a cavity of a volute ( | 11-20-2014 |
20140251958 | VACUUM INTERRUPTER - A vacuum interrupter, including: an insulating housing; a movable end cap; a stationary end cap; a pair of movable and stationary contacts; and a pair of shields. The pair of shields is fixed on the movable end cap and the stationary end cap, respectively. The insulating housing, the movable end cap, and the stationary end cap cooperate to form a closed space. The closed space includes a movable fracture and a stationary fracture. The movable fracture is formed by the pair of movable and stationary contacts for carrying rated current and disconnecting capacitive load whereby achieving breaking performance of the vacuum interrupter. The stationary fracture is formed by the pair of shields. When the pair of stationary and movable contacts reaches a full open position, the stationary contact and the movable contact enter the pair of shields, respectively. | 09-11-2014 |
20140218832 | BIDIRECTIONAL HYBRID BREAKER - A bidirectional hybrid breaker comprises a main current circuit, a transfer current circuit, an over-voltage limiting circuit and a control system, wherein the main current circuit, the transfer current circuit and the over-voltage limiting circuit are connected in parallel. The transfer current circuit consists of circuits | 08-07-2014 |
20140217833 | HYBRID HIGH-VOLTAGE DC BREAKER - A hybrid high-voltage DC breaker, consists of a plurality of completely identical breaker modules connected in series. Each of the breaker modules comprises a main current circuit, a transfer current circuit, an over-voltage limiting circuit and a control system, wherein a high-speed mechanical switch, the transfer current circuit and the over-voltage limiting circuit are connected in parallel. The transfer current circuit consists of circuits | 08-07-2014 |
20140141251 | DIAMOND-LIKE CARBON - Embodiments presented herein relate generally to the formation of diamond-like carbon, forms of diamond-like carbon and/or carbon dioxide fixation. | 05-22-2014 |
20140115685 | SMART SPACE ACCESS METHOD, SYSTEM, CONTROLLER, AND SMART SPACE INTERFACE SERVER - The present disclosure provides a smart space access method, a system, a controller, and a smart space interface server. The smart space access method includes: determining, by a controller that the controller enters a smart space in a smart space list; receiving a main mobile code corresponding to the smart space; and loading and executing the main mobile code, displaying a main service interface, generating a smart space request according to a service number of a selected application, sending the smart space request to the interface server, executing a result mobile code sent by the interface server, and displaying a processing result of the selected application. According to the present disclosure, access to different smart applications in different smart spaces can be implemented in a uniform manner by using a single controller without preinstalling a control program of a smart space, thereby providing a good expansibility. | 04-24-2014 |
20140103012 | VACUUM INTERRUPTER - A vacuum interrupter, including a hollow housing, a plurality of end shields, a first shield, a second shield, a third shield, a first conductive rod, a second conductive rod, a static contact, and a moving contact. The hollow housing includes an inner wall. The end shields are disposed on an upper end and a lower end of the inner wall of the hollow housing. The hollow housing is double layered and made of ceramic. The first shield, the second shield, and the third shield are disposed on the inner wall between end shields on the upper end and end shields on the lower end of the inner wall in the form of an inward embedment or an outward embedment. The first conductive rod and the second conductive rod are vertically inserted into the hollow housing from a top and a bottom of the hollow housing, respectively. | 04-17-2014 |
20130261995 | METHOD OF ON-LINE RAPID FLUID DENSITY MEASUREMENT USING A PIEZORESISTIVE MICRO-CANTILEVER - The present invention provides a method of on-line rapid fluid density measurement using a piezoresistive micro-cantilever, the present invention can achieve on-line measurement without changing the existing device; more importantly, without acquiring the resonant frequency of the cantilever in fluid to be detected, thus remarkably reducing measurement time, and guaranteeing the real on-line rapid measurement. By using the method of the present invention, measurement of the density of fluid to be detected by a calibrated piezoresistive micro-cantilever may be achieved within seconds or even shorter. | 10-03-2013 |
20130106244 | Flexible Micro Bumps Operably Coupled to an Array of Nano-Piezoelectric Sensors | 05-02-2013 |
20130105378 | COUNTERCURRENT TANK TYPE SUPERCRITICAL WATER REACTOR WITH A SACRIFICIAL LINING | 05-02-2013 |
20110094720 | SHELL-AND-TUBE HEAT EXCHANGER WITH HELICAL BAFFLES - The present invention provides a single shell-pass shell-and-tube heat exchanger with helical baffles, where within a single pitch, the helical baffles are separated into inner and outer parts along the radial direction of the shell. In the central portion of the inner space of the shell, an inner non-continuous helical form is employed; in other portion outside the central portion, doughnut shaped helical baffles with continuous curved surfaces are arranged to form an outer continuous helical baffle, and the outer helical baffles are arranged to surround the inner helical baffles. Furthermore, the present invention relates to a multiple shell-pass shell-and-tube heat exchanger with helical baffles, in which complete continuous helical baffles are provided in shell-sides other than the inner shell-pass, while non-continuous helical baffles or other flow guide means are employed in the inner shell-pass. The present invention makes flow patterns of fluids on the shell side more desirable, leading to a reduced flow pressure drop, and mitigate fouling, thus the heat transfer rate is improved and the service life of the heat exchanger is increased. The present invention also provides two methods for manufacture of continuous helical baffles, which ensure the concentricity of the tube bundle holes on each continuous helical baffle so as to facilitate installation of heat exchange tube bundles. | 04-28-2011 |
20100241372 | ONLINE PARTIAL DISCHARGE MONITORING SYSTEM OF GENERATOR AND METHOD THEREOF - A system and method for online monitoring partial discharge of a generator are disclosed. The system is connected in parallel with a busbar between the generator and electric network, and comprises: a near-end circuit on a generator side, which includes a near-end capacitive coupling sensor connected to the busbar and a near-end impedor connected in series with the near-end capacitive coupling sensor; a far-end circuit on an electric network side, which includes a far-end capacitive coupling sensor connected to the busbar and a far-end impedor connected in series with the far-end capacitive coupling sensor; and a detection device, which has a near-end input terminal connected to a connection point between the near-end capacitive coupling sensor and the near-end impedor through a near-end cable, a far-end input terminal connected to a connection point between the far-end capacitive coupling sensor and the far-end impedor through a far-end cable, and a processing unit, a length L of the busbar between the two capacitive coupling sensors, a length L | 09-23-2010 |