无须

As a user, he or she can only choice rules for reasoning, can't add rules for reasoning If some new rules want be used for reasoning, the software developer must recode the software But it' impossible for users The thought is very fascinating that users can add some new rules for reasoning but the software doesn't need be recoded, not only for users, but also for the software developer This technology can make computers reasoning more powerfully, or reasoning more quickly by some new rules be used, and it can be adjusted for different teaching books, and it can become perfect itself.

让用户能够向软件添加自己所需要的推理规则而无须修改程序，对用户和开发者都是非常有吸引力的想法。这使得计算机能利用新规则或定理证明更多的题目或能更快的证明题目，并且能更好地适应不同特色的教学用书，从而使软件在自动解题方面能不断完善。从理论上说，由用户添加推理规则并非难题。但要想用起来方便，推理快捷，却不容易。

With it, you can use Socks4 proxies to let your eggdrop connect, without a patch or recompilation, as if they were normal IRC servers.

通过它，你可以使用Socks4代理来使你的eggdrop连接上，而无须补丁程序或是重新编译，好像它们是一般的IRC服务程序一样。

JavaServer Pages technology allows designers web开发 and very easy to establish and maintain dynamic web pages, especially the current commercial system, according to the JSP page automatic translation needs, web designers without recompilation of applications logic can be changed by code.

JavaServer Pages技术可以让web开发人员和设计人员非常容易的创建和维护动态网页，特别是目前的商业系统，由于JSP网页能够根据需要自动进行编译，web设计人员无须重新编译应用程序逻辑就可以改变表述代码。

Built-in steam generator distillation box, no need to reprovision the boiler, the operation simple, safe and reliable.

蒸馏箱内置蒸汽发生器，无须另配锅炉，操作简单、安全、可靠。

Ascorbic acid, ammoniun rhodanate and methyl isobutyl ketone are used to extract Mo form soil sample solution for the purpose of removing matrix interferences.

研完了水相酸度，各试剂用量，不同有机溶剂以及共存干扰离子对萃取和测定的影响，无须去掉水相直接测定有机相中的钼。

Magnetic coupling is a new kind of coupling,which connects motor and machine by permanent magnetic force.They work in the sealless magnetic drive pumps,which transporting volatile,flammable,explosive and toxic solutions with no leakage.

它无须直接的机械联接，而是利用稀土永磁体之间的相互作用，利用磁场可穿透一定的空间距离和物质材料的特性，进行机械能量的传送。

In addition, shrinkable tubing production shrinking set of labels, and need not be in production will be infibulating.

此外，热收缩薄膜管也是生产收缩膜套标签的材料，且在生产中无须缝合便可一次成型。

The bioassays showed that the inhabitation rate of the mixture of two isomers, Z isomer and E isomer were reached 95 %, 100% and 97% against Sphaerotheca fuliginea at 50 mg/L.

结果表明，当处理剂量为50mg／L时，氯苯肟唑、Z-氯苯肟唑和E-氯苯肟唑的防效分别为95％、100％和97％，三者活性基本相当，故在实际中无须将两个异构体分离，混合体可直接应用。

The bioassays showed that the inhabitation rate of the mixture of two isomers, Z isomer and E isomer were reached 95%, 100% and 97% against Sphaerotheca fuliginea at 50 mg/L. The inhabitation rate of them was similar, so the mixture of the two isomers can be used without separation.

结果表明，当处理剂量为50 mg/L时，氯苯肟唑、Z-氯苯肟唑和E-氯苯肟唑的防效分别为95%、100%和97%，三者活性基本相当，故在实际中无须将两个异构体分离，混合体可直接应用。

You'rebeautiful,it'strue.

你如此美丽，无须点缀

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.

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