54 results about "Source transformation" patented technology

A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.

A system and method for self-policed, authenticated, offline / online, viral marketing and distribution of content such as software, text, and multimedia with effective copyright and license enforcement and secure selling. The system is based on key and cryptography hiding techniques, using source-to-source transformation for efficient, holistic steganography that systematically inflates and hides critical code by: computation interleaving; flattening procedure calls and obfuscating stack by de-stacking arguments; obfuscating memory management; and encoding scalars as pointers to managed structures that may be distributed and migrated all over the heap using garbage collection. Multimedia / text content may be partitioned and sold with expiry dates for protection and updates for long life. Authenticity of software installed on a machine may be monitored and ensured, supporting even authentic software deployment in an unknown environment. The system can be implemented with commonplace networking or browser software, commonplace hardware and content provision over a secure website (https standard).

A method and apparatus is disclosed herein for automated test input generation for web applications. In one embodiment, the method comprises performing a source-to-source transformation of the program; performing interpretation on the program based on a set of test input values; symbolically executing the program; recording a symbolic constraint for each of one or more conditional expressions encountered during execution of the program, including analyzing a string operation in the program to identify one or more possible execution paths, and generating symbolic inputs representing values of variables in each of the conditional expressions as a numeric expression and a string constraint including generating constraints on string values by modeling string operations using finite state transducers (FSTs) and supplying values from the program's execution in place of intractable sub-expressions; and generating new inputs to drive the program during a subsequent iteration based on results of solving the recorded string constraints.

The invention discloses a peak current regulating system and method used in a source transformation system. The system and method are used for regulating the output of the source transformation system. A system controller comprises a signal generator and a modulating and driving component, wherein the signal generator is used for at least receiving a first signal and a second signal and generating a third signal, the first signal indicates the input voltage received by a primary winding of the source transformation system, the second signal indicates the primary current passing through the primary winding, and the modulating and driving component is used for at least receiving the third signal, generating a driving signal based on the information relevant to the third signal, and outputting the driving signal to a switch to affect the primary current.

A contour for a syllable (or other speech segment) in a voice undergoing conversion is transformed. The transform of that contour is then used to identify one or more source syllable transforms in a codebook. Information regarding the context and / or linguistic features of the contour being converted can also be compared to similar information in the codebook when identifying an appropriate source transform. Once a codebook source transform is selected, an inverse transformation is performed on a corresponding codebook target transform to yield an output contour. The corresponding codebook target transform represents a target voice version of the same syllable represented by the selected codebook source transform. The output contour may be further processed to improve conversion quality.

The invention relates to an aviation geomagnetic vector detection apparatus. The apparatus is characterized in that: a three-component magnetic field sensor is connected with a GPS antenna through a three-component magnetic field receiving circuit and an inertial navigation controller; an inertial navigation sensor is connected with a processing system through the inertial navigation controller; the three-component magnetic field receiving circuit is connected with a host processing system; the host processing system is connected with source transformation. Through mutually orthogonal geomagnetic three components (X,Y, Z), each parameter of an earth magnetic field can be deduced and calculated. Compared to a single component or total field measurement, an obtained information content is more. There are fewer factors which can be influenced during interpretation and a multiplicity is small. The aviation geomagnetic vector detection has a fast speed and is almost not restricted by landforms and landscape. According to the invention, by using a three-component data and attitude data acquisition hardware synchronization method, a data deviation generated by non-synchronization of the three-component data and the attitude data caused by the fast speed of an aircraft can be eliminated.

The invention provides a high-power LED street light which can be simultaneously provided with one or two LED light source modules, being composed of a heat transfer and dissipation system, a luminescence and light distribution system, a power source transformation system and a lamp shell, wherein, the heat transfer and dissipation system consists of a heat conducting substrate of the LED light source module, a heat conducting adhesive and a radiator integrated with an upper shell; the luminescence and light distribution system consists of the luminous surface of the LED light source module, a sealing ring, a reflecting shade, a light distribution lens and a transparent lampshade; the power source transformation system consists of a power source incoming line, a rectification drive controller, a power source outgoing line as well as the positive and negative terminals of the LED light source module. The structure of the invention can effectively enhance the luminous intensity of a single lamp, simultaneously, the radiating structure of the lamp is more beneficial to heat dissipation, which causes an LED chip to work under the appropriate temperature environment, thus achieving the aims of prolonging the service life of the lamp and reducing the photodegradation of the lamp.

Systems and methods for source-to-source transformation for compiler optimization for many integrated core (MIC) coprocessors, including identifying data dependencies in candidate loops and data elements used in each iteration for arrays, profiling candidate loops to find a proper number m, wherein data transfer and computation for m iterations take an equal amount of time, and creating an outer loop outside the candidate loop, with each iteration of the outer loop executing m iterations of the candidate loop. Data streaming is performed by determining optimum buffer size for one or more arrays and inserting code before the outer loop to create optimum sized buffers, overlapping data transfer between central processing units (CPUs) and MICs with the computation; reusing buffers to reduce memory employed on the MICs, and reusing threads on MICs to repeatedly launch kernels on the MICs for asynchronous data transfer.

The invention provides a system and method for adjusting output currents in a power source transformation system. A system controller comprises a detection assembly, a control logic assembly and a drive assembly. The detection assembly is used for receiving input voltage related to a diode connected to an inductor, making a response when the input voltage is larger than a preset threshold value and outputting a first signal through a first logic level. The control logic assembly is used for receiving the first signal, processing information related to the first signal, making a response when the first signal is in the first logic level and outputting a modulation signal related to the modulation frequency. The drive assembly is used for receiving the modulation signal and outputting a drive signal to modulate the frequent to switch on or switch off a first switch.

The invention provides a three-level three-phase power source transformation device capable of initiatively balancing a clamp voltage of neutral points and relates to a three-level neutral point clamp type PWM (Pulse-Width Modulation) inverter device which is one of power conversion devices of a connecting system, and a control (balance) device which is used in the three-level neutral point clamp type PWM inverter device and controls the voltage (current) at the neutral points of two capacitors connected in series between a positive bus and a negative bus, wherein the device consists two part devices, the first part device is of a three-phase neutral point clamp type PWM inverter device, the second part device is of a device for restraining the voltage of the natural point from deviating, the second part device is connected with the neutral point of the first part device by virtue of a serial inductor, and the device for restraining the voltage of the natural point from deviating can be used for efficiently restraining the change of the potential at the neutral point of the three-phase neutral point clamp type PWM inverter device, therefore, the safety can be improved, and the quality of output voltage can be enhanced.

The invention relates to an automatic double-shaft position correction device. The device is characterized by comprising a PC end, a video camera, a gyroscope, a head control MCU, a motor driving circuit, a horizontal control motor, a vertical control motor, a source transformation circuit, a power supply interface and a network interface. The video camera and the gyroscope are electrically connected with the head control MCU separately, the head control MCU is electrically connected with the motor driving circuit, and the control end of the horizontal control motor and the control end of thevertical control motor are in control connection with the motor driving circuit separately. By means of the automatic double-shaft position correction device, it can be achieved that a preset positionis automatically corrected, data is collected by using the gyroscope, the current absolute attitude position and the relative deviation angle of a head are calculated, and a control signal is sent bythe head control MCU to the motor driving circuit, so that the horizontal control motor and the vertical control motor are controlled, the horizontal and vertical angles of the head are compensated,and the defects are overcome that when calling the preset position, an ordinary head is disturbed by the outside, so that the position of the head video camera is changed, and the head video camera cannot return to the original preset position.

Methods are provided for source-to-source transformations for graph processing on many-core platforms. A method includes receiving a graph application including one graph, expressed by a graph application programming interface configured for defining and manipulating graphs. The method further includes transforming, by a source-to-source compiler, the graph application into a plurality of parallel code variants. Each of the plurality of parallel code variants is specifically configured for parallel execution by a target one of a plurality of different many-core processors. The method also includes selecting and tuning, by a runtime component, a particular one of the parallel code variants for the parallel execution responsive to graph application characteristics, graph data, and an underlying code execution platform of the plurality of different many-core processors.

The invention relates to an active surface myoelectricity detection probe adopting optical fiber transmission. The active surface myoelectricity detection probe adopting optical fiber transmission comprises a power source transformation and management module. The active surface myoelectricity detection probe adopting optical fiber transmission is characterized by further comprising an active probe body, wherein the active probe body comprises a reference electrode, a measuring electrode and a system control center, the system control center selects the measuring electrode and the reference electrode as a measuring pair in a time sharing mode through a single-chip microcomputer, the potential difference of the measuring pair is fed into a differential amplification circuit through an electronic simulation switch so that amplification and filtering can be carried out, and the detection probe transmits collected data to an upper computer through optical fibers in a one-way mode. The active surface myoelectricity detection probe adopting optical fiber transmission can solve the problems in the prior art, coupling interference on electrode wires and data transmission lines can be lowered effectively, the problem of 50 Hz power frequency interference entering from a power supply power line in a coupling mode can be solved, and therefore the needs of practical situations are met.

The invention discloses a split type fiber-optic gyroscope north-seeker which is composed of an inertial sensor device and a display and control device. The inertial sensor device of the system comprises two fiber-optic gyroscopes and two quartz flexible accelerometers in orthogonal distribution in a horizontal direction, is rigidly connected to an indexing mechanism by virtue of a T-shaped bracket, and is responsible for measurement of rotational angular velocity of the earth and gravitational acceleration; and the display and control device is responsible for completion of functions such asinternal source transformations, indexing control of the indexing mechanism, calculation of the course angle and attitude angle, man-machine interaction and the like. According to the split design, the fiber-optic gyroscope north-seeker is divided into two parts, namely the inertial sensor device and the display and control device, and the inertial sensor device is compact in design and is particularly applicable to application occasions with space limitations; and due to the arrangement of the two fiber-optic gyroscopes and the two accelerometers, the indexing frequency can be decreased fromfour times to twice in a four-position north-seeking scheme, the residence time at a single position is doubled, and the sampling time of the fiber-optic gyroscopes is increased, so that the system accuracy is improved.

The invention provides a semiconductor refrigerator which comprises multiple semiconductor chilling plates and a power supply system supplying power for the semiconductor chilling plates. The semiconductor refrigerator is provided with multiple temperature areas, and each temperature area is refrigerated through one or more of the semiconductor chilling plates. The power supply system supplies power for the semiconductor chilling plates of the temperature areas respectively. According to the scheme, the semiconductor chilling plates refrigerate the temperature areas respectively, the power supply system supplies power for the semiconductor chilling plates of the temperature areas respectively, the refrigerating capacities of the semiconductor chilling plates are different due to the fact that different voltages are applied to the semiconductor chilling plates of the different temperature areas, the storage environments of different temperature areas with different temperatures are achieved, and the storage requirements of different goods are met. A source transformation device meeting the power supply requirement of the semiconductor chilling plates is selected from multiple source transformation devices with different voltage output ranges for power supply, and the energy consumption efficiency of the semiconductor refrigerator is improved.

There are provided source-to-source transformation methods for a multi-dimensional array and / or a multi-level pointer for a computer program. A method includes minimizing a number of holes for variable length elements for a given dimension of the array and / or pointer using at least two stride values included in stride buckets. The minimizing step includes modifying memory allocation sites, for the array and / or pointer, to allocate memory based on the stride values. The minimizing step further includes modifying a multi-dimensional memory access, for accessing the array and / or pointer, into a single dimensional memory access using the stride values. The minimizing step also includes inserting offload pragma for a data transfer of the array and / or pointer prior as at least one of a single-dimensional array and a single-level pointer. The data transfer is from a central processing unit to a coprocessor over peripheral component interconnect express.

The invention discloses an energy-saving greenhouse with multiple heat sources. The greenhouse comprises a supporting installation module, a multi-energy source collection module and a multi-heat source transformation module, wherein the supporting installation module comprises a baseplate and a vertical installation rod disposed on the upper end of the module; a top plate is disposed horizontally on the upper end of the vertical installation rod; the multi-energy source collection module is equipped with a top plate upper end and a baseplate lower end; the multi-energy source collection module comprises solar cell panels which are disposed on the top plate upper end at equal intervals, as well as an organic matter biogas digester disposed under the right end of the baseplate; the multi-energy source transformation module is disposed on the right end of the baseplate; the multi-heat source transformation module comprises a biogas collection tank disposed on the left end of the organic biogas digester; and bent heat dissipation plates are set to cover the right side and the upper side of the biogas collection tank. The greenhouse disclosed by the invention has the advantages of a novel structure, compact layout, energy-saving and environment-friendly effects, high safety and stability in running, high efficiency of heat production and heat supply, etc.

The invention belongs to the field of refrigerating equipment, and particularly relates to an electric van type refrigerator truck. The electric van type refrigerator truck comprises an electric van, a built-in type refrigerating compartment body, a refrigerating set, a power source transformation controller, a sine alternating current converter, and a special accumulator, wherein the built-in type refrigerating compartment body is arranged in the electric van; the refrigerating set is arranged at the top of the built-in type refrigerating compartment body; the power source transformation controller, the sine alternating current converter, and the special accumulator are also arranged in the electric van; the special accumulator is connected with the power source transformation controller and a motor of the electric van; the power source transformation controller and the sine alternating current converter supply electricity to the refrigerating set, so that the oil consumption of the refrigerating set is sufficiently saved, energy resources are saved, the transporting cost is reduced, and the environment pollution is reduced; and besides, the temperature of transported articles can be also met to the greatest extent, and the quality of the transported articles is guaranteed.

Methods are provided for source-to-source transformations for graph processing on many-core platforms. A method includes receiving a graph application including one graph, expressed by a graph application programming interface configured for defining and manipulating graphs. The method further includes transforming, by a source-to-source compiler, the graph application into a plurality of parallel code variants. Each of the plurality of parallel code variants is specifically configured for parallel execution by a target one of a plurality of different many-core processors. The method also includes selecting and tuning, by a runtime component, a particular one of the parallel code variants for the parallel execution responsive to graph application characteristics, graph data, and an underlying code execution platform of the plurality of different many-core processors.

The invention discloses a control method of a back-to-back current source converter, belongs to the field of electrical systems, and aims at a frequency converter scheme adopting back-to-back series current source converter topology and the like, and adopts a method of a central controller to carry out coordination control on current source converters on a rectification side and an inversion side. Stability of the system is improved, the utilization rate of direct-current bus current is improved, and loss of direct-current side reactance is reduced; besides, when space vector modulation is adopted, five-segment SVM modulation for cutting small vectors is completed by optimizing zero vectors, the maximum value of the common-mode voltage on each side is kept to be half of the original value, and according to the relation between the working sectors of the current source converters on the two sides, vector sorting during driving signal wave sending is switched. The method can suppress the common-mode voltage of the system, and the common-mode voltage is reduced by more than half of that of a traditional method; and meanwhile, the insulation requirement on a load side common-mode loop can be reduced, and power density is improved while the size of the direct-current side common-mode reactor is reduced.

The invention discloses a power source selling device and method and belongs to the technical field of accounting devices. The power source selling device comprises a power source protection module which is used for accessing an external power source and outputting a power source to a power source transformation, output detection and control module, the power source transformation, output detection and control module, a processing module, a user interface module and a secret key and data storage circuit; the power source transformation, output detection and control module is used for providing operation power sources for circuits of other modules and is connected with the processing module, controlled by the processing module and connected with an electricity utilization output panel module and monitors that whether the electricity utilization output panel module has load access or not; an I / O (Input / Output) interface of the processing module is respectively connected with a display circuit and a key circuit the user interface module comprises a display circuit and a key circuit; the secret key and data storage circuit is controlled by the processing module; reading and storage of the secret key and data storage circuit are achieved through the processing module; a maintenance communication circuit is connected with a communication port of the processing module and converts into a USB interface through a conversion circuit. The power source selling device is simple in circuit structure, low in cost and operation cost and safe and reliable due to the fact that the power source selling device is not connected with the internet.

The invention discloses a driving circuit used for an all-digital alternating-current servo driver. The driving circuit comprises an IGBT (insulated gate bipolar transistor) driving circuit, a direct-current power source transformation circuit, a voltage detecting and alarming circuit and an energy discharge control circuit. The direct-current power source transformation circuit comprises a transformer, a PWM (pulse width modulation) controller, rectifier diodes and integrated stabilizers, the voltage detecting and alarming circuit comprises an operation amplifier, a linear optocoupler and a voltage comparator A, the energy discharge control circuit comprises a voltage comparator C, a driving optocoupler A and triodes A. All components are welded on a printed circuit board together. Under control of the PWM controller and the transformer, external alternating current is rectified and stabilized to supply power for the other circuits through the rectifier diodes and the integrated stabilizers, the operation amplifier and the linear optocoupler detect bus voltage outputted by comparison of the voltage comparator A, and the bus voltage is compared by the voltage comparator C to control the driving optocoupler A and the triodes A, and external IGBT driving signals are formed. The driving circuit is complete in functions and high in universality.

The invention discloses a data acquisition and processing system for small current neutral grounding line selection. The data acquisition and processing system comprises a zero-sequence current signal processing module, a data interface CAN module, a single chip microcomputer signal processing module and a power source transformation processing module. Quintuple harmonic signals are amplified while zero-sequence current signal fundamental waves are processed, the signal to noise ratio of the quintuple harmonics is improved, comprehensive data analysis is facilitated, mistaken selection and wrong selection are deceased, and line selection accuracy rate is improved. The data acquisition and processing system can simultaneously detect three output lines and provide a hardware environment for 'amplitude and phase comparing algorithm', 'quintuple harmonic algorithm' and other comprehensive line selection principles of a line mainframe, meanwhile improves the line selection effectiveness, facilitates line expansion, can be effectively resistant to electromagnetic interference through RS485 bus communication and is large in communication distance and simple in networking, the complexity of the system is reduced, cost is reduced, and the maintenance amount of the system is reduced. The data acquisition and processing system achieves synchronous data acquisition and transmission and is good in real-timeliness, quick in response, capable of achieving data pre-processing and high in anti-interference capacity.

The invention provides a flexible direct-current power transmission system and an oscillation suppression method thereof. The method comprises the following steps: establishing a nonlinear model of a preset converter in the flexible direct-current power transmission system; the nonlinear model comprises a phase-locked loop model and a direct-current voltage outer loop model; then, based on the nonlinear model, feedback output power of the preset converter is obtained, the preset converter is controlled to output according to the feedback output power, oscillation suppression of the flexible direct-current transmission system is achieved, and the problem that in an existing related scheme, modeling of a voltage source converter of the flexible direct-current transmission system is insufficient under the weak power grid condition is solved; the oscillation and instability mechanism of the voltage source converter is not clear, and the oscillation and instability of the voltage source converter of the flexible direct current power transmission system cannot be suppressed.

The invention discloses an energy-saving and electricity-saving dedicated rectifying power supply device which comprises a frequency converter wiring terminal and a rectifying module connected with the frequency converter wiring terminal. The frequency converter wiring terminal is connected with a capacitor in parallel, the frequency converter wiring terminal is connected with a motor, the rectifying module at least comprises a second rectifying unit, and the second rectifying unit is composed of a thyristor, a wire and a diode VD6. The dedicated rectifying power supply device meets the needs of different frequency converters for a power supply, meanwhile, the frequency converter rectifying power supply device serves as one of source transformation devices and is located between a power supply source and a load, higher-quality electric energy output can be provided, and especially power transformation of high-power electric energy can be achieved. Current and voltage output of the device are reduced in a rectifying mode, then power compensation is carried out through the capacitor, and therefore the function of saving energy and electricity is achieved more effectively.

The invention discloses a zero-dynamic DC output voltage control method and system of a current source converter. According to the invention, a power grid voltage feedforward control item and a DC side output current feedforward control item are effectively calculated through the instantaneous power theory, the small signal model analysis, the superposition theorem and other methods; the zero-dynamic DC output voltage control method of the current source converter is provided on such basis, and by adopting the DC output voltage and power grid voltage feedforward control technology, the methodcan realize stable DC output voltage, and can realize zero-dynamic adjustment of the output voltage under the condition that the power grid voltage fluctuates; furthermore, no matter under the condition of balanced drop or unbalanced drop of the power grid voltage, zero dynamic adjustment of the DC output voltage can be realized by adopting the method, the power supply quality of the current source converter is effectively improved, and the method is simple in implementation process and has a great practical engineering application value.

The invention relates to the technical field of aerospace secondary power supplies, and discloses an aerospace distributed power supply system cascade stability control method and an implementation device. In an astronavigation distributed power supply system, a mathematical model of an intermediate converter, an expected value Vo * of the output voltage and an expected value IL * of the output current are obtained by obtaining an output voltage Vm of a source converter, an input voltage Vb and an input current Ib of a load converter, and an output voltage uo and an inductive current IL of the intermediate converter, and according to a controller established based on a PCHD equation, the output voltage Vo * of the intermediate converter and the expected value IL * of the output current are calculated. And controlling the intermediate converter. Due to the fact that the controlled quantity of the controlled intermediate converter is jointly determined by the state quantities of all the converters in the distributed system, the response speed and accuracy of the aerospace distributed power supply system to disturbance of all links are greatly improved, and the cascading stability of the aerospace distributed power supply system is improved.

The invention relates to a passive communication protocol translator. The passive communication protocol translator comprises an intelligent processor module supporting an open-sourcing gcc compiler and an arduino integrated development environment, a memorizer, a serial port self-powered source transformation module, an RS-232 module, an RS-485 module and an anti-thunder module, wherein the intelligent processor module is arranged on a circuit board, the memorizer is connected with the intelligent processor module, and the anti-thunder module is connected with the RS-232 module and the RS-485 module. An RS-232 interface of the RS-232 module and an RS-485 interface of the RS-485 module respectively serve as an output interface or an input interface of the translator, the serial port negative voltage is converted into the stable 3.3-volt positive voltage to be output through the serial port self-powered source transformation module, then the 3.3-volt positive voltage is output to the intelligent processor module, and the anti-thunder module and the RS-485 module are connected to absorb an instantaneous high voltage. The passive communication protocol translator has the advantages of being small in size, free of power supply, wide in application range and the like, and the field installation and construction are easy.