1997, 8(10):722-728.
摘要:虚拟现实的一个重要目标是使用计算机生成逼真的视觉世界,使用户可以对虚拟世界的客体进行交互式考察.虚拟现实的实现有两种方法.传统上,用三维图形学的方法实行建模和绘制.此方法需要繁琐的建模和昂贵的专用绘制硬件,而且图形绘制的质量和场景的复杂性受到很大的限制.基于图象的绘制是实现虚拟现实系统的一种新方法.它克服了三维图形方法的缺点.本文在总结已有技术的基础上,提出一个实现基于图象绘制的虚拟现实系统模型,并据此模型实现一个实验系统及相应的图象工具.
1997, 8(10):729-737.
摘要:本文讨论了对肺泡类软组织切片图象进行三维重建的方法,重点分析了显微切片图象各类噪声的去除方法及灰度校正、几何位置校正、形态校正的方法.其中几何位置技正一直是序列显微切片重建的难点.本文提出的金字塔异或指数自动配难方法大大缩短了几何位置技正时间.从利用体无绘制技术重建的肺泡组织的三维形态来看,该配难方法具有较高的精度.实验证明该重建方法也适用于其他空腔组织、软组织的重建.
1997, 8(10):738-744.
摘要:美术图案构图知识表达是计算机辅助美术图案设计具有智能的基础.计算心象是根据认知科学的研究,对人脑心象的计算机模拟.本文根据计算心象的表示模型,提出了一个美术图案构图知识的深层表达、视觉表达和空间表达模型及其上的操作.它从表达子形状的视觉形状和空间关系出发,表达构图知识的形象信息与抽象信息.
1997, 8(10):752-759.
摘要:本文基于工作站网络NOW(networksofworkstations)的特性,提出一个自适应可伸缩的进程迁移和协同凋度模型DASIC(dynamicadaptivescalableprocessmigrationandcoscheduling),试图解决其动态自适应要求越来越高的问题.DASIC模型在系统协同调度的基础上增加动态自适应的可伸缩功能,使其能够动态适应NOW环境下的变化,进行可伸缩的调度和负载平衡凋节.在保证工作站用户独占特性的同时,提高了整个系统资源的利用率,为当前NOW环境中系统资源充分
1997, 8(10):760-767.
摘要:在必要集、必要位置等概念基础上,定义了必要平行最外归约策略.基于最小化必要集思想,该策略适用于正则系统全集,并接近按需调用策略的效率,在适用范围、效率和可实现性三个方面得到了兼顾.
1997, 8(10):768-771.
摘要:归纳逻辑程序设计是机器学习领域中的一个新方法,它研究的是从实例和背景知识进行逻辑程序(新知识)的构造.本文介绍了归纳逻辑程序设计的基本理论和方法,并介绍了这种学习方法在专家系统中的应用情况.
1997, 8(10):772-780.
摘要:本文首先阐明线性RaRb变换之间的关系,并提出了算法MRab,再引用标准线性RaRb变换,证明了RaRb变换与算法MRab求解方程组的能力是等价的.然后讨论MRab与算法ALT之间的关系,进而说明受ALT攻击的那些有限自动机包含
1997, 8(10):781-787.
摘要:本文定义了一个新的context逻辑——QLC(quantificationallogicofcontext),它能反映context的更多的逻辑性质.文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理,并引入了McCarthy的限制理论.
1997, 8(10):788-792.
摘要:ELOTOS是协议描述规范语言LOTOS的扩展.本文用标号转换系统LTS(labeledtransitionsystem)给出了ELOTOS的语义.然后,通过对LTS进行踪迹等价住分析,将ELOTOS映射到基于有穷状态机FSM(finitestatemachine)的性能估价模型.
1997, 8(10):793-797.
摘要:本文详细介绍了一个基于异质分布式计算机系统的机器人集成环境——Robix,它提供用户简单的通讯模式,可以很方便地实现进程间通讯,同时提供对实时系统十分重要的分布式中断,Robix已在一个室外自主移动机器人系统ATB1的集成中得到应用.
1997, 8(10):798-800.
摘要:本文提出SLD-博弈树的成功集的概念,证明对任何计算规则R,对应R产的SLD-博弈树的成功集相同,即SLD-博弈树的证明能力与计算规则无关,这就是计算规则的独立性.