基于COOZ的精化演算支撑工具的设计与实现

来源 :南京大学 | 被引量 : 0次 | 上传用户:wxtncxmmm
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
精化过程可表示为分层结构.精化过程中产生大量要证明的定理.证明也可看成分层结构.窗口推理规范利用了证明的分层结构并能适用于程序精化中,该文着重分析了窗口推理系统,精化和证明的结构和表示,讨论了将两者结合的优点以及如何实现的问题.
其他文献
该文介绍了我们设计的三摄像头移动机器人视觉系统,该文研究了平面标定点对摄像机参数的约束,设计实现了基于平面特征点的摄像机标定方法.该方法将摄像机内外参数的标定分离,
超光谱图像是由遥感卫星或飞机携带的超光谱遥感成像仪生成的一组序列图像数据。由于这种数据既包含了目标在空间上的形态信息,又包含了目标的光谱,为分析地面目标性质提供了强
随着无线网络的不断发展,实时流媒体技术将成为其下一代的主要业务。无线通信网络具有有限的带宽资源、动态变化的信道特性、高误码率等特性,这就对在保证多媒体业务服务质量(Q
电子商务的出现已经改变了而且仍然还在改变着企业的商务活动.传统的企业-企业电子商务基于点对点的模型,而且使用自定义的消息格式,极大地限制了电子商务的可扩展性.XML的出
该文对基于离散点的真实感绘制方法进行了研究.该文针对在点光源照射下场景真实感图形的生成作了比较深入的探讨和研究,并以双三次参数曲面和球面为例生在敢一些真实感图形.
该文研究的目标是把关联规则技术应用于商业POS系统,开发一个能适用于智能化POS系统的数据采掘工具,为商家决策提供支持.完成了发现商品间的关联、发现影响商品销售因素这两
Diffserv是近几年兴起的一种用于在IP网络内部提供多种不同服务质量的策略.与集成服务结构和资源预留协议不同的是它服务的对象不是单个的流而是聚集流,路径上的节点不需要维
防火墙是种防范网络攻击的最常用的方法,通常能够在Internet和Intranet中间提供安全的网络防护,但仅仅使用防火墙保护网络安全还远远不够.该文介绍了一种强有力的网络安全防
为了提高软件开发的效率,增强软件系统的可靠性,减少软件维护的负担,人们把工业界的标准零部件生产方法扩展到软件开发上,形成了组件技术.现在这种技术已成为软件界的新趋势.
该文在一个石化销售管理系统的基础上设计了一个面向数据分析处理的数据仓库应用系统,并引入Web的多层客户机/服务器结构,使系统具有更好的伸缩性和适用性.该文首先介绍了数