求解布尔不可满足子式的消解悖论算法

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。     

无监督特征学习的人体活动识别

针对人的局限性可能会导致在提取特征中丢失重要信息,从而影响最终的识别效果问题,提出无监督特征学习技术的惯性传感器特征提取方法。其核心思想是使用无监督特征学习方法学习多个特征映射,再将所有特征映射拼接起来形成最终的特征计算方法。其优点是不会造成重要信息的损失,而且可以显著减少所使用的无监督特征学习模型的规模。为了验证所提出的特征提取方法在活动识别中的有效性,运用一个公开的活动识别数据集,使用三种常用无监督模型进行特征提取,并使用支持向量机进行活动识别。实验结果表明,特征提取方法取得了良好的效果,与其他方法相比具有一定的优势。     

GPS接收机模糊搜索粗时定位方法

由于难以获得免时定位算法所需的接收机概略位置,提出模糊搜索的粗时定位方法。为减小搜索空间,在位同步后优选几何精度因子值较好的4颗卫星通过遍历伪距模糊的方式进行位置估计,并基于伪距残余均方根最小准则选出最合理的位置估算结果。根据概略位置恢复所有卫星的完整伪距。利用5状态的免时定位算法估计接收机位置。使用11个国际卫星导航服务观测站的观测数据对算法进行验证,结果表明,在概略位置未知情况下该方法能够实现粗时定位,且定位精度与直接使用完整伪距的精时最小二乘定位精度相当。     

基于STN的任务执行过程中的资源冲突自动消解

任务在执行过程中受到各种因素的影响,任务时间可能会偏离预定计划,在资源数量有限的情况下,由于要满足时间的约束,往往会出现时间重叠而发生资源冲突。消解这种资源冲突的一个最直接的方法是及时调整任务计划时间消解潜在的资源冲突。针对任务执行过程中冲突消解人工决策耗时较长的问题,设计了一种基于STN的任务在执行过程中的自动消解方法,通过案例仿真,证明方法是可行的,并且能够比人工决策方式节约时间。     

盖板式陶瓷热防护系统的传热性能优化

针对高超声速飞行器对盖板式陶瓷热防护系统的迫切需求,建立了热防护系统结构瞬态传热模型;并研究了防隔热层的物性参数,厚度尺寸,相变层的种类、位置等因素对热防护系统结构传热性能的影响。结果表明,隔热层物性参数及厚度尺寸对热防护系统结构传热性能具有决定性影响,而防热层的物性参数及厚度尺寸几乎不产生影响。相变材料的引入能够明显改善热防护系统结构的传热性能。调整和优化相变层位置是改善热防护系统结构传热性能、降低结构厚度的一个有效途径。隔热层厚度的优化结果可为热防护系统结构设计提供一定的参考和依据。     

面向作战任务的作战系统冲突检测与消解研究

以作战任务为中心,动态集成作战系统是当前军事领域研究的新课题,从多个作战任务的时间冲突和作战系统状态能力有限性出发,研究作战系统在执行作战任务过程中存在冲突的问题,给出冲突规则的形式化描述,提出了冲突检测与消解的算法,最后通过实例对算法进行了验证。     

利用镁金属化学还原法制备多孔Si/Si-O-C负极材料机理研究

以二乙烯基苯和聚硅氧烷为原料经先驱体转化法制备了Si-O-C材料，利用镁金属在惰性气氛保护下高温还原制备了多孔的Si/Si-O-C负极材料。Si/Si-O-C负极材料的首次放电与充电容量分别为547.2和450.7mAh?g-1，第二次放电与充电容量分别为487.4和422.9mAh?g-1，库伦效率分别为82.3%、86.8%，材料具有较好的循环性能。利用X射线衍射(XRD)、能谱分析(EDX)、元素分析和场发射扫描电镜(FE-SEM)分析了多孔Si/Si-O-C负极材料的组成、结构、形貌，从而研究利用镁金属化学还原法制备多孔Si/Si-O-C负极材料的机理。结果表明，镁金属在还原过程中生成MgO和Mg2SiO4等产物，经HCl洗涤后可形成多孔的Si/Si-O-C负极材料。Si/Si-O-C材料中的单质硅分布于多孔的Si-O-C相中，一定程度上可缓解Si在循环过程中产生的体积效应。利用镁金属还原Si-O-C材料制备多孔Si/Si-O-C材料是一种可行的制备方法。     

变尺度离散Chirp-Fourier变换及其在弹载PD雷达检测中的应用

针对离散傅立叶变换(DFT)对加速运动目标进行检测时的局限性,结合离散Chirp Fourier变换(DCFT)和弹载脉冲多普勒雷达信号检测的具体背景,提出了一种基于FFT的变尺度离散Chirp Fourier变换(B DCFT),分析了它的性能。将它应用于雷达信号检测的应用背景形成了一种对线性调频信号的级次检测算法。理论分析和仿真试验表明该算法在运算量和检测性能方面均有一定的优势。     

冲激SAR成像的分辨率估计

后向投影 (BP)算法是一种被广泛应用于冲激SAR的成像算法。当冲激SAR的发射信号是某一类冲激信号时 ,根据冲激SAR成像的特点 ,推导出BP算法的方位分辨率与成像积累角、信号中心频率的关系。仿真结果表明 ,在相当范围内 ,估计公式都是准确的     

多品种空投小件装载优化建模研究

针对空投小件装载率低下的现状,提出利用相关容重比平衡法,制定装载计划以充分利用飞机的载重能力及其使用面积,分别建立了单机和多机空投小件装载模型。该模型充分考虑了飞机的面积和载重量,对提高空投小件装载的利用率,起到良好应用效果。