论文部分内容阅读
可计算性理论产生于对算法概念的数学研究，主要研究目标是可计算性对象的计算复杂性和不可计算对象的数学结构。本文研究了计算可枚举图灵度中的嵌入扩充的一个问题，证明了对任意的计算可枚举度x≮y，若或者y是低度，或者x是高度，那么存在一个计算可枚举度a使得O
其他文献
自从P2P技术出现以来,文件共享一直是其中应用最广泛、使用人数最多一个领域。在当前大量基于文件共享的P2P应用中,Bit Torrent以其在文件共享方面的高效性,成为了主流的资源
进给伺服系统是数控机床系统中一个重要的组成部分，它性能的高低很大程度上决定了数控机床系统的稳定性、快速性和精确性。只有数控机床系统具备了较高的进给跟踪精度以及定位
随着计算机技术、图像处理技术的迅速发展，外科诊断与治疗的手段正在发生着很大的变化。近年来出现的计算机辅助手术系统，仿真手术系统等就是信息科学迅速发展并应用于医学领域
根据六度分隔理论创立的面向社会性网络的互联网服务——社会性网络服务(Social Networking Services)正随着互联网的蓬勃发展而方兴未艾,同时,移动通信技术的快速发展,使得
对等网络是一种有别于传统C/S模式的网络连接新技术，由于在协同工作、分布式共享资源、大规模并行计算和高可扩展性等方面显示出独特优势，近年来获得了极大的发展。然而对等网
在工业生产信息化的过程中对于数据处理存在实时性和分布性两种需求。这就要求数据库既能在保证数据一致性的前提下处理大量具有时限的事务，又能适应设备分散的现状实现资源共
Web服务技术作为面向服务计算范型的主要实现技术，有效提高了异构环境下分布式应用的开发效率，降低了其开发成本。服务发现与选择作为Web服务技术体系中的关键技术，提高了软件复
模型驱动体系架构(MDA)和构件开发技术(CBD)都是有效提高软件复用的开发模式,但由于平台的异构性和易变性,使得构件开发在构件集成、组装及互操作方面困难重重,而MDA正是解决
卫星网络仿真是对卫星网络进行优化设计、性能分析、效能评估的有效途径。本文针对卫星网络的建模与仿真开展了如下工作：
围绕卫星网络的建模问题，本文在分析卫星网络组成
随着信息社会各个领域的发展，数据的采集和存储变得越来越重要。传统的数据库技术由于缺乏对时序关系的支持，不能有效地管理与时间相关的数据。时态关系模型的提出拓展了传统的