扩展的逻辑程序系统及其语义理论

将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通过建立诸如p-包含及装配/拆卸等代数概念,本文扩充了逻辑满足及模型比较等概念,证明了一HILOG程序具有一最小模型闭包及标准(装配形式)最小模型的唯一性,提出了模型的p-相交定理及扩充的最小模型极小不动点性质.一阶逻辑程序语义在上述各方面恰为HILOG语义之特殊情况,二者语义上的联系提供了将HILOG程序映射到一阶系统的可能性.     

基于RDF构建语义化本体模型

文中阐述了语义化WEB服务对领域本体模型及其本体语义化表述需求，通过分析RDF的语义化特点后指出，基于RDF可较好地实现语义化WEB服务领域本体模型。并通过实例给予了说明。     

基于MPEG-7的视频语义检索系统

设计和实现一个支持语义的分布式视频检索系统:"语寻"。该系统利用一个改进的视频语义处理工具(该工具基于IBM VideoAnnEx标注工具,并增加镜头语义图标注和自然语言处理的功能)对视频进行语义分析和标注,生成包含语义信息的MPEG-7描述文件,然后对视频的MPEG-7描述文件建立分布式索引,并同时分布式存储视频文件;系统提供丰富的Web查询接口,包括关键字语义扩展查询,语义图查询以及自然语句查询,当用户提交语义查询意图后,便能够迅速地检索到感兴趣的视频和片段,并且可以浏览点播;整个系统采用分布式架构,具备良好的可扩展性,并能够支持海量视频信息的索引和检索。     

一种改进的单目机器人立体视觉系统校正方法

基于三棱镜的单目立体视觉系统具有高集成度、低功耗、易装配等特点,但外置的棱镜也会引发不规则的图像畸变,影响成像质量。首先采用双边滤波函数对目标图像进行降噪处理,增强图像中的边界,有效提高标定图像中的特征点提取的准确性;然后结合透视投影中的直线性、交比一致性和没影点收敛性等投影不变性提出一种改进的自适应畸变校正算法。该算法无需畸变模型及畸变参数,通过校正前后特征点的偏移,最终得到畸变校正所需的像素位移图。实验对比了多组图像的特征提取效果和畸变校正结果,并比较了不同校正方法对于系统中产生的不规则畸变的校正效果,结果表明该算法具有鲁棒性和准确性,提高了机器人视觉系统的准确度。     

存储系统的层次性与进程数据存储模型

计算机系统的各种存储部件,包括寄存器、cache、内存、外存,被组织成一个层次性的存储结构,传统操作系统分别在内存和外存这两个层次上为用户构造了两种数据存储模型：进程逻辑空间和文件。应该在存储层次最外层--外存直接为用户构造进程数据存储模型--文件,把全部内存作为进程访问外存的缓冲,取消了进程逻辑空间的概念,实现指令对文件的直接寻址,使进程直接在文件上运行,基于以上思想,提出了一个操作系统模型,介绍了该模型的结构及其一个实现原形,并对其性能进行了测试和评价,最后讨论了该操作系统具有的优点及其存在的问题。     

一个基于实例推理的专家系统

该文研究了基于实例推理（Ｃａｓｅ－ＢａｓｅｄＲｅａｓｏｎｉｎｇ,简称ＣＢＲ）的机制,重点讨论了其在商业ＭＩＳ框架生成专家系统ＦＧＳＭ中的应用,结合ＦＧＳＭ系统的研制,给出了ＣＢＲ的一般实现过程。     

SYSTEM OF ARTIFICIAL VISION FOR THE ACTUATION OF ROBOTS

This paper describes a vision system in which the input is an image of the robot's work area and the output is a decision that can be used to guide the actuator in handling an object. Position and orientation of the object in the work area are random. Illumination conditions are controlled and favorable; two light sources with identical spectral characteristics are positioned to avoid shadows and highlights in the work area and to ensure a uniform mean light intensify across the quadrants into which the image can be divided.[nbar]     

空间数据挖掘及其与智能系统的集成框架

空间数据挖掘是指从空间数据库中抽取隐含的知识、空间关系和非显式地存储在空间数据库 中有意义的特征或模式.它在遥感、地理信息系统、医疗影像、信息融合系统等领域具有广 阔的应用前景,因此日渐受到关注和重视.本文从知识发现、认知科学与智能系统交叉结合的 角度,提出了基于数据库和知识库双库协同机制的空间数据挖掘模型,并系统地介绍了从空间 数据库中可发现的知识类型及挖掘方法,然后提出了基于空间数据挖掘的新型智能系统总体 框架和系统开发基本原则,最后探讨了空间数据挖掘的发展方向.     

内嵌CAD的面向对象有限元系统的研究与实现

有限元软件的前处理和后处理一直是该技术在计算机应用领域的瓶颈。采用内嵌ＣＡＤ的面向对象有限元设计方法可以很好地把有限元科学计算和前、后处理技术结合起来。本文研究了一个内嵌ＣＡＤ的有限元分析系统,该系统采用面向对象的方法设计,编程语言为ＶｉｓｕａｌＣ＋＋。面向对象的思想在这个系统中得到了充分的体现。该系统具有高度的可重用性和集成必     

结合视觉加权的一种改进的EZW图像压缩算法

就静止图像数据压缩编码方法进行了研究,在传统零树编码算法的基础上,提出了改进的基于小波零树编码并结合视觉加权的图像压缩算法.该改进算法充分利用了小波变换后各子带系数对图像恢复的重要程度和人眼的视觉特性,取得了良好的压缩效果和视觉效果,并通过实验证明了算法的有效性.     

一个基于范例推理的专家系统ICMIX

蛋鸡饲料配方是一个要求考虑多种制约因素，需要丰富的富实践经济的问题域。本文介绍的ＩＣＭＩＸ是基于范例推理的蛋鸡饲料配方专家系统，其范例向面规划模型，由日粮类型子范例和营养标准子范例构成。     

用Delphi开发智能小区报警系统软件

本文主要介绍Delphi5.0编程工具，以及如何使用Dephi5.0工具开发基于数据库和串行通信的智能小区报警软件。     

监控网络系统体系结构与路由算法研究

本文在视频监控系统体系结构的基础上讨论了视频监控系统的扩充和互连方法。提出了数字监控系统中自治系统、视频桥和远程视频代理的概念。并以此为基础,给出了对等体系结构下智能监控系统动态视频路由算法的设计与实现方法。     

融合空间特征的校园信息系统模型研究

本文介绍了地理信息系统的关键技术以及GIS与MIS如何进行无缝结合。以此为基础,考虑校园信息的特点,采用面向对象技术,提出了融合空间特征的校园信息系统模型,并给出了校园信息系统的实现方法。     

一种非线性系统参数辨识算法

本文讨论一类非线性差分方程的参数辨识问题，借助于线性化方法，给出了一种称健的递推算法，该算法有选择地引入一些项目剔除另一些项，同时可以根据估计精度的要求自动地调整模型的阶数，从而尽可能地获取系统的精确模型。数值仿真结果证明了算法的有效性。     

一类开放DAI系统的动态行为研究

本文针对Ｒｏｓｅｎｓｃｈｅｉｎ合理主体理论中的静态性、局部性等缺陷以及Ｈｕｂｅｒｍａｎ的计算生态学理论中缺乏对单主体的描述等不足加以改进，在对系统进行合理性假设的基础上，引入系统中合理主体与系统的相互作用，进而研究了开放系统的动态性．     

语义网络在开发工程数据库管理系统CIMS／EDBMS中的应用

商品化数据库管理系统往往不能有效地满足ＣＡＤ等工程应用的要求。本文根据作者成功开发的工程数据库管理系统ＣＩＭＳ／ＥＤＢＭＳ讨论在ＯＲＡＣＬＥ上采用语义网络模型，引入面向对象的概念和方法开发满足工程应用需要的数据库管理系统的原理和方法。     

一个嵌入式Linux文件系统的优化

嵌入式文件系统是嵌入式操作系统的重要组成部分。本文分析了在一个嵌入式Linux操作系统上,如何为嵌入式设备构造一个合理的文件系统。考虑到嵌入式设备资源的有限性,本文在一个具体的平台上对嵌入式Linux文件系统做了一些裁减。我们希望,这些实验结果能够对嵌入式文件系统的研究和开发提供有益的帮助。