查询词典 specification

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

B.S.S.? British Standards Specification?

英国标准规范

The company mainly produces: The multi-purpose electromotive force pot, the electric heating operate the hydraulic engine, the microcomputer intelligence electric cooking pot, the numerical code bao, the Xi Shi electric cooking pot, the black Jin'gang electric cooking pot, the multipurpose electric rice-cooker, the multipurpose electric cooker, the luxurious electricity stew-pot, the electronic electricity hot pot, the electric cup and so on several dozens series varieties, disposes stainless steel three Bao Denei the gallbladder, has the heat absorption quickly, being heated even, the wearability, not easy to distort and so on the merits, the product specification is complete, the variety is diverse, the quality is reliable, is welcome deeply the consumer, product best-selling nation each big, middle city.

潮安粤荣电器不锈钢制品有限公司始建于2000年6月，是一家民营科技企业，座落广东省潮安县彩塘镇南方工业区，地理位置优越，公司厂房面积约8000平方米，技术力量雄厚，拥有先进的生产和检测设备；粤荣公司同时通过ISO9001：2000国际质量管理体系认证；产品通过国家&CCC&强制性安全认证。目前公司主要生产：电热开水机、快速电热水壶、电热杯、微电脑智能电饭煲、数码煲、西施电饭煲、黑金刚电饭煲、多用电饭锅、多用电子锅、豪华电炖锅、等几十个系列品种，配置不锈钢三层包底内胆，具有吸热快、受热均匀、耐磨损、不易变形等优点，产品规格齐全，品种多样，质量可靠，深受消费者欢迎，产品畅销全国各大、中城市。

The company mainly produces the advertisement umbrella, umbrella of sunny , the sandy beach umbrella of various specification etc. series product.

公司主要生产各种规格的广告伞、晴雨伞、沙滩伞等系列产品。

The methods of IR and others were carried on in order toverify the structural formula of XN. The validation of analytical procedures wasconducted according to quality standard of XN in supplement of ChinesePharmacopoeia in 2002. The results show that the structural formula of XN isright and XN can be analysed in accordance with the quality specification of ChP.The results of three lots repeat tests show that the optimal process for XN wasrepeated excellently and quality of products is stable and controllable.

所合成的烟酸占替诺经红外分光光度法等波谱测定，证明其结构正确；经检验方法学验证，确证该产品适用于按《中国药典》质量标准检验；经三批次重复验证试验，结果表明优选的烟酸占替诺合成工艺重现性好，所得产品质量可控，收率为91.1%，接近文献报道的最高收率。

Strausak Fine milling machine Typ 82 CNC / ATEK 5500 OPERATING/INSTRUCTION MANUAL（Strausak AG Maschinenfabrik CH-4573 Lohn/SO Schweiz/Suissse/Switzerland）[3]. CNC-Description with Hardware-Specification/ Standardversion for 7 axes （issue march 1992 GRUNDIG ATEK SYSTEM AG ATEK 5500）[4]. INTERACTIVE UNIX OPERATING SYSTEM VERSION 4.1 RELEASE NOTES （SunSoft Part No.:801-5068-10 Revision A,May 1993

对82CNC数控铣床PC控制主机的升级改造涉及硬件系统和软件系统两个方面：在软件方面，采用硬盘克隆的方式并注意掌握好克隆过程中的关键技术细节，根据升级后所选用的功能组件和运行的硬件平台的不同来合理地裁减和配置相关的内核、驱动、BIOS设置，不仅可达到&事半功倍&的效果，还能彻底摆脱外方在技术上的封锁和限制，构建真正适用于企业环境的MMI操作界面，并拥有灵活的组网方式和自主的维护方法。

Same size and same specification as the previous sliding patio French Door.

尺寸和规格同以前的法式滑行院门相同我需要两扇连接的门。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。