查询词典 logic

This paper is based on N-type MOS-HBT-NDR circuit to design a new type of logic gate circuits, The use of a monostable-bistable transition logic element logic gates to realize the principle of operation,,and NMOS devices to control the input stage circuit NDR circuit switching action, And the overall modulation circuits I-V characteristic curve.

中文摘要此篇论文是以N型MOS-HBT-NDR电路来设计新型逻辑闸电路，利用单稳态-双稳态传输逻辑闸(monostable-bistable transition logic element，MOBILE)电路的操作原理来实现，并以 NMOS元件来控制输入级电路中NDR电路的开关动作，进而调变整体电路的I-V特性曲线。

Mr. Do joined Altera in June 2003. Previously, he was Application Design Manager for LSI Logic's Consumer Product Group, where he focused on the development design of application-specific standard products evaluation system and software for the set-top box industry.

杜先生于2003年6月加入Altera，在此之前，他是LSI Logic消费类产品组的应用设计经理，致力于专用标准产品评估系统和机顶盒软件的开发设计。

Presently in UMLChina 's web seminar of Gorilla Logic--"To Verify Requirements via Executable Domain Models ", Brendan McCarthy , the Chief Scientist of Gorilla Logic , introduced this product and answered many questions about it.

这不是我说的，这是 Gorilla Logic 公司提出来的，他们根据这个理念，开发了GXE，这个工具可以执行基于UML的Domain模型，拥有GXE环境下的用户界面，然后，用户可以通过该界面来检验需求。

In the fist part, considering the game theoretical aspect of generalized Cohen's forcing C in dependence of ideal / on ω, Generalized a result of Sharp in Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic,1994), we argue that if J is a regular p*-ideal then C do not satisfy Axiom A.

第一部分通过讨论ω上的理想J的广义Cohen's力迫C的博弈论性质，我们推广了Sharp在论文Combinatorics on Ideals and Axiom A(The Journal of Symbolic Logic，1994)中的一个主要结果——如果U是一个超滤，则其对偶理想J=U~*所作成的广义Cohen's力迫C不满足力迫公理A，我们进一步证明了如果J是一个正则的p~*-ideal则C不满足力迫公理A。

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

A new energy recovery logic style (ERTL: energy recovery threshold logic) based on threshold logic is presented.

2通过把阈值逻辑应用在能量回收电路中，提出了一种新的电路形式－能量回收阈值逻辑电路（ ERTL ： energy recovery threshold logic ）。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

To get a full-fledged improvement with product invention and sales achievement, CARETTA has merged with one of the most famous semiconductor company, CIRRUS LOGIC INC on Dec.29,2006 to become her SPM Dept. in Shanghai.

为了在新产品开发和销售业绩增长方面取得更加长远的发展，2006年12月29日，科圆已于与著名的美国思睿逻辑公司成功合并，成为了CIRRUS LOGIC的上海电源管理部。

Pro Logic — manually selecting Pro Logic may be needed when listening to a conventional digital signal, as from a laserdisc player, which does not have an identifying "flag" to indicate whether it is simply stereo, or Dolby Surround encoded.

定向逻辑——在欣赏普通数字信号，如 CD 影碟机时，由于其本身没有鲜明的&旗帜&来表明它到底是立体声音频规格的还是 Dolby Surround 编码的，所以可能需要手动选择 Pro Logic 。

When we operate all accessing databases in encapsulation at Data Access Layer by ActiveX DLL packages (DAL layer, Namely data access layer),and operate all business logic or transaction processings in encapsulations at Business Logic Layer ( BLL layer, namely business logic layer), ASP dynamic webpages are offered to the interface of user for Presentation Layer ( PL layer, Namely present layer).

使用ActiveX DLL组件将对数据库的存取操作全部封装在Data Access Layer层（简称DAL层，即数据存取层），将商业逻辑或事务处理全部封装在Business Logic Layer层（简称BLL层，即商业逻辑层），提供给使用者的界面就是Presentation Layer层的ASP动态网页。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。