推动SolidWorks软件的应用，促进CAD工作的开展

本文根据目前CAD发展现状，剖析了我公司CAD的应用情况，重点讲述了三维软件SolidWorks的主要性能和特点。     

HPF程序编译信息的超文本生成器

ＨＰＦ是最新的数据并行程序设计语言，其程序分析工具的研究，是ＨＰＦ编译器研制的可靠保障。本文给出了ＨＰＦ程序的中间表示抽象语法树（ＡＳＴ）的组成，研究了将ＡＳＴ转换为可读形式的工具ｄｕｍｐａｓｔ，实现了ｄｕｍｐａｓｔ的超文本自动生成器，为用户提供了观察ＡＳＴ的非线性手段，可在网络上浏览。     

概率风险评价技术及应用

介绍了概率风险评价技术的基本概念，详细分析了概率风险评价的实施过程，包括目标定义和系统分析、初因事件识别、事件链建模、故障模式确定、数据收集和分析、模型的量化和集成、不确定性分析和结果分析等步骤。最后通过一个航天器推进系统的示例说明概率风险评价技术的分析结果及应用范围。     

卫星遥感图像分块小波变换编码方案

提出一种分块小波变换，该数据压缩方案可节省存储时间，为星上应用提供了可能性；利用各基带之间的自相似性，对小波系数采用改进型零树编码，可有效地提高压缩比。     

3N+1猜想证明探索

本文介绍了3N+1猜想的背景及国内外研究概况,提出四个公理和一个引理,探索了五种证明猜想方法。     

基于微核结构的可二次开发语音平台

随着电子商务、客户服务等信息服务的普遍化,为了满足各种商业以及服务系统的需求,语音服务作为电信领域备受关注的一个热点,其应用领域也越来越广泛。本语音平台是基于语音技术,整合了网络资源,使用VoiceXML描述和控制语音逻辑的一种交互式服务系统。其特点是信息获取快速准确,以及客户服务多样化越来越明显。可广泛应用于证券电话委托、电话银行、信息查询、语音信箱、自动传呼系统、多功能小型用户交换机等领域。     

基于全景子空间的尺度不变特征跟踪方法

提出一种基于全景子空间尺度不变特征跟踪方法,包括离线阶段建立全景图像与原始图像序列特征集对应关系和在线阶段基于关键图像识别的特征匹配等过程.首先利用全景图充分覆盖局部场景信息特性,通过扩展Kd树组织全景图特征并建立其与原始图像序列特征对应关系,不但解决了图像间特征对应,而且能够有效减少全景图冗余特征量,提高首次特征匹配速度.然后给出一种基于投票策略的关键图像识别方法以进一步完成二次特征匹配,从而将多图像大数据量特征匹配转换为单图像小数据量特征匹配目标,较好实现了特征匹配速度与稳定性的平衡.试验结果表明本方法能够有效增强特征跟踪的稳定性.      

面向稀薄流非线性本构预测的机器学习方法

稀薄非平衡流域内连续介质假设已经失效,主要围绕Boltzmann方程及模型方程对稀薄非平衡流开展理论与计算研究,统一气体动理论格式（UGKS）是其中一种代表性方法。在稀薄非平衡流数值模拟中,Navier-Stokes （N-S）方程连续介质假设已经失效,不能有效描述流场非平衡特征。UGKS方法虽然计算精度高,但速度空间离散导致计算效率低下,多维高速条件下数值计算难以开展。基于数据驱动的思想,在N-S方程与UGKS方法的研究基础上发展出了一种稀薄非平衡流非线性本构关系求解方法（DNCR）。该方法以N-S与UGKS求解器获得的流场数值模拟计算结果作为训练数据集,基于流场特征参数采用极端随机树算法生成机器学习模型,对预测流场中线性黏性应力项与热流项进行非线性修正,并耦合非线性本构关系求解宏观守恒方程得到目标状态稀薄非平衡流动数值解。针对DNCR方法中所采用的机器学习方法-极端随机树模型,通过二维顶盖驱动方腔流算例对高维非线性建模涉及的特征参数选取、参数调优开展了相关验证工作,选取若干典型状态对极端随机树模型的泛化性能开展研究,并评估了相关模型与方法的计算精度与计算效率。     

面向多层次网络拓扑发现算法的研究

以往的拓扑发现算法只关注网络层设备的拓扑发现,而忽略数据链路层的设备,提出一种面向多层次的拓扑结构发现算法,该算法在发现网络层设备的基础上又发现了链路层的设备,并经过优化提高了算法的效率。