去查网 logo

certifying authority

中文翻译证明机构

同义词释义

    1)certifying authority,证明机构2)the structure of proof,证明结构3)machine proof,机器证明4)machine proving,机器证明5)Constructive proof,构造性证明6)computer proof,计算机证明

用法例句

    Machine Proof to Theorems and Traditional Mathematical Concept;

    定理机器证明与传统数学观

    Wu Method of machine proving can solve nonlinear equations effectively, and it has been applied to theoretical physics, computer science, mathematicsceience and robotics etc.

    机器证明的吴方法能有效地解非线性方程组,已应用到理论论理、计算机科学、数学科学、机器人机构学等领域。

    A constructive proof of a class of nonconvex Brouwer fixed point problems is pre-sented, and the theoretical base of homotopy method to the problem has been created.

    一类非凸Brouwer不动点问题的同伦算法于波,林正华(吉林大学数学研究所,长春130023)关键词不动点定理,构造性证明,同伦算法在70年代,文[1,2]就提出了求R ̄n中有界闭凸集上连续可微自映射的不动点的同伦算法,这是非线性问题数值解法的突破性。

    Mechanical Theorem Proving in Differential Geometry about Curves on Surface;

    微分几何曲面上曲线定理的机器证明

    Research and Development of Machine Proving System on Geometry Theorem;

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

    MECHANICAL THEOREM PROVING FOR TENSOR WITH INDEXES IN DIFFERENTIAL GEOMETRY

    基于指标形式张量的微分几何定理机器证明

    METHOD OF DECREASING DIMENSION BY PARTITION AND AUTOMATED PROVING FOR ALGEBRAIC INEQUALITIES

    代数不等式的分拆降维方法与机器证明

    Mechanical Theorem Proving in Geometry;

    几何定理的机器证明——每个中国数学教师都应懂得的方法

    theorem-proving for robot problem solving

    机器人问题求解的定理证明

    These machines have proved a real boon to disabled people.

    事实证明这些机器让残疾人受益匪浅。

    The machine proved highly valuable in heart surgery

    这种机器做心脏手术证明是非常有价值的。

    That can only prove the containing case had been patched before loading.

    我认为这只能证明装机器的条子在装船前破损并修补过。

    High automatic level and good repeatability& reproducibility is proved by using.

    实际使用证明,该机器自动化程度高,测试结果的重复性和再现性好。

    inspection certificate of imported motor vehicles

    进口机动车辆检验证明

    aircraft noise certification scheme

    飞机噪音证明书计划

    members of the 100-person mission team have stressed how difficult it has been historically to send robotic explorers to Mars -- a place many of them see as jinxed.

    此前,负责这一任务的小组就已经强调,过往的经验证明,往火星发射机器人探测器有多么艰难。

    Existing complexity proofs on the circularity problem of AGs are based on automata theory, such as writing pushdown acceptor and alternating Turing machines.

    目前对属性文法循环性问题复杂度的证明,多基于自动机理论,如写入推出接受器、交替涂林机等。

    These are machines that invents recently.

    这些是新近发明的机器。

    invented a machine to make ice.

    发明了一种制冰的机器。

    diagram(of the parts of a machine)

    (机器部件的)图解,说明图

    machinery certificate

    机器证书机械设备合格证书

全部查询工具

关于我们免责声明联系我们网站地图最近更新

免责说明:本站为非营利性网站,本站内容全部由《去查网》从互联网搜集编辑整理而成,版权归原作者所有,如有冒犯,请联系我们删除。

Copyright © 2020 - 2024 quchaw.com All rights reserved.浙ICP备20019715号