光阑对部分相干光束模式的影响

本文从 Wolf 的相干理论出发,把部分相干光束的交叉谱密度函数展开为空间完全相干模的叠加:进而讨论光阑对部分相干光束模式的影响。     

一类可由基本模型嵌套组成的工作流系统的性能分析方法

工作流是近年来网络领域里研究的一个热点,对工作流模型的性能分析是工作流研究的一个重要内容.实际的模型往往规模大而复杂,这为分析其性能带来了很大的困难.但有一类模型可由工作流的四种基本模型(顺序、并行、选择、循环)嵌套组成,对于这类模型,本文给出了计算其性能乘积解的数学公式.文中给出了如何由这四种基本模型嵌套组成实际模型的方法,推导出了计算这四种基本模型的性能等价公式,并按建立实际模型相反的顺序,用由里到外逐层的分析方法,给出了计算实际模型的性能乘积解.     

Key technologies of layout design of recycling plants of waste refrigerators

The present situations of waste refrigerators recycling and disposing were analyzed. Three key technologies of layout design of recycling plants of waste refrigerators were presented as follows: 1) establishment of recycling process of waste refrigerators; 2) the general plane layout of recycling plants; 3) the detailed layout of workshops of recycling plants. The focus of the three key technologies is to tackle the problem of the detailed layout of workshops of the recycling plants. By adopting Petri net, the model of logistics system of workshops was established and then optimized, and finally the detailed layout chart of recycling plants was gained. By adopting E-factory, the recycling plants were simulated. The results show that the method mentioned is effective. Foundation item: Project(50375044) supported by the National Natural Science Foundation of China     

一种网络服务自动部署方法

为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。     

Ergodicity of filtering process by vanishing discount approach

A new approach to study ergodicity of filtering processes is presented. It is based on the vanishing discount approach to discounted functional of filtering process. We show that limit superior of the Cesaro averages of the functionals is the same for all initial conditions from which the uniqueness of invariant measures of filtering processes follows. The approach is based on certain assumption for which we provide a sufficient condition using concavity arguments. In addition we show the existence of solutions to the Poisson equation corresponding to filtering process with concave functional. The assumptions are then extended to the controlled case and using similar concave arguments we obtain the existence of solutions to the Bellman equation corresponding to partially observed average cost per unit time problem.     

媒体同步关系的描述

由于多媒体信息系统中，需要集成各种数据类型，而这些数据类型又有着密切的时间关系，所以对于多媒体来说，同步问题是很重要的，而同步的基础是为同步关系建立一个独立于实现环境的抽象的表示模型，本文着重讨论几种描述媒体同步关系的模型。     

集成基础结构中应用服务器的研究与开发

通过对集成基础结构中应用服务器的功能需求分析，采用面向对象方法、矩阵理论和Ｐｅｔｒｉ网技术研究了应用服务器系统的实现策略，并依据智能工程理论给出了应用服务器的系统结构。     

CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。