WSN低功耗低时延路径式协同计算方法

针对云计算应用于无线传感器网络(Wireless Sensor Network,WSN)时延敏感型业务时存在的高传输时延问题,提出了一种WSN低功耗低时延路径式协同计算方法。该方法基于一种云雾网络架构开展研究,该架构利用汇聚节点组成雾计算层;在数据传输过程中基于雾计算层的计算能力分步骤完成任务计算,降低任务处理时延;由于汇聚节点计算能力较弱,时延降低将导致能耗增加,WSN工作寿命减短,为此提出能耗约束下的任务映射策略,并利用离散二进制粒子群优化(Binary Particle Swarm Optimization,BPSO)算法解决能耗约束下的时延优化问题。仿真结果表明,在相同的能耗约束下,对比其他算法,基于BPSO算法得出的映射方案能有效降低业务处理时延,满足时延敏感型业务的需求。     

流量比对等离子体基团分布和薄膜结构的影响

使用光强标定的发射光谱(AOES)测量了CHF3／C6H6混合气体的微波电子回旋共振(ECR)放电等离子体中基团的分布状态。实验发现随着CHF3流量的增加，成膜基团CF、CF2、CH等的相对密度增大，而刻蚀基团F的密度也会增加，从而使得a—C：F薄膜的沉积速率降低。同时红外吸收谱(IR)分析表明，在高CHF3流量下沉积的a—C：F薄膜中含有更高的C—F键成分。可见在a—C：F薄膜的制备中CHF3／(CHF3 C6H6)流量比是重要的控制参量。     

高压电气开关油的研制

介绍了高压电气开关油的研制,包括基础油、添加剂对改善油品电气性能的影响.试验表明,该油具有良好的电气性能,粘度较小更适合于开关.     

聚丙烯高浓缩降解母料生产控制

介绍聚丙烯高浓空降解母料的生产控制方法。讨论生产工艺过程中存在的问题及采取的有效措施，结果表明，采用有机过氧化物作降解剂，采取适当的控制工艺可以实现高浓缩母料的大批量生产。     

平原水库塑性混凝土防渗墙应力与变形分析

塑性混凝土防渗墙是平原水库防渗体系中经常采用的工程措施之一,其可靠性对平原水库的安全和工程功能影响巨大。结合工程实例,计算、分析比较先建防渗墙后填筑坝体和先填筑坝体后建防渗墙这两种不同施工顺序情况下,塑性混凝土防渗墙分别位于上游压重前、坝脚、1/2坝坡、坝中4种位置时的应力和变形性能,提出了工程建议,对同类工程的建设具有指导意义。     

日本高中信息课程的新变化

在日本,对"信息教育"的讨论是从20世纪80年代初开始的,到目前为止,已经经历了近30年.在高中作为必修课程设置信息课,则是在1999年3月29日公布的高中<学习指导要领>中提出的,全面实施是在2002年.2008年,日本又进行了新一轮的<学习指导要领>修订工作.2008年12月22日,日本文部科学省公布了新的<学习指导要领>,其中对高中信息学科进行了修改.     

一种电力光传输网运行状态评估方法

针对现有电力光传输网评估方法考虑方面单一、主观性占比多等问题,提出了一种电力光传输网运行状态评估方法。首先从设备、光缆和系统3个维度选取指标,从网络规模、运行质量和管理因素3个方面建立评估指标体系,设计重叠信息分析法对评估指标体系进行优化。其次改进基于区间模糊层次分析法和熵权法的主客观组合权重赋值法计算指标权重。然后设计基于模糊综合评价法、效用函数法、可拓耦合评价法以及组合评估方法的运行状态评估算法评估光传输网运行状态。通过真实实例分析,验证了该方法能够更加全面、客观地评估光传输网的运行状态,辨识电力光传输网薄弱环节,为运维、检修和规划建设提供参考。     

自动驾驶交叉路口测试场景建模及验证方法

自动驾驶汽车在缓解交通拥堵和消除交通事故方面发挥着重要作用.为了保证自动驾驶系统的安全性和可靠性,在自动驾驶汽车部署到公共道路之前,必须进行全面的测试.现有的测试场景数据大多来源于交通事故和交通违法场景,而且自动驾驶系统最基本的安全需求就是遵守交通法规,这充分体现了自动驾驶汽车遵守交通规则的重要性.然而,目前严重缺少针对交通法规构建的自动驾驶测试场景.因此,本文从交通法规出发,根据自动驾驶系统安全需求,提出交叉路口测试场景的Petri网建模及形式化验证方法.首先,依据自动驾驶测试场景对交规进行分类,提取适合自动驾驶汽车的文本交规,并进行半形式化表征.其次,以覆盖道路交通安全法规以及测试场景功能测试规程为目标,融合交叉路口场景要素的交互行为,合理选择并组合测试场景要素,布设交叉路口测试场景.然后,基于交规的测试场景被建模为一个Petri网,其中,库所描述自动驾驶汽车的状态,变迁表示状态的触发条件,并选择时钟约束规范语言（CCSL）作为中间语义语言,将Petri网转换为一个可进行形式化验证的中间语义模型,提出具体的转换方法.最后,通过Tina软件分析验证交规场景模型的活性、有界性和可达性,结果表明所建模型的正确性,并基于SMT的分析工具MyCCSL来分析CCSL约束,采用LTL公式以形式化方法验证交规场景模型的一致性.     

基于全三维动网格技术的变长径比间隙环流的研究

屏蔽电动机核主泵(简称屏蔽电机主泵)是第三代核电站压水堆核电站一回路的核心设备。屏蔽电机主泵由泵和屏蔽电机两个部分组成,屏蔽电机的转子完全被冷却剂浸没,形成了典型的间隙环流。相关研究表明,大长径比下间隙环流会给转子系统带来显著的负刚度效应,从而影响转子系统的稳定。本文以密封间隙为研究对象,利用全三维动网格技术,研究了长径比连续变化下的间隙环流流场,对大长径比下转子产生负刚度效应的原因进行了深入分析。研究表明,全三维动网格技术计算出的动特性系数与试验结果吻合度较高,负刚度效应是进口端流场的正向支撑作用与出口端流场反向支撑作用共同决定的结果。     

主成分分析法在软件静态测试中的研究与应用

随着信息化程度的不断提高以及人们对软件需求的扩大,软件的复杂性也已经远远地超出了以前的水平,大大地增加了软件设计和开发的难度.以软件复杂性为出发点,介绍了主成分分析法(PCA)的基本思想、原理和主要作用,分析了主成分分析法在软件静态测试中的应用价值与可行性,最后通过一个具体的软件进行了详细的算例分析,获得了较好的效果,帮助软件开发人员和测试人员在静态分析中识别复杂性和风险性比较高的函数和模块起到了很好的作用.