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

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

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

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

An eikonal equation based path planning method using polygon decomposition and curve evolution

Path planning is a key technique of autonomous navigation for robots, and the velocity field is an important part. Constructing velocity field in a complex workspace is still challenging. In this paper, an inner normal guided segmentation algorithm in a complex polygon is proposed to decompose the complex workspace in this paper. The artificial potential field model based on probability theory is then used to calculate the potential field of the decomposed workspace, and the velocity field is obtained by utilizing the potential field of this workspace. Path optimization is implemented by curve evolution, during which the internal force generated in the smoothing process of the initial path by a mean filter and the external force is obtained from the gradient of the workspace potential field. The parameter selection principle is deduced by analyzing the influence of several parameters on the path length and smoothness. Simulation results show that the designed polygon decomposition algorithm can effectively segment complex workspace and that the path optimization algorithm can shorten and smoothen paths.     

US grand strategy and the origins of the developmental state

ABSTRACT

Scholars have credited a model of state-led capitalism called the ‘developmental state’ with producing the economic miracles of Japan, South Korea, and Taiwan. This article examines how the developmental state was shaped by the Cold War. US grand strategy focused on accelerating economic development among allies that were under the greatest threat from Communist China and North Korea. American aid agencies became involved in the process of state-building in Japan, South Korea, and Taiwan and supported economic planning. I verify this claim by contrasting US policies on Taiwan with US policies in the Philippines, which faced a weaker Communist threat.     

基于IMM-RUASFF的网络化目标跟踪算法

针对目前网络化目标跟踪算法存在实时性差、精度低等问题进行了研究。首先,基于网络信息共享需求,建立了网络探测节点的目标跟踪模型;其次,网络探测节点目标跟踪需求和实战要求发现目标经常是有多种运动状态并存,而单一模型的滤波器不能满足对机动目标跟踪性能的要求,采用了基于交互式多模型(Interacting Multiple Model,IMM)的有反馈实时更新的异步状态融合算法。最后,针对多个探测节点目标跟踪的状态融合估计问题,提出了一种有反馈实时更新的异步状态融合算法,通过仿真验证了算法的有效性。     

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

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

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

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

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

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

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

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

不同射流状态下射流气体与高超声速主流相互作用影响

为研究不同射流状态对高超声速飞行器气动加热的影响,对高超声速来流条件下方孔和圆孔横向射流模型进行数值模拟,讨论射流压强、射流速度及射流方向对主流流场的影响,得到了不同射流状态下流场结构、壁面温度热流分布及壁面中心线温度热流变化。结果表明:射流在一定程度上能缓解壁面气动加热情况,壁面引射效果更好,壁面引射速度1 m·s~(-1)时壁面热流降低接近三分之二。在高速(Ma1)射流情况下,适当增大压强和速度,均会使得射流下游的冷却效果加强;在中低速(Ma0.6)射流情况下,射流基本上不改变主流流场而在边界层内流动,流速越大,冷却范围越大,冷却效果也相对较好。射流方向与主流方向夹角为锐角时,利于射流孔下游降温;夹角为钝角时,利于射流孔上游降温。