SiO2/C复合微球的制备及其脱除水体中Cu(Ⅱ)和Cr(Ⅵ)的动力学和热力学

首先,将Stober法制备出的SiO2活性微球分散到抗坏血酸(VC)水溶液中,通过水热碳化法成功制备出了SiO2/C复合微球.采用XRD、SEM、TEM和BET等手段对产物的结构、形貌和比表面积进行了分析.然后,以Cu(Ⅱ)和Cr(Ⅵ)为目标污染物,对比研究了SiO2和SiO2/C对水体中上述两种金属离子的脱除效果.结果表明,SiO2和SiO2/C对Cu(Ⅱ)和Cr(Ⅵ)的吸附动力学满足准一阶动力学方程,吸附热力学过程符合Langmuir模型,但SiO2/C复合微球对Cu(Ⅱ)和Cr(Ⅵ)的去除量较高,且具有较好再生性能,经过6次循环使用后,对Cu(Ⅱ)和Cr(Ⅵ)的去除率仍高达95％和93％.     

并发程序切片原型系统的设计与实现

并发程序切片是并发程序分析的一种重要手段。针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可达图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统。初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片。     

基于神经网络的基坑紧邻环境多因素预测

随着高层建筑的增多与地下空间的大范围开发,基坑工程不断增加的深度与规模都对紧邻环境造成了巨大挑战,而有效预测能提前发现工程的安全隐患。为了预测深基坑工程开挖时地表沉降、地铁结构位移、坑外土体测斜三类紧邻环境的监测数据,同时降低数据在获取过程中受到的噪声影响,提出了小波分析－长短时记忆神经网络（ＷＡ-ＬＳＴＭ）模型。该模型使用排列熵算法选择最优预测天数,同时以皮尔逊相关性分析结果为依据选用不同的输入组合,考虑了输入项之间的相关性大小。实验使用上海徐家汇中心深基坑工程的监测数据进行验证,结果表明,ＷＡ-ＬＳＴＭ（双因素）模型对原数据的趋势性上还原程度较高,是一种高精度、高时效、更符合理论变化趋势的环境预测模型。     

智能合约的合约安全和隐私安全研究综述

区块链作为对等网络中的一种分布式账本技术,集成了密码学、共识机制、智能合约等多种技术,提供一种新型信任体系构建方法.智能合约具有公开透明、实时更新、准确执行等显著特点,在区块链中为信息存储、交易执行和资产管理等功能的实现提供了更安全、高效、可信的方式.但是,智能合约本身仍然存在安全问题,影响了区块链技术的进一步推广使用.所以,近年来围绕智能合约安全问题的相关研究比较多,为了帮助相关人员更好地理解和掌握其中的研究思路,本文采用Mapping Study方法,通过收集2015年以来公开发表的关于智能合约安全问题的各类文献,并进一步通过文献筛查、问题设置、信息提取、结果获取和分析等步骤,总结智能合约安全相关研究的现状和未来发展趋势如下:(1)目前智能合约自身面临的安全问题和挑战主要体现在合约安全和隐私安全两方面(问题和挑战).在调查的45篇文献中,有29篇文献针对合约安全,16篇文献针对隐私安全;(2)智能合约安全保障目前采用的方法主要包括形式化验证、模糊测试、零知识证明、可信执行环境等(保障方法);(3)针对合约安全的研究目前主要集中在合约实现、测试阶段,而针对智能合约设计、部署及运维阶段的研究比较少;针对隐私安全的研究主要集中在合约数据隐私保护,而针对合约代码隐私安全的比较少(覆盖范围);(4)智能合约安全保障研究目前主要从合约实现人员、合约测试人员的角度进行,而从合约维护人员和合约用户角度展开的研究较少(研究角度);(5)未来研究应该围绕智能合约的全生命周期的每个阶段安全问题进一步推进,先验方法和后验方法、定性方法和定量方法、静态方法和动态方法的结合是大势所趋(发展趋势).综上,本文通过调研发现了现有研究的不足,并建议了进一步的研究方向.     

命名数据网络中的视频传输研究综述

互联网目前已经发展为一个由实时视频和视频点播等内容分发服务主导的网络.传统IP网络对于视频分发类任务的支持存在组播的部署复杂且开销大,不能有效利用多路径获取内容、对移动性的支持差和难以同时满足可靠性以及低延时需求等问题.命名数据网络(named data networking,NDN)作为新型的下一代互联网体系结构,支持网络内缓存和多路径传输,而且由消费者驱动的传输模式使其天然地支持消费者端移动性.以上特点使NDN具有高效传输视频内容的潜力.首先介绍了视频传输和NDN的基础背景,然后阐述了一些利用NDN中优势实现视频传输的设计方案.通过对已有方案的总结与比较,最后指出了在NDN中传输视频所面临的挑战.     

工业大麻收割机切割-输送关键部件作业参数优化

针对工业大麻收割机茎秆切割效率低、输送率低,以及关键作业参数研究空白的现状,本文结合工业大麻茎秆物理特性,运用中心组合试验设计理论开展关键部件作业参数试验与优化,重点研究工业大麻收割机切割-输送作业关键参数中切割速度、链条输送速度、切割位置与夹持点水平间距对切割效率、输送率的影响规律,并以切割效率、输送率为响应指标进行多目标优化.首先对主产区工业大麻茎秆物理和机械力学特性进行研究,并进行与收割相关的物理参数测定,然后采用二次正交旋转组合试验方法设计试验,并用Design-Expert进行数据处理,建立切割效率、输送率的回归数学模型并进行方差分析.通过响应曲面方法分析各因素交互作用对切割效率、输送率的影响,并根据优化目标的重要程度(输送率较切割效率更重要)对回归模型进行多目标优化,得出工业大麻收割机切割-输送关键作业参数的最优组合如下:切割速度为1.33 m/s,链条输送速度为1.35 m/s,切割与夹持点水平距离为63.9 mm.此时切割效率最高、输送率最高,其值分别为44.35株/s、93.93％.最优参数组合下田间试验切割效率为44.7株/s、输送率为92.21％,作业性能大幅提升,达到了较为理想的效果.     

一种不确定图中最可靠最大流问题的解决方案

最可靠最大流是不确定图中可靠性最高的最大流,它是传统最大流问题在不确定图上的自然延伸.现有的最可靠最大流算法SDBA时间复杂性较高,无法满足实际中不同应用的需求,为此,文中提出一种具有普遍适用性的最可靠最大流解决方案.该方案包含面向不同需求的3种算法:基于负权群落消去的NWCE算法、基于时间约束优先单环消去的SPEA-t算法和基于概率阈值约束优先单环消去的SPEA-p算法.其中,NWCE算法借鉴最小费用最大流的"流平移"思想并基于文中提出的负权群落概念,在辅助剩余图中不断地消去可使可靠性增加而流量不变的负权群落,可证当消去所有负权群落时对应的最大流即为最可靠最大流.根据负权群落中由单环组成的群落占很高比例且相对于多环组成的群落更易查找和消去的性质,同时考虑到NWCE算法为了获得最优解,往往为了消去最后少数几个对概率提高贡献很小的负权群落却花费了很长时间的现象,提出SPEA-t和SPEA-p两种快速近似算法,前者是以规定时间内尽可能逼近最优解为目标,后者是以最少时间达到预设的概率阈值为目标,它们都采用了优先消去概率-时间效益较好的单环群落的策略,加快对最优解的逼近速度,减少或放弃时间开销较大的多环群落的消去,以满足那些对算法时间性能要求很高而结果以近似最优即可的应用需求.实验表明,相对于SDBA算法,NWCE算法结合概率剪枝策略在时间性能上有了数量级的提高,而SPEA-t算法和SPEA-p算法则具有更高的性能和更好的适用性.     

钙钛矿型中温固体电解质La0.9Sr0.1Ga0.8Mg0.2O3-δ的制备

以硝酸盐为前驱体合成了具有钙钛矿结构的中温固体电解质La0.9Sr0.1Ga0.8Mg0.2O3-δ(LSGM)。用XRD和SEM分析了样品钙钛矿相的形成过程和显微结构,用直流四电极法测试了电解质的氧离子电导率。研究结果表明:经1 450℃煅烧6 h后得到LSGM单相结构,800℃时的电导率为6.8×10-2S.cm-1,高于同温下钇稳定氧化锆(YSZ)样品的电导率,表明LSGM更适合做中温固体氧化物燃料电池(SOFC)的电解质材料。     

再生混凝土力学性能提升技术与应用

针对大量混凝土废弃物造成生态环境日益恶化及天然骨料资源日益缺乏的问题,通过配制不同强度等级和不同再生骨料掺量的再生混凝土,并结合锡澄运河三级航道整治工程对再生混凝土力学性能及其提升技术进行试验研究。结果表明:再生骨料的掺量对C35及以下中低强度混凝土力学性能影响较小,而对C40及以上中高强度混凝土有较大影响,随再生骨料掺量的增加,再生混凝土力学性能降低;通过合理选用再生骨料级配、与天然骨料复掺、对再生骨料进行强化以及优化配合比参数等措施能提升混凝土力学性能;锡澄运河三级航道整治工程实际应用取得了很好的技术经济效益。