Logic Technology | Date: 2017-01-13
A method enables arithmetic circuit verification with improved runtime complexity by coupling reverse engineering and a SAT solver together. The method provides a netlist f of a first arithmetic circuit and a netlist g of a second arithmetic circuit; and improves the runtime complexity by conducting equivalence checking between the netlist f and the netlist g such that structural difference between the netlist f and the netlist g is minimized by reverse engineering before generating a conjunctive normal form (CNF) encoding that is solved by a satisfiability (SAT) solver such that the arithmetic circuit verification is completed in polynomial time rather than in exponential time.
Logic Technology | Date: 2012-11-27
A tip element for a light-emitting touch pen includes: a solid transparent rod having a first rod portion disposed in a pen barrel, and an exposed second rod portion with a tip; and a light collecting unit including a first light-collecting structure formed coaxially in the first rod portion, and a second light-collecting structure formed, coaxially in the second rod portion and projecting toward the first rod portion. A part of light, which is emitted by a lighting unit in the pen barrel and propagates into the first rod portion, is reflected/refracted by the first light-collecting structure toward the second light-collecting structure to thereby radiate out of the second rod portion through reflection/refraction thereby.
Logic Technology | Date: 2013-03-12
An optical touch device includes: two light beam scanning modules each scanning a touch region of a panel body with a scanning light beam, whose incident angle varies with time, and outputting a time index signal associated with the incident angle; two light sensor modules each sensing a corresponding reflected scanning light beam generated due to presence of a touch within the touch region so as to output a sensing signal; and a processing unit for locating the touch based on the time index signal from each light beam scanning module, the sensing signal from each light sensor module, and a look-up table having pieces of angle information corresponding to a series of time indexes and associated with the incident angle of each scanning light beam.
Logic Technology | Date: 2012-09-14
The present invention provides methods for identifying viral virulence factors and for identifying cellular polypeptides to which the viral polypeptides bind. The cellular polypeptide is useful as a therapeutic target or as a therapeutic agent for treating diseases and disorders, including immunological diseases or disorders.
Logic Technology | Date: 2013-03-04
A non-contact battery charging device is for charging a touch pen using a combined transformer. The combined transformer includes a primary winding wound around a tubular insulating spool secured in a receptacle of a pen stand and allowing insertion of the touch pen, and a second primary wound around a magnetic core coaxially secured in the touch pen. A section of the magnetic core is coaxially located in the spool when the touch pen is inserted into the receptacle and extends through the spool. A charger having the magnetic core and the secondary winding is operable to supply a charging voltage to a rechargeable battery in the touch pen based on an input voltage across the primary winding.
Logic Technology | Date: 2012-03-29
In an optical touch device and locating method thereof, light sensor modules are mounted on a panel body. Each light sensor module includes an array of light sensors each assigned with an individual index corresponding to angle information thereof. A look-up table includes the angle information corresponding to the indexes assigned respectively to the light sensors of the light sensor modules. A processing unit receives from each light sensor module a number of sensing signals generated by a series of the light sensors in response to touching of an object in a touch area of the panel body, and determines a position of a touch point of the object in the touch area based on the sensing signals from the light sensor modules, and the look-up table.
Logic Technology | Date: 2016-02-10
An apparatus including a first cartridge, a sensor, and a controller. The first cartridge can include a first release de- vice configured to release a first substance into a housing. The controller can be configured to receive data from the sensor. The controller can determine an amount of first substance released by the first cartridge based on the data. The first release device can be controlled based on the determined amount of first substance.
Logic Technology | Date: 2012-03-28
An electromagnetic inductive input apparatus includes a signal transmitting device including a signal transmitter, and a signal receiving device. The signal receiving device includes a transparent substrate, first and second sets of transparent conductors disposed on the transparent substrate, and formed as spacedly arranged straight non-loop lines, and a control device electrically coupled to the transparent conductors and operable to detect a detected signal from the transparent conductors, and to determine a position of the signal transmitting device relative to the transparent substrate.
Logic Technology | Date: 2012-08-16
A remote controlled interactive power switch includes a first coil for controlling a switch contact to be closed by suction, a self-locked device for locking the switch contact to keep conducting state by mechanical self-locking, a second coil for controlling the self-locked device to be disengaged and a power supply control circuit. The power supply control circuit is connected with an interactive control module which includes a remote controlled interactive connecting unit, an interactive monitoring unit, a switch-on signal producing unit and a turn-off signal producing unit. The present invention can simplify the complex control circuit and thoroughly resolve the technical requirements of the power switch with high make-break capacity. Additionally, the present invention produces consumption only when starting the on-off switch, and after starting and under normal operation, the pulse magnetic energy coil keeps an inactivity state, no consumption, no heat and no noise.
Logic Technology | Date: 2014-08-29
A tablet computer includes a video transmission port for input and output of a video signal, a data transmission port for input and output of a data signal, and a switching unit. The switching unit is operable by a user to cause the tablet computer to operate as a combination of a peripheral user input unit and a peripheral display device for an external electronic device. That is, a video signal generated by the external electronic device may be transmitted to the tablet computer through the video transmission port, and a data signal inputted using the tablet computer may be transmitted to the external electronic device through the data transmission port.