逻辑上的

Using the extended Hoare calculus we can derive true Hoare formulas which contain while statements free of loop invariants.

使用这个抽象机器，可以在其上进行许多带位操作指令的程序，特别是系统级代码的Hoare逻辑风格推理。

He criticizes the scientific idea of logical e mpiricism and critical rationalism to expound the relation of observation and theory and raises the"incomparability"to explain choice and evaluation of theory and progress of science.He extends the meaning of anarchist to discuss the relation of science and other's knowledge and social phenomena .

他在批判逻辑经验主义和批判理性主义科学观基础上，阐述了观察与理论的关系，提出了"不可通约性"来说明理论选择、评价及科学进步问题；他扩展了无政府主义含义来论述科学与其他知识、社会现象的关系。

It is founded upon the open standards of W3C and IETF(Internet Engineering Task Force) and it now has been accepted by public.

独立的应用程序部件以一种标准的方式发布到Web站点上，其它Web应用程序可以方便地找到并使用它们，从而协同完成某个商业逻辑。

The expression of OR-Coincidence logic requires fewer number of sum terms in many applications and can save chip area.

此外或-符合逻辑具有较好的可测性，在可测性设计上具有较大的潜在价值。

In addition to the interface of IDMA, an interrupt logical circuit is designed to increase the flexibility of the communication.

在内部数据直接存储传输接口的基础上，设计了中断逻辑电路，增强了DSP与微型计算机数据通信的灵活性。

The logical framework approach,the comparison approach and the success degree approach are demonstrated with examples.

在此基础上，结合后评价实践，对包括逻辑框架法、对比法、成功度法等的通信工程项目后评价常规方法进行了分析和比较；为解决后评价指标权重分配、定性指标定量化、多指标评价结论综合汇总等问题，提出了基于语义判断和模糊判断的综合后评价方法。

The opposability between abstract rationalism and irrationalism, logicism and historicism, is the basically theoretical characteristics which western philosophy of science has on scientific explanation.

抽象理性主义与非理性主义、逻辑主义与历史主义的对立是西方科学哲学在科学解释问题上表现出的基本理论特征。

Mizar system is initiated as a Computer System Language of logical proof,validation,and typeset in the 1980s.

Mizar语言系统是上世纪八十年代开创的集逻辑证明、校验、排版功能于一体的计算机语言系统。

For the first time, we propose the novel Wrapped-Select Gate SONOS memory with split-control gate in NAND architecture. The memory process is not only simple but also compatible with embedded non-volatile memory in conventional standard logic CMOS products. In this thesis, we demonstrate the physical mechanism and elimination of 2nd bit effect in 2 bit/cell operation.

我们提出一种新颖的分离式闸极结构於含有隐藏式选择性闸极之半导体─氧化层─氮化矽─氧化层─半导体记忆体元件於NAND电路阵列结构上，此记忆体元件不仅制程简单也能符合一般数位逻辑CMOS产品中的嵌入式非挥发性记忆体应用。

To be successful in the subject you need to be able to think logically, and be creative, numerate, and analytical.

为了能在化学上取得成功，你需要具备能有逻辑地思考问题的能力，同时还要有创造能力、计算和分析的能力。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。