随机弱实时系统作业调度概率保证分析

随机弱实时系统与强实时系统的显著区别是 ,它不要求实时任务的每一项作业都满足时限要求 ,只要保证作业的时限延误率低于某一阈值 ,其总体执行性能就是可以接受的。提出了概率时间需求分析法 (PTDA) ,用于估计可剥夺静态优先级调度策略下周期性任务的作业满足时限约束的概率的下界 ,并通过一个具体的实例考察了下界的紧性。对实例系统的仿真结果表明 ,PTDA分析的误差小于 1 0 % ,计算速度快 ,可以为弱实时应用的设计提供重要的参考依据     

二次非球面光学系统的自动优化

本文讨论二次非球面光学系统在计算机上的自动设计与优化,提出预优化思想及数学模型;提出程序实施方案;实现了以球面初始结构自动优化出二次非球面系统的构想。     

块脉冲函数法用于在线辨识

用块脉冲函数法作辨识,必须保证零初始条件和零均值噪声。本文对这种方法作出了改进。这种改进的方法,能辨识任意初态下的辨识问题,适用于非零均值干扰噪声的场合,且在辨识过程中无须测量初始条件和噪声均值。它能被方便地用于在线辨识。仿真实验表明,这种方法具有很高的辨识精度。     

态势估计中一种基于贝叶斯估计的统计时间推理方法

统计时间推理是态势估计中的一个重要组成部分。Ｋｉｒｉｌｏｖ的基于极大似然估计（Ｍａｘｉ－ｍｕｍＬｉｋｅｌｉｈｏｏｄＥｓｔｉｍａｔｉｏｎ,ＭＬＥ）的推理方法将未知时间变量看作常数,估计方差较大。文中建立的已知时间信息和未知时间变量之间的关系模型,将未知时间变量扩展为随机变量,将贝叶斯估计（ＢａｙｅｓＥｓｔｉｍａｔｉｏｎ,ＢＥ）引入时间推理。经过对两种推理算法的性能进行分析和比较,发现在一定范围内,基于ＢＥ的方法性能优于基于ＭＬＥ的方法。     

指挥控制参考模型综述

综述指挥控制参考模型的起源、基本思想和目的,分析和阐释该模型的体系结构和运行过程。     

有限马氏链最优停止的线性规划解

离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。     

快速原型技术在 C~3I 系统开发中的应用

讨论了在Ｃ３Ｉ系统开发过程中应用快速原型技术的必要性和应解决的问题,指出建立原型支持环境是应用快速原型技术在Ｃ３Ｉ系统开发中的关键。文中介绍了几种成功的原型支持语言与系统。     

实时流媒体传输中的差错控制与恢复技术

在Internet传送有一定的QoS保证的实时流媒体是多媒体应用的一个主要发展方向。但Internet上的数据传输时常出现丢包现象,不采取恢复措施,这必然导致视频质量的下降。如何提高视频传输质量,且保证它的实时性,是目前研究热点。以MPEG-4文件为视频流,研究了网络传输丢包对视频质量的影响,在此基础上提出了有选择地重传重要数据的恢复方法,来提高实时视频的图像质量;并根据RTP协议,提出CR-RTP协议,以对视频数据恢复重传的支持。     

Augmented nested sampling for stochastic programs with recourse and endogenous uncertainty

We propose a novel simulation‐based approach for solving two‐stage stochastic programs with recourse and endogenous (decision dependent) uncertainty. The proposed augmented nested sampling approach recasts the stochastic optimization problem as a simulation problem by treating the decision variables as random. The optimal decision is obtained via the mode of the augmented probability model. We illustrate our methodology on a newsvendor problem with stock‐dependent uncertain demand both in single and multi‐item (news‐stand) cases. We provide performance comparisons with Markov chain Monte Carlo and traditional Monte Carlo simulation‐based optimization schemes. Finally, we conclude with directions for future research.     

Satellite constellation design for forest fire monitoring via a stochastic programing approach

There is significant value in the data collected by satellites during and after a natural disaster. The current operating paradigm in practice is for satellites to passively collect data when they happen to fly over a disaster location. Conversely, this article considers the alternative approach of actively maneuvering satellites to fly directly overhead of the disaster site on a routine basis. Toward this end, we seek to compute a satellite constellation design that minimizes the expected maneuver costs for monitoring an unknown forest fire. In this article, we present a 2‐stage stochastic programing model for this problem as well as a accelerated L‐shaped decomposition approach. A comparison between our approach and the current operating paradigm indicates that our solution provides longer duration data collections and a greater number of data collections. Analysis also shows that our proposed solution is robust over a wide array of scenarios.