灞桥热电厂10号炉灭火保护装置更换前后的比较及应用

对灞桥热电厂10号炉灭火保护装置更换前后的应用进行了总结和探讨,证明了新的灭火保护装置对锅炉的安全运行提供了可靠的保障.     

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

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

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

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

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

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

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

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

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

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

基于模糊测度的知识关联性建模方法

在教学应用场景中,知识之间的关联性广受关注,但现有研究通常偏重两两知识点之间关系的建模,忽视知识集合中复杂的关联关系,导致研究结果出现偏差.因此,文中引入模糊测度对知识集合进行量化度量,并在此基础上提出基于模糊测度的知识关联性建模方法.首先,基于认知心理学理论,分析知识间存在的三种不同关系,并利用模糊测度建模知识间的关联性,通过实际教学场景论证方法的实用性.然后,在模糊测度建模的基础上,从知识关联性的视角讨论知识的重要度和交互指标.最后,研究知识关联性在认知诊断中的应用.真实数据集上的实验证实知识关联性对认知诊断的影响,不仅有效提升预测精度,也提供更好的可解释性.     

基于矢量量化的数字水印综述

基于矢量量化的数字水印作为新出现的水印技术，对数字产品的版权保护起着非常重要的作用。本文对基于矢量量化的数字水印算法做了综述，介绍了现有的各种水印算法，分析了各自的特点，并指出下一步的研究方向。     

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

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

基于归纳化会话的网络用户的聚类

为了发掘具有相似的访问兴趣的网络用户,探讨了网络用户聚类的问题。网络用户的访问信息从服务器日志文件中抽取出来,组织成会话向量的形式,会话描述为一段时间内用户向服务器发出一系列访问请求。为了减少会话向量的维度,根据网页的层次性,采用面向属性的推理方法,对这些会话进行了归纳,并且定义了一个新的距离测度来描述两个会话之间的相似度,最后采用某种非欧几里德的关系聚类算法聚类这些归纳化的会话。实验表明,这种方法对在大型的日志文件集中挖掘出有意义的网络用户的分类是高效可行的。