操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.

基于任务的空军装备体系效能建模框架研究

为了提高武器系统的效能,针对空军武器装备体系作战效能分析中模型精度与运算速度之间的矛盾,在对空军武器装备体系作战效能层次分析的基础上,提出了运用多分辨率建模与解析法相结合解决战役任务武器装备体系作战效能分析的思路。以工程实现为目的,分析了空军战役任务武器装备体系效能分析模型总体框架,并通过对框架下任务多层次建模、实体模型的多分辨率建模、结构模型的多分辨率建模和建立多层次的作战效能指标体系等关键问题的研究,给出了一个基于双重多分辨率建模和解析模型的战役任务武器装备体系作战效能分析建模框架,可有效解决模型精度与运算速度之间的矛盾。

作战仿真数据研究

数据是现代作战仿真系统的重要组成部分,数据的开发也是作战仿真系统研发及仿真运行中需要解决的关键问题之一。为了深化对作战仿真数据认识及指导数据开发,对作战仿真系统的数据问题进行了研究。首先,分析了军事数据的特点,然后依据数据性质及在作战仿真中作用的不同,提出了基于性质和基于作用的数据分类方法,并在此基础上研究了作战仿真数据的来源。最后,根据作战仿真系统研制过程的划分,对比分析了作战仿真系统研制过程与数据形成的关系,给出了数据的形成过程。

Ⅱ型PIO反馈与前馈抑制系统对比

当舵机速率限制饱和时会产生附加时延,恶化飞行品质,触发Ⅱ型驾驶员诱发振荡(PIO)。运用描述函数法研究速率限制反馈(RLF)和死区增稳(DASA)Ⅱ型PIO抑制系统的开环相位补偿能力,提出RLF抑制系统的参数优化选择方法,分析了DASA抑制系统中死区和滤波器参数对相位补偿能力的影响。研究了两型抑制系统对正弦与偏差输入信号的开环响应特点。建立了含速率限制器的人机系统数学模型,基于描述函数法探究了Ⅱ型PIO的产生机理,推导了抑制Ⅱ型PIO发生的公式,应用连续信号相位补偿法抑制Ⅱ型PIO的发生。对阶跃、离散和正弦3种易于诱发PIO现象的跟踪任务进行数值仿真,对比了两种抑制系统的Ⅱ型PIO抑制能力。结果表明,反馈型RLF抑制系统对Ⅱ型PIO的抑制能力强于前馈型DASA抑制系统,有效降低了Ⅱ型PIO发生的可能性。

基于证据理论的纠错输出编码解决多类分类问题

针对多类分类问题,利用纠错输出编码作为分解框架,把多类问题转化为多个二类问题加以解决;同时提出一种基于证据理论的解码策略,把每一个二分器的输出作为证据之一进行融合,并讨论在两种编码类型(二元和三元编码矩阵)下证据融合的不同策略.通过实验分别对UCI数据集和3种一维距离像数据集进行测试,并与几种经典的解码方法进行比较,验证了所提出的方法能有效提高纠错输出编码特别是三元编码矩阵的分类正确率.