基于构件软件的可靠性通用模型

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行性,还能对特定的实例给出一个最优调度,使工作流执行延迟最小.研究结果表明,该方法支持业务过程的时间建模与分析,对于丰富现有工作流系统的时间管理功能以及增强现存工作流软件对动态业务环境的适应性具有重要意义.  

安全协议的形式化分析技术与方法

对于安全协议的形式化分析方法从技术特点上做了分类和分析．对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结．根据作者的体会，从纵向和横向两个角度进行了总结．纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结．横向方面主要从所应用的技术手段、技术特点入手，进行总结分析．说明了目前协议形式化分析发展的主要方向．对于目前国际流行的方法和模型进行了例解．  

移动Internet中的IP组播研究综述

随着组播应用的不断增加以及参与者的增多,组播领域的研究一直受到人们的广泛关注.而另一方面,近年来,移动设备迅速得到了普及,并且无线网络技术也得到了飞速的发展,因此,如何为移动主机提供更好的支持引起了人们的普遍关注.由于组播应用所具有的可扩展性强、高效等特点在移动这种资源受限的环境中显得尤为突出和重要,因此,移动环境中的组播应用引起了人们越来越多的重视,在该领域展开了大量的研究.详细地介绍了现有的主要移动组播算法和协议,讨论了每种算法或协议的适应范围以及优点,比较深入地剖析了其中存在的缺陷和问题,并且对这些移动组播算法和协议进行了综合对比.同时,特别针对移动环境可靠性较差的特点,对移动环境中进行可靠组播所面临的新问题以及相关研究现状进行了讨论.希望通过这些说明和对比,能够帮助研究者为其特定的需求选择适当的移动组播算法或协议.最后,讨论了移动环境中IP组播未来的研究方向.  

通信网可靠性研究综述

本文从通信网可靠性的概念、可靠性分析与设计方法角度系数地总结了近几十年来国内外在通信网可靠性方向的研究进展，指出一在此方向进行研究的难点和需要解决的关键问题，最后对今后的发展趋势进行了展望。  

基于统计的中文地名识别

本文针对有特征词的中文地名识别进行了研究。该系统使用从大规模地名词典和真实文本语料库得到的统计信息以及针对地名特点总结出来的规则，通过计算地名的构词可信度和接续可信度从而识别中文地名。该模型对自动分词的切分作了有效的调整，系统闭式召回率和精确率分别为90．24％和93．14％，开式召回率和精确率分别达86．86％和91．48％。  

一种改善遗传算法全局搜索性能的小生境技术

本文分析了基本遗传算法全局搜索效率不高的内在原因，提出了基于相似个体交叉 和（μ+λ）选择机制的小生境并行进化技术，从理论上论证了该技术不但能提供最强的选 择压，而且能维持足够的种群多样性．对高维不连续函数和高维多峰函数优化的仿真实验结 果表明，应用该技术能显著地改善遗传算法的全局收敛可靠性和收敛速度，从而提供了说明 这种小生境技术设计合理性和应用有效性的事实依据．  

带有缓冲库的综合制造系统(CIMS)分析及其可靠性的研究

本文对带有中间缓冲库的可修CIMS可靠性进行了深入系统的研究.中间库是将刚性联 结生产线进行柔性化的手段,是提高系统可靠性和生产率的有效措施.另一方面,工作站的维 修也能起到同等重要的作用.但这样组成的大系统存在生产线的畅通、生产率的协调等问题, 给系统可靠性与优化设计造成了很大的困难,长期以来没有得到很好的解决. 本文从马尔可夫过程的排队论出发,运用系统可靠性理论,对缓冲库、工作站及系统进行 分步分析,综合求解,从而得出一条工件流平衡定理,解决了各站之间生产率丢失的问题,并给 出了系统可靠性的有关指标.  

线性不确定时滞系统的可靠保性能鲁棒控制

研究了含有故障执行器的线性不确定时滞系统的可靠保性能鲁棒控制问题.执行器故 障模型概括了执行器正常、执行器部分退化和执行器完全失效三种情况,系统的性能函数是带 有故障输入项的积分二次函数.利用Lyapunov稳定理论及矩阵不等式方法,得到了系统存在可 靠保性能鲁棒控制器的代数矩阵不等式(AMI)形式的充分条件和控制器的设计方法,给出了系 统的一个可保性能的表达式.基于LMI方法,给出了AMI的一个求解算法.一个数值例子说明 结论的可行性.  

移动Agent系统的主动通信机制

解决由Agent移动产生的可靠性通信问题.在分析已有方法的基础上,提出一种保证移动Agent之间可靠、高效通信的"主动通信"机制,并给出它的可靠性分析和通信效率分析.它能够在通信双方自由移动的情况下,将消息可靠、高效地从发送方提交给接收方,并承诺消息传递的exactly-once语义,为Agent通信语言等高层通信方式奠定了可靠的基础.