【摘 要】
：
在现代科学技术的推动下,配电自动化领域有了突飞猛进的发展。虽然取得了不少的研究成果,但是仍然存在着诸多问题。目前的配电自动化系统无法进行严格的检查,其代码的正确性
论文部分内容阅读
在现代科学技术的推动下,配电自动化领域有了突飞猛进的发展。虽然取得了不少的研究成果,但是仍然存在着诸多问题。目前的配电自动化系统无法进行严格的检查,其代码的正确性只能依靠测试,但经过测试后并不能说明软件中不存在错误。形式化方法可以有效地解决这类问题。B方法是形式化方法的一种,它是建立在严格数学基础之上的软件开发方法,提供了一个统一的数学框架,通过一系列证明义务,来证明系统构造的正确性,进而保证实现的系统具有高安全性、可靠性。鉴于以上情况,本文主要做了以下工作:1.介绍B方法的研究现状并对B方法的相关理论做了较为深入的学习,主要包括B方法的数学知识、开发软件的各个阶段、证明技术、以及对B工具的比较分析等。2.结合配电自动化系统的特点,设计了系统模型,并进行了模型的抽取。用B方法构建了实数抽象机、复数抽象机、节点抽象机、电流监控器及系统控制器,同时部分抽象机进行了精化和实现。由于馈线远方终端FTU不确定性,在此引入了PB(Probabilistic B)。3.以REAL _TYPE、CONTROLLER抽象机为例,进行了正确性证明,得到了实验结果,并指出了在下一步的研究中需要完善的问题。
其他文献
智能手机已成为当前手机通讯终端的主流产品,对智能手机软件平台的研究,也是嵌入式领域的研究热点。而在高校实验计算机和通信相关专业课程实验教学中,传统的教学方式已经被
<正>成本性态是管理会计中的一个概念,主要指在一定条件下成本总额与特定业务量之间的依存关系。按照成本性态可以将企业的全部成本分为固定成本和变动
目的分析病历书写缺陷,找出对策,从而提高病历书写质量。方法依据《广东省病历书写规范》制定的评分标准,随机抽取运行和归档病案进行评分评级和缺陷检查,并对缺陷进行统计。
对食盐加碘与人体健康的关系进行了详尽介绍,具体内容包括食盐加碘的概况,加碘盐的成分、浓度标准、工艺流程、检测方法,碘在人体内的分布及代谢,食盐加碘对人体健康的影响四
通俗图书馆不同于普通图书馆,其"通俗"定位,在于其肩负普及常识,开启民智,教育民众的职责。其在阅读推广活动中的基本特征包括,以教育平民为宗旨的指导思想,以平民为核心的服
护理计划的实施是护士为帮助患者实现健康目标而采取的行动.怎样以人为本,给患者提供安全、舒适、可信赖的服务,提升护理计划在实施过程中的工作效应,是提高临床护理质量的重
<正> 目前,在城乡储蓄中“公款私存”的现象十分严重。“公款私存”即化公为私,套取国家利息,逃避银行货币管理,是侵犯社会主义公共财产、破坏社会主义金融秩序的行为。这种
随着计算机技术和计算流体力学(CFD)的发展,利用CFD来研究燃烧器内部湍流,化学反应等复杂流动现象,为设计定型提供了有力的参考依据,尤其在燃烧器技术方案论证及优化设计中起
一直以来,政治思想工作在我国社会建设和经济发展中占据着重要的位置。政工师是指在国有企业、私营企业、乡镇企业等从事党建和思想政治工作的人员,他们在塑造企业灵魂,团结
本文以《羊城体育》这份专业报纸为例,来检视处于市场追随性地位或细分性市场上的中小型报纸不断寻求突破,实现差异化生存的策略。