带混合边界条件的m——分支半线性反应扩散系统

采用非线性分析的方法与技巧,研究了一类带混合边界条件的m(m≥2)一分支半线性反应扩散系统解的整体存在性.首次给出一种控制条件,使其“IntermediateSums”控制指数可达到 ∞.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

卫星姿控实物仿真系统中的磁线圈分析

报道利用两对赫姆霍兹线圈模拟卫星的磁环境的研究。首先分析了赫姆霍兹线圈产生磁场的均匀度 ,接着分析了单一线圈安装和形状偏差对产生磁场的影响 ,然后提出地球磁场模拟方案 ,最后给出仿真结果和分析结论     

基于混沌遮掩法和孙子定理的口令验证方案

提出一种高保密性的口令验证方案,它把基于孙子定理的口令验证方法运用于基于混沌遮掩法的保密通信系统中,使保密通信系统具有更高的安全性。     

基于最大熵谱估计验证战术导弹的气动模型

现代谱估计方法是验证系统仿真模型的有效方法。战术导弹飞行试验的遥、外测数据记录了大量的过程参数,可以利用这些参数进行气动力和气动力矩的计算,与飞行试验过程参数进行分析比较。应用最大熵谱估计检验导弹的气动力和气动力矩模型的可信性,可以给出定量的结果。文章给出的方法可以作为战术导弹气动参数模型研究的一种辅助手段。     

装备实物资产应实行动态计价核算

近年来,为了提高装备经费的使用效益,加强了对装备实物资产的管理力度。从2000年至今,中央军委、四总部相继颁发了各类相关法规和文件,对装备实物资产的管理提出了明确要求,也取得了明显的成效。但在管理实践中,会计核算工作还存在一些问题,给装备实物资产的价值管理带来了直接的影响。其中,会计账务核算方法上价值反映滞后是重要问题之一。     

小型无人机航位推算定位算法研究与误差分析

对空中航位推算(DR)算法做了深入研究,提出了适用于小型无人机(UAV)的风速估计策略;将算法中各元素的误差对推算定位精度的影响进行了理论分析与数值计算;该研究结果应用于某小型UAV的航位推算/GPS组合导航系统的设计与实现中;飞行试验表明,通过提高对DR误差影响较大的元素的测量精度和风速的估计精度,有效提高了DR推算精度,与以往其他小型UAVs相比,在断开GPS对DR的修正后,DR精度保持在一定范围的持续时间显著延长.     

甲板坐标系下速率火控射击诸元解算及弹道修正

速率火控系统是在甲板坐标系下解相遇的,它不依赖于导航系统.它与常规火控不同,甲板倾斜的修正不能采用简单的坐标系变换的方式.针对速率火控甲板倾斜修正问题,指出了两种需要进行甲板倾斜修正的情况,推导给出了计算方法,通过原理仿真计算,验证了计算方法的正确性.     

对辐射源信号到达角的自适应跟踪估计

为提高信号到达角(AOA)的测量精度,采用修正的窗函数加权平均算法和基于机动加速度的非零均值时间相关模型的自适应卡尔曼滤波算法,将信号到达角的变化轨迹看作是一种做加速度机动的运动,实现对连续变化信号到达角的参数估计.计算机仿真验证了算法的有效性和可行性,证明该方法有一定的应用价值.