基于扩展Petri网的安全关键软件需求模型检验 被引量：4

1

作者 李震 刘斌 +1 位作者 殷永峰 李晓勋 《沈阳工业大学学报》 EI CAS 2011年第1期113-120,共8页

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同... Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性. 展开更多

关键词 武器系统 安全关键软件 软件可靠性 软件安全性 软件工程 PETRI网 模型检验 形式化验证

下载PDF 职称材料

基于改进Petri网的可信软件模型验证和测试研究

2

作者 李震 刘斌 +1 位作者 殷永峰 李晓勋 《计算机研究与发展》 EI CSCD 北大核心 2010年第S1期273-279,共7页

软件被广泛应用到安全关键领域,这对软件可信性的验证和测试提出了严苛的要求.形式化方法以其严格的数学基础保证软件系统的正确构建.Petri网利用库所和变迁支持异步、并发、分布式系统建模,但是缺少对库所和变迁类型的描述,不能满足软... 软件被广泛应用到安全关键领域,这对软件可信性的验证和测试提出了严苛的要求.形式化方法以其严格的数学基础保证软件系统的正确构建.Petri网利用库所和变迁支持异步、并发、分布式系统建模,但是缺少对库所和变迁类型的描述,不能满足软件系统复杂的具体行为特征.模型检验工具具有自动化验证和反例生成功能,但是调试和建模能力不够.文章扩展Petri网以更好的支持软件系统的行为建模和分析,建立模型和验证工具的自动化转化机制,对软件系统进行模型检验,利用反例功能获得失效场景路径,指导测试用例生成,最后给出了定时器示例和机载发动机软件的典型实例应用. 展开更多

关键词 可信软件 PETRI网 验证 软件测试 模型检验

下载PDF 职称材料

语篇衔接在大学英语阅读中的重要性

3

作者 李晓勋 《作家》 北大核心 2007年第12期157-158,共2页

本文通过分析目前英语阅读教学中存在的问题,即很大程度上把重点放到词汇和句子的分析上,而忽视了文章内部的联系,因此笔者提出了语篇衔接的方法,旨在提高学生英语的阅读能力。

关键词 衔接 语法衔接 词汇衔接 语境

原文传递

文明创建上台阶 人防发展结硕果——湖南省人民防空办公室文明创建纪实

4

作者 何绍芳 李晓勋 《中国人民防空》 2016年第9期33-35,共3页

近年来，湖南省人防办坚持以创新、协调、绿色、开放、共享“五大发展理念”统领人防建设，满怀激情干事、攻坚克难创业、主动作为履责．有效推动了湖南人防事业发展的科学跨越。省委书记徐守蛊曾这样评价湖南人防系统：“全省人防系统... 近年来，湖南省人防办坚持以创新、协调、绿色、开放、共享“五大发展理念”统领人防建设，满怀激情干事、攻坚克难创业、主动作为履责．有效推动了湖南人防事业发展的科学跨越。省委书记徐守蛊曾这样评价湖南人防系统：“全省人防系统为国防建设和经济社会发展做出了积极贡献，人防整体抗御能力、快速反应能力、应急救援能力和自我发展能力不断增强，人防队伍成为我省经济社会建设的一支重要力量。” 展开更多

关键词 人民防空办公室 湖南省 人防办 快速反应能力 文明 经济社会发展 台阶 纪实

原文传递

如何从枯燥的英语课堂中走出来

5

作者 李晓勋 《渭南师范学院学报》 2004年第S2期76-77,共2页

通过学习母语和第二外语之间的比较 ,让语言教师掌握一些方法 ,激发学生的学习兴趣 ,走出语言学习的困境。

关键词 积极主动 小组合作 语言氛围

下载PDF 职称材料

创造语言环境 提高学生的听说能力

6

作者 李晓勋 《渭南师范学院学报》 2002年第S1期54-60,共2页

为了提高学生的英语听说能力 ,创造语言环境是很重要的一面。具体是 :让学生主动地给自己营造一种英语环境 ;

关键词 语言环境 积极听说 营造

下载PDF 职称材料

湖南省人防办举办宣传教育骨干培训班

7

作者 谭小红 李晓勋 《中国人民防空》 2017年第6期I0002-I0002,共1页

4月26日至27日，湖南省人防办在常德市举办了全省人防宣传教育骨干培训班。湖南省人防办主任卜功富出席培训班并讲话。

关键词 宣传教育 人防办 培训班 湖南省 骨干 常德市

原文传递

湖南省人民防空会议在长沙召开

8

作者 杨绍国 王波 +1 位作者 李晓勋 张朝华 《中国人民防空》 2017年第2期F0002-F0002,共1页

2016年12月30日上午，湖南省人民防空会议在长沙召开。会议主题是贯彻落实第七次全国人民防空会议精神及《中共湖南省委湖南省人民政府湖南省军区关于深入推进人民防空改革发展的实施意见》．总结“十二五”期间人防工作，表彰先进单位... 2016年12月30日上午，湖南省人民防空会议在长沙召开。会议主题是贯彻落实第七次全国人民防空会议精神及《中共湖南省委湖南省人民政府湖南省军区关于深入推进人民防空改革发展的实施意见》．总结“十二五”期间人防工作，表彰先进单位和先进个人，安排部署“十三五”全省人防工作。会前．省委书记、省军区党委第一书记杜家毫会见了受表彰的人民防空先进集体和先进个人代表．省委副书记、省长许达哲出席会议并讲话。省政协主席李微微参加会见。 展开更多

关键词 湖南省军区 人民防空 长沙 省委书记 人防工作 先进个人 “十二五” 省委副书记

原文传递

“东北抗联”英模部队方队

9

作者 朱建辉 李晓勋 《环球军事》 2015年第18期21-21,共1页

[回顾英雄事迹]东北抗日联军孤悬敌后，在极其残酷的斗争环境中、在敌我力量对比悬殊的情况下，与优势装备之敌浴血奋战、周旋苦斗，进行了长达14年不屈不挠的斗争，开辟了全国最早、坚持时间最长的抗日战场。独立坚持游击战争14年之久... [回顾英雄事迹]东北抗日联军孤悬敌后，在极其残酷的斗争环境中、在敌我力量对比悬殊的情况下，与优势装备之敌浴血奋战、周旋苦斗，进行了长达14年不屈不挠的斗争，开辟了全国最早、坚持时间最长的抗日战场。独立坚持游击战争14年之久，牵制数十万目军，消灭日本关东军18万。据统计，东北抗联14年总共出击20余万次，是中国共产党创建最早、坚持抗日时间最长、条件最为艰苦的一支人民抗日军队。 展开更多

关键词 东北抗联 东北抗日联军 部队 英模 日本关东军 中国共产党 英雄事迹 力量对比

原文传递

湖南省召开市州暨省直管县人防办主任座谈会

10

作者 王波 李晓勋 封蕾 《中国人民防空》 2017年第3期I0004-I0004,共1页

2017年2月28日，湖南省市州暨省直管县人防办主任座谈会在长沙召开。会议总结了2016年工作，研究部署了2017年任务。省人防办党组书记、主任卜功富主持会议并讲话．省军区副参谋长兼省人防办副主任胡代松出席会议并讲话，省人防办党组... 2017年2月28日，湖南省市州暨省直管县人防办主任座谈会在长沙召开。会议总结了2016年工作，研究部署了2017年任务。省人防办党组书记、主任卜功富主持会议并讲话．省军区副参谋长兼省人防办副主任胡代松出席会议并讲话，省人防办党组成员、副主任舒平对2016年度全省人防绩效工作进行了讲评．省人防办党组成员、副主任谢晓清宣读了绩效评估表彰通报。 展开更多

关键词 主任座谈会 省直管县 人防办 湖南省 绩效评估 副主任 会议总结 党组书记

原文传递

湖南省人防工作会议在长沙市召开

11

作者 徐宏强 李晓勋 《中国人民防空》 2018年第6期I0004-I0004,共1页

2018年4月16日，湖南省人防办在长沙市召开全省人防工作会议，总结2017年人防工作、部署推进2018年人防工作任务。湖南省副省长陈文浩、湖南省军区副司令员郭辑山出席会议并讲话，省人防办党组书记、主任王志刚报告了工作情况。会议指出... 2018年4月16日，湖南省人防办在长沙市召开全省人防工作会议，总结2017年人防工作、部署推进2018年人防工作任务。湖南省副省长陈文浩、湖南省军区副司令员郭辑山出席会议并讲话，省人防办党组书记、主任王志刚报告了工作情况。会议指出，2017年全省各级人防部门认真贯彻落实党的十九大、第七次全国人防会议和省第十一次党代会精神，切实提高政治站位. 展开更多

关键词 湖南省军区 人防工作 长沙市 党组书记 人防办 副省长 司令员 王志刚

原文传递