Description and Verification of Comprehensive Train Safety Monitoring System by Temporal Petri Nets
行车安全综合监控系统的时序Petri网描述及验证
互联网摘选
针对目前广为关注的车桥(轨)耦合振动系统横向振动计算与列车脱轨能量随机分析理论,从理论及试验的角度,探讨了该方法在提出、验证、应用方面存在的一些问题。
互联网摘选
验证表明,该系统能有效地模拟钢板在炉内加热升温的全过程。可以对炉辊速度和炉区温度进行寻优计算,为在线控制提供辊速及炉温制度最佳数据。
互联网摘选
Design, simulation and verification of high speed missile terminal guidance virtual prototype system
高速导弹末制导虚拟样机系统设计、建模及校验
互联网摘选
用户申请许可证下载时,使用数字签名,内容Hash值验证,密钥加密存储,用户证书,许可证与终端设备绑定等多种安全技术,保证许可证下载和使用过程中的安全性。
互联网摘选
文中前六章详细说明了百分表各部分设计的理论基础和实现方法,最后第七章中说明百分表检定系统实现的功能及达到的性能指标,提出了升级、改进百分表检定系统需要完成的工作。
互联网摘选
在由三通气动高速开关阀和差动气缸组成的脉宽调制高压气动位置控制系统上进行了实验研究。
互联网摘选
验证流程是功能仿真、时序仿真、板级调试,最终通过系统测试,验证了该设计的功能。
互联网摘选
Research and Design of Thermal Verification Instrument Device with Embedded Operating System
基于嵌入式操作系统的热工检定装置的研制
互联网摘选
Modeling of Reactor Power Control System and Closed Loop Verification
反应堆功率控制系统的建模及闭环验证闭式循环系统闭路制
互联网摘选
本系统经过实际运行验证了该思路的正确性,达到了预期目标,达到了数据录入、审核的准确性和高效性。
互联网摘选
本研究利用童期较短的早实枳作为转化材料,建立并优化了其高效再生和遗传转化的体系,以期使其成为柑橘基因功能验证和研究的平台。
互联网摘选
第3代汽轮机气动热力设计体系的建立及其工程验证
互联网摘选
最后建立仿真验证平台,进行仿真对系统功能和接口通道模块进行了验证。目前国内对TCAS系统防撞系统的研究工作较少,缺乏有关原理性的资料。
互联网摘选
并使用该系统验证了SRAM的功能,读写功能均正常。3、分析了国内辐射效应试验环境,对SRAM功能测试进行了详细阐述。
互联网摘选
生物特征识别系统,如指纹、虹膜、人脸、语音识别等,已经在很多领域投入应用。与设置密码等早期的方法比较,它能提供更为有效和可靠的身份认证。
互联网摘选