形式证明的英文

• formal proof

• "形式"英文翻译    form; shape; layout; modalit ...
• "证明"英文翻译    prove; testify; bear out
• "非形式证明" 英文翻译 :    informal proof
• "用保证书证明用书面形式证明" 英文翻译 :    certify
• "回溯式证明" 英文翻译 :    retrovalidate
• "型式证明" 英文翻译 :    type certification
• "形式证法" 英文翻译 :    formal proof
• "原产地a式证明书" 英文翻译 :    form a certificate of origin
• "制定形式证法" 英文翻译 :    making formal proofs that programs meet specifications part of contracts
• "经正式证明的副本" 英文翻译 :    duly certified copy
• "用保证书证实用书面形式证实" 英文翻译 :    certify
• "记账式证券" 英文翻译 :    book-entry security
• "鉴定式证据" 英文翻译 :    testimonial evidence
• "欧洲式证券" 英文翻译 :    european depositary receipt
• "正式证券" 英文翻译 :    definitive bond
• "指示式证券" 英文翻译 :    document to order
• "证明" 英文翻译 :    1.(表明 、 断定真实性) prove; testify; bear out 充分证明 fully prove; 雄辩地证明 give eloquent proof of; 事实证明他是对的。 facts proved that he was right. 她脸红证明她内心有愧。 her red face testified to her guilt.2.(证明书或信) certificate; identification; testimonial 医生证明 medical certificate; 出个证明 issue a certificate; 此证明无效。 this certificate is invalid.3.demonstration; evidence; verification; [法律] proof; 证明人 authenticator; certifier; 证明文件 documentary evidence; certificate; testimonial papers; supporting documents; 证明无罪 proof of innocence; 证明信 certificate; 证明有罪 proof of guilt
• "形式" 英文翻译 :    1.(事物的形状、结构等) form; shape; layout; modality 流于形式 become a mere formality; 形式多样 be various in forms; 形式和内容 form and content; 他已经肯定获得那份工作了, 口头审查仅是形式而已。 he is already assured of the job and his interview is a mere formality.2.[自动化] (数据安排) format; [数学] quantic; shape
• "证明，证明书" 英文翻译 :    certification
• "证明书，证明" 英文翻译 :    cert.;certif certificate;certified
• "证明书，证明单" 英文翻译 :    certificate
• "封闭式证券投资基金" 英文翻译 :    closed-end securities investment fund
• "开放式证券投资基金" 英文翻译 :    fund custodian bank; open-end securities investment fund
• "表明，证明" 英文翻译 :    argue sb. to be; testify to
• "出证明" 英文翻译 :    certification

• For a formal proof of the algorithm
  有关这种算法的形式证明请参阅
• In order to inprove the tracking performances of some sensors and local nodes , the paper discusses the state estimation techniques in multilevel multisensor surveillance systems with feedback information . based on the single sensor kalman fitering equations with feedback information , this paper presents two - level centralized , distributed and hybrid track level fusion methods with feedback information in multicoordinate systems . in the different cartesian coordinates , several kinds of track level fusion methods with feedback information for three - level multisensor data fusion systems are proposed , in which centralized - distributed , distrbuted - distributed and hybrid - distributed estimation combination problems with feedback information are considered , and proves that two kinds of three - level estimation solutions with or without feedback information are optimal and equivalent in the form of the theorem . the simulation results show that the multilevel multisensor data fusion system can not only increase the global estimation acuracy of target but also greatly improve the tracking perfomances of some sensors and local nodes by using the feedback information
  为了改善局部节点和传感器级的跟踪性能，本文研究带反馈信息的多级式多传感器系统中的状态估计技术.在给出有反馈信息情况下传感器级状态估计解的基础上，本文提出多坐标系中有反馈信息的两层集中、分布和混合估计方程.在不同笛卡尔坐标系中，本文提出了几种带反馈信息的三层多传感器系统中的航迹级融合方法，其中包括集-分估计、分-分估计和混-分估计，并以定理的形式证明有、无反馈信息情况下的两类三层状态估计是价的、最优的.仿真结果表明，在多传感器信息融合系统中引入反馈机制可以明显改善一些局部节点和传感器级的跟踪精度