电力通信耦合网络建模及其脆弱性分析

为了更好地揭示电力通信耦合网络的拓扑特性,首先,通过分析实际的电力网、电力通信网的元件配置规律及耦合规律,依电网拓扑建立了与实际电力信息物理融合系统结构特点相符合的电力通信耦合网络模型。然后,基于电力通信耦合网络的异质性,考虑攻击者获取信息的多寡,针对各类型元件构建了多种信息攻击方案。最后,结合实际的电力通信耦合网络各类元件失效规律,考虑各类元件间的相互作用关系及网间故障传播的不确定性,建立了电力通信耦合网络连锁故障模型。使用IEEE 39节点系统、IEEE 118节点系统和IEEE 300节点系统,建立相应的电力通信耦合网络模型并分析其网络特性。对IEEE 118节点系统构建的电力通信耦合网络进行脆弱性分析。实验结果表明,由电力节点、通信节点及耦合支路组成的耦合体是耦合网络极其关键的组成部分。攻击者获取的信息越多,信息攻击对耦合网络的影响就越大。     

洛必达法则在求极限中的方法

洛必达法则是微积分中重要的内容,是解决一类极限问题的重要方法.同时,熟练掌握求极限的方法对学好高等数学具有重要的意义.     

三维机翼翼盒的结构拓扑优化设计

为有效降低机翼的重量,合理布置材料,提高材料的利用效率,以机翼翼盒结构的概念设计为研究对象,借助ANSYS有限元分析软件,以结构的最小柔度为目标函数,以体积约束为约束函数,对单载荷工况下三维机翼翼盒进行结构拓扑优化设计,找出其主传力路径,并通过与二维机翼优化结果比较证明了方法的可行性.拓扑优化结果显示其结构型式新颖,翼梁和翼肋的数目、位置和形状在结果中都有一定程度的体现,具有一定参考价值,是一种具有良好操作性的、有别于经验设计的机翼结构概念设计新方法.     

基于下推系统可达性分析的程序机密消去机制

针对程序语言信息流安全领域的现有机密消去策略,提出了一种基于下推系统可达性分析的程序信息流安全验证机制.将存储-匹配操作内嵌于对抽象模型的紧凑自合成结果中,使得对抽象结果中标错状态的可达性分析可以作为不同机密消去策略下程序安全性的验证机制.实例研究说明,该方法比基于类型系统的方法具有更高的精确性,且比已有的自动验证方法更为高效.     

大型抽水蓄能机组励磁系统的控制策略分析

分析了抽水蓄能机组的运行方式,介绍了抽水蓄能机组励磁系统的特殊性,从电动机负载运行、掏低频振荡的稳定控制、四象限无功控制、静态变频启动等4个方面论述了提高发电机运行及电网稳定的励磁系统控制策略。     

采用完整性威胁树的信息流完整性度量方法

针对传统信息流完整性分析方法缺乏对具体系统结构及关联性攻击事件考虑的缺陷,提出完整性威胁树对系统信息流完整性做量化分析,提出条件触发门对存在关联的攻击事件进行建模。使用攻击代价来量化攻击各信道的难易度,依据架构相关的完整性威胁树,利用可满足性模理论及其工具求解最小攻击代价,以量化分析系统完整性威胁。通过对实际飞控系统模型的建模分析求解说明方法的实用性,并得出条件触发门参数对系统完整性的影响。     

融合时间综合影响的轮盘赌游走个性化推荐算法

传统的基于图的推荐算法忽略了时间综合信息影响从而导致推荐质量不高。针对这一问题,提出一种融合时间综合影响的轮盘赌游走个性化推荐算法。该算法以用户项目二分图为基础,引入衰减函数,将时间综合信息对推荐的影响量化成图节点的关联概率;然后采用轮盘赌模型根据关联概率选择游走目标;最终对每个用户做出top-N推荐。实验结果表明:该算法比传统基于图的随机游走PersonalRank算法在推荐的准确度、召回率以及覆盖率指标上都有明显提高。     

一种利用手指图像测量人体心率的方法

在智能手机上,仅利用手机摄像头采集手指颜色的变化图像,实现人体心率的测量．采用图像频谱分割法对采集的手指图像进行滤波,结合3种像素包含的信息及包含的信息的差异性, 利用3种像素功率密度谱加权计算出光电容积脉搏波．通过相隔点检测波峰法检测光电容积脉搏波信号,测出人体心率．将测量结果与标准仪器测量结果进行对比,平均误差为1.82％, 与真实值的相关系数大于90％,证明了从手指图像测量出人体心率参数的可靠性．将该测量方法应用到手机上,能极大地方便慢性病人对自己健康状态的监控．     

某难处理金精矿焙烧预处理提取金和铜

研究某难处理金精矿焙烧预处理和提取金和铜的过程.结果表明,在600℃下两段焙烧,在温度80℃,pH=1.0的条件下浸出90 min,铜的浸出率可达79.62％,酸浸渣两段氰化,金的浸出率达91.86％.     

新的车辆远程诊断授权协议

诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议（PVAUDS）中存在的问题,提出了新的车辆远程诊断授权协议（PVAUDS+）。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。