基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述,给出了资源泄漏缺陷状态机,定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中,按照资源泄漏缺陷状态机给出的转换条件进行状态计算,如果计算结果为故障,则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试,发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一类非完整系统的输出反馈控制问题研究

针对一类具有虚拟控制方向和非线性不确定项的非完整系统,研究了其输出反馈控制器的设计问题。采用状态转换技术和反推方法,设计了只依赖于输出值的输出反馈控制器。同时为了处理初值为零的情况,提出了基于第一个子系统输出值的切换控制策略,通过仿真算例说明了控制器的有效性。     

简论故意泄漏国家秘密罪

为完善国家秘密保护法律制度,现行《刑法》规定了故意泄漏国家秘密罪。在司法实践中,需严格把握本罪的构成要件,并以此为基础,准确区分此罪与彼罪,正确施以刑罚。     

六相无刷直流电动机谐波转矩的分析与计算

无刷直流电动机具有诸多优点,但运行中仍然存在转矩脉动问题.分析了六相无刷直流电动机的工作原理,推导了六相无刷直流电动机的状态方程,采用状态变量法对电机转矩产生的关键量--反电势波形和电流波形进行了仿真和试验研究,对六相无刷直流电动机的谐波转矩进行了分析和推导,得出了通过减小电流滞后角可控制甚至消除正弦谐波脉动转矩的结论.     

双模量子态在原子介质中的存储

从四能级暗态极化子出发,讨论双模量子场与原子介质的信息转换过程以及2信号场之间的信息转换过程。利用双-Λ型四能级原子系统,可以存储双模量子态(包括一些纠缠态),从理论上解释了双模量子信息在介质中的"写入"和"读出"过程。提供了双信号场存储的实验方案。     

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

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

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

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

基于状态约减的信息攻防图生成算法

针对攻防图构建中存在的状态爆炸问题,提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上,对独立状态节点的权限进行对比;其在保留最高权限节点的前提下,实现对低权限节点的约减,并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。     

高海情对反导舰炮命中概率的影响

根据某型反导舰炮配装的舰船摇摆特性及海浪运动数学模型,首先模拟得到高海情舰船摇摆趋势图;然后分析了高海情对反导舰炮射击诸元的影响;其次,采用变换抽样法在高海情射击诸元变化范围内随机产生方位角和高低角增量,通过解6自由度弹道方程计算方位角和高低角增量概率误差,再根据概率误差解算高海情条件下系统的命中概率;最后,对大量的仿真计算结果进行统计分析,得出了具有实用价值的结论,为靶场试验及系统精度设计提供参考。     

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