扩充

Present a kind of paraconsistent modal logics PML by generalizing classical modal logics'truth value set from {0, 1} to [0, 1] , propose new logical consequence relationships by generalizing fuzzy implications in PML, introduce sound and complete Gentzen style inference systems in PML. 9. Global properties of valid formulas are the necessary conditions that must be satisfied by valid formulas.

8将经典模态逻辑公式的值域从{0，1}扩充到[0，1]，结合模糊逻辑推理关系的研究结果，建立了能处理不一致知识的模态逻辑，并给出其可靠而且完备的Gentzen型推理系统。

Each function module of the source program can be easily understood and convenient to be revised or extended.

图像内容监控综合实验系统是用来实现图像处理相关课程内容中各个主要算法的原理介绍及实验演示功能，能使图像处理课程初学者快速掌握相关的图像学知识，达到辅助教学的目的，且各个功能模块清晰易懂，能方便对源程序进行功能修改与扩充。

It can be proven that for a minimal system the above statement remains true modulo an almost one-to-one extension.

对于极小动力系统，我们证明了上述论断在忽略掉一个几乎一对一扩充的意义下成立。

My company's network expansion of the casing is tough environmental protection PET woven from monofilament, product passed the GS certification environmental protection.

我公司生产的网状扩充套管是用坚韧的环保PET单丝编织而成，产品通过了GS环保认证。

The 3-D multigroup P3 neutron transport Monte-Carlo code MCMG was developed by adding functions and renewed edition. It can equip various microscopic or macroscopic cross-sections. The cross-section input was simplified. The edition was developed from Ⅰ to Ⅱ. The multigroup cross-section was produced by ENDF/B-Ⅶ library.

三维多群P3中子输运蒙特卡罗程序MCMG通过版本更新和功能扩充，能够配备各种多群微观、宏观截面库，截面输入文件进一步简化，版本从Ⅰ发展到Ⅱ，参数更新到ENDF/B-Ⅶ库。

It also has been recognized that multiprocessor system architecture is most scalable to support very large databases.

而多处理器的平行系统，也是被公认最具扩充性，能支援大型资料库的使用需求。

Analysts have said that Sinosteel initially sought permission to lift a 2.4 per cent stake in Murchison to more than 15 per cent in order to increase its options in the complex battle for Midwest.

分析师们表示，中钢集团最初希望能获准将其在Murchison持有的2.4%的股权提高至15%以上，以便在对中西部公司的复杂争夺中扩充选择。

At home we busied ourselves with the expansion of the army and the air force and with all the necessary measures to strengthen our naval power.

在国内方面，我们忙于扩充陆军和空军，并且采取一切措施，加强我们的海军实力。

Nessus's architecture allows network administrators to craft their own vulnerability checks for exploits that do not yet have associated plug-ins.

Nessus中采用的插件技术提高了整个系统的可扩充性，网络管理员可以根据自身需要编写自定义插件。

To achieve the expansion of binding table to realize binding table unlimited storage as well as real-time observation network and node information, designed the coordinator node and PC hardware communications interface and coordinator node upper computer software platform.

为扩充绑定表实现绑定表无限量存储以及实时观察网络和节点信息，设计了协调器节点与PC机硬件通信接口和协调器节点上位机软件平台。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐