【摘 要】
：
随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文
【基金项目】
：
国防基础科研计划项目(JCKY2013212C007)
论文部分内容阅读
随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信性方面存在的瓶颈问题,提出了基于模型的软件开发的Y模型,该新模式将软件需求分析与设计融合,引入形式化验证手段,在全生命周期开展形式化验证和仿真验证,确保软件可信.
其他文献
政治发展的实质是政治系统必须根据社会发展需求的变化不断调整自身的结构与职能,以形成政治系统与社会各子系统之间协作发展的规范边界。边界政治是一种秩序政治、均衡政治
徇私是否应当作为相应渎职犯罪的构成要件问题，一直以来为刑法学界所争论不休。但是，犯罪动机不能作为构成要件的理论通说是合理的，立法之中虽然对渎职犯罪规定了徇私的内容，但并
现代教育呼唤现代化的教育手段，电教媒体的运用，正是语文教学的新趋势。在语文教学中，运用电教媒体可以让人、事、景物跃然纸上，以声音、形体、色泽、动作直接作用于学生的感官，有
通过计算与分析,对强制循环泵采用直联连接、轴封采用填料密封,从而提高了泵的使用寿命,节约了运转费用.
本文以框架语义学为视角,对比于谦《石灰吟》的英译本,论证译语框架与源语框架的重合、包容、相交及独立的框架关系,探讨框架语义学对古诗词英译的运作机制。
2004年6月10～11日，中国石油和化学工业协会、中国氯碱工业协会在天津共同召开了“全国氯碱行业安全工作会议”。中国石油和化学工业协会副会长阎家铭、国家安全生产监督管理局
邓小平对新时期为什么巩固和加强人民民主专政、怎样巩固和加强人民民主专政进行了实践和探索,作出一系列重要论述,为新时期巩固和加强人民民主专政指明了方向,对保证党和国
冷战结束后，东亚区域经济合作在机制建设和具体经济成果方面成绩显著，其中的一个重要特征就是：小国主导，大国积极参与。无论是在东盟地区论坛、东亚峰会、还是在“10＋1”、“10＋3”