基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

基于WPKI的双因素认证方案

随着基于互联网的服务(电子商务、电子政务)的普及,为企业资源访问提供强认证的需求显得非常重要,因此双因素认证成为研究的重点.然而当前的双因素认证系统存在信道单一、部署成本昂贵的问题.利用STK技术设计了一个能够实现WPKI功能的安全SIM卡--PK-SIM卡,将WPKI引入基于SIM卡的认证系统中,利用加密短消息作为信息载体,设计并实现了一个双因素身份认证系统.重点介绍了该的组成原理、工作流程,并分析了系统的安全性.     

“锚点”探究教学法的创新实践

结合教学实践研究“锚点”探究教学法在“电子技术基础”课程的应用,旨在以学生感兴趣的问题为基础,着力培养学生学习的主动性,将学习过程转化为在教师引导下的“再创造”过程。通过“引锚-探锚-固锚-省锚-悟锚”开展新型开放式的教学模式研究,实现单稳态触发器教学内容的一体化设计,引导学生自主建构知识体系,提升其电路分析、设计和应用实践能力。     

稀疏阵列波达方向估计研究进展

波达方向(direction of arrival, DOA)估计是阵列信号处理领域的重要研究方向,也是电子侦察与电子攻击领域的关键技术之一。以提高DOA估计精度和降低计算复杂度为导向,结合模型驱动和数据驱动方法的各自优势,提出了基于深度展开网络的DOA估计统一框架,阐述了稀疏阵列离网格DOA估计、无网格DOA估计以及混合信号参数估计等方面的研究进展。对复杂信号模型下的DOA估计、深度展开网络性能分析与挖掘以及分布式稀疏阵列回波信号融合处理等后续的研究内容进行了展望。     

考虑电热柔性负荷与氢能精细化建模的综合能源系统低碳运行

在能源转型及“碳达峰、碳中和”目标背景下,构建以氢能为能量转换媒介的综合能源系统(integratedenergy system with hydrogen energy,H2-IES)具有减少环境污染、提高能效水平的重要意义。为充分发挥氢能在综合能源系统中的效用,提出一种考虑电热柔性负荷及氢能精细化建模的H2-IES低碳运行方法。首先,分析了氢能利用机理,建立了氢能利用的精细化模型;其次,考虑电/热负荷柔性用能特征,及柔性负荷参与负荷调节对系统优化运行的影响,建立了电/热柔性负荷模型;最后,综合考虑系统外购能、运维、碳惩罚、柔性负荷调节补偿成本,以总运行成本最低为目标,提出H2-IES低碳优化运行模型。算例结果证明,相对于传统线性化建模及热电联产供能方式,所提H2-IES优化模型及策略能够有效降低运行成本、减少碳排放,具有较高的经济性与环保性。     

考虑储能备用的电动汽车负荷连续追踪弃风曲线优化模型

在大力推动高比例可再生能源并网的背景下,风电的强随机波动特征导致的大量弃风问题给电力系统的经济可靠运行带来了挑战,而电动汽车、储能等作为需求侧的灵活性资源参与曲线追踪交易为弃风问题带来了解决方案。首先,分析了电动汽车消纳风电的可行性;然后,对电动汽车聚合负荷消纳风电的交易模式进行了梳理,聚焦连续曲线追踪交易,在充分考虑电动汽车聚合的物理经济约束下建立了混合整数线性规划模型以求解聚合调用方案。由于电动汽车的移动储能能力与追踪效果有限,引入储能系统进行联合优化,采用逐步搜索法在降低聚合成本的同时,得到储能的最优容量与功率配置以及同时优化物理弃风电量与经济成本的聚合方案。算例分析结果表明：考虑储能备用的聚合方法能够提高风电曲线的追踪精度,减小聚合成本,验证了所建模型在连续曲线追踪中的可行性与适用性,可为曲线追踪交易市场的完善与新型电力系统的建设提供借鉴。     

国外材料检测机构概况及启示

正一、概述随着世界经济的不断发展,材料的检验检测地位变得越来越重要。检验检测是验证技术法规和标准是否得到有效施行的重要方式,同时也是保证合格评定程序被严格执行的技术手段。建立一个具备一定规模和服务能力的材料检验检测机构已经成为维持经济持续发展的必要条件。美国、德国和日本等发达国家都十分注重检测机构和实验室的建设,政府会对权威检测机构进行授     

碱金属对煤灰熔融特性的影响机理北大核心CSCD

碱性矿物质是高碱煤灰沾污结渣的重要影响因素。本文首先通过影像式烧结点试验仪研究了一种准东高碱煤与四种非高碱煤灰的熔融特性,并利用电感耦合等离子体-原子发射光谱(ICP)、X射线衍射仪(XRD)对高碱煤灰熔融过程中元素迁移及矿物变化进行研究,在此基础上,进一步利用量子化学理论从微观层面分析了碱性矿物质降低高碱煤灰熔融温度的机理。结果表明:高碱煤比其他四种非高碱煤初始熔融温度低60℃到110℃;随着高碱煤制灰温度的升高,初始熔融温度也由700℃逐渐升高至770℃,初始熔融的量也随之降低,其沾污、结渣倾向减弱;灰中K_2SO_4、NaAlSiO_4参与灰中低温共熔体的生成,随着温度的升高其物相逐渐消失;灰中碱性矿物NaAlSi_3O_8的相变活性位点优先受到灰中K^+、Mg^(2+)、Na^+、Ca^(2+)等离子势较低的离子攻击,使其矿物体系中硅氧四面体[SiO_4]^(4-)与铝氧四面体[AlO_4]^(5-)分离成片段,进而发生分子段的重组,形成熔点更低的低温共熔体而增加灰中液相。     

双向超温报警器电路的设计

双向超温报警器主要是针对用户对环境温度要求而设计的具有高低温声光报警、超温点预置等功能的实用电子线路.该电路的设计充分考虑节能性、灵敏性和稳定性,利用现代电子技术和集成电路使设计达到人们对环境温度监测的需求.     

基于Paillier同态的无线自组网组密钥管理方案

基于Paillier密码体制,提出了一种安全有效的同态组密钥管理方案.该方案适用于面向群组和拓扑结构易变的无线自组网,具有抗合谋攻击性、前向保密性与后向保密性.针对无线自组网节点频繁加入和退出的特点,密文上的同态操作提高了组密钥更新的效率和实时性.对其正确性和安全性进行了证明.与其他组密钥管理方案相比,该方案具有交互轮数较少、通信和存储开销小、安全性高等特点.