面向WWW业务的移动台状态转移算法研究

文章以下一代移动通信系统中的 WWW 业务为应用场景,提出了一种动态控制移动台状态转移行为的算法。算法的目的是有效地均衡 WWW 会话过程中的控制开销和信令连接占用效率两方面性能。文章采用Pareto 分布建立 WWW 业务模型。算法同时考虑了状态转移和移动性管理对总的控制开销的影响。仿真结果表明,该算法对信令连接重建概率和信令连接占用效率两方面性能提供了良好的平衡机制,并使控制开销总量维持在较低水平。     

Verification and validation of detonation modeling

The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multi-physics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.     

运用ECO开发基于UML的工作流系统

运用UML进行建模并运用MDA方法生成系统代码已成为当前工作流系统设计开发的一大发展趋势。经过多年发展的ECO技术为.Net环境下运用MDA方法开发基于UML的稳定高效的软件系统提供了很好支持,而ECOⅢ则通过支持UML动态建模,使得ECO具备了开发基于UML工作流系统的能力。通过示例介绍了运用ECO进行工作流开发的一般流程,着重展现运用ECO开发工作流系统的可行性和高效性。     

状态X~2检验法在联邦滤波器中的应用

针对联邦滤波器的特殊性,基于残差故障统计检验原理,详细研究了状态检验法应用时存在的几个问题。由于信息分配,造成子滤波器局部估计次优,从而基于残差的故障统计检验方法不能够直接使用;针对这一问题,修正了残差方差阵的计算方法,并提出一种次优自适应补偿方法,能够有效改善局部估计次优性对故障检测灵敏度的影响。最后的仿真结果表明了研究的有效性和可行性。     

书法家炽情创作状态刍议

炽情创作状态是书法家追求艺术高境界的一种心理体验,是一种突然的颖悟,是一种表现的激情,是一种审美的愉悦,是一种“如痴如醉”的精神状态。     

非合作目标视觉/惯导相对导航及敏感器自标定方法

利用视觉/惯导对空间非合作目标进行相对导航时,两敏感器的外参数对导航精度有较大影响。考虑到敏感器间的外参数标定复杂且耗时,提出一种利用视觉/惯导在估计相对状态过程中对其外参数进行标定的方法。该方法将视觉/惯导的外参数作为状态变量,与相对轨道运动学方程、相对姿态方程及惯导模型共同组成系统状态方程。利用该状态方程和单目视觉的观测量设计扩展卡尔曼滤波器对相对位姿、惯导偏差及视觉/惯导外参数进行估计,并通过数学仿真对该方法的有效性进行验证。仿真结果表明,该方法能够在视觉/惯导初始外参有偏差的情况下,有效估计相对位姿及惯导漂移,并对视觉/惯导外参数进行标定。     

Approximations for heavily loaded G/GI/n + GI queues

Motivated by applications to service systems, we develop simple engineering approximation formulas for the steady‐state performance of heavily loaded G/GI/n+GI multiserver queues, which can have non‐Poisson and nonrenewal arrivals and non‐exponential service‐time and patience‐time distributions. The formulas are based on recently established Gaussian many‐server heavy‐traffic limits in the efficiency‐driven (ED) regime, where the traffic intensity is fixed at ρ > 1, but the approximations also apply to systems in the quality‐and‐ED regime, where ρ > 1 but ρ is close to 1. Good performance across a wide range of parameters is obtained by making heuristic refinements, the main one being truncation of the queue length and waiting time approximations to nonnegative values. Simulation experiments show that the proposed approximations are effective for large‐scale queuing systems for a significant range of the traffic intensity ρ and the abandonment rate θ, roughly for ρ > 1.02 and θ > 2.0. © 2016 Wiley Periodicals, Inc. Naval Research Logistics 63: 187–217, 2016     

基于角色的仿真动态建模研究

提出的基于角色的仿真建模方法，详细论述了该方法的建模过程与步骤，阐述了利用角色来达成建模的本质。典型仿真应用表明，该方法在建立仿真动态模型方面是有效可行的，且其具有良好的通用性、封装性、异步并发性及多分辨率特性，能够很好地解决日益复杂的仿真动态模型的建模问题。     

基于非线性扩张状态观测器的直线电机PD控制

为了解决直线电机伺服系统跟踪速度与峰化现象之间的矛盾,设计一种基于非线性扩张状态观测器的比例微分(Proportion Differentiation,PD)控制器。将直线电机伺服系统中的未建模动态和外界干扰定义为总和扰动并扩充为系统新的状态变量,利用非线性扩张状态观测器(Non Linear Extended State Observer,NLESO)估计不可测量的直线电机动子速度以及总和扰动。利用NLESO和跟踪微分器TD的输出,基于动态补偿线性化思想设计了引入补偿量的PD控制器,并给出了闭环控制系统稳定性证明。在Googol公司的实验平台上,通过与两种基于LESO的PD控制器对比,验证了所设计的基于NLESO的PD控制器的可行性。实验结果表明,基于NLESO的PD控制器可使直线电机伺服系统具有跟踪速度快、跟踪精度高、峰化现象小、鲁棒性强的优点。     

考虑落角约束与驾驶仪特性的自适应RBF空间末制导律

为使大口径舰炮制导炮弹在打击近岸机动目标的末制导段满足落角约束,现考虑自动驾驶仪动态特性,基于自适应RBF逼近网络与动态面滑模提出一种空间末制导律。构建空间弹目相对运动模型,通过带改进微分跟踪器的扩张状态观测器估计目标加速度。为零化视线角跟踪误差与视线角速率,采用自适应指数趋近律设计非奇异终端滑模动态面,并运用自适应RBF逼近网络削弱控制指令抖振。通过Lyapunov第二法证明了全系统中视线角跟踪误差与视线角速率均最终一致有界。仿真实验表明：该末制导律使制导炮弹在空间中打击具有不同机动形式的近岸目标时,均具备良好的末制导性能。