一种融合MRF分割与数学形态学的道路提取算法

针对高分辨率合成孔径雷达（Synthetic Aperture Radar, SAR）图像中道路目标难以有效提取的问题,提出一种融合马尔可夫随机场（Markov Random Field, MRF）分割与数学形态学处理的高分辨率SAR图像道路提取算法。该算法首先利用直方图均衡化和增强Lee滤波对SAR图像进行预处理,实现道路的边缘增强,抑制相干斑噪声;进而利用基于条件迭代模式（Iterated Conditional Mode, ICM）的MRF对SAR图像中的道路目标进行初分割;再用数学形态学填充空洞,平滑道路边缘;最后,基于道路的几何特征,使用偏心率、矩阵度、复杂度等因子去除虚警,从而提取出道路目标。利用该文算法对两块实际高分辨率SAR图像进行道路目标提取,均可以取得90%以上的正确道路提取率,表明本文算法具有较高的道路提取精度。     

爱与性的实验报告

《爱与性的实验报告》小庄把爱情放进实验室,会出现什么结果?让科学家当你的闺蜜,会发生什么样的变化?听多了那些泛泛的情感建议,又不想看那些枯燥的理论分析,那么可以来听听松鼠会最有文艺气质的科学女青年——小庄怎么说,一起聊一聊她和她女朋友们的故事。这群人化身为小说人物,轻松而又有趣地解读着,关于爱与性的那些科学实验报告。     

大飞机发动机自主研制影响因素分析

研制拥有自主知识产权的大飞机是国家的既定战略,发动机是大飞机的心脏,发动机的自主研制关系到具有自主知识产权大飞机的实现。通过对飞机企业、发动机企业的调查和相关文献的搜集,找出大飞机发动机自主研制的影响因素,利用解释结构模型法建立发动机自主研制影响因素的解释结构模型,再利用层次分析法计算出各个影响因素的权重,在此基础上分析了各因素的重要作用,并提出了提高这些制约因素的对策。     

民机横航向静稳定性适航符合性数学仿真评估

针对适航标准对民机横航向静稳定性的要求,提出了一种基于人机闭环数学仿真计算的适航符合性评估方法。根据适航条款的要求提出了量化评估指标,建立了飞机系统模型和驾驶员操纵模型,以实现定常直线侧滑飞行等的特定飞行任务的人机闭环数学仿真,并依据数学仿真结果和评估指标对飞机的横航向静稳定性做出评估。运用此方法完成了某型民机设计方案的适航符合性评估,并较准确地确定了飞机横航向2个静稳定导数的合理取值范围。该方法可应用于民机的概念方案设计,计算结果可为飞行试验提供理论参考。     

军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

我院学员在第二届军队院校军事数学建模竞赛中获佳绩

6月24日至28日,南中国人民解放军军事运筹学学会主办、解放军理工大学承办、军械工程学院协办的第二届军队院校军事数学建模竞赛活动住我院举行。本届竞赛共有包括国防科学技术大学、解放军信息工程大学、海军工程大学、海军大连舰艇学院住内的27所军事院校参加,本科代表队有864组,     

彩色图像分割算法研究与费歇算法应用

图像分割是图像分析和模式识别需要解决的首要问题和经典难题。彩色图像比灰度图像具有更多的视觉信息,因而受到了越来越多的重视。文中对各种彩色图像分割方法进行了系统论述,分析了各种方法的优缺点,重点介绍了费歇算法。该算法能有效地对彩色图像进行分割,在工业实践中取得了比较好的效果。     

武汉物理与数学研究所CPT原子钟研究取得新进展

2008年7月22日,据中国科学院网站报道,最近,中科院武汉物理与数学研究所研究员顾思洪等人在CPT原子钟核心技术研究方面取得重要进展,研制出性能得到明显改进的CPT原子钟,其稳定度和功耗等主要指标已与国外商品钟的指标相当。CPT原子钟是利用原子的相干布局囚禁原理而实现的一种     

航天器空间交会过程综合变轨策略研究

文章研究了空间交会远程导引阶段综合变轨问题的变轨策略方法和实用理论模型。文章首先简要描述了综合变轨的技术条件和策略方法 ;然后重点建立了多脉冲综合变轨的轨道动力学模型 ,并给出了数值求解方法 ;最后用自行开发的仿真程序进行了远程导引多脉冲综合变轨的算例仿真。仿真结果表明 ,该模型和算法具有工程实用性     

民用机场停机位优化配置

停机位配置指为到港或离港航班指定适宜的登机口,确保航班正点。航班停机位的高效、合理安排是机场地面作业中的一项核心任务。本文在系统分析国内繁忙机场停机位配置情况的基础上,提出以旅客登转机时间(旅客满意度)、机型与停机位类型匹配(机场效益)为优化目标,同时考虑航班类型(国内短途、国际长途)、航班数量与密度(忙时、闲时)、停机时间的停机位配置的数学模型,并设计求解模型的禁忌搜索(TS)算法。数值仿真证明了模型和算法的有效性。