模糊测试技术研究

随着人们对软件安全问题关注度的不断提升,漏洞挖掘技术逐渐成为业内热点的研究内容.但传统的漏洞挖掘技术耗时长耗工大,更重要的是不能全面的探测出软件中的漏洞,因此一种简单高效的漏洞挖掘技术,即模糊测试技术,逐渐成为了研究者们关注的重点.本文首先重点介绍了模糊测试技术的相关理论知识及研究进展情况,并对比了传统漏洞挖掘技术与模糊测试技术进而说明模糊测试技术具有传统漏洞挖掘方法无可比拟的优势.之后,研究了目前模糊测试技术在各个领域内的应用情况,并比较了现有模糊测试工具的优缺点.最后列举出模糊测试技术的局限性,并阐述了模糊测试技术未来的发展方向.     

氢燃料电池热特性测试平台设计和应用

国内氢燃料电池大功率、全负载的发展面临温度一致性与余热利用的热管理挑战.为了获得大功率氢燃料电池的能量转化与温度分布等热特性规律,搭建了模块化的氢燃料电池热特性测试平台,并进行应用研究,验证了该平台的功能性和实用性.该测试平台包括冷却散热模块、热特性测试模块、数据采集模块与控制模块等,能够在对热管理关键温度进行监测并对氢燃料电池产热特性进行实时测量分析的基础上,利用红外热成像与热电偶阵列对燃料电池各单元间的温度一致性进行测试与评价,旨在为余热利用、提升温度均匀性等先进热管理技术的研究提供测试手段与数据基础,对推进氢燃料电池汽车的节能化、高效化具有重要意义.     

一种基于TTCN-3的协议测试系统及其扩展研究

用户要求下一代互联网是一个更大、更安全、更快、更及时、更方便、更可管理的网络．为下一代互联网服务的协议测试技术需要适应这些测试需求．文中重点研究了协议测试中的测试集描述法和测试实现技术．选取了TTCN-3作为测试集描述法,并针对协议鲁棒性测试需求进行了语法和语义扩展．开发了基于TTCN-3的协议集成测试系统PITSv3,并对其进行了鲁棒性测试扩展实现．最后通过两个实际的测试应用,体现出PITSv3是一个具有通用性、标准性、可扩展性特点的分布式测试平台．     

电磁加热技术在石化能源中的应用进展

电磁加热是一项极具创新性的技术,它操作简单、加热迅速、环境友好,在石化能源的开采与使用中拥有广阔的应用前景。本文从实验室研究与现场使用角度介绍了电磁加热技术在石化能源中的应用现状,主要包括稠油开采及运输、油页岩热解、煤的热解与脱硫等方面,并对催化剂在以上方面的应用前景展开了分析。针对电磁加热技术应用在石化能源领域中存在的问题,本文提出了未来可能的研究方向。     

超大规模集成电路互连分析算法研究

研究了计算电容矩阵的一种快速有限元算法并用于超大规模集成电路(VLSI)互连分析 ,该方法将形状独立不变测试方程法引入有限元公式中 ,同时还研究了波阵技术以加速有限元方程求解 .数值实验表明 ,结果与已知文献结果吻合较好 ,不失为一种有效的VLSI互连分析算法     

可信计算平台测评理论与关键技术研究

可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.     

钌(Ⅱ)配合物化学发光反应及其分析应用研究进展

近几年来，钌(Ⅱ)配合物化学发光反应及其分析应用研究进展较快，本文对钌(Ⅱ)配合物化学发光反应新体系、分析应用新方法、与分离技术联用、试剂衍生与固定化等方面的研究进行了评述。     

基于FPGA的SD卡控制器设计及应用

通过对SD卡物理层协议和Avalon总线协议的研究,设计了一种基于FPGA的SD卡控制器。利用Nios II IDE软件编写驱动函数库,采用自定义组件技术将其作为独立IP核集成到嵌入式监控系统中进行应用测试。实际应用表明该设计使用方便、集成性高、数据传输快速可靠,保证了监控系统中数据存储的实时性和可靠性。     

区块链技术的应用进展与发展趋势

从2015年以来,作为比特币底层技术的区块链技术,开始成为继物联网、云计算、大数据和人工智能之后,人们争相研究和应用的热点,并被Gartner列为未来十大技术发展趋势之一。区块链具有去中心化、共识机制、不可篡改、智能合约等特性,是一种全新的、去中心化架构的计算范式。本文在分析、比较国内外区块链研究现状和简要介绍区块链关键技术(原理)的基础上,梳理了近几年区块链技术的最新应用进展,分析当前区块链应用面临的主要问题,对区块链未来的应用前景与发展趋势进行展望,进而为未来区块链的研究和应用提供有益的启发和借鉴。     

关于加强航空材料应用研究和促进成果产业化的几点体会

本文对航空材料应用研究的地位，作用及其主要内容与特征进行了简要的评述。材料的应用研究过程可分为五个阶段：设计选材，材料研制、工艺制订、测试鉴定和使用验证。文中对如何开展材料应用研究和促进成果产业化进行了讨论，最后对航空材料近期的发展提出了一些意见。     

机械式低频天线机理及其关键技术研究

不同于依靠导体中振荡电流激励电磁波的传统电小天线(electronically small antenna, ESA),机械天线(mechanical antenna, MA)是利用机械运动的电荷或磁矩直接激励电磁波的一种新型低频电磁发信技术.该技术有望突破ESA的物理尺度限制,有利于解决现有系统天线体积庞大、设备复杂、辐射效率低、发射功率和能耗大等问题,以提高低频通信应用的机动性和灵活性,在水下和地下通信以及导航定位等领域具有广泛的应用前景,已成为当前国内外相关领域的研究热点.本文介绍了MA的基本概念与研究动态,重点研究了MA的实现形式、物理模型以及在自由空间产生时变电磁场的分布模型与衰减特性,对比了不同类型MA的性能特点及应用优势,提出了MA的基本架构,探讨了实现高效应用急需解决的关键技术问题与挑战,并对其应用模式和应用前景进行了展望.基于提出的MA架构,研制了基于钕铁硼永磁体和高速永磁伺服电机的旋转永磁式MA原理样机,通过近场测试初步验证了旋转永磁式MA的时变磁场分布特性,及其实现FSK调制的可行性和有效性.     

水信息获取与处理技术及发展

在对水信息系统模型内涵与外延分析的基础上,综述了水信息获取与处理技术的研究与应用的内容：①水信息获取的基本理论框架;②水信息获取技术及发展;③多源信息融合处理技术。探讨了水信息系统的信息获取技术互补、信息融合算法选择和系统评估3个关键问题。     

一种形式化的实时协议互操作性测试方法

协议互操作性测试是一种保证网络通信协议实现质量的重要技术．下一代互联网协议需要提供对实时应用的有效支持，然而已有互操作性测试相关研究中并没有考虑协议中的时间约束，现有互操作性测试技术很难应用于实时协议互操作性测试中．文中提出了一种形式化的实时协议互操作性测试方法．首先提出了一个用于描述实时协议互操作性测试被测系统的形式化模型CMpTIOA（通信多端口时间输入输出自动机），基于该模型定义了时间互操作性关系；然后提出一种以时间互操作性关系为指导的测试生成方法，根据被测系统模型生成参数化测试行为树，在该方法中还集成了可执行性预判决机制，在一定程度上缓解了状态空间爆炸问题；最后将提出的理论和方法应用于IPv6邻居发现协议的互操作性测试中，验证了该方法的可行性．     

基于卫星定位的位置服务分析及其应用研究

全球导航卫星系统(GNSS)在位置服务领域发挥着巨大的技术支撑作用.本文概括了GPS现代化、GALILEO、GLONASS和北斗导航系统的建设与发展情况,挖掘基于位置服务(LBS)的技术应用需求,并针对2008北京奥运会和2010年上海世博会的服务应用做技术推广研究和行业应用分析.     

材料与结构力学性能表征与测试 北京理工大学爆炸科学与技术国家重点实验室

正联系人:任会兰电话:010-68918315E-mail:huilanren@bit.edu,cn北京理工大学爆炸科学与技术国家重点实验室爆炸与冲击动力学科研团队近年来结合先进装备的数字化设计,围绕混凝土、钢筋混凝土、陶瓷、钨合金、钨锆合金等具有重要应用价值材料的力学性能表征与测试开展了大量的研究工作;制备了金属基     

基于PPP-BOTDA的钢筋混凝土结构应变与变形监测实验研究

介绍了预泵浦布里渊光时域分析技术的测试原理、实现方法、技术参数以及温度对测试的影响，并用于钢筋锚固性能实验和混凝土梁受弯加载实验的应变测试．实验结果表明，预泵浦布里渊光时域分析技术可对钢筋、混凝土的应变分布、混凝土的开裂进行较准确的测量和定位．将分布式应变沿光纤轴线进行累加还可推算出结构的变形量，由此得到了箱梁在加载过程中的挠度分布曲线．对预泵浦布里渊光时域分析技术用于土木工程结构的应变、变形测量以及裂缝监测提出了建议．     

高温条件下的固-固界面接触热阻测试方法与系统

高温条件下的固-固界面接触热阻是航空航天、能源、热核反应等领域中热控制和热防护系统设计的关键参数之一.针对高温条件下界面接触热阻测量系统设计与研制中存在的高温界面温差的高精度测量、热流量和压力的精确加载与计量、高温测试本体的绝热防护等技术问题,本文提出了一种上下对称布置稳态双向加载热流的高温条件下界面接触热阻测试方法,分析阐明了影响高温条件下接触热阻测量数据准确性的主要因素,建立了高温接触界面温差的红外热像测试与分析方法,攻克了钨热流计和接触界面处压力的精确加载与计量技术,设计了功率、温度全闭环精确控制的盘式钨丝高温加热器和高温测试本体的真空多层隔热结构,研制了高温条件下界面接触热阻的测试系统,实验测试了高温合金、C/C材料等材料对之间的接触热阻.结果表明,本文建立的高温条件下界面接触热阻测试方法和系统,实现了界面温度达1200℃的高温条件下接触热阻的高精度测量,测试误差小于10%.     

材料动态性能对高速切削切屑形成的影响规律

高速切削作为一门先进制造技术已经在工业生产中得到日益广泛的应用,对高速切削过程切屑形成机理的研究有助于进一步发挥高速切削技术的优势和促进高速加工装备的发展,同时可指导优化切削参数、控制切屑形态以改善加工表面质量.高速切削切屑形态变化是工件材料在不同切削载荷下表现出的动态力学性能差异所致.弄清楚高应变率下材料动态力学性能有利于揭示高速切削切屑变形与失效机理,同时高速切削实验的合理设计与应用可以成为材料在高应变率下动态力学性能的新型测试手段.本文以高速切削过程工件材料动态性能变化对切屑形成的影响为主线,结合我们在高速切削切屑形成机理方面多年的研究成果,对高速切削过程中工件材料的强度、塑脆性和微观组织变化等方面进行了综述分析.阐明了高速切削条件下碎断切屑形成的力学条件,指出了传统切削理论在应力状态对切屑变形和失效的影响机理、切屑微观组织演化等方面研究存在的不足,最后对未来的超高速切削切屑形成机理研究进行了展望.     

IP网带宽测量技术综述

本文介绍了IP网带宽测量技术研究与进展,包括链路、路径带宽、可用带宽测量技术,论述了多种开源带宽测量工具,并对带宽测量技术的应用和研究进行了展望。     

浙江余杭良渚遗址群出土玉器的无损分析研究

研究了浙江省余杭良渚遗址群(反山、瑶山、汇观山和塘山遗址)出土的玉器. 利用PIXE,XRD, 激光Raman 无损分析方法测试分析了百余件玉器的化学成分、物相和结构. 结果表明, 这些玉器主要属于透闪石和透闪石-阳起石. 讨论了透闪石玉料在玉器中的应用与新石器时代文明发展的关系. 首次测定了透闪石型玉器和玉石的微量元素含量, 从分析中获得了2 种不同地质成因的透闪石与所含微量元素的关系, 探讨了良渚遗址出土的透闪石型玉器的玉料可能的来源.