基于签名的控制流错误检测算法检测能力的验证模型

目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
     

基于LXI总线导弹测试系统设计

阐述了采用LXI总线协议实现某型导弹总体测试系统设计方案。较为全面地分析了仪器总线LXI的特点、体系结构、总线特性和硬件构建方式,具体介绍了基于LXI总线某型导弹测控平台的设计思想、系统结构、关键设计流程和软件编制流程。系统的研制成功,降低了研制成本,满足了某型导弹的试验测试需求,也为后续型号相关测试系统的研制提供了很好的基础。     

高职院校工学结合实现途径研究

工学结合、校企合作是高职院校培养高端技能型人才的根本途径,但高职院校工学结合普遍存在着口号喊得多、实质内容少、短期合作多、长效机制少、学校热情多、企业关注少、校企浅层次合作多、深层次合作少等问题。通过思考促进校企深度融合、工学有效结合的方式,提出了"三位一体,项目育人"的高端技能型人才培养模式。     

虚热的城镇化

"……台北不是我的家,我的家乡没有霓虹灯。鹿港的清晨,鹿港的黄昏.徘徊在文明里的人们……"来自宝岛台湾的歌曲《鹿港小镇》不仅旋律优美,脍炙人口,而且还深刻地折射了上世纪六七十年代台湾从农耕社会、渔业社会向工业社会、城镇化的巨大转型。城市是人类文明荟萃的海洋,农村则是充满泥土芬芳的故乡。拓土而耕,筑城而居。古往今来,城与乡的碰撞、沟通、激荡、     

预冷空气涡轮火箭组合动力系统原理与实现途径

针对重复使用航天运输系统及临近空间快速投放平台动力需求,提出了一种预冷空气涡轮火箭组合动力系统方案,分析了此动力系统的技术特点及与其他组合循环动力的差异,进行了系统初步性能分析.研究表明:通过调节系统参数,此动力系统参数闭合,性能较佳,方案可行;进一步分析了动力系统涉及的核心技术及技术基础,认为预冷空气涡轮火箭组合动力系统具有可实现性.     

浅谈影响大学外语听力教学的因素及其提高途径

听力教学是语言教学的重要组成部分,听力水平的提高受到多种因素的影响与制约.如何利用积极有利的因素,克服消极不利的因素,采取行之有效的方法提高学生的听力水平,对整个的外语教学起着十分重要的作用.     

软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。     

航改大功率、高效率舰船燃气轮机的

为适应舰船战术性能和舰船吨位级别提高的要求,迫切需要研究大功率、高效率舰船燃气轮机.通过对国内外战舰主动力装置进行分析,认为中国开发40000kw的大功率燃气轮机是十分必要的,利用现有航空发动机的技术资源优势,采用先进的间冷技术是发展大功率、高效率舰船燃气轮机的1条现实可行的技术途径,既可以提高燃气轮机在设计工况下的功率和热效率,又能保持在低工况下的高效率.     

弹丸头部喷流的风洞实验测试技术

主要阐述了弹丸头部喷流风洞实验中的实验方法、气动力干扰影响及预测方法。介绍了气动力测量、压力测量、底阻测量的关键技术及解决途径。     

国际标准《OSI实现规范》简介

简述了编制《OSI实现规范》的目的,介绍了《OSI实现规范》的体系及各分册的主要内容及其修订简况。