基于ExSpect的复杂离散事件动态系统建模

随着petri理论与应用研究的不断发展，petri网已经成为离散事件动态系统建模和分析的有力工具。采用petri网对复杂离散事件动态系统进行建模和分析，没有一套科学的建模方法指导和有力的软件支持是不可能实现的。介绍了基于Petri网的可执行的规格说明语言Exspect及其软件，提出了基于Exspect的复杂离散事件动态系统建模的方法，并进行了实例研究。     

基于Petri网的防空C3I决策系统的建模分析

对地空导弹决策系统的结构和性能进行了研究.对基于旅营两级决策组织导出的库所/变迁系统进行了描述,建立了防空C3I决策系统的Petri网模型.并引入了决策时延这一反映指挥决策系统能力的重要指标.对提高C3I决策系统的实时性和准确性做了初步的探讨,证明了建立有色Petri网模型后,有效地提高了C3I决策系统决策的实时性和有效性.     

保底型基金的设计与定价

保底型基金由于既保证最低的收益又可能获得高额的投资回报,满足了一部分投资者的需要,所以,目前在市场上很受欢迎.在无套利原理和双因子模型下,获得了保底基金设计原理和定价方法,无论基金有否担保,都可以用PDE的方法得到解析表达式.     

堵塞恢复时间随机的在线加拿大旅行者问题

针对旅行者在行走过程中遇到的某一或一系列无法预知堵塞事件的加拿大旅行者问题,考虑每个堵塞恢复时间是一个相互独立随机变量的情形,从在线问题与竞争策略的角度,给出了每个堵塞恢复时间都为均匀分布下的等待策略和贪婪策略以及相应策略下的竞争比,并对两种策略的执行效果进行了分析和比较.     

随机过程Wn(x,y)的局部渐近性质

本文讨论了随机过程Wn（x，y）的局部渐近性质，得出y在点y0的邻域取值时，过程弱收敛于Gaussian过程．     

GPC隐式算法及其在供热控制中的仿真研究

基于理论研究和工程应用的需要，提出了广义预测隐式算法。首先介绍了具有滤波器的模型已知的基本广义预测控制（GPC）算法，然后给出了两种隐式自适应算法，一种是已知对象阶跃响应前P个参数的算法，这种算法既不需要在线递推求解Diophantine方程，也不需在线求逆；另一种是一次辨识控制器参数的算法。最后以集中供热热力站热交换过程为应用背景，对基本算法和两种隐式算法进行仿真研究，其结果证明了算法的有效性。     

FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS, LINEAR QUADRATIC STOCHASTIC OPTIMAL CONTROL AND NONZERO SUM DIFFERENTIAL GAMES

In this paper, we use the solutions of forward-backward stochastic differential equations to get the explicit form of the optimal control for linear quadratic stochastic optimal control problem and the open-loop Nash equilibrium point for nonzero sum differential games problem. We also discuss the solvability of the generalized Riccati equation system and give the linear feedback regulator for the optimal control problem using the solution of this kind of Riccati equation system.     

H∞ control for stochastic systems with time-delay

The H∞-control problem of stochastic systems with time-delay is considered. The sufficient conditions are obtained, under which there are always state-feedback control and dynamic output-feedback control so that the resulting closed-loop system is internaly stable and L2 input-output stable in the sense of expectation. Furthermore, the explicit formulas of both kinds of controls are derived. An example is included to illustrate the correctness of theoretic results.     

完整约束奇异广义力学系统的Poincare'-Cartan积分

对受完整外在约束并用奇异Lagrange量描述的广义力学系统,基于完整外在约束满足的约束加在虚位移上的条件,并考虑到系统的内在约束,导出了该约束奇异广义力学系统的广义Poincare'-Cartan积分不变量,并证明了该不变量与约束奇异广义力学系统的广义正则方程等价.     

基于非期望效用函数的随机经济增长模型

采用非期望效用偏好结构，引入生产性政府花费，建立了连续时间随机经济增长模型，利用随机最优化方法，确定了宏观均衡解，在模型中讨论了产出的波动、税后资本平均回报率以及收入税对经济的宏观影响，得出了最优收入税税率的表达式r^*=1α。