一个模式识别实用系统—PCB逻辑图输入

本文报告了一个印制电路板(PCB)逻辑图识别输入系统——LIS(Logical-diagram Input System)。介绍了该系统的构成,主要难点及相应的算法,介绍了该系统的效益。     

结构化证明搜索

本文在简介证明开发环境的元语言ＴＭＬ之后，提出两类结构化设施；模块化机制为元级程序设计提供模块化手段；抽象理论机制用来描述定理证明赖以进行的背景理论．联合使用模块机制和结构化理论描述，系统可自动实现结构化证明搜索．     

未知环境中基于视觉显著性的自然路标检测

自然路标检测是移动机器人在未知环境中表示与识别环境的基础.基于此,本文提出一种具有适应能力、基于视觉显著性的自然路标检测系统.设计了保细节采样策略,能够自行调节参数以适应各种环境纹理分析的Gabor滤波器,在多尺度空间上计算颜色、纹理的对比度,经综合处理得到描述路标可选区域的显著性指示图.实验结果表明本文算法在显著点检测方面具有较高的准确性,并且具有较高的重复检测能力,能够适应远近尺度、旋转和视角变化等自然环境识别要求.     

改进的差分能量水印技术

文章对差分能量水印方法进行了改进。为了阻止经JPEG压缩后加水印图像在嵌入水印时建立的局部能量差可能会被擦除，在保证视觉质量不受影响的情况下，适当地增加子区A或B的能量，从而使得当。比较小时．能降低加水印图像经过JPEG压缩后的水印检测比特差错率。实验结果表明：在n较小时，这种改进是很有效的。     

常微分初值问题的间断有限元的超收敛性

基于对偶论证和单元上的正交展开方法较简明的证明了常微分初值问题的m次间断有限元在节点及内部特征点上的超收敛性,并将它用于非线性Schrodinger方程,得到了一个近似守恒律,有误差O(h2m 1).     

三维人体自动测量技术综述*

详细介绍了有关三维人体自动测量的现状、主要过程、应用、分类及各种测量方法的原理和特点,并讨论了各种测量方法的利弊,指出了目前制约三维人体测量技术发展的主要因素,最后提出了三维人体自动测量下一步的发展趋势。     

多媒体教学在教育改革中应注意的问题

教育改革是教育工作者的一个重要任务,在利用多媒体工具教学时,要充分发现各种工具的优势和不足。传统教学方式有它的优点也有它的缺点,多媒体教学也如此,各种教学方式如何取长补短成为多媒体教学中教育改革的重点。多媒体教学工具中现在使用最多的是幻灯机,投影仪和网络教学,它们的不足值得关注,它们的优势该教育改革中如何保留和充分利用,都是教育改革的任务。     

网格计算结构研究

论文首先对网络计算的结构及其标准进行了阐述,然后对网格计算协议标准中的五层沙漏结构、开放网格服务体系结构(OGSA)及Globus体系结构进行了研究,最后说明了网格计算结构研究的重要意义。     

视频点播服务器中服务策略的研究*

研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略,并提出了VOD(video-on-demand)服务器在不破坏各路点播流实时播放率的前提下,应用这些服务策略的方法.     

Agent在多Agent系统中计算的意愿理论*

提出了Agent在多Agent系统中计算的意愿理论,以支持Agent计算的理论研究.区分了两种意愿：实现型意愿和维护型意愿.基于多Agent系统计算的逻辑框架,给出了两种意愿新的语义定义,获取和描述了它们的一些重要逻辑属性.