论文部分内容阅读
核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析，软件可靠性要求高．形式化方法具有严格数学基础，是软件开发最为重要的理论工具．本文首先用UML对系统进行分析建模，采用形式化语言对系统功能进行严格规约描述，提高系统开发的可靠性．
形式化方法在核事故评价系统中的应用
【摘 要】
：
核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析，软件可靠性要求高．形式化方法具有严格数学基础，是软件开发最为重要的理论工具．本文首先用UML对系统进行分析建
【机 构】
：
南华大学计算机科学与技术学院
【出 处】
：
南华大学学报(自然科学版)
【发表日期】
：
2012年3期
【基金项目】
：
衡阳市2011年科学与技术发展计划基金资助项目(2011KJ14);衡阳市科技局基金资助项目(2011KG61)
其他文献
负载型固体超强酸是近年来发展的一种新型催化材料 ,对许多化学反应有较好的催化活性、选择性及重复使用性能 ,并可催化许多均相反应难以进行的各种化学反应。综述了国内外此
<正>据国家邮政局《2018上半年邮政行业经济运行情况通报》显示,国内快递业务收入占全行业业务收入的比重已经上升到73.4%,民营快递企业业务量、收份额分别达到92.2%和85.9%
建立了一种新的考虑径向间隙与动态齿侧间隙耦合的齿轮转子系统动力学模型,分析了径向间隙与齿侧间隙的耦合关系及其对系统动力学特性的影响。在系统动力学模型中,建立了考虑
<正> 第一节农业生产活动【概念释义】▲农业生产的特点农业生产的地域性特点是从两个角度理解的,一是农作物本身的生态喜性(例如,冬小麦喜温凉,水稻喜高温多雨);二是农作物
中国的基础研究与科技创新正在经历从跟跑到领跑的历史性转身阶段。虽然中国基础研究取得了长足发展,但与主要发达国家相比,整体实力仍有差距,主要表现在两个方面:一是具有国
随着金融市场的不断完善,越多越多的非金融企业从事金融投资活动,企业实业投资和金融投资之间存在着微妙的关系,一方面两者相互促进,实业投资的发展可以更好地为金融投资提供
医疗体制改革步伐在新形势下不断加快,激烈的市场竞争促使医院联合抱团发展,医院财务管理出现新的问题面临新的挑战。在多个核算单元并存的情况下,医院需要了解财务管理现状
<正> 圆锥曲线综合题种类较多,其中一类是与过焦点的弦长有关的问题,由于此类题的解法多、入口宽、涉及知识面广。对应用所学知识,开拓解题思路,提高解题能力有很强的训练作
林业资源作为建设林业工程的重要条件,对于我国林业的可持续发展有着非常重要的意义。近年来,随着我国对生态环境保护工作重视程度的进一步加深,营林造林的数量得到了大幅度