Hoare公理系统的非完备性

来源 :全国软件理论与计算理论第三次学术会 | 被引量 : 0次 | 上传用户:starfox_vip
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
日前,中国民航总局在广州召开’99民航数字表/三表计量检定员培训研讨会。民航总局规划科教体改司科教处潘延铭处长介绍了民航系统计量工作现状和发展规划,中国计量科学院冯
该文首先简要说明了软件可靠性的发展历史及其重要性。而后阐明了计算机系统发生软件故障的原因是由于软件内隐藏着固有的错误,并对软件可靠性的定义和可靠度增长模型做了说明
该文从以下几个方面论述了拉丝炉微机控温系统的软件结构:拉丝炉微机控温系统程序设计的基本思想和框图:系统采用热电偶做为测量元件,将热电偶输出的毫伏信号经通道转换后送给由
会议
会议
该文对Jelinski-Moranda可靠性增长模型的参数解牧场生进行了分析。通过分析得在J-M模型的参数估计方程存在多个解,且只有在一定条件下才有合理解。该文最后还给出了参数解估计的有效数值算法。