摘要:并发数表组合表述法(并发TTCN)是可以描述并发测试行为的测试表述法.该文提出一种基于并发TTCN的分布式路由协议的测试方法.首先讨论路由协议实体的测试结构，然后给出基于并发TTCN测试系统的设计.最后介绍了测试集的设计.

摘要:文章从点点对应，线线对应入手，首先给出了根据已知二维影像特征求得与其对应的三维模型特征参数的方法，然后给出了已知人体二维影像特征求解三维人体模型特征参数方法的详细描述.基于这一思想，实现了一个动画系统Video & Animation Studio.文章最后给出了一个由该系统实现的人体行走的例子.

摘要:该文证明了在 R_wtt/ M_wtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 R_wtt/ M_wtt是递归可枚举弱真值表归约度集 R_wtt模可盖递归可枚举弱真值表归约度集 M_wtt的商.

摘要:该文讨论了模糊系统的数字逼近特性,同时分析了逼近误差和初始状态误差对模糊系统的影响.最后得出一个重要结论：在一定条件下，模糊系统的输出与实际系统相差不大.

摘要:文章实现混合型多概念获取系统HMCAS(hybrid multi-concept acquisition system).无论在离散值或连续值输入下，HMCAS系统都可以实现增量式教师学习.HMCAS的核心算法HMCAP基于事例空间的概率分布，结合了符号学习和神经网络学习，能够以混合型判定树形式产生概念描述.HMCAS的原型系统已经成功应用于台风预测领域.

摘要:在分布式虚拟环境中,位于不同物理位置的多个用户或多个虚拟环境通过网络相互联结,进行信息共享和交互.该文结合作者的研究工作,从分布式虚拟环境的产生、需求和特征、模型和结构以及系统关键技术这几个方面对分布式虚拟环境的研究情况进行综述,讨论了存在的问题和进一步的发展方向.

摘要:提出了一个基于Web和关系数据库的网络管理系统的管理模型,并描述了一个基于该模型的网络管理系统——Super-Domain的组成结构及其具体实现机制.讨论了系统实现中的关键技术问题及其解决方法,其中包括管理信息的存储模型、数据一致性维护、基于Web的实时告警机制、系统安全机制等.

摘要:从词性概率矩阵与词汇概率矩阵的结构和数值变化等方面,对目前常用的基于统计的汉语词性标注方法中训练语料规模与标注正确率之间所存在的非线性关系作了分析.为了充分利用训练语料库,提高标注正确率,从利用词语相关的语法属性和加强对未知词的处理两个方面加以改进,提高了标注性能.封闭测试和开放测试的正确率分别达到96.5%和96%.

摘要:讨论了COOZ(complete object-oriented Z)中的继承关系,将继承分为增量继承和子类型化继承,并重点讨论了子类型化继承.定义了一种行为子类型化继承,证明了该方法的合理性,并据此定义了COOZ的规约继承及规约继承的推理规则.所讨论的子类型化方法与E.Cusack等人的方法相比,具有可构造性,并且比Liskov等人的方法具有更大的灵活性.

摘要:自动指纹识别系统因其在身份确认方面所具有的方便、快速、准确等特点而得到了广泛的研究 .该文利用分层匹配的思想 ,提出了一种根据指纹细节点结构特征进行初匹配的算法 ,并将遗传算法应用于更高层次的点模式匹配问题中 .该方法在自动指纹识别应用中取得了较好的结果.

摘要:面向对象并发程序设计语言能够帮助程序员利用面向对象技术编写并发程序,从而获得面向对象技术给软件开发带来的种种好处.然而，由于继承异常现象的存在，影响了并发程序设计语言引入继承特性.Ada95语言是支持并发程序设计的面向对象语言之一,但并不支持保护对象的继承.Ada-I语言在Ada95语言的基础上进行扩充,从而支持保护对象的继承,并且避免了继承异常现象的出现.

摘要:如何从真实世界中获取具有真实感的三维场景模型一直是计算机图形学中的一个难点.该文给出了一种从真实世界的照片中重建三维场景模型的算法.算法根据在空间稀疏分布的不同视点处的真实场景照片中颜色纹理的一致性来建立达到照片级真实程度的三维场景模型,可用于真实世界复杂形体真实感三维模型的建立.

摘要:减少通信开销是并行编译优化的主要目标之一.该文针对具有cache一致性的非一致存储访问并行系统(CC-NUMA)的特点,提出通过结合计算变换和数据变换,在统一的代数框架下对并行程序进行通信优化的策略和方法.通过实验测试,验证了此策略和方法是行之有效的.

摘要:当前 ,网上出现了一种基于 TCP的主动攻击 ,称为 IP劫持 .这种攻击不同于以往的基于网络侦听的被动式网络攻击 ,它能绕过系统口令和 S/ KEY口令保护的防御 ,将网络连接完全接管 ,对网络安全造成了重大威胁 .该文分析了这种攻击的实施原理 ,并提出了针对这种攻击的检测方法和防御技术.

摘要:开发SCSI(small computer system interface)驱动程序自动生成器的目的是为了高效地开发各种驱动程序.该生成器可以自动完成SCSI子系统的代码维护,自动生成驱动程序绝大部分的模块,并能自动打包,提供主盘、从盘两种运行方式下的驱动程序.该文介绍了自动生成器的设计思想、系统控制流程及数据流程、系统模块及层次结构、接口和运行处理以及生成器的实现,包括模块管理、自动打包及模板生成.

摘要:从讨论超媒体引擎的设计原则和设计方法入手,提出了一种基于面向对象数据库管理系统的开放式超媒体引擎.由于引入了元对象建模,该引擎不仅可以表达复杂的超媒体语义,而且可以直接支持开放性链接协议,从而实现了对第三方应用的开放性.

摘要:该文提出一种新的基于2D离散小波变换和图像变形技术的视图合成方法.该方法完全依赖于已知的一对视图来合成期间的变换视图,无需相机标定或其他几何信息.其基本思想是：首先,采用立体视觉技术找出图像对间的基本矩阵,将两个图像变换到一个规范的模式定义下,即使得其图像平面平行,并且对应像素位于同一条扫描线上.然后,给出一种小波空间的图像变形方法,可以快速地生成期间的变换视图,而且还便于进一步对小波系数进行量化编码.绘制时,先作必要的解码,再通过小波逆变换将合成的小波系数恢复到图像空间.最后,经过一个后置变换,将期间视

摘要:在OMG（object management group）的COM（common object model）/CORBA(common object request broker architecture）互操作规范中,COM/CORBA互操作采用桥的方式实现.尽管这种方法适用范围较广,但其性能较差,无法实现透明的对象生命周期映射,而且没有解决COM和CORBA应用程序的移植问题.该文提出一种基于多界面对象集成方法的COM/CORBA互操作模型,使客户可以直接访问异种对象,从而提高互操作的性能,增强互操作

摘要:信息过滤(information filtering)是解决网络信息查询困难的重要方法,其核心技术是用户信息需求的获取和信息匹配算法.该文从这两方面讨论了在Internet上进行信息过滤的问题.在用户信息获取方面,提出通过扩展浏览器上的Bookmark功能,跟踪用户信息需求,并直接利用用户评价文章来表达用户需求.在信息匹配方面,提出最大间距进行ranking的算法.实验表明,它比传统算法精度更高.作为对上述方法的实现,设计了Bookmark服务系统,给出其系统框图,并介绍了它的功能.

摘要:在基于消息传递的异构并行计算系统中 ,各处理器或计算机具有自制和独立地调度、执行作业的能力 .当一个可划分的作业初始位于一个处理器上时 ,为了提高计算性能 ,该处理器可以请求其他异构处理器负载共享 ,参与协同计算 ,减少作业的完成时间 .该文提出了异构计算负载共享的一种方案 .首先 ,调用负载共享协议 ,收集当前各处理器参与负载共享的许可数据 ,包括共享时间段、计算能力等 .然后 ,构造一个作业量与作业完成时间之间的关系函数 .该函数是选择一组合适的处理器群、优化作业划分、作业完成时间最小的理论基础 .最

摘要:引入子程序-类型关系图来表示程序中类型和子程序之间的关系,讨论了模块内聚性的几个度量准则，并分析了增删子程序对模块内聚度的影响.在此基础上，给出了基于模块内聚性的对象抽取算法.

摘要:在机器人路径规划中,碰撞检测算法占有十分重要的地位.在智能机器人仿真系统中,碰撞检测耗用的时间在整个路径规划过程所用时间中占有相当大的比例.于是，如何进一步提高碰撞检测的速度在智能机器人路径规划系统中就起到了非常关键的作用.而碰撞检测问题最终转化为判断三维空间中两个凸多面体是否相交的问题.就这一问题,给出了一种新的算法,其思想是取一个从一个凸多面体指向另一个多面体的向量,根据两个多面体中的面与这一向量的相对位置关系来寻找相交的平面.即有两个多面体的交点位于这一平面，若能找到一个相交平面则可以断定两个多面体