查询词典 non-acid

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

In case a non-property owner adds appurtenance to the property of any other person that he uses, and if the property owner agrees to such adding and has stipulations on how to deal with the appurtenance, the stipulations shall be followed; if there is no stipulations and they cannot make an agreement through negotiation, the property owner may order to dismantle it if it can be dismantled; if it cannot be dismantled, it may be returned to the property owner after being converted into money; if it results in any loss of the property owner, the non-property owner shall undertake compensation liabilities.

非产权人在使用他人的财产上增添附属物，财产所有人同意增添，并就财产返还时附属物如何处理有约定的，按约定办理；没有约定又协商不成，能够拆除的，可以责令拆除；不能拆除的，也可以折价归财产所有人；造成财产所有人损失的，应当负赔偿责任。

If a contract is declared invalid for infringing upon other's rights to use and assign non-patent technology, the party obtaining the non- patent technology may continue to use it but should pay a reasonable amount of usage fees to the assigner.

侵害他人非专利技术使用权和转让权的合同被宣布无效后，取得非专利技术的受让方可以继续使用该项技术，但应向权利人支付合理的使用费。

To design, automatic bag-making machine, machine printing, laminating, sewing one-stop production system, using the latest non-polluting non-woven materials for clients designed to attach a logo or text printed beautifully, product durability, and environmental protection practical, deeply domestic, Europe and the United States, Middle East and Japan and South Korea and other customers alike.

以设计、全自动制袋机、机械印刷、复膜、车缝一条龙生产体系，采用最新无污染无纺布材料制作、为客户精心设计、附上精美图案或文字印刷，产品美观时尚而且环保实用，而深受国内、欧美、中东和日韩等客商的一致好评。

Beside this, more opportunistic behavior would occur in administrative monopoly departments because of the attainability of low-cost financing, the insiders would gain much profit in the form of non-wage income, or the departments\' managers would enjoy high level on-the-job consumption, these all enlarged the between and insider non-wage income gap.

由于行政垄断部门能够获得廉价资金，因而更容易造成机会主义行为，以各种非工资性收入的形式将资金直接分配给内部员工，或者提高行政垄断部门管理者在职消费水平，结果扩大了部门间和部门内部非工资性收入的差距。

Another approach in enhancing the light extraction efficiency of AlGaInP LED was accomplished using a surface roughening process. In this process, the Au(170 nm)/AuBe(260 nm)/Au(170 nm) ohmic contact layers were first deposited on the GaP window layer. After the alloy annealing process (480°C for 10 min), the Be atoms will diffuse into the GaP top layer and form non-uniform clusters. The LED samples were then immersed into a mixture 3H3PO4:1H2O2:1H2O solution for 6 min, resulting in a rough GaP surface. The luminous intensity of the AlGaInP LED can increase from 42 to 50 mcd, that is, an 18% enhancement can be achieved via the present non-photolithography surface roughening process.Keywords: LED, AlGaInP, Cu substrate, Reflector, Surface roughening

在实验的第二部份是开发磷化镓窗口层之粗化制程，我们是藉由正面金/铍欧姆接触电极之熔合制程，使铍扩散至磷化镓层，同时利用铍渗入磷化镓造成之特殊组成，可形成不均匀之蚀刻阻挡，而在磷化镓表面形成粗化，我们发现480℃、10分钟的熔合制程，加上浸泡磷化镓蚀刻溶液6分钟，可将四元发光二极体之发光亮度由42 mcd 提升到50 mcd，经由此无光罩粗化制程可将亮度提升18%，明显提升磷化铝铟镓发光二极体之外部量子效率。

Guangan brand can adjust load and economize power,it is a key environment protection product,which can be a substitute product for coal and oil fuel boiler non-pollution,non-noise,small volume,automatic control,safe and reliable in operation,and the hear efficiency reaches 98%,a green boiler product save us both money and labour.

生产"广安牌"电锅炉是国家科技部、国家环保总局、国家电力公司向全国推广应用的调荷节能、环保重点产品。可代替燃煤、燃油锅炉。具有无污染、无噪音、体积小、全自动控制、运行安全可靠，热效率高达98%等优点，是省钱省力的绿色锅炉产品。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

It was evidenced that the rolling-pass of the Mannesmann rolls is non-linear and the non-linear barrel-shaped rolls are unfavourable for further increasing the production capacity with high effeciency and improving the tube quality.

为了发展我国钢管制造技术，我们从1975年起研究折线轧辊下的变形区，给出它的曲面方程式和子午线方程式，证明了变形区是非线性的。

It describes the basic steps to make special project films with the non-linear editing system and issues to be noted as well as the trend in development of non-linear editing technique.

介绍了运用非线性编辑系统制作水电站工程专题片的基本步骤和需要注意的问题，以及非线性编辑技术的发展趋势。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。