【摘 要】
：
使用高可靠的编辑器进行软件设计将从设计源头为嵌入式系统的开发提供更多的安全保障.以支持控制流检测算法的编辑器为例,设计了3个高可靠特色功能模块,实现了编辑器对安全编
论文部分内容阅读
使用高可靠的编辑器进行软件设计将从设计源头为嵌入式系统的开发提供更多的安全保障.以支持控制流检测算法的编辑器为例,设计了3个高可靠特色功能模块,实现了编辑器对安全编译扩展语法的识别、对安全编译器控制流检测层编译信息的显示、对语法安全子集的支持;使用动态配置文件的方法实现了对多种高可靠安全编译算法的语法加亮功能.
其他文献
为了探讨甲醛对人肝癌细胞HepG2的遗传毒性效应,该实验以体外培养的HepG2细胞作为实验材料,运用单细胞凝胶电泳（SCGE）技术分析不同浓度甲醛处理2 h后HepG2细胞DNA损伤效应.结果
几乎在一夜之间,南昌的街头巷尾被共享单车'攻占',共享单车因其便捷、便宜和灵活,受到了南昌人的青睐.不过没有什么是完美的,共享单车也是一样.它不仅面临被人偷盗、
对于我国管理会计中的系统研究还是较欠缺的,并且具有一定的局限性,就是对管理会计的发展方向缺少研究,尤其是现在受到国际经济产生的影响,管理会计自身的发展和金融危机之间
研究方案设计 (1)区域设定和行业设定 本文根据研究的需要将GTAP数据库中的129个国家和地区的数据重新聚集成6个国家或地区,即:中国、新加坡、EU25国、美国、日本和世界其它
引言 中国作为全球第二大经济体,环境保护与经济、社会发展之间的矛盾日益突出.基于此,政府相关职能部门迫切需要一个有效且可量化的环境管理工具来追踪环保产出,评估环保成
高雅的音乐可以帮助人提升自我修养、净化心灵、提升思想境界。音乐教育以其特有的听觉吸引力、强烈的情感性、深刻的思想性、高雅的审美性的特点及优势,在以引领时代进步为
工业建筑是指供人民从事各类生产活动的建筑物和构筑物。主要包括生产（加工）车间、实验车间、仓库、独立实验室、化验室、民用锅炉房、变电所和其他生产用建筑工程。随着城市建
采用全势能线性Muffin-tin轨道分子动力学方法（FP-LMTO-MD）,在中性砷化镓团簇Ga5As5基础上,详细研究了带电后Ga5As5离子团簇在能量和几何结构上的变化.找到了一价Ga5As5团簇的
传统意义上的艺术歌曲是为室内音乐会而创作的歌曲,以区别与民歌和流行歌曲.在传统上,艺术歌曲是具有很强文学性的为诗歌而谱写的音乐.并且艺术歌曲的伴奏是由作曲家定制创作
利用中红外相机及干涉测量技术研究了二极管泵浦小型Yb∶YAG激光增益介质在激光及非激光条件下的温度分布、温度梯度、热透镜效应,同时根据对热效应的研究,对激光器的参量进