城市公交线网多目标优化的建模及其求解

通过对城市公交线网的优化原则、优化目标以及约束条件的分析，提出公交线网优化目标的函数表达式及相应约束条件的数学表达式．在考虑城市公交线网各因素的基础上，利用有关数学方面的知识，建立了城市公交线网优化的线性模型．由于运筹学中的逐步法是一种迭代法，适合于多目标优化问题，所以用逐步法对建立的优化模型进行求解，得到能够满足城市公交线网优化需求的解，并且得到的解与实际生活比较接近．     

基于KQML的移动Agent通信机制的分析

分析了KQML的语言结构，说明了KQML技术适合用于移动agent通信，并详细论述了基于KQML的移动agent通信体系结构及其实现方法。     

基于Petri网的文件并行传输优化方案

Petri网是一种适合于描述异步并发现象的计算机系统模型.Petri网理论的分析方法和技术既可用于静态的结构分析，又可用于动态的行为分析，最适合表示事件之间的并行性和自然相关性.因而，用Petri网来描述、分析和研究并发现象有独特的优越之处.在分布式网络环境下文件并行传输方案的设计中,传统的分析方法是采用线性规划，这样往往需要求解庞大的线性方程组.基于Petri网的文件并行传输优化方案可大大简化这一过程，并能达到更直观、更理想的效果.     

基于3层C/S模式的邮政电子化生产作业系统的设计与实现

邮政电子化支局生产作业系统是邮政综合网的一个应用系统，是联机交易处理系统，采用3层C／S模式，并在3层结构中利用BEATuxedo分布式事物处理中间件，设计并实现了邮政电子化支局生产作业系统。     

基于SOMA实现SARBA的解决方案

移动代理安全性问题的解决是移动代理系统广泛推广应用的关键.提出了一个基于CORBAsecurity的安全Agent请求代理体系结构(SARBA),并论述了如何在SOMA移动代理系统的基础上实现SARBA体系结构,这对解决移动代理跨域互操作的安全问题会有一定的作用.     

基于边缘移动匹配法的RIDPCM

RIDPCM(循环插值差分脉冲编码调制)是利用插值来获得预测图像的一种图像压缩编码技术，如果插值所得的预测图像与原图像越接近，则二者之差的误差信号的动态范围就越小，就可以用更少的码字来对误差信号进行编码。文章提出将边缘移动匹配插值法用于RIDPCM，在相同的比特率条件下，提高解码端恢复的图像质量。     

面向制造企业的智能企业诊断系统

概述了企业诊断系统的研究现状,分析了其与企业信息系统研究相孤立所带来的问题.为适应现代制造企业管理的需求,提出基于数据仓库的智能企业诊断系统.智能企业诊断系统由查询与跟踪、问题识别和指标评价、模糊Petri网推理、诊断过程概要解释、问题解决支持、人机界面等6个主要模块构成.为了更好地处理企业诊断知识的模糊性、整体性和复杂性,通过扩展模糊Petri网系统实现企业诊断的知识建模和推理.功能模型描述了系统各模块的主要功能及其与数据仓库系统间的集成方式.此外,讨论了模糊Petri网诊断推理、与数据仓库系统的集成、知识提取和数据挖掘等系统实现的关键技术和方法.通过智能企业诊断系统、数据仓库系统和OLAP三者的有机集成,提供一个有效的企业诊断集成环境,使管理者能够更好地解决经营管理中存在的问题,充分发挥制造企业潜力,使企业健康发展.     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

生产安排的动态模型与优化方法

使用Petri网的方法,建立了描述生产过程中工作量与各产品存储量关系的动态模型.以最小二乘法、线性规划等数学工具,给出了安排生产各时段工作量的计算方法,使得生产过程可按预想的状态进行,达到综合优化的目的.     

移动分布式数据库系统中合作事务恢复技术

形式地给出了合作事务定义及事务间由于消息交换而形成的各务间的检验点依赖和恢复依赖，基于这些定义，某一事务记检验点时，所有检验点依赖于该事务也记检验点，当某一事务恢复时，所有恢复依赖于该事务的事务也恢复到其检验点的状态，开发了一种适合于移动环境的事务恢复技术，；在事务正常的消息传送中，通过额外的一点带宽附加传送事务间的依赖关系，在事务记检验点时，尽可能并行地通知所有相关的事务记检验点，实验表明，该事务恢复技术能减少系统检验点的响应时间，提高系统的恢复速度及系统吞吐率，对网络带宽的要求基本没有增加。