查询词典 automated

In this paper, the descriptive semantics of class diagrams, interaction diagrams and state machine diagrams are defined by first order logic formulas. A translation tool is implemented and integrated with the theorem prover SPASS to enable automated reasoning about models.

本文用一阶逻辑定义了UML的类图、交互图和状态图的描述语义，并介绍我们实现的将UML模型转换成逻辑系统的软件工具LAMBDES，该工具集成了定理证明器SPASS，可以对模型进行自动推理。

Methods: The sperm morphology and sperm acrosin activity were analyzed by automated sperm morphology analyzer and spectrocolorimetry.

精子形态和顶体酶活性是决定精子能否受精的重要因素[1，2 ] 。

This paper introduces a facility for automated spectroradiometric calibrations with wide wavelength range, developed by NIM.

本文介绍由中国计量科学研究院研制的宽波段光谱辐射自动测量装置。

Has processing and production base in Indonesia, and has independent subpackage factory in China, automated production lines, strict management system, excellent service team, good supplier relationships, ultra-low contract prices, satisfactory packaging quality, accurate delivery time, accepts export order commission from clients in Southeast Asia, orders, processes, packs a variety of specifications of MSG, chicken essence and other spices, the company also provides subpackage while the clients provide raw materials, and customizes inner and outer packaging for the exports of the clients in accord with the client's demands, and is responsible for transportation, declaration, inspection, SGS, booking and other export matters.

南洋国际投资有限公司不仅在印尼建有加工生产基地，而且在中国设有独立的分装工厂，自动化生产流水线，严格的管理制度，优秀的服务团队，良好的供应商关系，超低的合同价格，满意的包装质量，准确的交货期限，面向东南亚接受客户出口定单委托，代为订购、加工、分装各种包装规格的味精、鸡精等调味品，也可由客户提供原料，公司提供分装，同时可根据客户出口要求代为定做出口商品的内、外包装物，并可负责代理运输、口岸报关、报检、SGS、订舱等出口事宜。

We developed an automated image-based classification procedure to differentiate individual patients with idiopathic Parkinson's disease, multiple system atrophy, and progressive supranuclear palsy.

我们采用基于自动影像进行的分类操作以区分个体患者，将患者区分为原发性帕金森病、多系统萎缩症和进行性核上性麻痹。

With the combination of highly automated facilities and operational systems, mature technology and world-class manufacturing concept, Sutor Group has completed the integration of product value chain, including Acid Pickled line, Cold Rolled line, HDG line and PPGI line to make value added in each stage.

公司引进世界先进的热镀锌生产线和彩色涂层钢板生产线的最新技术，将成熟的工艺设备有机的结合在一起，组成国际先进水平的连续生产线，具有工艺技术领先、系统运行可靠、自动化程度高的特点，形成年产热镀锌钢板70万吨，彩涂钢板20万吨，冷轧25万吨、酸洗50万吨的规模。

As we all evolve toward the best completion of our spiritual missions, the technological means of survival will be fully automated as humans focus instead on synchronistic growth.

当我们一起圆满我们的精神之路，技术的生存手段将完全自动化，人们转而关注共同的发展。

As we all evolve toward the best completion of our spiritual missions, the technological means of survival will be fully automated as humans focus instead on synchronistic growth.

每个人都必须从进化论的角度，从精神的角度重新解释他的家庭体验，并且真正搞清楚自己是谁。

As we all evolve toward the best completion of our spiritual missions, the technological means of survival will be fully automated as humans focus instead on synchronistic growth.

当每个人都致力于完成自身的使命时，科技将完全自动化，最后人类的身体会完全能量化，并与灵界连通而结束生死轮回

TALIS : an intergrated Chinese library automated system〉.

黄世雄。〈图书馆资讯服务与中文图书馆自动化系统之探讨〉。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。