基于Authentication Test方法的高效安全IKE形式化设计研究

基于Authentication Test方法,围绕高效安全Internet密钥交换（ESIKE）协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于Strand Space模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性．该ESIKE协议克服了原有Internet密钥交换（IKE）协议存在的安全缺陷,提供了安全的会话密钥及安全关联（SA）协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证．同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效．     

华东分区电网大功率缺额后的稳定特性分析及控制策略研究

基于自主研发的分区电网大功率缺额后的仿真模型及算法,在机电暂态仿真中离散修正工频网络参数,并针对华东电网分层分区运行现状,根据华东分区运行的电压、频率特性,提出华东分区电网大功率缺额后的安全控制策略,着重分析了"N-2"联切负荷控制策略和低频减载控制策略。     

三峡水库库区香溪河河口泥沙淤积特性研究

三峡水库库区分布有大小66条支流,水库蓄水后大部分支流河口段淤积明显,常年回水区内部分支流口门形成类似拦门沙的淤积体,可能对水库库容及支流航运造成影响。本文以香溪河河口段为例,分析其泥沙淤积特性及成因。结果表明,2006—2011年香溪河河口段约6.6 km范围内淤积泥沙241万m3,2002—2015年河口段深泓平均抬高7 m以上,口门附近断面最大抬高约12 m,淤积幅度大于干流河段。香溪河河口段淤积的泥沙以干流倒灌为主,随着干支流来沙量减少,其河口泥沙淤积将趋缓。     

韶山Ⅰ型电力机车概率谐波电流计算

建立了韶山Ⅰ型（SS1）电力机车运动过程的动态数学模型,提出了一种计算电力机车各次谐波电流概率分布的方法。在数学模型中模拟了机车从启动、加速、调整、制动直至停止的全过程;根据韶山Ⅰ型电力机车的特点和实际运行情况,考虑了机车运行的不确定性,把主要的随机变量引入数学模型中,用蒙特卡罗法对机车的随机模型进行数值计算。韶山Ⅰ型电力机车的各次谐波电流概率分布算例的计算结果表明了该方法的有效性。     

基于跟踪式干扰的跳频通信抗扰效能分析

基于跳频通信原理,研究了跟踪式干扰条件下跳频通信抗干扰性能。根据跳频通信处理增益以及跳速与通信距离之间关系的分析,证实了通过提高跳频速率抗跟踪式干扰的相关结论,对于跳频通信装备的作战运用具有一定的借鉴意义。     

基于边收缩方法的网络化信息系统链路重要性评估

链路重要性对于确定链路维修顺序、链路防护级别以及网络拓扑优化具有重要意义。从链路正常工作的角度出发,提出基于图论的边收缩方法,认为网络化信息系统网络拓扑模型的某条边收缩后,得到的图对应的生成树数目越多,则该边对应的链路对于网络化信息系统的重要程度越高。运用该方法评价了某网络化信息系统(局部)各链路的重要性,评价结果与实际吻合,证明了该方法的可行性。     

平面微弹簧的模拟、加工制备和力学性能表征研究

微弹簧是一种重要的MEMS器件,可为微传感器和微执行器提供弹性力。我们设计并用UV-LIGA技术制备了数种不同形状的平面微弹簧,并用ANSYS对其力学性能如刚度、断裂强度等进行了模拟。由于制备出的平面微弹簧体积很小,无法用常规的测试仪器进行测试,我们为此设计并制备了一台平面微弹簧力学性能测试仪,其位移分辨率为1μm,力分辨率为1mN。模拟得出的结果与测量结果一致性较好,与闭环平面微弹簧相比,S型平面微弹簧具有较大的位移和较小的刚度,弹簧的刚度随着弹簧厚度的增加而增加。铜微弹簧的屈服强度和屈服位移仅为镍平面微弹簧的5％-7％。     

广电网络资源与用户信息资源共享的探索与实践

本文根据作者在广州珠江数码集团有限公司设计网络资源管理系统与综合业务支撑系统关联的实际工作,对当前两系统的关联方法、关联的实现过程、关联工作的展望,进行分析研究。     

新能源极端出力特性及典型电力电量平衡场景研究

随着新能源发电占比的增加,电力系统的电力电量平衡呈现不确定性强、电力过剩/短缺交替出现等特征,给电力系统的供电可靠性带来了严重的影响。基于新能源出力实际运行特性和未来电源发展趋势,研究了含水电的新型电力系统的典型电源结构场景,并以此为基础,建立了电力电量平衡量化分析模型。通过算例结果量化了未来新能源发展场景下的典型电力电量平衡场景及系统灵活调节能力的需求,分析了新能源极端低/高出力对电力平衡的影响。研究可为我国新型电力系统构建提供决策参考。