论文部分内容阅读
基于公式学习的循环不变式的推导
【机 构】
：
中国科学院大学
【出 处】
：
中国科学院大学
【发表日期】
：
2014年期
其他文献
随着Internet网络的普及,WWW上的信息量不断增长,为用户提供了一个极具价值的信息源.但由于Web信息具有大容量、异构性、分布性和动态性等特点,因此单纯依靠用户自己手工查找
该文的主要工作是分析MCORE体系结构,并在此基础上设计和实现了MCORE的模拟器.在MCORE的结构分析中,从外部的接口信号、接口操作协议开始,重点分析了MCORE流水线及内部的数据
多Agent系统是计算机学科的前沿课题,该文针对多Agent系统研究中存在的问题,从Agent的并发BDI-Agent思维状态模型、Agent语言及其操作语义.Agent组织及其形成过程等方面进行
该文介绍了中国邮政电子汇兑系统应用软件的测试案例,对该系统（系统结构、软件结构和安全管理）、测试方法和测试方案作了介绍和阐述.具体内容如下：第一章首先介绍了系统结构,包
该文研究了基于视觉的中国手语识别两个方面的内容：手指语识别和孤立手势词识别.由于视觉手语识别在特征表示和特征提取方面比较困难,该文设计了几种应用颜色重心距离作为主要
该文提出了基于面向对象的农业CIMS信息模型.该模型采用自顶向下的功能分解和自底向上的信息集成的建模方法.该文分析了该信息模型的建模准则及组成部分和信息模型的建模方法
该文首先分析了各种传统图像分割算法,尤其是各种边缘提取算法,接着讨论了各种算法应用于舌像分割的优缺点,重点分析了Kass等人提出的称为Snake的主动轮廓线法,并将其应用于
该文中将详细阐述现阶段远程教育系统中存在的问题,并为解决问题走出了探索的一步.该文在前言部分简要的描述了教育系统架构及BDML(BeiDa Markup Language)语言设计的必要