【摘 要】
：
文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的.
论文部分内容阅读
文中分析了描述逻辑循环术语集的研究现状和存在的问题,将近年来Baader F和Nebel B等人的工作扩展到新的方向.首先定义了描述逻辑的子系统vL,重新定义描述图G_T和G_J,使用互模拟的方法,给出了描述逻辑系统vL循环TBox非平凡的模型存在的、基于描述图的一个语法条件.证明:vL的包含推理算法是多项式时间复杂的.
其他文献
文中提出一种新的基于纹理块操作的纹理合成方法.对于每个纹理块,该方法根据样本纹理生成可与它进行拼接的纹理块邻接集合,并根据多步合成计算时纹理块之间的可拼接性(即匹配相容性)对邻接集合进行优化处理,即舍弃那些在多步操作后会引起匹配冲突的块.这样,合成计算时,可节省大量的关于邻接块之间的相似性度量计算,减少合成过程中的匹配冲突,由此提高纹理合成的效率.其合成质量,可与目前合成质量最好的纹理优化方法相媲
凸凹映射是仿真物体表面粗糙细节,使其在光照下具有三维显示效果的一种纹理映射技术,其中高度图描述了物体的粗糙质感.而现有高度图生成过程中,为了得到纹理图像像素高度值的正确描述,需要反复实验得到一些经验值,计算量比较复杂;且又过分地夸大纹理的凸凹表现.降低了绘制效果的真实感.为此,文中提出一种简便的描述图像凸凹细节信息的方法,引入"凸凹图"的概念,代替高度图用于凸凹映射.实验证明,"凸凹图"用于凸凹映
模拟生物免疫系统,提出了一种新的基于免疫的计算机病毒动态检测模型,建立了模型的定量描述,解决了计算机病毒免疫系统中自体、非自体的动态描述问题,有效地减少了自体集合的大小.提出了未成熟检测器动态耐受概念,同时通过基因进化和编码机制,提高了成熟检测器的生成效率,确保了模型较低的错误否定率和错误肯定率,有效地解决了传统计算机免疫系统检测器训练代价随自体数目呈指数增长这一难题.理论分析和实验结果显示该模型
虚拟人是人在计算机生成空间(虚拟环境)中的几何特性与行为特性的表示.虚拟人合成研究的内容主要包括逼真人体模型与逼真人体运动行为.文中介绍了人体建模方法、人体运动行为生成方法的发展过程,给出了基于实例的人体建模与人体运动行为建模的研究进展,以及这些研究成果的应用例子,最后列举了几个前沿研究问题.
真实物体的三维建模和编码压缩是虚拟现实研究的热点问题.针对三维扫描设备采集的物体表面深度图像数据,文中提出了一种两幅深度图像的自动配准方法,以及基于回路的自动全局配准算法,可以快速、自动地配准全部深度图像,构造出逼真的三维模型.三维模型数据量大,为满足网络条件下的应用需求,文中提出了一种三维网格模型压缩编/解码方法,可编码压缩几何、拓扑和属性数据,压缩比高,并且支持递进传输.研究成果已成功应用在数
根据概念相似信息,文中提出了一种新的文本相似度计算方法.新方法首先将文本转换为词向量空间模型,然后将词分解为概念集合,通过计算概念间的内积空间,得到词之间的相似度,最后根据词之间的相似度,计算文本相似性.文中的主要工作包括:1)提出了一种新的词相似度计算公式;2)提出了一种新的基于词相似度的文本相似计算方法;3)成功的将该方法应用到WEB新闻相似查询中;4)通过实验证明算法的有效性.
文中针对自重构机器人的重构问题提出了一种基于网络的分析方法.自重构模块机器人"AMOEBA-I"的9种不同构形组成了一个构形网络.机器人的每种构形被看成带有权值的有向构形网络中的一个节点.一种构形向另一种构形的转换可描述为一条非负值的有向路径.将图论应用于构形变化的分析,根据构形的拓扑信息相应定义了重构路径、可重构矩阵和路径矩阵.在此基础上,将图论中的算法应用于重构路径的计数和最佳重构路径的选择.
酉空时码特别适用于多天线差分调制的通信系统.本文基于两类适用于3天线系统的满分集的酉空时码给出了一个新的构造方案.由于新方案构造的酉空时码是满分集的,适用于天线数为奇素数的系统,而且与很多已知的码相比,具有更优的增益性能。
《中国科学》自创刊以来一直是我国自然科学领域的权威学术期刊,长期报道高水平的科研成果.《中国科学F辑:信息科学》是发表信息科学领域重大科学发现和重要创新研究成果的综合性刊物,所发表的论文被多个国际著名检索系统和数据库收录,在国内外享有很高的声誉.
近年来,基于身份的密码学受到了广泛的关注,基于身份的密码方案大量涌现,但是其中绝大部分的方案都是基于双线性配对实现的.因此,无需配对的基于身份的密码方案一直都是密码界感兴趣的研究方向.目前,在利用二次剩余的基础上构造身份签名方案仍然是个未解决的问题,文中将通过给出一个具体的方案来解决该问题.首先给出如何有效地计算一个二次剩余的2~l次根,然后由该技巧构造一个具体的基于身份的数字签名方案.在大整数分