【摘 要】
：
国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键
【基金项目】
：
西华师范大学创新团队项目(CXTD2014-11)
论文部分内容阅读
国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的航天型号C语言安全子集作为安全检测技术的标准,构造符合规范的测试用例,通过形式化验证技术对LonGcc编译器进行改造、升级。最后实测表明,所构造的编译器符合C语言安全子集标准,并且没有增加执行时的开销。
其他文献
记者：华虹NEC成立于1997年，是中国大陆首家8英寸晶圆代工工厂，并承担了中国集成电路产业有史以来最大的投资项目——国家“909工程”，经过十多年的发展，现已成为一家世界级领先的
定义并给出了生成多元Lagrange插值多项式算法,给出了二元双一次、双二次、双三次Newton-Cotes系数以及二重数值积分公式,文中对所给算例进行了实算,计算结果和理论分析完全
软土路基沉降量的准确预测对高速公路施工与维护是非常重要的,但是影响路基沉降量的因素众多,并且沉降量之间具有高度复杂的非线性关系,用传统的数学、力学方法很难表示;将最
选取人均GDP、职工平均工资和农村居民人均纯收入三个指标,运用相对发展指数、复合年均增长率、基于基尼系数的区域发展平衡度等方法分析四川省21个州市,定量分析四川省区域
目的探讨自我效能干预对恶性肿瘤放化疗患者治疗效果及癌痛程度的影响。方法选择我院治疗的恶性肿瘤放化疗患者60例,随机分为两组各30例。对照组施以常规护理措施,观察组在其
根据广义惠更斯-菲涅耳原理和积分变换技术,推导出了部分相干厄米高斯（H-G）光束传输于大气湍流的湍流距离表达式,并定量地研究了湍流对部分相干H-G光束扩展的影响.研究表明,湍
Veeco Instruments Inc．日前公布了一款新设备——Optium ADS-800系列先进划片系统。此款设备能够针对多种应用提供颇具生产力的划片解决方案，包括高亮度LED、太阳能电池、光学
采用TSMC0．18μm RF CMOS工艺设计了一种适用于DVB-T调谐器的可变增益中频放大器。该放大器以信号相加式单元为主体电路，采用三级级联结构，实现了对数增益随控制电压连续、近似
功率器件包括功率IC和功率分立器件，功率分立器件则主要包括功率MOSFET、大功率晶体管和IGBT等半导体器件，功率器件几乎用于所有的电子制造业，应用功率器件的产品包括计算机领域
"扫黄打非"工作至今历时近30年,在中国有着独特而深远的影响。从法学角度,介绍了"扫黄打非"的渊源、发展及其概念的内涵与外延;重点分析了"扫黄打非"现行适用法律存在的诸多