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

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

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

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

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

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

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

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

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

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

马河水库大坝砂壳加固的试验xOt-究

结合马河水库除险加固的具体工程实践,通过对大坝砂壳振冲和翻压两种加固方法的试验资料的分析,证明了这两种加固方法的可靠性以及加固效果,为砂壳坝的加固提供可借鉴的实际资料。     

基于消费水平的公共设施选址与设计问题研究

公共设施选址需要权衡公平性和效益性,免费设施需要覆盖所有的需求点,而收费设施则以效用最大化为目标。引入Huff重力模型,在最大覆盖选址模型基础上考虑了收费设施的效用最大化,建立预算约束下考虑消费水平的公共设施选址与设计模型,根据该问题的特点,使用遗传算法进行求解。以武汉市某区为例对模型进行了案例研究,分析了预算约束、需求变化及消费水平变化对最优解的影响。     

北京正负电子对撞机输运线磁铁电源样机控制系统

在北京正负电子对撞机重大改造工程（BEPCⅡ）中，为能有效地利用现有的CAMAC设备，研究提出采用VME模块作为CAMAC串行驱动器（SerialDriver），与CAMAC机箱连成串行通道系统，通过CAMAC机箱控制器对CAMACI/O功能插件进行控制操作，实现对输运线磁铁电源的远程控制。文章描述与实现这一方案相关的CAMACI/O驱动程序和应用软件的开发与调试。该样机系统的研制成功解决了BEPCⅡ控制系统研发中的关键技术。     

模块化并联均流单相逆变器设计

随着电能使用的快速增长,针对新能源并网和电机驱动等领域面临的大功率逆变器设计及维修不灵活的问题,文中提出了一种模块化逆变器的设计方案.为使逆变器并联可以相位同步运行以及电流均分,利用STM32F407处理器对模块化的逆变器进行驱动及通信控制同步调节.为快速传递相位信息,文中采用模拟信号进行通信的方案,使多个逆变器的电压...     

基于随机混沌序列的图像加密算法

混沌系统的参数敏感性、初值敏感性和以同一分布遍历各态的特性很好地对应了密码系统应具备的一些基本特性。本文提出了一种基于随机混沌序列的图像加密算法。在该算法的图像像素的空间置乱过程中,采用了离散的标准映射混沌系统。而在像素的扩散过程中,通过复合离散混沌系统隐藏了混沌序列产生时所经历的迭代次数。理论分析和仿真实验表明,本文提出的算法具有较高的安全性能,特别是在统计攻击、差分攻击和选择明文攻击能力方面具有很好的抗攻击性能。