自动验证

Authentication Status

身份验证状态

Authentication Required 需要身份验证 | Authentication Status 身份验证状态 | Auto Rename: 自动重命名:

grasshopper

蝗虫

现在它已经第一次飞行验证了"蝗虫"(Grasshopper)小型无人机的全飞行控制、传感器控制以及自动发射和自动回收. Advanced Subsonics and Xiphos公司已经在艾伯塔的无人机会议上用STANAG4586标准的无人机控制站(VCS)演示了"蝗虫"无人机.

theorem proving

定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

AHT AverageHoldingTime

平均占用时间

30 AI ArtificialIntelligence 人工智能 | 31 AHT AverageHoldingTime 平均占用时间 | 32 AHSVS AutomaticHandwrittenSignatureVerificationSystem 签字笔迹自动验证系统

AHT AutomaticHandwrittenSignatureVerificationSystem

签字笔迹自动验证系统

AGDC 地面自动控制拦截系统(防空) | AHT AutomaticHandwrittenSignatureVerificationSystem 签字笔迹自动验证系统 | AIMC AutomaticIdentificationManufacturers 自动识别设备制造商(欧洲)

AHT Average Holding Time

平均占用时间

AHSVS Automatic Handwritten Signature Verification System 签字笔迹自动验证系统 | AHT Average Holding Time 平均占用时间 | AI Abnormal Information 异常信息

nonautomatic switching

非自动交换

非自动的自验证 nonautomatic self-verification | 非自动交换 nonautomatic switching | 非自控系统 nonautonomous system

nonautomatic self-verification

非自动的自验证

非自动化领域 nonatomic domain | 非自动的自验证 nonautomatic self-verification | 非自动交换 nonautomatic switching

AHM AmsterdamHypermediaModel

阿姆斯特丹超媒体模型

32 AHSVS AutomaticHandwrittenSignatureVerificationSystem 签字笔迹自动验证... | 33 AHM AmsterdamHypermediaModel 阿姆斯特丹超媒体模型 | 34 AHFAS AlarmHandlingandFaultAnalysisSimulator 警报处理与故障分析模...

Auto Responders

自动回复

Web base interface to change user passwords 通过网页形式来更改用户密码 | Auto responders 自动回复 | SMTP Authentication for secure relaying 通过SMTP验证以实现安全传递

enamelling iron：搪瓷[用)钢板

enamelled strip || 涂珐琅钢带,搪瓷钢带 | enamelling iron || 搪瓷[用)钢板 | enantiomer || 对映体,对映异构物

leeringly：以斜眼看 (副)

leeriness 猜疑; 留神; 狡猾; 机警 (名) | leeringly 以斜眼看 (副) | leery 机敏的, 细心的; 猜疑的, 迟疑的 (形)