协议测试中用户信息的形式化描述技术

无论是协议的一致性测试、互操作测试还是协议性能的测试,都只有在接收了用户信息后才开始实际的测试。自定义的用户信息缺乏形式化的定义,使测试系统很难具有良好的通用性。本文对协议测试中测试系统与测试用户之间的交互信息在内容上进行了合理的划分,并对其进行了形式化定义,同时还介绍了此形式化定义在实际系统中的一种应
应用。     

构建培养卓越土木工程师实验教学体系的探索

为实施卓越工程师教育培养计划,适应社会经济发展和高等教育改革形势,创新高校人才培养模式,深化教育教学改革,应树立以基础知识传授、应用能力培养和创新素质提高为核心的实验教学观念,建立进阶式开放实验教学体系,才能有利于培养学生的实践动手能力和科研创新能力。     

一种基于iSPF的下游路径规则实现方法

互联网服务提供商通过部署下游路径规则(DC)实现本地重路由,为降低DC实现方法的计算开销,平衡故障保护率与计算开销间的关系,提出一种基于增量最短路径优先(iSPF)算法的DC实现方法DC-iSPF。将计算节点到邻居节点的链路代价设置为0,在更新后的拓扑上运行iSPF算法,从而计算出所有符合DC规则的邻居节点。实验结果表明,与TBFH算法和DMPA算法相比,DC-iSPF方法能够降低计算开销,提升故障保护率。     

BATscope:比特币恶意地址及混币交易识别

^*比特币作为第一个也是最主流的基于区块链技术的数字货币,吸引了越来越多用户的关注和投资。因为匿名性和去中心化的特点,比特币也是不法分子常用的洗钱工具。据报道,最近几年比特币已被用于许多案件,包括黑客、暗网市场、资金走私、诈骗和勒索。为了打击此类恶意行为,准确识别比特币地址的类型和比特币交易目的尤为重要。然而,现有的解决方案仅能部分地解决这个问题,并且在识别准确率上表现不佳。在本文中,我们提出了一种基于机器学习的解决方案BATscope,可以准确地识别比特币地址的类型及一些交易的目的(例如,混币交易)。其核心是通过一些可靠的启发式方法和一种新颖的先导预测方法,可以自动化的迭代增加训练集中的比特币地址,从而不断反馈给模型再次训练,稳定提升机器学习模型的性能。评估结果表明,BATscope可以在公开数据集中以0.99的精度识别基于混淆的混币交易,并在识别比特币地址的类型(例如,恶意地址)中达到0.9621/0.9567的Micro/MacroF1分数,远高于现有的解决方案。此外,结果还表明我们的启发式方法可以有效地增强可靠的地址标签数据,先导预测也可以准确的进行纠错并进一步提升模型性能。我们利用BATscope进一步分析了混币交易,揭示了混币行为和恶意地址之间的关系。为了证明其鲁棒性和实用性,我们还使用BATscope来验证已知恶意地址,并帮助执法部门分析未知地址并提供线索。进一步证明在实际应用中,BATscope的结果是可靠的。     

非水相酶促合成不同链长的对香豆酸酯及其自由基清除能力

酶促酯交换反应常用于改善酚酸的亲脂性。本研究采用酶促酯交换策略,将脂肪酸链以羧基的形式引入对香豆酸中,成功地在非水介质中合成了一系列新的对香豆酸衍生物。在最佳反应条件下,脂肪酶Nov.435 40 mg/m L,溶剂为吡啶:环己烷=1:9,底物摩尔比=1:10,温度50℃,转速180 r/min,对香豆酸甲酯的转化率可达98%。进一步的研究表明,20μM时p-CA对DPPH自由基(醇溶体系)的清除活性为56.34%,对香豆酸月桂酯、对香豆酸癸酯、对香豆酸辛酯、对香豆酸己酯、对香豆酸丁酯和TBHQ在相同浓度下对DPPH自由基的清除活性分别为73.91%、70.32%、68.90%、60.62%、43.65%和67.51%。其中,对香豆酸月桂酯的DPPH自由基清除活性明显高于p-CA和TBHQ,但低于Trolox。结论:非水相酶促合成的不同链长对香豆酸酯具有良好的清除自由基能力。因此,合成的具有不同抗氧化活性的酯类衍生物有望应用于不同的食品、药物和化妆品体系中,为酯类衍生物的合成提供有益的指导。     

用于室温相变储能材料的NaNO3-LiNO3-KNO3-H2O体系相图预测

采用Pitzer-Simonson-Clegg模型对四元体系NaNO3-LiNO3-KNO3-H2O在273~358 K的溶解度相图进行预测,模型参数拟合于二元体系NaNO3-H2O、LiNO3-H2O、KNO3-H2O和三元体系NaNO3-LiNO3-H2O、NaNO3-KNO3-H2O、LiNO3-KNO3-H2O的水活度、渗透系数及溶解度数据,发现一个四元共晶点,该点组成为5.9%NaNO3、76.2%LiNO3.3H2O和17.9%KNO3(质量分数),相变温度为295.6 K。通过吸放热行为测试及DSC检测对共晶点组成材料的储热性能进行研究。结果表明:该材料在相变温度附近具有良好的储放热性能,且热焓很大,可作为潜在的室温相变储能材料。     

应用于路由协议测试的在线测试系统

在深入分析路由协议特点的基础上，提出了适应于路由协议测试的在线测试方法。该方法在通信线路上监听方式对协议实现进行测试，可在实际网络运行环境下进行而不干扰网络运行，并具有其他有益特性。在分析解决了关键技术问题之后，提出了在线测试OLTS的设计目标和系统框架；OLTS通过状态同步算法对路由协议的状态机进行测试，通过拓扑结构分析和内部过程模拟等手段测试路由信息的交互和处理；OLTS具有直观友好的用户界面和良好的可扩充性。目前已完成了原型系统，开展了BGP、OSPF和RIP的测试。     

基于形式化技术的帧中继拥塞控制协议一致性测试

帧中继作为重要的广域网协议得到了日益广泛的应用，但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致测试研究和实际测试。针对帧中继拥塞控制协议的特点，采用穿越测试法设计生成了基于形式化技术的一致性测试集，并且将利用协议集成测试系统取得一致性测试的研究成果应用到路由器的开发和研制过程中。