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

  • 本文中提出一个用于程序综合的构造证明系统,规范演绎。
  • 来源:互联网摘选更新时间:2026-07-13 02:22:10

  • 重点词汇
  • specificationn.规格;详述;说明书;
  • a new一个新的;一新
  • isvt.& vi. 是(be的三单形式);
  • provingn.校对;
  • constructiveadj.建设的,建设性的;积极的,有助益的;构造上的;[法]推定的;
  • presentedvt.& vi.(动词present的过去式及过去分词形式);表示"展示;展现;出示";
  • papern.纸;报纸;材料;壁纸;论文;试卷;文件;
  • deductionn.推演,推理,演绎;(推理所得出的)结论;扣除,减除;扣除的量;
  • 相关例句
1、

research and development of the proving system for mass flowmeters

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

互联网摘选

2、

research and development of machine proving system on geometry theorem

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

互联网摘选

3、

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

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

互联网摘选

4、

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

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

互联网摘选

5、

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

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

互联网摘选

6、

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

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

互联网摘选

7、

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

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

互联网摘选

8、

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

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

互联网摘选

9、

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

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

互联网摘选

10、

there were many technology standard about component technology.

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

互联网摘选

11、

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

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

互联网摘选

12、

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

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

互联网摘选

13、

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

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

互联网摘选

14、

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

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

互联网摘选

15、

his new design includes over 100 new component parts.

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

互联网摘选

16、

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

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

词典精选例句

17、

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

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

词典精选例句

18、

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

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

词典精选例句

19、

fresh herring is often preserved by methods like salting, smoking, or using vinegar to pickle it and keep it edible.

新鲜的鲱鱼通常采用盐渍、烟熏或用醋来腌渍等方法以保持其可食用性。

词典精选例句

20、

select your favorite produce, whether fruits or vegetables, and pickle them while they're at their freshest.

挑选你喜欢的水果或蔬菜,趁它们最新鲜时腌制。

词典精选例句

  • 今日热词
  • 热门搜索

英语网英语词典(dict.25820.com)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈