一种AADL故障模型到动态故障树的转换方法

在基于模型驱动的嵌入式软件开发中,需要使用工程技术和工具保证其安全性和可靠性。在设计阶段确定系统的可靠性是非常重要的,因其可为设计决策提供重要信息,以减少系统的开发成本。应用AADL建立嵌入式系统模型时,存在着AADL对时序故障描述不足的问题。为解决该问题,将AADL的故障附件进行扩展,使其能够完善地描述时序故障,并提出了扩展的AADL故障模型到动态故障树的转换规则及方法。从扩展的AADL故障模型到动态故障树的转换过程共分为三步:将AADL模型中的组件转换为单个动态故障树;以组件为基本元素建立数据或事件的故障转移图;根据故障转移图和组件的动态故障树建立动态故障树。通过导弹发射系统实例证明了该转化规则及方法的可行性和实用性。

一种基于动态故障树的SBDD方法

在分析基于Pandora的动态故障树时,SBDD方法未考虑各底事件间复杂的关系,造成生成的SBDD中存在无效分支,即计算的不交化割集中存在无效割集。针对该问题,提出了一种基于动态故障树的SBDD方法,可以动态删除无效节点,避免无效分支的产生。该方法主要包括两个方面:基于结构式排序方法的关系式排序方法和动态优化SBDD生成算法。关系式排序方法的基本思想是利用故障树的结构关系和底事件间的关系给底事件赋予不同的排序优先级。在底事件排序队列的基础上,使用动态优化SBDD生成算法来生成SBDD。在计算过程中,该算法动态删除无效的节点,使结果中不存在无效割集。实验结果表明,在相近的时间内,使用基于动态故障树的SBDD方法生成的SBDD规模更小,不交化割集数目更少且不存在无效割集。

游戏教学法在小学信息技术教学中的应用

在信息技术应用越来越广泛的背景下,我国在积极开展小学信息技术教学的过程中,应注重对学生兴趣爱好的培养,引导学生提升对信息技术的学习兴趣,并自主展开对知识的探索,从而提升学习效率。游戏教学法的有效应用,符合我国新课程改革和人才全面培养的目标。因此,针对小学信息技术教学的现状,提出了游戏教学法在小学信息技术教学中的应用途径。

小学信息技术教育的有效评价策略

小学信息技术教育,对于学生的评价方式十分多样,但也存在不足.不少老师在课程结束后,只是让学生快速完成课后的评价表;有的评价之后并没有进行反馈,在促进学生获取知识、追求进步方面没有发挥应有的效果.因此,建立有效评价方式,对于促进小学信息技术学科发展尤为重要.一、建立有效评价的方式 想要将既有效又便捷的评价方式运用到小学信息技术的教育中，我们可以从通过以下几种方式进行。

抓管理促规范 发挥职能作用——运城市政府采购中心综合科工作纪实

运城市政府采购中心在2004年10月按照《政府采购法》的要求，实现采管彻底分离。中心下设综合科、计划财务科和三个采购科室。综合科的主要职能有：中心文秘、人事、档案、局域网络管理；供应商资质审核并建立供应商库和专家库；后勤保障、发布采购信息；接受供应商的投诉；监督工作人员搞好采购服务。2005年综合科按照“抓管理、促规范”的工作方针，加强制度建设，规范工作程序，强化监督管理，进一步夯实各项基础工作，推动了中心采购工作的规范发展。