冷热电联产技术的探讨

介绍了冷热电联产的原理及特点。现今,冷热电联产系统越来越广泛的被应用在为单个建筑物及区域内多个建筑物提供能源上。该系统不仅具有节能环保效益,而且在供电安全、缓解电力短缺及改善能源结构等方面上提供了有效的措施。     

喷雾干燥法制备纳米结构热喷涂喂料的非均匀结构形成机理

利用α–Al2O3和金红石相TiO2两种纳米粉末,采用喷雾干燥方法制备了纳米结构Al2O3–13%TiO2喂料。随着浆料中固相物含量的减少,喂料的尺寸减小。中空的球形颗粒内部呈现非均匀结构,一侧变薄甚至出现空洞。喷雾造粒过程浆料液滴表面蒸发速度不同,导致固相物同时向表面和前部迁移,是形成这种特殊结构的主要原因。     

铝合金表面微弧氧化制备陶瓷层的最佳工艺优化及耐腐蚀性能研究

以7A52铝合金为对象,进行微弧氧化陶瓷层制备工艺优化及耐腐蚀性能研究.利用响应曲面法设计微弧氧化试验,在硅酸盐电解液体系下,研究电压、频率、石墨烯添加剂浓度对微弧氧化陶瓷层的厚度和孔隙率的影响,采用Quadratic模型进行数据拟合,Criteria进行预测分析,并对预测参数及响应值进行试验验证.经响应曲面分析,当预...     

基于MR定位的深度弱覆盖分布研究

LTE网络经过多期的建设日趋完善,由于LTE高频段的传播特型,造成现网仍存在大量的深度弱覆盖研究,本文通过大数据分析对MR精准定位后的深度弱覆盖分布特性进行研究,便于后期深度覆盖的建设方向和建设方式进行一定的指导.     

基于改进模糊均衡策略的碳循环虚拟电厂多目标鲁棒随机调度优化模型

燃气碳捕集(gas-power plant carbon capture, GPPCC)设备能捕集CO₂,电转气(power-to-gas, P2G)设备可将CO₂转化为甲烷,提出将GPPCC、储碳设备(carbon storage device, CS)和P2G与虚拟电厂(virtual power plant, VPP)进行连接,即C2P-VPP。首先,搭建C2P-VPP结构并构建数学模型;然后,选择最小化调度成本、最小化碳排放量、最小化出力波动作为优化目标,并利用鲁棒随机优化理论刻画风力发电厂(wind power plants, WPP)和光伏(photovoltaic, PV)发电的不确定性,建立C2P-VPP多目标随机最优调度模型。最后,选择CIGRE中压配电系统进行算例分析,结果表明所提最优决策模型能发挥C2P的电-碳-电循环优化效应,为决策者制定兼顾C2P-VPP调度方案提供有效的决策工具。     

基于形式化方法的智能合约验证研究综述

智能合约是区块链技术应用的一个重要场景,智能合约技术实现了区块链的可编程化,提高了其扩展性,有广阔的应用前景。然而,一系列关于智能合约的安全事件造成了大量经济损失,削弱了人们的信心,安全性问题已经成为制约智能合约进一步发展的关键问题。如果合约设计和代码实现的过程中存在缺陷,可能会造成严重后果。而智能合约发布后无法修改,因此,在智能合约发布前对其正确性做出验证尤为重要。近年来,国内外学者在智能合约的验证领域取得了大量成果,但对这些研究成果的系统分析和总结相对较少。对以太坊的交易过程、gas 机制、存储结构、编写语言做了简要介绍,在此基础上调查归纳了智能合约中常见的8种漏洞类型,解释了漏洞产生的原因,回顾了一些真实发生的安全事件并给出了漏洞示例代码;根据不同的技术手段,如符号执行、模型检测、定理证明等,对智能合约的形式化验证工作做分类介绍,分析了各种方法的优劣,并选取了3个开源的自动化验证工具Mythril、Slither和Oyente,从运行效率、检测漏洞类型以及准确率等方面作出实验评估和对比;研究了目前已有的相关综述文章,总结了这些研究的区别与优势;概述了智能合约的漏洞检测技术中仍存在的关键问题,对智能合约验证工作的现状进行了分析和展望,提出了未来能够进一步研究的方向。     

一种软件功能测试成本估算模型及其应用

软件测试是软件工程的一个重要阶段。在软件测试工作开展以前,恰当的估算软件测试的规模及成本,将使软件产品的质量得到大幅提高。提出一种基于算法模型的软件功能测试成本估算模型,给出了模型中参数的初步校准值,并在实践项目中进行了应用。实践表明,该模型在实践中可以较好地估算软件功能测试规模及成本,为测试计划的制定及测试工作的开展,起到积极作用。     

过程感知信息系统中过程的动态演化

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.     

和谐、美德、景观互融的空间——中华美德公园投标方案的构思理念

中华美德公园是一项民心工程,将美德教育内涵融入风景园林学中,对构建和谐社会是一重大贡献。