形式验证中ROBDD变量排序算法的研究

不良的ROBDD变量排序会引发状态空间爆炸的危机,从而影响形式验证方法的推广和使用。通过对CUDD数据包中ROBDD遗传变量排序算法的研究,利用变异操作和保留最优个体的时代繁殖操作对原算法进行了改进。实验数据表明,改进后的算法在可以容忍的运行时间内减少了ROBDD的节点数目,在一定程度上缓解了形式验证中状态空间爆炸的危机。     

多指标可拓判别在科研项目等级评判中的应用

利用可拓判别法对科研申请项口进行等级综合排序,对科研经费的划拨提供了具体的量化基础。     

Ka波段卫星ATM系统差错控制编码方案

Ka波段通信是当前卫星通信发展的热点 ,卫星异步传递模式 (ATM)技术代表了宽带数字卫星通信网络的研究方向 ,文章研究了适合Ka波段卫星ATM系统的差错控制编码方案。首先分析了卫星信道的特点以及对ATM信元传输所带来的影响 ,并给出了突发误码与信元丢失率 (CLR)关系的仿真曲线 ,然后讨论了六种具有代表性的卫星ATM差错控制编码方案。针对Ka波段宽带卫星通信的特点对六种方案进行了分析比较 ,其中的CASI/ALA以及RM Turbo方案为两种较好的选择。     

基于PCI的雷达视频信号模拟器设计与实现

介绍了雷达视频信号模拟器的作用 ,列举了常见的雷达视频信号模拟器的类型 ,提出了一种适用于高密度脉冲流复杂信号环境的雷达视频信号模拟器的方案 ,对各个模块进行了详细的讨论。对模拟器的主控台软件设计也做了较为详细的阐述     

一种多波段组合的孤立噪声去除方法

首次提出了一种多波段组合的孤立噪声去除方法.文章在对图像进行中值滤波处理之前,先进行门限法的孤立噪声初步定位,设定孤立噪声为候选点;然后结合多波段图像数据对候选孤立噪声进行最终定位,只有当像元判断为真实的孤立噪声时,进行中值滤波处理;最后以中国一颗传输型卫星图像为例,检验了算法的有效性.     

CBERS-O2热红外波段绝对辐射定标及其不确定性分析

文章介绍了2004年CBERS-O2星热红外波段绝对定标工作，结合野外试验情况和数据处理过程深入进行了不确定性因素分析（包括误差分析），并从亮温反演的角度分析定标精度，进而针对如何提高在轨卫星热红外波段绝对辐射定标的精度，进行了探讨。     

中国航天科工集团公司8511研究所“×车载电波监测系统”等四项科技成果通过集团鉴定

2007年11月19日，中国航天科工集团公司8511研究所在南京召开了“2007年科技成果鉴定会”。本次鉴定会由中国航天科工集团公司科技质量部主持，邀请了相关单位的20余名专家。会上“×车载电波监测系统”、“Ku波段频率源”、“毫米波频率源”和“×信号侦测系统”四项科技成果通过了鉴定。     

具有学习效应的单机可控加工时间排序问题研究

在经典排序问题中，工件的加工时间往往是一个常数，但在现代生产过程中，工件的加工时间受许多因素的影响。因此，研究工件具有学习效应的单机可控加工时间排序问题，其中工件的加工时间是其所在位置的函数，且与加工时间的控制变量有关。目标是求出最优的加工时间控制变量和最优的排序使得目标函数最小，目标函数包括极小化时间表长与控制费用的和、极小化总完工时间与控制费用的和、极小化总完工时间偏差和与控制费用和。证明他们都能转化为指派问题，从而多项式时间可解。并给出数值例子来说明问题是如何求解的。     

船底星云：恒星诞生的地方

德国天文学家托马斯·普赖比施等人利用位于智利安第斯山脉的APEX望远镜的LABOCA相机，以次毫米波段对著名的船底星云进行观测，将星云中作为恒星诞生材料的低温气体灰尘显现出来。船底星云是个非常剧烈的恒星诞生区，银河系中部分质量最高的恒星便在此诞生，因此它是了解这些年轻恒星与孕育它们的星云之间究竟有什么样的关联和交互作用的理想研究目标。