成像卫星任务周规划模型与算法

作为卫星运控系统中的一个重要模块,卫星任务短期规划对充分发挥卫星系统效能有着重要影响。与卫星任务的日规划的作用和特点不同,它既涉及到任务规划的技术问题又涉及到卫星管理问题。针对周规划任务,本文分析周规划的需求和特点,兼顾周规划的四项主要作用,构造周规划的分层框架;分析周规划优化目标及约束条件,建立卫星任务的负载度周规划模型;针对模型求解属于高维离散组合优化问题,仿真实验评价了几种基本智能优化求解算法,并应用引入分布式并行技术的遗传模拟退火算法求解。     

n人2n事指派问题求解理论与方法

本文提出了n人 2n事指派问题 ,建立了其决策理论与决策方法。该理论与方法在兵力火力优化组合、多军、兵种联合作战任务区分等军事决策方面和部门合并 ,单位合组优化等管理决策方面有着实用价值。这一理论的建立与论证思路 ,典型地代表了一般n人cn事 (c∈N )指派问题决策理论的建立与论证思路。     

应用不可满足子式的解码电路综合优化方法

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高效求解最小不可满足子式的算法——分支-限界算法与贪心遗传算法,集成到解码电路的自动综合工具中。采用通信领域的标准编码电路作为测试集,将两种算法进行对比。实验结果表明,在运行时间与每秒剔除的短句数方面,贪心遗传算法优于分支-限界算法;不可满足子式在解码电路的自动综合过程中发挥重要作用。     

中国地震台网中心首席预报员孙士鋐：汶川地震“变异”事前几乎没有掌握到宏观异常

汶川地震公众最人的一个疑问是,地震部门之前为什么没有预测到？媒体之前也报道过当地曾经出现过的一些异常现象,这些异象为什么没有受到重视。     

动中求解——本溪市平山区人武部贯彻落实 思想政治教育大纲幻实

去年7月,辽宁省军区把本溪市平山区人武部作为贯彻落实《大纲》的重要指导单位,面对任务,人武部的同志们没有犹豫。因为《大纲》没有对民兵预备役系统如何开展思想政治教育作出规范要求,     

政工课案例教学中的问题求解

政工课案例教学的基本功能在于提高学员求解问题的能力。如何科学构造案例教学中的问题情境,准确把握求解问题的一般程序,灵活实施教学双方互动,是政工课案例教学的基本内容,也是提高教学质量、实施军事教育创新的又一举措。     

关于(i=4n+7±√6n2+6n-11/10)的正整数解快速求解原理

本文给出了有效信号为二次多项式时,线性二乘一步外推点与采样点关系方程正整数解的快速求解的几个定理.     

关于i=(4n+7±(6n~2+6n-11)~((1/2))/10的正整数解快速求解原理

本文给出了有效信号为二次多项式时,线性二乘一步外推点与采样点关系方程正整数解的快速求解的几个定理。     

双频去相关单历元动态解算整周模糊度研究

针对GPS实时动态精密相对定位应用背景,提出一种整周模糊度实时求解方法。采用宽巷组合载波相位双差、伪距双差观测信息建立观测模型;对浮点模糊度协方差阵进行一次Cholesky分解,构造了浮点转换矩阵,使浮点模糊度完全去相关;推导确定整周模糊度的搜索空间;利用最小残差平方和搜索准则,确定单历元整周模糊度,并用OVT检验方法,对不同历元得到的整周模糊度进行一致性检验。结果表明,观测量误差均方差取值对整周模糊度搜索空间和成功率有较大影响,附加OVT检验的双频去相关单历元动态解算整周模糊度方法正确可行。     

利用方程组的转化巧解曲线相交问题

解析几何中某些较复杂的两曲线相交问题,若能利用方程组的等价转化,可以使问题简单化,易于求解。下面举例来说明这一方法。例1.试判断直线l:Ax By C=0与椭圆C:x2a2,y2b2=1的位置关系。解:直线l与椭圆C相交、相切和相离,分别相当于方程组Ax By C=0x2a2 y2b2=l。(1),有二解、一解