首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   6篇
  免费   0篇
水利工程   2篇
无线电   1篇
冶金工业   1篇
自动化技术   2篇
  2023年   2篇
  2013年   1篇
  2011年   2篇
  1994年   1篇
排序方式: 共有6条查询结果,搜索用时 15 毫秒
1
1.
利用形状图逻辑和形状系统来解决指针程序的分析和验证中的困难。该方法要求程序员声明各种递归结构体类型参与构建的数据结构的形状,并声明指针变量所指向的形状,以便程序分析工具能建立各程序点的形状图,并以此来支持程序验证。探讨了在指针相等关系静态可确定的情况下,避免在Hoare逻辑上做复杂扩展的指针程序验证方法。
Abstract:
Analysis and verification of programs dealing with pointers are still difficult problems so far. This paper uses a shape graph logic and a shape system to solve these problems. Using our method, programmers must declare the shapes that the recursive data  相似文献   
2.
在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点.文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑.然后在此基础之上,设计了一种基于形状图逻辑的形状分析方法,并提出了一种基于形状图逻辑的循环不变形状图的推断方法.  相似文献   
3.
在白云矿的开发和利用过程中产生大量含钍粉尘,为深入了解作业职工因吸入含钍粉尘而产生内照射危害,为改善作业条件和保护职工健康提供准确可靠的科学依据,从而对作业职工含钍粉尘暴露量进行了调查研究.结果表明本次调研测定的337人次中,有126人次的钍暴露量低于放射卫生防护标准GB4792~84中的放射工作人员暴露量限值的1/10.有211人次的钍暴露量高于10Bg/a,占总人数的64.66%.  相似文献   
4.
形式验证是提高软件可信程度的重要方法,基于逻辑推理对程序性质进行严格的自动证明是当前的研究热点,但尚无可供工业界使用的产品,其根源在于自动定理证明方面的困难.介绍在通过程序分析建立起各程序点的形状图的基础上,如何利用形状图提供的信息来支持程序验证的方法.提出一种利用形状图信息来消除访问路径别名,使得指针程序中非指针部分的性质仍然可以用Hoare逻辑来进行验证的方法,并证明了该方法的可靠性.还提出一种在不使用自定义谓词的情况下,易变数据结构上数据性质的描述和验证方法.另外,介绍所设计并实现的基于上述方法的PointerC语言的程序验证器的原型.它不仅能自动验证操作易变数据结构程序的性质,也能自动验证使用一维数组的程序的性质.  相似文献   
5.
本文结合某大型水电站倒闸操作,停电过程中出现的主变高压侧T区谐振实际案例进行分析,并对出现该铁磁谐振现象的原理及预控措施做出总结,为保障电站及电网的稳定运行积累经验,方便电力生产一线的运行检修维护和事故应急处置,为高压系统PT铁磁谐振故障处理提供一定参考。  相似文献   
6.
某水电站进水口闸门充水阀无法采取局开运行前提下,通过对压力管道上平段、竖井段、下平段及尾水管排充水进行研究分析,取消压力管道排充水稳压过程并分段制定排充水管控策略。经机组检修期试验验证,该管控策略在保证电站安全,避免水位下降或上升速率过快引起结构破坏情况下,缩短了压力管道排充水时间,并为水轮机组检修提供了有效保障。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号