【摘 要】
：
研究了编队卫星对地观测调度问题。分别建立了基于问题自然描述和基于有向图描述的两类整数规划模型,运用整数规划凸包理论比较了两类模型与各自对应的线性松弛模型之间的最
【机 构】
：
国防科学技术大学信息系统与管理学院
【基金项目】
：
国家自然科学基金（70601035 70801062）资助课题
论文部分内容阅读
研究了编队卫星对地观测调度问题。分别建立了基于问题自然描述和基于有向图描述的两类整数规划模型,运用整数规划凸包理论比较了两类模型与各自对应的线性松弛模型之间的最优值差异,得出了基于有向图描述的线性松弛模型更接近于原问题凸包的结论,并基于有向图描述模型设计了不完全分支定界算法。最后,在随机生成的仿真算例下,运用ILOG CPLEX实现了该算法,实验结果表明了模型及算法的有效性,并验证了对于两类整数规划模型的边界分析。
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
<正>近日,在"全国无公害农产雄铁树相继开花。一朵有大海碗都吸引许多人前来一睹芳姿。另在徐徐绽放,现亦有一握拳头大乃康介绍,铁树开花至少说明三是苏北气候怡人,风调雨顺,
相控阵雷达不同于以往磁控管或行波管雷达，相控阵雷达的收发功能是由许许多多的收发组件单元组成的阵列完成的，就像某些动物的复眼，而每一个收发组件都需要电源为它提供能量，并且
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
目的:对维持性血液透析(MHD)患者运动疗法进行研究以及分析。方法:收治MHD患者151例,采用运动疗法和护理,对其进行观察。结果:有氧运动能够使得MHD患者体力活动的水平得到有
This work is aimed to study the therapeutics and pharmacology of the treatment of severe acute respiratory infection caused by coronavirus disease-19 (COVID-19)
随着信息技术的迅猛发展,特别是多媒体技术和网络信息技术的蓬勃发展,以教师为中心、基于行为主义理论基础的传统课堂教学模式的缺点逐渐凸显出来。由于在传统的课堂教育中,