助手标题
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
共[65]条 当前为第1条到20条
 

相关语句
未完全匹配句对
    Model checking is an important approach which guarantees program correctness, with the benefit that it is completely automatic.
    模型检测是保证程序正确性的一条重要途径,它最大的优点就是验证过程完全自动化
    To realize apple automatic grading completely, the method for classifying apple surface defect by digital image processing was researched.
    为了实现苹果分级完全自动化,研究了苹果表面缺陷图像分类方法。
    The experimental results show low alcohols compounds that the recovery of falls within the range of 94%~99%,RSD within 1.3%~2.8%,lowest detection limits 0.10~0.38mg·L~-1 .The method is accurate,rapid and automatization.
    结果表明,方法的回收率为94%~99%、相对标准偏差为1.3%~2.8%、最小检测限为0.10~0.38mg·L-1。 方法准确、快速、重复性好、完全自动化
    In this paper, a new, fully - automatic method for the quantification of brain atrophy based on CT volume data is put forward by taking advantage of the characteristics of cerebral CT images in combination with the prior medical knowledge.
    利用颅脑CT图像的特点,结合医学先验知识,提出一种完全自动化的、基于颅脑CT容积数据的脑萎缩定量诊断的算法。
    An intelligent clamp system is designed to realize the grinding pressure controll, efficiency controll, technique parameter measure and other functions and lay a foundation for automatic grinding of monocrystal diamond tools.
    设计了一个智能夹具系统,实现了研磨压力控制、效率控制及工艺参数检测等多项功能,为实现单晶金刚石刀具研磨的完全自动化奠定了基础。
    (2) Simplification of testability measure calculation: In order to fully automate the testability measure computation, decrease the time complexity and avoid the truncation errors introduced by numerical method, the relations between the determinant decision diagram (DDD) and the partial derivatives of the product-terms coefficients in the numerators and denominators of transfer functions with respect to faulty component parameters are constructed.
    (2)可测性测度的简化计算。 为使可测性测度的计算能够完全自动化,并降低其计算处理的复杂度和避免数值计算所带来的舍入误差,本文建立了传递函数分子和分母乘积项的系数相对于各故障元件参数的偏导数与行列式判决图之间的关系。
    (2) Fuzzy control (FC) in greenhouse.
    该电气系统使调控设施完备的示范温室实现完全自动化控制。
    Thus, using formal verification, especially model checking method (an completely automated method), to verify arithmetic circuits effectively becomes a hot spot concerned by world wide R&D institutes and EDA vendors.
    因此,基于形式化方法的运算电路验证方法,特别是完全自动化的模型检验方法,已经成为当前国内外科研机构以及EDA厂商所关注的热点问题。
    With the development of power system, the demand on the reliability and the automatism of Gas Insulted Switchgear (GIS) is increasing. Especially, it is demanded that GIS should be automatic and intelligent entirely in measurement, control and protection to the greatest extent because of the implement of unattended substation automation system.
    随着电力系统的发展,对SF_6气体绝缘全封闭组合电器(Gas Insulted Switchgear,GIS)可靠性和自动化的要求日益提高,尤其是变电站自动化系统无人值守运行模式的实施,在很大程度上要求GIS在监测、控制和保护等方面完全自动化和智能化。
    In our country, the furniture relievo machining is behind the timescomparing with developed country. This paper introduces a furniturerelievo design and machining CAD/CAM system. This system is based onAutoCAD R14 developing platform.
    在我国,家具浮雕加工的方法还比较落后,本文介绍了一个基于AutoCAD R14开发的浮雕设计CAD/CAM系统,该系统以Visual C++作为开发工具,以ObjectARX作为支撑库来开发的,其目标就是要实现家具浮雕生产从设计到加工的完全自动化
    The system is transformed from a simple Automatic Measurement System to a Virtual Instrument with opening, blocking, reusable and interchange characters. The new system can measure a source in multi-frequency point automatically. The testing precision has reached the design requirement.
    本文重点分析了3047的工作原理与测试方法,在windows平台上重新编写了系统的控制软件,使测试的速度和性能有明显的改善,将原系统从简单的自动测试系统转换为具有开放性、模块化、可重复使用及互换性等特点的虚拟仪器,并且可以对信号源实现多频率点完全自动化的测试,测试精度达到系统设计要求。
    With these modules,can control the automatic dynamic parameters in the real manufacture .
    利用这些模型,就可以在实际生产中对热卷箱的运动参数进行完全地自动化控制。
    The extraction of endocardiac boundary is the crucial basic of quantificational researching 2D echocardiogram. Due to the speckle noise in ultrasound imaging, it is very difficult to detect the endocardiac boundary automatically and accurately in echocardiogram.
    获取心室边缘是定量研究二维超声心动图的重要基础,由于超声心脏图象本身具有复杂的解剖结构及超声成象固有的斑点噪声等因素的影响,使得要在超声心脏图象中实现完全自动化、精确地心内膜边缘检测非常困难。
    After mechanisation and informatisation of human activities,the acquisition of the right information has become the largest obstacle to total automation.
    在人类生产和生活实现了机械化和信息化后,信息的获取就成了实现完全自动化最大的障碍。 因此,传感器日益成为研究的重点。
    2. Establishes a complete mechanism to mapping the data types from WSDL to Java types and structures(JavaBeans), this mechanism can automatically map user defined data types to programming language's data types, in this thesis, is Java.
    2.实现了从WSDL定义的复杂数据类型到相应的JavaBeans数据的完全自动化的映射,并对一些新的数据类型能够自适应地提供支持;
    Realize that the density of carbon dioxide is adjusted and control automatically in the greenhouse.
    系统利用计算机自动控制技术,将观测与控制过程完全自动化,实现温室内二氧化碳浓度的自动调控。
    Users could analyze the genotypes according to the value of mP and scatter plot. The software was laid a sound foundation for the development of 'SNP Scorer' to analyze the human SNP automatically.
    该软件的设计为以后开发适用于人类单核昔酸多态性完全自动化分析研究软件“ SNP Scorer”打下了基础。
    Along with the development of computer, the automatism in 3-D fabric weaving gained much progress, but there is still large distance compared to complete automatism and continuous production.
    随着计算机及机电一体化的发展,这一领域的自动化水平有了一些提高,但离完全自动化、连续化生产相距还较远。
    The whole line, from the initial materials transported, weighted, lifted, stirred in pug mill and molded in forming machine to the finished product maintained at field, is controlled by PLC, and realizes the automatic production.
    从最初的原料的输送、称量、提升到搅拌机搅拌,然后送入成型机成型,成型后的成品送到养护场地进行养护,整条生产线采用可编程控制器进行控制,实现了生产的完全自动化
    Our future works includes providing visualization tools to platform, and use Griddatabase and Gird Knowledge Service to make trust evaluation process more automated.
    在未来的进一步研究工作中,我们将着重于两个方面:一是为利用网格技术实现评估流程完全自动化所必须要的信用数据服务和信用知识服务;
 

首页上一页1234下一页尾页 

 
CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社