变电站仿真系统中的智能评价系统设计

文中针对目前计算机自动评分功能的现状,对变电站仿真系统的几种评判方案的可行性进行了分析,提出一种人机结合的变电站仿真智能评价方法。该方法通过设置串行规则、并行规则、主干规则和细化规则来实现对学员操作的复杂性、顺序不一致性等做出准确的判断,从而灵活地完成诸如变电站正常和事故巡视、倒闸操作等培训任务,给予学员全面、客观的操作评价,进一步提高了评判的客观性。该系统的构建有效地提高了变电站仿真培训的效果。     

复杂内核数据结构程序形式化验证

操作系统内核作为软件系统的基础组件, 其安全可靠是构造高可信软件系统的重要环节, 但是, 在实际的验证工作中, 操作系统内核中全局性质的不变式定义, 复杂数据结构程序的形式化描述和验证仍存在很多困难. 本文针对操作系统内核中满足的全局性质, 在代码层以函数为单位, 用全局不变式进行定义, 并在不同的函数中进行形式化验证, 从而证明各个函数符合操作系统内核的全局性质; 针对操作系统内核中经常使用的复杂数据结构程序, 本文通过扩展形状图理论, 提出一种使用嵌套形状图逻辑的方法来形式化描述复杂数据结构程序, 并对该方法进行了正确性证明, 最终成功验证操作系统内核中关于任务创建与调度, 消息队列创建与操作相关的代码.