正向推理机系统研究

该文对正向推理机系统的运行机制、语言集、系统结构、工作原理等诸多方面做了详细阐述,并给出了改进的里德算法,加快了模式网的修改和部分匹配过程,提高了推理的效率。

基于自动分析直方图灰度分布的数字图像阈值化算法

1.引言图像处理的一个重要分支是图像分析,而灰度阈值法是最重要的图像分割技术之一。一般图像由具有不同灰度级的多个区域(景物)组成,在图像的灰度分布直方图上具有多个峰,可以选择峰之间的谷值将某一景物与其他景物和背景分割出来。这个谷值就是阈值。最简单的方法是通过观察灰度直方图,手工设定一个阈值T,凡是f(x,y)<=T的点(x,y)

基于CCS的软件规范描述及实例研究

软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。

应用数字图象增强技术处理医学影象的研究

采用直方图均衡化、条件直方图均衡和的方法增强医学图象,并对所用处理方法进行了分析。Unsharp

三维动画渲染集群节能控制研究

研究三维动画渲染领域的渲染集群能耗问题,采用基于神经网络的任务量预测模型,结合渲染系统任务量历史数据统计,提出基于多步预测的渲染集群自动开-关机控制算法和节能控制架构,并通过实际数据验证了节能控制方法的有效性。

动态构造虚拟公共网络服务的一个多agent协商模型

该文通过对IP网络管理中多个移动agent动态构造虚拟公共网络VPN的研究,采用基于QoS服务的多属性的动态协商定价模型,在多agent之间形成了利益最大化的服务协议,以此应用实例表明移动agent是解决异构、分布、自治环境的复杂IP网管的有效软件体系结构。

基于移动Agent的IP网络管理系统设计

采用简单网管协议SNMP和管理信息库MIB的集中式网管技术在解决基于IP互连的动态变化的Internet网络管理上面临许多困难。文章提出了移动代理系统原型和网管框架,网络管理器根据用户要求和实际网络状态选择适当功能的网管移动agent发送到网络中,完成预期网管功能;移动agent不仅收集而且能够处理数据,从而增强了网管智能性,加快响应速度。

二值图像骨架的数学形态学描述及重建

本文提出一种二值图像的数学形态学分析方法，利用数学形态学变换可以抽取二值物体图像的骨架，并由骨架重建物体．该方法表明，其主要优点是位移不变性、具有高数据压缩率、无失真复原及易于用硬件实现．

远程教学平台的研究

研究了在Internet Intranet环境下采用多媒体课件、智能代理、规则推理等技术构造远程教学系统 ,提出了一套解决设计方案并基此建立了远程教学平台原型系统 .

基于工作流的评估管理信息系统(英文)

研究了采用工作流管理系统机制的e化评估管理信息系统 .该系统能够实现工作流管理系统典型特性 :可视化流程表单设计向导 ,流程自定义 ,流程角色和用户管理 ,流程跟踪监控查询统计 .系统提供的工作流建模工具用来描述工作流程 ,采用从模板库内调用用户模板构成专用领域的工作流应用系统 ,使得工作流可以动态扩展 .采用该原型化系统快速构造了一个资产评估管理系统 .系统还采用数字电子地图增强地理位置定位准确性和数据可视化 ,以及内置用户模板库 ,数值计算方法库和案例知识库 ,从而提高了系统的集成度 ,业务重组柔性和评估结果的科学性 .

一种基于图聚类的Web服务组合分布式运行方法

针对数据流约束的应用环境,在WebJet平台工具支撑下,采取集中式方式对Web服务进行组合,将Web服务组合采用图聚类方法划分成分布式代码片段,然后采取分布式方式运行服务组合的技术路线.在满足簇(划分)之间数据流量最小化及分布式系统吞吐量最大化的目标约束下,运用图聚类的多级算法划分Web服务组合.实例分析说明,该算法能自动、快速地将集中式BPEL程序划分为分布式的BPEL程序,并对BPEL程序迁移到的分布式节点之间的负载进行均衡调整,使分布式运行系统达到负载均衡.

Web服务组合语言的出错与补偿处理的pi演算编码

本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。

数字图像的统计学非线性增强算法研究

尝试用一种统计学非线性变换增强图像，而只带来很少的噪声放大．将该方法用于处理数字图书馆中的医学Ｘ线图像，在参数固定未加优化情况下，图像经增强后，对比度明显增高，动脉边缘清晰．本文在探索有效的非线性变换增强方法方面，取得了初步经验．

一种基于平面模板的多摄像机标定方法

对于均匀环绕四周的多台摄像机,先对每个摄像机利用Zhang的平面模板标定方法单独获得内参;在外参计算方面,提出了一种多摄像机外参标定的新方法,该方法在ICP(iterative closest point)算法的基础上,结合了VR(view registration)算法的约束优化思想,先通过两两相邻像机间自由移动平面模板计算两者的位置关系,最后将每一个摄像机统一到一个世界坐标系。标定过程操作简便,易于实现。实验结果表明,本方法能够满足后续三维重建所需的精度要求。

一种安全增强型无线认证与密钥协商协议

针对当前3G网络身份认证与密钥协商方案存在扩展性差、用户身份信息易泄露的问题,提出一种基于无线公钥体制的安全增强型无线认证与密钥协商协议,实现实体间的双向身份认证,保护空中接口及有线通信链路,防止用户和接入网络身份标识泄露。该方案支持数字签名,可提供不可否认性业务。形式化方法验证分析表明,该协议能够满足安全需求。

TriBDI Agent应用框架的研究和实现

借鉴面向对象开发工具中的应用程序框架的思想，提出了一种Ａｇｅｎｔ的应用框架──ＴｒｉＢＭＩ，该框架为三层体系结构，通过 Ａｇｅｎｔ的 ＢＤＩ模型来表示 Ａｇｅｎｔ的心智状态．该框架已在ＡＩＤＥ（Ａｇｅｎｔ Ｉｎｔｅｇｒａｔｅｄ Ｄｅｖｅｌｏｐｉｎｇ Ｅｎ－ｖｉｒｏｎｍｅｎｔ）Ａｇｅｎｔ集成开发平台中予以实现，并对如何使用该应用框架构建Ａｇｅｎｔ系统提出了初步的设计规范．

光学运动捕捉系统中标记点自动注册与预测算法

针对光学运动捕获系统中散乱数据注册问题,提出一种基于首帧标记点分割的标记点注册方法.该方法首先利用人体拓扑结构对首帧散乱数据进行分割,然后根据标记点局部刚性特征和时空信息完成注册,无需手工指定初始模板.对于存在缺失的数据,基于相邻帧标记点运动变化不大的假设,利用标记点的局部刚性特征对缺失数据进行预测.实验结果表明,该方法能快速且准确地标注各标记点,具有较好的鲁棒性和实时性.

管理信息系统通用构件框架及其应用

该文在J2EE架构的基础上提出了管理信息系统的通用框架,应用框架可以使管理信息系统领域内的软件结构一致性更好,达到分析重用、设计重用和代码重用的目的。框架中引用了大量的设计模式,充分考虑了系统的可扩展性、可重用性。该文还通过一个具体的应用系统的设计和实现,深入探讨了框架的应用。

基于树型编码遗传算法在Web服务选择中的应用

提出一种基于QoS的Web服务选择的遗传算法(TGA)。该算法采用树型编码,携带流程的静态模型结构信息,可实现染色体的自动编解码和存储适应值计算的中间结果,并且可以通过简单的方法有效支持组合服务运行时重计划。通过仿真实验,验证了在同等优化效果下,TGA比一维编码遗传算法获得了更快的速度,并验证了树型编码用于流程运行时重计划的有效性。

视图特征的曲面重建方法研究

提出了一种基于视图特征的三维形体重建方法,根据分离视图的投影特征定义曲面特征,通过匹配二维视图特征识别曲面类型及参数,从而构造曲面线框图生成B-rep结构形体模型.利用曲面求交法求解三维二次曲面交线及高次曲线,解决了五点法及共轭直径法在求解二次曲线时采样复杂且耗时的问题以及无法通过视图投影获取高次曲线的问题.实验结果和算法分析表明,通过特征获得曲面类型再求交获得高次曲线的这一过程,是恢复二次或高次曲线的行之有效的方法,而且计算效率也有较大提高.