Andrew Secure RPC协议的一种组合分析方法

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。     

协作虚拟样机与协同设计方法

协作虚拟样机技术是在分布式环境下，多领域专家协作建立和应用虚拟样机的方法和技术，本文分析了协作虚拟样机与协同设计的关系，提出了基于协作虚拟样机的协同设计方法，该方法可全面而灵活地支持协同设计，在产品实际设计、制造和使用之前，对其功能、性能进行充分仿真与验证。文中还讨论了协作虚拟样机建模方法和异构仿真方法，并给出了基于协作虚拟样机的协同设计环境的总体结构。     

关于极小CH空间

给出了CH空间和CH－闭空间的刻划,并研究了这类空间的性质,主要结果如下：（1）设X是拓扑空间,下面命题等价;（1）X是CGH空间;（2）（X,Tw)是T1空间;（3）（X,Tw)是T2空间;（2）拓扑空间是极小CH空间,当且仅当该空间中有唯一聚 的开CH滤基收敛,（3）极小CH空间是CH－空间。（4）拓扑空间X是极小CH空间,当且仅当对任意的x∈X和任意开CH滤基μ,若{x}=U∈μU＝U∈μClU,则μ是X的一个邻域基,（5）拓扑空间X是极小CH空间,当且仅当是极小Tychonoff空间。     

基于模糊滤波核的TerraSAR—X图像Speckle噪声抑制算法

TerraSAR-X是世界上首颗商用的分辨雷达到1m的雷达卫星,具有广阔的应用前景。针对TerraSAR-X图像中的speckle噪声抑制问题,首先分析了噪声的基本数学模型,进而考察了几种经典斑点抑制算法,在此基础上,将模糊集理论引入到speckle噪声抑制问题中,构造了一种基于局域自适应模糊滤波核的speckle噪声抑制算法,通过对TerraSAR-X图像处理效果的实验分析,验证了算法的可行性,可以有效的抑制图像中的speckle噪声,显示出模糊集理论在TerraSAR-X图像speckle噪声抑制问题中的应用潜力。     

一种新型并联机构运动可靠性灵敏度分析

运动可靠性是机构动态运动精度的反映,是评价机构质量的重要指标。以往并联机构运动精度分析中,往往忽略输入误差的随机性,造成评价结果不准确。首先基于位置反解和一阶泰勒展开,建立了一种新型并联机构静态位置误差模型。应用误差模型,考虑各个原始输入误差的随机性,推导了机构运动可靠性数学模型,给出了评价机构运动可靠性高低的量度和计算方法。应用解析法灵敏度分析,定量地考察了各个原始误差对机构运动可靠性的影响,给出了求解机构任意点位置误差落入许用精度范围内的可靠度对21个原始误差源的敏感程度的计算方法。运动可靠性灵敏度分析是机构优化设计和精度综合的基础。     

野生红豆杉低海拔驯化栽培技术初探

红豆杉是野生高寒山区树木,再生能力极差,生长缓慢,适生范围小,为国家一级珍稀濒危树种。低海拔驯化种植野生红豆杉技术,主要是采集成熟的种粜,做好种子处理,选地、作畦、播种、搭荫棚、移枝和做好田间管理和采收。     

基于CS-MUSIC算法的DOA估计

多重信号分类（multiple signal classification, MUSIC）方法在少快拍数或者存在相干信源的情况下不能准确估计信号的波达方向,而压缩感知(compressive sensing, CS)方法在多快拍数或低信噪比情况下分辨性能不稳定,估计准确率受限。提出了一种基于CS的MUSIC方法,简称CS-MUSIC,该方法针对不同的快拍数,建立二者之间的联系,构造出新的正交空间,获得尖锐的谱峰。理论分析和仿真结果表明,所提方法在不同快拍数条件下,具有较高的估计精度,克服了传统方法存在的缺陷,并且对噪声具有鲁棒性。     

基于正反馈的支持向量机

在分析现有的基于高斯核的支持向量机(包括基于K-邻域法的支持向量机)的优缺点的基础上,通过对支持向量机之所以能够描述数据集的分布特征的本质进行分析,突破目前在构造支持向量机中存在的"所有支持向量与样本之间的在特征空间中的内积所对应的核函数参数一定要相等"的这一苛刻要求,提出了用于模式识别的基于正反馈的支持向量机.给出了基于正反馈的支持向量机的算法.通过对人工数据和现实数据的仿真实验,表明基于正反馈的支持向量机在推广性能方面明显优于现有的支持向量机.     

综合物探在复杂滑坡中的应用--以武都杜家沟滑坡为例

物探方法作为经济快捷的滑坡勘查手段已得到国内外的广泛认可,但涉及复杂型滑坡的案例较少。本文以武都杜家沟滑坡为例,利用浅层地震反射法、高密度电法、地震折射层析法组成了有针对性的综合物探勘查模式,有效查明了该滑坡的覆盖层厚度、基岩起伏变化、断裂分布等地质特征。最后使用综合物探成果结合地面调查、钻孔、槽探等信息回答了杜家沟滑坡地面调查中的种种疑惑,为复杂型滑坡勘查提供了一定的借鉴意义。     

提高硕士研究生学位论文质量的探索与思考

本文从硕士研究生学位论文现状出发,分析了当前学位论文存在的主要问题和质量不高的原因,提出了提高学位论文质量的对策措施并以学位论文工作的实践进行了简要说明。