导航雷达视频及方位信号提取电路设计

介绍一种采用数字信号处理器（DSP）TMS320VC5402和复杂可编程逻辑器件（CPLD）M4A5-128/64实现导航雷达视频信号和方位信号的数字提取处理电路的设计方法。重点介绍了电路的设计方案、工作流程、雷达视频信号和方位信号的A/D 变换硬件接口设计以及CPLD的逻辑电路设计,简要介绍了TMS320VC5402的软件设计思路。通过采用DSP和CPLD实现对导航雷达信号数据的快速提取。     

天基预警系统资源调度方法

对面向导弹预警任务的天基预警系统中的低轨卫星资源调度问题进行了研究.对预警任务的特性进行分析,提出了一种预警任务规划与分解方法以减少任务对资源占用时间的需求;在此基础上建立了该问题的约束满足CSP调度模型;针对该模型变量多、解空间规模庞大的特点以及对求解算法时效性的要求,设计了一种基于局部解空间跳出机制的改进型遗传算法MGA.仿真表明该模型与算法在给定时间内能够得到满意的调度方案.     

加强对人武部主官的监督约束

《党内监督条例》规定:"党内监督的重点对象是党的各级领导机关和领导干部,特别是各级领导班子主要负责人"。从人武系统来讲,监督的重点对象就是人武部主官。一、加强对人武部主官监督的重点内容加强对人武部主官的监督,是确保人武部健康发展、加强主官队     

装备零讯

伊拉克购买140辆M1A1坦克;美打造高空侦察巨型飞艇;俄RS-24洲际导弹即将战斗值班;印度国产战舰推迟试航;波音F-15SE战机单价1亿美元;伊拉克考虑购买韩T-50;     

基于A*算法的四维实时航迹规划算法

飞行器在飞行过程中接到攻击时间敏感目标的指令时,时间因素必须被考虑,这时飞行器就要规划出四维航迹.利用A*算法的特点,将A*算法的估价函数解释为一个与时间相关的函数,通过比较规定到达时间与预测到达时间之间的差值,确定出将要优先扩展的节点,并通过航程调节和速度控制来减小时间误差.提出的四维航迹算法在算例中实现,实验结果表明飞行器可以按规定的时间到达目标.     

带任意泛函约束的多项式再生核的计算

讨论多项式再生核的构造与计算,指出了带任意泛函约束的多项式再生核可由带初值约束的再生核取两次投影余项而得到,并建立了具体的计算方法.     

一类极点指标与方差指标约束的满意控制

在将极点配置到关于实轴对称的凸多边形区域时 ,总可以用线性矩阵不等式来描述 ,于是对具有状态稳态方差指标、区域极点指标约束的状态反馈系统 ,可以利用 Matlab- L MI工具箱进行求解反馈增益 ,其仿真结果对结论作了说明。     

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine, EFSM)的回归测试过程中，传统的可执行测试数据生成方法由于没有充分利用软件变更信息，在对模型分支错误进行检测时效率较低。为此，提出了一种基于EFSM模型融合的可执行回归测试数据生成方法，制定规则对软件变更前后的模型进行融合，将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历，结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明：该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。     

编队导弹攻击火力分配模型

根据现代海上攻防作战的特点,分析了传统编队导弹攻击火力分配模型的不足,建立了三种基于机会约束的编队导弹集中齐射火力分配模型,并在随机模拟的基础上给出了基于遗传算法的模型解.     

基于约束满足的多目标对地观测卫星成像调度

EOS(对地观测卫星)成像调度需要根据用户提出的成像任务需求确定卫星成像序列,是一个复杂的组合优化问题。考虑到成像侧视约束条件,建立EOS成像调度的多目标有向无环约束图模型。在此模型的基础上提出了基于SPEA2(strength pareto evolutionary algorithm 2)的多目标成像调度算法,采用约束控制技术设计遗传算子处理成像约束。经过三个实际的多目标成像调度问题测试,表明该算法可以有效地解决EOS成像调度问题。