元数学对计算机科学的启示

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:chinatobacco666
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  摘 要 文章提出了元数学对计算机科学的几点启示,这几个方面分别是传统程序设计的概念、机制、要素,数据库技术中的数据模型和函数依赖,面向对象分析和设计方法。文中一方面分析了元数学所提供的理论基础,另一方面说明了在应用方面是如何体现这些理论基础的,并提出了在计算机技术领域中应从数学基础问题、数理逻辑等的相关理论着手寻找突破的思想。
  关键词 函数 递归 原始递归函数 原始递归模式 原始递归描述 形式系统
  文章编号1002—8331—(2003)02—0094—02 文献标识码A 中图分类号TP51.32
其他文献
摘 要 该丈介绍了一个非监督、多级嘴唇区域分割检测方法。首先提出利用hsher变换增强嘴唇区域,然后利用嘴唇在人脸区域的分布面积比,提出利用统计阈值完成嘴唇的初步分割,最后利用嘴唇对称性和轮廓光滑性的先验知识,提出了基于局部阈值调整完成嘴唇的精细分割。实验证明该方法在不同光照条件下、对不同人、各种表情都能自动地、鲁棒地、精确地检测出嘴唇区域,并较准确提取初步的嘴唇几何参数。利用这些几何参数作为
期刊
摘 要 在二维CIS系统中经常需要对图层中的多边形进行叠置分析,为了有效地分析不同系统提供的多边形图层数据,论文研究了地理信息系统中表示多边形图层的两种数据结构——简单数据结构和拓扑数据结构,以及分别适用于这两种情况的多边形叠置算法。拓扑数据结构下的算法现在已经很成熟,论文重点介绍简单数据结构情况下的算法。  关键词 CIS 多边形 叠置分析 线段相交  文章编号1002—8331—(
期刊
摘 要 在矩阵压缩存贮中引入0—l属性矩阵的概念,并在0—1矩阵的基础上给出了利用一维动态数组以及二维动态数组和一维动态数组混合存贮稀疏矩阵的寻址公式,该存贮方法为快速有效的存贮方法,节约了内存空间。  关键词 稀疏矩阵 0—1属性矩阵 压缩存贮  文章编号1002—8331—(2003)02—0082—02 文献标识码A 中图分类号TP301.6
期刊
摘 要 文章描述了一种从熟语料中自动获取文本切分知识的机器学习的方法。该方法从已切分标女b‘^&64十自动获取错误的文本切分形式及其相应的上下丈信息,以及正确的切分形式,形成知识库,并将获取的知d再应m到㈤语料的加工过程,从而进一步提高机器切分的正确率;同时,采用滚动式的方法,建造具有较高加I质量的女Ⅲ模6料库。  关键词 分词 知识获取 语料库 质量保证  文章编号1002—8331
期刊
摘 要 提出一种新的文本保密算法,将秘密的文本信息经处理后隐藏在一幅可公开传送的普通彩色图像中,不易引起拦截者的注意。该算法将秘密信息藏到彩色图像各色彩分量的小波变换域,充分利用了图像资源,因此信息隐藏量优于同类的掩密软件,且具有良好的视觉效果。提取信息时不需要参考原图。仿真实验表明:该算法对噪声干扰及常见的图像处理技术具有较好的鲁棒性。  关键词 隐蔽通信 掩密术 小波变换 视觉遮蔽
期刊
摘 要 机群作业管理系统是机群系统的重要组成部分,而作业调度策略又是机群作业管理系统的核心内容。作业调度策略的选择不仅关系到机群系统的利用率,还决定用户作业的响应速度和平均执行时间。在节点分配基于空间共享策略(Space-Sharing)的机群系统中,传统的基于先来先服务的nmt-F讧调度策略虽然能够提高机群系统的利用率,却容易引起饥饿问题。文章基于传统的先来先服务的调度策略,提出了一种简化的
期刊
摘 要 文章对图像压缩技术的发展的前沿状况作了简要的论述,特别就目前国际上正在研究的压缩思想和方法作了介绍,并对图像和视频压缩的热点问题作了初步的探讨。  关键词 图像压缩 编码 音视频对象 多媒体内容描述接口 多媒体框架  文章编号1002—8331—(2003)02—0065—03 文献标识码A 中图分类号TN911
期刊
摘 要 论文介绍在网上任何终端对所有文档实现电子签名,并能保证签名的唯一性,文档的完整性,内容的安全性。同时对人的手写签名生物特征作为身份认证和文档加密的有效性和不可否认性进行研究并具体实现。  关键词 电子签名 身份认证 加密 不可否认  文章编号1002—8331—(2003)02—0068—02 文献标识码A 中图分类号TP309
期刊
摘 要 基于梯度的方法是光流计算中很重要的一类方法,而梯度的计算对整个算法的性能有着重要的影响。文章考察了几种常用梯度算子对光流计算的影响,并给出了理论分析。实验结果证明理论分析是正确的。  关键词 光流 梯度 梯度算子  文章编号1002-8331-(2003)02-0075-02 文献标识码A 中图分类号TP391
期刊
摘 要 文章介绍了一种可配置且具有开放性的中间件结构模型。该结构模型是一种独立于语言且具有反身映射性的结构模型,它包含有:元空间(每一对象具有一个元空间)、元模型(用元模型去构建元空间)、对象图(用对象图表示组合组件)。通过使用构造元空间的组件框架来实现该结构模型,并将该结构模型运用于目前的DCOM/COM+,对Micros。n的分布式组件技术进行了扩展,使之具有可配置性、开放性、反身映射性,
期刊