摘要:粗糙集理论对知识进行了形式化定义,为知识处理提供了一套严密的分析工具,但在代数表示下,粗糙集理论的本质不易被理解,并且,尚无高效的知识约简算法.该文首先建立了知识与信息之间的关系;然后,在此基础上给出了粗糙集理论中概念与运算的信息表示;最后,证明了知识约简在信息和代数两种不同表示下是等价的.这些结论有助于人们深刻理解粗糙集理论的本质,同时,为寻找高效的知识约简算法奠定了基础.

摘要:介绍了一个并行计算的支撑环境PCSE（parallel computation supporting environment）.通过引入FORK与JOIN原语，使得无论是使用过程程序设计语言，还是使用逻辑程序设计语言编写的用户源程序都能在本系统上并行执行，从而为用户进行高速计算提供了一个很好的软件基础.目前，PCSE支持FORTRAN,C以及PROLOG应用程序的并行执行.

摘要:介绍了一个并行计算的支撑环境PCSE（parallel computation supporting environment）.通过引入FORK与JOIN原语，使得无论是使用过程程序设计语言，还是使用逻辑程序设计语言编写的用户源程序都能在本系统上并行执行，从而为用户进行高速计算提供了一个很好的软件基础.目前，PCSE支持FORTRAN,C以及PROLOG应用程序的并行执行.

摘要:全局光照模型计算通常将环境中的表面分解得足够细,以精确地捕捉由于物体间相互遮挡所引起的阴影效果及其他一些光照效果.因而,一个复杂场景经全局光照计算后,其模型复杂度远远超出了当今图形工作站的实时绘制能力.给出了一种辐射度全局光照网格模型的简化方法.算法首先根据辐射度计算的特点以及人眼的视觉特点,提出以辐射度最大相对变化值为准则,以面片合并法实现全局光照网格模型的第1步简化,将原辐射度全局光照网格模型简化为能量相对变化在用户定义误差范围内的一些超面区域.然后利用顶点删除法实现超面区域边界的简化,进一步加大原网格模型的简化程度.试验表明,这种算法不仅能有效地简化辐射度全局光照网格模型,而且能较好地保持原光照网格模型的特征.

摘要:在工程图纸计算机输入识别和理解系统中,圆和圆弧的识别转换是一个尚未彻底解决的难题.文章介绍了整体识别方法的主要概念和图段数据结构,在此基础上提出了圆的识别算法.算法首先将图段与圆的两类模式进行匹配,从而确定圆的种子图段;然后,通过对其他图段实施跟踪,最终获得圆和圆弧的图形表示.最后给出了实例,结果表明,该识别算法较好地解决了图纸识别中的一个关键问题,具有适应性强、高效可靠的特点.

摘要:实时环境下的问题求解是近年来规划问题研究感兴趣的话题.在讨论了实时规划算法同传统离线规划算法之间的不同之后,提出了一个实现实时规划的统一框架,同时具体阐述了框架中的各个模块.通过框架构造出的调度系统可以适应实际环境的需要,在规定时间内解决系统提出的要求,并能较好地解决不确定性.此外,在框架模型指导下构造了智能装配机器人实时调度系统,并给出了实验结果.最后,给出结论,并且简单地讨论了实时规划算法求解问题的策略以及今后的发展方向.

摘要:提出了一种用于服装设计的二维/三维映射算法.该算法基于弹簧质点变形模型,服装裁剪片二维到三维映射及三维到二维映射可以在该模型中得到统一的实现.在服装裁剪片二维到三维的映射过程中,二维裁剪片被放置在人体模型附近的初始位置,在缝合力的作用下,裁剪片自动变形并缝合到人体模型上.在服装裁剪片三维到二维映射的过程中,三维裁剪片被初始映射到指定的平面内,在弹性变形力的作用下,逐步变形并得到最终的二维裁剪片.在进行服装裁剪片二维到三维映射的过程中,考虑了干涉检验的问题.

摘要:提出了一种用于定量描述歧义结构分布特点的知识表示机制:结构优先关系SPR(structure preference relation),介绍了针对不同语料文本的两种SPR获取方法:树库语料的自动发现和原始文本的自动获取,并且通过不同的实验证明了这些方法的可行性和实用性.另外,还介绍了SPR的若干应用前景,并提出进一步的研究方向.

摘要:在实际的应用中,由于室外移动机器人面临着复杂的环境,道路中充满阴影、水迹等环境噪声.这些噪声严重地损害了以往的各种视觉导航算法的鲁棒性.提出了一种新的面向室外移动机器人导航的阴影消除算法.详述了使用模糊神经网在低分辨率图像上对阴影进行识别,利用遗传算法进行网络结构优化,最后消除原始图像中阴影的方法和过程.同时给出了利用该算法在THMRIII室外移动机器人上进行的实验结果.

摘要:在实时协同编辑系统中,操作意愿一致性维护是国际上提出的新概念,是协同系统一致性维护的重要方面.文档标注文法通过对共享文档进行恰当标注,屏蔽并发操作对共享文档造成的影响,使得操作在任意协作点上执行时的环境与操作产生的环境一致,从而有效地维护操作意愿一致性.结合实际应用中的具体操作,重点论述文档标注方法以及相应的控制算法.

摘要:介绍了用统计矢量斜率进行平面数据点分段线性拟合的算法.对于欲拟合的一系列平面数据点,一般是有先后顺序的.首先给出了矢量斜率的定义,然后计算每个平面数据点的统计矢量斜率,根据各点矢量斜率值接近的情况,将数据点分割成组,拟合各组数据形成线段,把各线段首尾连接起来就得到了平面数据点的分段线性拟合.定义的矢量斜率包含大小和方向两方面信息,主值区间为（－4～＋4）,它在主值区间的变化与角度在（－180°～180°）区间中的变化一一对应,且它们的关系曲线有很好的线性度.使用传统斜率进行分段线性拟合,存在斜率值与角度的关系曲线线性度差、斜率取值有时趋向无穷等问题,这些问题影响了拟合的精度,并限制了算法的使用范围.矢量斜率克服了上述问题,从而提供了拟合曲线的质量,且算法可适用于任意曲线.算法时间复杂度为线性.

摘要:基于图同构零知识证明的标识-鉴别-签名系统,提出了一个解决自授权问题的方法.与以前的方法相比,虽然两者都是基于对主秘密的逐步暴露来实现的,但前者是基于图同构置换来实现的,而后者是基于类似于秘密共享的思想来实现的.在研究给出的自授权系统的安全性时,定义了问题级的知识复杂性、实际知识复杂性和计算知识复杂性.应把它们作为协议知识复杂性的上界.

摘要:搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性.

摘要:设计工程数据库管理系统的体系结构需要在两个重大问题上作出选择:①采用何种客户/服务器结构,以便在客户机和服务器之间寻求一个合适的功能分配点;②采用何种并发控制策略来保证客户端缓冲数据的一致性.首先讨论3种不同的客户/服务器结构（即对象服务器、页面服务器和文件服务器）,比较它们之间的差别和各自的优缺点;其次讨论了实现缓冲一致性的各种并发控制策略;最后介绍了工程数据库管理系统OSCAR的体系结构.

摘要:基于分布式并行计算机系统,对一类非均匀区域的油藏数值模拟问题,采用了区域分解方法并行求解,给出了并行求解的负载平衡模型及区域负载平衡的一种有效分区算法,从而将这类油藏数值模拟问题均衡映射到并行环境中,高效地并行求解.在黑油油藏数值模拟并行软件的研究中,实验结果表明,该算法有利于提高加速比.

摘要:在引进的不确定性支持度的基础上,提出了不确定推理的一个可操作模型.定义了不确定推理的概念,引进了不确定推理的支持度,讨论了它们的初步性质.所有这些都是建立在经典的二值逻辑的基础上的,因而具有较牢固的基础.最后是该方法与当今流行方法的比较.

摘要:在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Th^l→Sign的反射余极限.

摘要:指出在使用归结方法的自动推理文献中,存在于提升引理和删除策略完备性定理证明中,与替换和集合运算有关的几个错误,并予以分析和改正.

摘要:借助汉语发音口形的生理特点,在音素识别这一水平上进行汉语语音的辅助识别,具体给出了一种口形形状识别和灰度的统计方法及其具体实现.实验结果基本与理论估算相吻合,对5个元音的口形区别正确率在80%以上,为语言的声波识别提供了一种有利的辅助手段.

摘要:论述了应用随机线性文法及产生式描述计算机网络拓扑结构的方法.在该形式语言的描述中,设置了3个基元状态,通过对基元状态及各种状态规律的分析,准确地描述了网络中结点间通信及共享存储器的状态.同时,证明了用此方法在某种条件下从初始结点到终了结点间可以建立惟一的访问路径,并能避免冲突.此方法对计算机网络结点访问/冲突避免的研究具有一定的参考价值.

摘要:针对遗传算法GA(genetic algorithm)欺骗问题的某些特点,从理论上对变异算子进行分析,提出了解决GA欺骗问题的一种新的方法.该算法能够在遗传搜索过程中改变变异算子的方向和概率,使变异算子可调,这样可以有效地消除遗传算法中的欺骗性条件,保持群体的多样性,使GA能顺利地收敛到全局最优解.

摘要:随着高性能芯片及高性能计算的应用，人们对调试器的要求不再仅局限于“正确性调试”，而是更进一步要求进行“性能调试”，即在正确性的基础上，通过对程序的细调而获得最佳性能.正确性调试和性能调试通常由独立的工具支持，这种模式已不能很好地支持高性能计算.介绍了一个为高性能SIMD芯片设计的同时具有正确性调试和性能调试功能的可视化工具.它集程序调试、行为监测和性能分析为一体，改善了高性能程序的开发周期，为高性能计算提供了强有力的支持.