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