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

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

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

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

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

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

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

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

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

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

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

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

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

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

不同鸡龄鸡血清中乙酰胆碱酯酶酶活力的比较研究

实验从发育的角度出发,探讨了血清中乙酰胆碱酯酶的含量、活力与家禽个体发育之间的关系。选取不同年龄阶段黄羽鸡,将其血清作为乙酰胆碱酯酶的酶源,分别对粗酶以及透析后的酶液进行蛋白质含量、酶活力和比活力的测定。实验结果表明,不同发育阶段鸡的鸡血中乙酰胆碱酯酶酶活力是有差异的,5个月大的黄羽鸡的血液中蛋白质含量(纯化后)、乙酰胆碱酯酶酶活力和比活力最高。这也为乙酰胆碱酯酶从低廉易得的鸡血原料中进行提取研究提供了参考。      

基于皮尔逊相关系数的海南省地闪密度与雷击故障关系分析

海南省属于热带季风气候,雷雨众多,地闪密度远高于平均值,在研究输电线路防雷时需要特别注意地闪密度对雷击故障的影响。文中依据海南省67条35、110、220 k V输电线路资料参数及海南省输电线路近8年的运行报告、事故报告和雷电定位系统的数据绘制了地闪密度图,实际雷击故障分布图,拟合了海南省雷暴日与地闪密度的分布曲线,针对CIGRE经验公式及QGDW 672—2011标准不能准确反映海南省雷电活动的不足,提出了针对海南省地闪密度的分级方法,并基于皮尔逊相关系数分析了CIRGE标准及针对海南省标准下的地闪密度与实际雷击跳闸率的相关性,对海南省的输电线路差异化防雷具有指导意义。     

海盐污秽下悬式绝缘子闪络电压特性试验

通过涂污的XP-70型绝缘子在盐雾条件下的人工污秽试验,研究在粉尘污染源较少且靠近海的地区海盐污秽单独对表面洁净绝缘子闪络特性的影响,以及在粉尘污染源较多且靠近海的地区粉尘污秽和海盐污秽共同对绝缘子闪络特性的影响。试验结果表明:盐雾电导率越大,绝缘子的闪络电压越低;绝缘子表面等值附盐密度越大,其闪络电压越低。针对沿海地区环境情况,对海盐污染地区绝缘子选型提出建议:粉尘污源较少地区选用钟罩型玻璃绝缘子;粉尘污源较多地区选用复合绝缘子,但应综合考虑其老化特性。