electronic evidence is not a kind of new evidence, but the developing form of traditional evidence from the aspect of proving system.

1、

a mechanical proving system for constructible theorems in elementary geometry

构造型几何定理及其机器证明系统

互联网摘选

2、

in this paper, a new constructive proving system, specification deduction, is presented.

本文中提出一个用于程序综合的构造证明系统，规范演绎。

互联网摘选

3、

research and development of the proving system for mass flowmeters

质量流量计检定装置的研究与试制

互联网摘选

4、

research and development of machine proving system on geometry theorem

几何定理机器证明系统的开发与研究

互联网摘选

5、

in this paper, we mainly research in asp, component technology, xml, dhtml and windows dna technology.

文中重点研究了ASP技术, 组件技术, XML技术, DHTML技术和WINDOWSDNA技术.

互联网摘选

6、

thus software component technology for embedded systems has become the major goal of research.

这使得嵌入式技术再度成为研究的热点,而基于嵌入式的软件构件技术是其主要研究方向.

互联网摘选

7、

the design of mobile gis applied software is provided in this paper based on component technology.

提供了一种基于组件技术的移动GIS应用软件设计的体系结构.

互联网摘选

8、

this subject developed a data acquisition and analysis system software, which is based on component technology.

课题开发了一种基于组件技术的数据录取与分析系统软件.

互联网摘选

9、

therefore , software component technology is regarded as a key factor of successful software reuse.

当前软件构件技术被视为实现成功复用的关键因素之一.

互联网摘选

10、

the concept and method of component technology is similar to the group technology.

组件技术的概念和方法与成组技术是相通的.

互联网摘选

11、

the system uses the j 2 ee component technology to solve the questions of reuse and maintainability software.

采用J2EE组件技术,解决了系统的重用性和可维护性问题.

互联网摘选

12、

there were many technology standard about component technology.

构件技术有多种技术规范可以使用.

互联网摘选

13、

component video – also known as ypbpr, this is the analog version of ycbcr digital video.

分量视频,也称为YPbPr, 这是YCbCr数字视频的的模拟版本.

互联网摘选

14、

the component parts of the with unique structures can be replaced and adjusted.

密封盒内部组件结构独特,抽油机作业过程中可灵活更换和调整.

互联网摘选

15、

the paper describes the component parts and the mechanism of portable striking apparatus without outside power.

介绍无外接电源轻便引弧器的组成部分及工作原理.

互联网摘选

16、

once all the component parts are ready, the system is tested.

所有的部分都准备好的, 就调试系统.

互联网摘选

17、

his new design includes over 100 new component parts.

他的新设计由一百多个部件构成.

互联网摘选

18、

usually models have many component parts, each to be made separately.

模型通常包含有很多分别制成的部件.

词典精选例句

19、

margaret now found herself in a real pickle, with no easy way out.

玛格丽特现在发现自己真的陷入了困境，毫无轻松脱身的办法。

词典精选例句

20、

businesses find themselves in a pickle when dealing with fluctuating market trends.

企业在应对波动的市场趋势时会陷入困境。

词典精选例句