选择特殊符号
选择搜索类型
请输入搜索
最大推力:600N;最大燃油消耗率:1.9kg/daN/h;最大转速:70000r/min;发动机空重:≤9.55kg。
《航空发动机原理》课程教学及研究生发动机测试试验;主要附件:CFT-130微型涡喷发动机1台,地面试车台架1套,地面起动控制箱1套。
高结构效率的斜流压气机结构设计
针对高负荷斜流压气机的结构设计需求,引入和完善斜流叶盘的结构效率评估方法,用以协调各种设计要求和优化结构设计.基于提高结构效率的设计思想,提出"C"型和"M"型两种新型斜流叶盘结构方案,并通过平均应力值、振动鲁棒系数和轮缘变形协调系数3项的分析和结构效率系数的对比,论证了新型轮盘结构在减轻质量、提高可靠性和降低叶尖损失等方面的优势.分析结果表明:"M"型叶盘结构方案可使平均应力提高24.7%,质量降低20%,振动响应降低37.9%,轮缘最大变形降低67.6%.
向压气机内喷水能显著提高燃气轮机装置的性能
<正>据《Gas Turbine World》多年报道,向压气机通流部分内喷水是提高燃气轮机装置性能的简单而有效的方法。合理地选择喷水量,向压气机通流部分内喷水的燃气轮机能够可靠和稳定地运行。在喷入0.5%~2%水时,燃气轮机输出功率增加7.5%~14%,效率增加3.5%(相对值)。如果考虑到
在工程上,尤其是汽车行业,DVP指的是Design Verification Plan,即设计验证计划。其中包括台架试验、整车试验。目的是保证设计零件符合功能需求,在将来的使用过程中满足设计要求。2100433B
该发明的目的是提供一种验证装置和电子设备。
《验证装置和电子设备》实施方式的验证装置形成有可信执行环境,所述验证装置还包括微处理器和微存储器,所述微处理器和所述微存储器均在所述可信执行环境中运行,所述微存储器存储有红外模板和深度模板,所述微处理器用于:获取目标物体的验证红外图像;判断所述验证红外图像是否与所述红外模板相匹配;若是,获取目标物体的验证深度图像;判断所述验证深度图像是否与所述深度模板相匹配;若是,验证通过。
在某些实施方式中,所述微处理器还用于:若判断所述验证红外图像与所述红外模板不匹配,则验证不通过。
在某些实施方式中,所述微处理器还用于:若判断所述验证深度图像与所述深度模板不匹配,则验证不通过。
在某些实施方式中,所述微处理器还用于:控制激光投射器向目标物体投射激光;获取由目标物体调制后的激光图案;和处理所述激光图案得到所述验证深度图像。
在某些实施方式中,所述微处理器还用于:获取目标物体的模板红外图像,并存入所述微存储器中以作为所述红外模板;和获取目标物体的模板深度图像,并存入所述微存储器中以作为所述深度模板。
在某些实施方式中,所述微处理器还用于:控制激光投射器向目标物体投射激光;获取由目标物体调制后的激光图案;和处理所述激光图案以得到所述模板深度图像。
在某些实施方式中,所述微处理器还用于:获取由目标物体调制后的多帧激光图案;处理多帧所述激光图案得到多帧初始深度图像;和合成多帧所述初始深度图像以得到所述模板深度图像。
在某些实施方式中,所述验证装置还形成有非可信执行环境,所述验证装置还用于:获取目标物体的彩色图像,并存入所述非可信执行环境中;和从所述非可信执行环境中获取所述彩色图像,并控制显示屏显示所述彩色图像。
在某些实施方式中,所述验证深度图像通过结构光的原理获取、或通过飞行时间的原理获取、或通过双目立体视觉的原理获取。
该发明实施方式的电子设备包括:红外摄像头,用于采集目标物体的红外图像;激光投射器,用于向目标物体投射激光;上述任一实施方式所述的验证装置,所述微处理器与所述红外摄像头、所述微处理器与所述激光投射器均连接。
《验证装置和电子设备》其中的微处理器和微存储器均运行在可信执行环境中,判断验证红外图像与红外模板是否相匹配,判断验证深度图像与深度模板是否相匹配,在比对是否匹配的过程中,验证红外图像、红外模板、验证深度图像和深度模板不容易被篡改和盗用,电子设备内的信息的安全性较高。
随着数字逻辑设计的规模越来越大,复杂度越来越高,功能验证已经成为设计过程中的首要瓶颈。缩短验证时间是项目取得成功的关键。本书系统地阐述了当今最具价值的基于模拟和形式方法的验证技术,帮助测试工程师和设计工程师为每个项目选择最佳的解决方法,最快地在设计中建立起自信,并将它移植到更快的制造过程中。
本书作者William K.Lam是设计验证方面的世界级一流专家,书中汇聚了作者广博的实践经验,既讨论一般的测试原则,也展示具体的实践方法,有些内容还提供了伪代码形式的算法,读者只需简单地改写为具体的程序设计语言,即可上机调试。无论高校学生还是企业的验证工程师都可以从本书获益。
本书全面介绍硬件系统设计验证的技术和方法,主要涉及基于模拟和形式验证的方法,内容涵盖静态检验、模拟器体系结构、测试基准设计、模拟规划与策略、调试进程与验证周期,形式验证背景知识、判定图与SAT问题、符号计算与模型检验。书中汇集大量设计验证的基本概念与技术,内容深入浅出,叙述详尽,既讨沦一般的测试原则又展示具体的实践方法,包含作者多午实践经验,实用性强。每章最后还配有各类习题,读者可用来巩固所学的知识。.
本书可作为高等院校电子科学与技术、计算机科学与技术等专业高年级本科生或低年级研究生教材,也可供相关专业工程师参考。