附件中样本项目的Basic . jsp页面论证了自动操作和手动操作模式中的ProgressBar组件。
The Basic.jsp page in the attached sample project demonstrates the ProgressBar component in both automatic and manual modes.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
本文主要介绍压力比例混合器的原理、理论计算，着重论证了压力比例混合器混合比的无级自动调节。
Briefing the principle and theoretical calculation in respect to the pressure proportioner, priority is given to the explanation of its stepless automatic adjustment.
本文论证了电渗析脱盐机理，探讨了影响电渗析脱盐的诸多因素，自行开发出全自动纯水器。
Desalination mechanism of electrodialysis is explained in this paper. Influential factors for desalination used by electrodialysis are discussed. Automatic water puri-fier is developed.
同时，文章论证了有机玻璃材质自动切断的可行性，并详细说明了该模具设计中应该注意的问题。
At the same time this article reasoned the feasibility for PMMA stuff can be severed automatically and particularized some problem in design of this kind of pressing mould should be noticed.
在与企业内部的强制调节、市场组织的自动调节进行比较后，作者论证了网络组织是一种比市场更有效、比企业更灵活的组织生产活动的方式。
After comparing business networks with enterprise and market, the author proves that business networks is more effective than market, and it is more flexible than enterprise.
依据这个背景，一个自动的论证评估了添加到知识库中的新信息的一致性。
Against this background, an automated reasoner assesses the consistency of new information added to the knowledge base.
本文就光纤数字传输在舰船机舱自动化系统中的应用进行了探讨，并分析论证了光纤数字传输的多路复用方式。
The application of optical fibre data transfer in ship's engine room automation system is introduced in this paper. The multiple pattern of optical fibre data transfer is analysed and discussed.
介绍了汽车用传感轮及配套的传感器的结构和工作原理，提出了一种面向角度和波形的自动测试方法，并据此设计了自动测试装置，最后以一个实例论证了传感轮测试装置的实用性。
It describes the principle of the sensor wheel and its structure, presents the automatic measure method oriented to the Angle, designs this equipment. The example shows that the device is practical.
介绍了汽车用传感轮及配套的传感器的结构和工作原理，提出了一种面向角度和波形的自动测试方法，并据此设计了自动测试装置，最后以一个实例论证了传感轮测试装置的实用性。
It describes the principle of the sensor wheel and its structure, presents the automatic measure method oriented to the Angle, designs this equipment. The example shows that the device is practical.
应用推荐