Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

63 results about "Differential logic" patented technology

CPS (cyber physical system) modeling and verifying method based on conversion from CPS-ADL (architecture description language) model into hybrid program

InactiveCN103699743AImplement the rules for conversionSpecial data processing applicationsArchitecture description languageValidation methods
The invention discloses a CPS (cyber physical system) modeling and verifying method based on conversion from a CPS-ADL (architecture description language) model into a hybrid program. The method is mainly used for modeling a CPS and verifying attributes. The method is characterized in that a CPS is modeled on a CPS-ADL platform by the aid of an E-HYSDEL (expanded-hybrid system description language); a formalized definition HPM (hybrid program model) of an HP (hybrid program) model is given, and conversion rules among the CPS-ADL model elements and HP model elements are established when model conversion consistency is met; model description codes of a specific CPS are automatically converted into the hybrid program based on the conversion rules; input files of a KeYmaera are generated by the aid of the hybrid program and a dynamic differential logic description system attribute formula according to an input format of the KeYmaera of a theorem prover; the input files are opened in the KeYmaera to perform reasoning and verifying. The method and the mechanism based on conversion from the CPS-ADL model into the HP are elaborated, and the rules of conversion from the CPS-ADL model elements into the HP model elements are realized.
Owner:NORTHWESTERN POLYTECHNICAL UNIV

Method and device for realizing software reusability

The invention discloses a method and a device for realizing software reusability. The method comprises the following steps of: setting a public logic code in a framework according to software application and establishing a public logic code layer; establishing a differential logic code layer according to a difference of software realization; and constructing a display interface according to the public logic code layer and the differential logic code layer. In the invention, the public logic code layer and the differential logic code layer are constructed respectively by setting the public logic code and the differential logic code in the framework according to software application, and the display interface is constructed according to the public logic code layer and the differential logic code layer, so that the aim of reusing a similar software product having the public logic code is fulfilled, the working efficiency is improved and the development cost is reduced.
Owner:TENCENT TECH (SHENZHEN) CO LTD

High speed low skew CMOS to ECL converter

A logic level converter for translating CMOS logic signals to into differential logic signal pairs such as those associated with ECL levels. The converter includes a first converter branch coupled to the switchable CMOS level input and it provides a first switchable translated output. A second converter branch is not coupled to the input nor is it coupled to the first converter branch. The second converter branch provides a fixed reference signal output around which the output of the first converter branch switches. Changes in the input signal to the first converter branch cause its output potential to be more than or less than the potential of the fixed reference signal supplied by the second converter branch. The components of the respective branches may be tailored to position the fixed signal at a selectable level and to define the differential between the two output signals. The current associated with the converter is mirrored through both branches to minimize the effects of fabrication, temperature, and / or power supply vagaries.
Owner:SEMICON COMPONENTS IND LLC

Differential high speed cmos to ecl logic converter

InactiveCN1467913ASmall propagation delaySmall Pulse Width DistortionElectric pulse generatorLogic circuit interface arrangementsEngineeringLevel converter
A logic level converter for translating differential CMOS logic signals to into differential logic signal pairs such as those associated with ECL levels. The converter includes two components. A first component consists of two branches coupled to the switchable CMOS level input and it provides a first switchable translated output. The second component is an ECL current switch. The current associated with the converter is mirrored through the branches to minimize the effects of fabrication, temperature, and / or power supply vagaries, as well as a very fast and tolerance independent signal level translation.
Owner:ALCATEL LUCENT SAS

Method for preventing healthy phase bus-bar differential protection mal-operation during circuit reclosing period

ActiveCN103326331ASolve the problem of misoperation of non-fault phase bus differential protectionAvoid shockEmergency protective circuit arrangementsEngineeringDifferential protection
The invention relates to a method for preventing healthy phase bus-bar differential protection mal-operation during a circuit reclosing period. The method comprises one of the following measures: (1), optimizing secondary system indexes for changing TA for the bus into 5P20, and enabling a value TA which is 8 times of the rated current to be far from 10% of error curve edge; (2), arranging a high-low constant value action area for differential protection; (3), adding harmonic restraining criteria to take up anti-saturation measures in logic and adding the harmonic restraining criteria, wherein the harmonic restraining coefficient is less than 0.1; and (4), and replacing power frequency differential logic by power frequency variable differential logic when the added power frequency variable comprehensive criterion bus generates external faults.
Owner:STATE GRID CORP OF CHINA +1

High-speed differential logic multiplexer

ActiveUS20060061390A1Reduce RC time constantElectronic switchingDigital storageRC time constantMultiplexer
A circuit for a high speed digital multiplexer has an active load circuit connected to an output of the digital multiplexer. The active load circuit loads the multiplexer output with a transimpedance stage with low input resistance to reduce the RC time constant at the multiplexer output. The active load circuit may be based on two active devices connected to the multiplexer output so as to form a differential cascode circuit.
Owner:ANALOG DEVICES INC

Differential logic circuit, frequency divider, and frequency synthesizer

A differential logic circuit includes: a differential logic unit which receives a plurality of logic signals, performs a logic operation, and outputs a result of the logic operation from a pair of differential signal output terminals thereof; and a current source circuit which supplies current to the differential logic unit and which controls a magnitude of the current. The differential logic circuit further includes: a load circuit connected to the differential signal output terminals; and a load control circuit which is connected to the load circuit and controls a load of the load circuit such that a direct-current output voltage of the pair of differential signal output terminals is constant.
Owner:RENESAS ELECTRONICS CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products