-
题名一种基于活性顺序图的运行时验证研究
被引量：1
- 1
-
-
作者
叶俊民
张坤
叶竹君
陈盼
陈曙
-
机构
华中师范大学计算机学院
华中师范大学国家物理学人才培养基地
-
出处
《计算机科学》
CSCD
北大核心
2016年第8期137-141,164,共6页
-
基金
国家科技支撑计划项目(2015BAK33B00)
中央高校基本科研业务费专项资金科研项目(CCNU15GF003)
教育部人文社会科学研究规划基金(15YJA880095)资助
-
文摘
运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。
-
关键词
活性顺序图
线性时序逻辑
重写逻辑
运行时验证
-
Keywords
Live sequence chart, Linear temporal logic,Rewriting logic, Runtime verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名办好理科基地,为建设创新型国家培养优秀的后备人才
- 2
-
-
作者
无
-
机构
北京师范大学国家物理学基础科学人才培养基地
北京
-
出处
《大学物理》
北大核心
2006年第12期55-59,共5页
-
基金
感谢 教育部和国家自然科学基金委对我们的支持!
-
文摘
北京师范大学国家物理学基础科学人才培养基地在建设过程中,坚持贯彻“以学生为本,加强基础,拓宽口径,强化创新意识和能力的培养,促进知识、能力和素质协调发展”的教育理念,改革和完善了课程体系,充实和更新了教学内容,加强了课程建设和教材建设的力度,改善了教学软硬件条件,师资队伍完成了新老交替,并始终保持在较高的水平上.基地建设10年来,人才培养质量逐年提高.
-
关键词
理科基地
课程体系
教学改革
课程建设
教材建设
-
分类号
F407.63
[经济管理—产业经济]
-
