激光快速成型TC4合金显微组织及力学性能

采用金相显微镜、扫描电镜、电子拉伸机等，研究了激光快速成型TC4合金沉积态在平行沉积方向和垂直沉积方向的组织和力学性能.结果表明:激光快速成型TC4合金沉积态宏观组织沿沉积方向生长的粗大β柱状晶呈明暗相间的条带状结构，具备典型的魏氏组织特征;垂直沉积方向的强度比平行沉积方向的强度高，但塑性低;合金断口为韧窝状断口，垂直沉积方向的断口韧窝尺寸比平行沉积方向的小.     

动物试验方法的专利申请

 为判断动物试验方法是否具备实用性，分析了中国关于实用性的相关规定，通过4个典型案例对动物试验方法是否属于非治疗目的的外科手术方法、是否具备实用性进行了分析，总结判断标准并给出了撰写权利要求的建议。在撰写动物试验方法的专利申请时，应当注意该方法的目的及该方法是否包含外科手术步骤，并针对该方法的不同情况采用不同的撰写策略。     

2005～2017年快速城市化背景下洱海流域不透水表面时空格局分析

近年来随着我国经济建设的不断加快以及城市化的快速发展,工业和人口的大规模聚集造成了不透水表面的快速扩张,这对城市生态环境产生了严重的影响。作为城市化水平的关键指示因子,不透水表面已经被广泛应用在城市生态环境评估中。为了定量的分析洱海流域不透水表面拓展的时空动态特征规律,本文以大理市所在的洱海流域为研究对象,利用2005年至2017年的大理市Landsat 5、Landsat 8遥感影像,提取归一化水体指数(MNDWI)和归一化差值不透水表面指数(NDISI)对洱海流域的城市、道路进行空间分析并提取出不透水表面信息进行空间格局分析。研究结果表明：2005~2017年间,随着城市化的快速发展,洱海流域的植被覆盖率和水体等自然地物覆盖率处于下降状态,而不透水覆盖率从11.6%上升到19.8%,呈现快速持续上升趋势。由洱海水质和其流域内不透水覆盖率线性拟合结果可以得到两者具有一定的负相关性。可以预见洱海水质未来发展中随着不透水覆盖率的增长而下降。因此,在城市发展的同时,应该注重对洱海的综合治理,不能任水质自行调节。本研究结果为洱海流域内城市规划管理和流域(水)环境治理提供参考信息,具有重要的现实意义。     

发动机传感器的测试

发动机传感器的测试是进行控制和诊断的基础,故有必要对传感器输出信号的性质、特征及电路加以阐述.     

时滞测试能量函数的局限性分析和改进模型

针对时滞试能量函数，分析了它在无冒险强健测试矢量生成时存在局限性和表达式较复杂的不足。在此基础上建立了无冒险条件下的时滞试能量函数，从而完善了Chakradhar提出的时滞测试能量和相应的测试生成算法。     

基于RL&SM通用夹具系统的主动寻位技术及其实现方法

介绍了RL&SM通用夹具的寻位系统 ,描述了主动寻位与制造信息转换问题 ,提出和实现了相应的控制方法及其系统实现中的关键技术。理论分析与实验结果表明 ,提出的解决方法和技术是可行的 ,为RL&SM通用夹具系统的实际应用奠定了理论基础和技术支持     

网络路由收敛性能测试研究

在网络建设和运行中,采用测试的方法对其性能进行评估对于网络的正常运营具有重要的意义.本文研究了网络路由收敛性能测试方法,为得到路由收敛性能指标,对OSPF和iBGP的路由收敛时间进行了测量.提出了一种简化的路由收敛时间测量方法,通过测量数据平面的传输性能指标,对路由控制平面的收敛时间进行估算.该方法对于测试设备要求不高,实施简单方便.采用该方法在CERNET2投入运营之前对其进行了路由性能测试,实验结果表明CERNET2在路由变化时具有较好的路由收敛性能.     

采用系统理论思想实现新一代防病毒技术

本文从防病毒角度把病毒分为三类：可检测型病毒、半可检测型病毒和非检测型病毒；提出系统状态转移网络这一中心概念，根据系统状态的可测性、状态间的相容性和循环性来判别ＤＯＳ系统的安全性，并提出了仿真检测判别技术。新一代防病毒技术从传统地剖析病毒转移到ＤＯＳ系统状态的研究，为全面预防各种计算机病毒奠定了系统理论基础。     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

集合识别问题的D序列和UIO序列的一种推导方法

集合识别方法是非确定性分布式系统相容性测试的一种新方法，是经典的状态识别方法的一种扩展，提出了在集合识别问题中使用的推导Ｄ序列和ＵＩＯ序列的方法。