针对同步时序电路VHDL设计的有效模型判别器VERIS

介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案-一个有效的符号模型判别器VERIS,该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性,可显著地减少有限状态机（FSM）的状态空间;大大地提高可达性分析和性质验证的速度;同时,实现了反例生成机制,实验结果表明,与Deharbe的模型判别器相比,用这个模型判别器验证一些基准电路更加适用于同步时序电路。     

迟来的春天──掌上电脑市场行销之随想(续)

“道、道、道”纵横渠道随着中国“入世”和世界“电子商务” 的大势所趋,传统意义上的渠道将会有意无意地接受这场“革命”;掌上电脑的渠道如何调整,来应对这场即将到来的变革？调整现有渠道体系的运作势在必行。 渠道之“纵” ──渠道扁平化建设 传统ＩＴ渠道由供应商──总代理──分销商──各级代理──用户至上而下的架构体系,曾经在过去的很长一段时间里起到过积极的作用。但是在流通当中也不断暴露出各式各样的弊端：架构内部相互拆台造成的商品利润极度缩水;代理间瞒天过海的“窜货”行为;部分中下级代理常常经受不住市场波…     

直流电压下油纸绝缘针板缺陷局部放电演化规律

换流变压器阀侧油纸绝缘承受直流电压分量,使其局部放电特性不同于普通电力变压器,研究直流电压下油纸绝缘局部放电演化规律对换流变压器绝缘结构优化及状态评估具有重要意义。文中搭建了直流电压下油纸绝缘局部放电实验平台以及电场与电荷分布仿真模型,研究了油纸绝缘针板缺陷的局部放电演化规律与发展机制。发现：平均视在放电量与放电重复率呈先增加再减小最后稳定的规律,平均等效时间呈先减小再增大的规律,平均等效频率发展规律与之相反;负极性放电现象更剧烈,放电脉冲更陡峭;TRPD谱图出现分层现象,等效时频谱图呈右半拱形,并向左半拱形（正极性）或全拱形（负极性）发展;局部放电演化过程中的放电模式由横向沿面放电转变为油隙流注放电,最后再转变为凹陷侧壁的纵向沿面放电。     

基于云技术的电网技改大修项目管理数据可视化平台构建

电网技改大修项目管理数据库对视频图像以及文件的存储量低,存储平台无法承受大量访问,为此研究基 于云技术的电网技改大修项目管理数据可视化平台构建.在硬件设计方面,多层次并行处理不同粒度大小的数据,实 现多流数据传输和GPU 运算.在软件设计方面,建立电网技改大修项目管理数据可视化演示模块,来更新和保存用 户数据;建立电网技改大修项目管理数据平台的云技术分析模块,分析数据存储价值,节约费用成本.实验测试分成 ２个阶段,在数据采集通信测试中,用户从MapReduce模式处理时间快,CPU 占用率低,运行稳定;在分布式数据 存储性能测试中,在相同条件下,用户从MapReduce模型处理线程的写入能力和读取能力性能最好.     

基于全局特征点匹配的全局定位方法

针对传统全局定位方法存在对传感器要求多、计算量大的问题,提出了一种基于全局特征点匹配的移动机器人定位方法。该方法采用普通2D雷达作为传感器,在机器人建立全局地图的过程中同步地提取全局特征点,在全局定位算法中,通过建立局部地图和提取局部地图特征点,实时将局部地图特征点和全局地图特征点进行匹配后求解全局位姿。在两个数据集上的测试,结果优于蒙特卡罗自适应定位（adaptive Monte Carlo localization,AMCL）和Cartographer的全局定位效果,运算速度更快。结果表明,与已有的方法相比,该全局定位方法能够更快地完成全局定位和有效减少计算资源的消耗。     

应用智能控制技术实现顶燃式热风炉的自动燃烧控制

热风炉作为高炉主要组成部分，由于受炉况不稳等情况的影响，使得燃烧控制成为热风炉最难控制的系统之一。本系统以计算机为中心，以光纤环网，以太网和MODBUS PLUS网进行信息传输，设计开发炼铁厂4#750m^3高炉热风炉自动化控制系统，应用智能控制技术较好的实现了燃烧控制，满足高炉生产工艺对风温的要求，在此基础上为生产操作人员提供了完善，实用的人机接口，并实现了热风炉的主操作画面，历史趋势显示及报表，报警打印等功能。     

球墨铸铁管在工程中的应用与分析

近几年来，球墨铸铁管在企业工程建设供水管网中已被广泛应用。分析了该管材在济钢工程中的应用情况，认为它具有强度高、韧性好、抗腐蚀能力强、寿命长、安装方便等优点，是一种比较理想的管材。     

Promela行为模型的自动抽象

提出并实现了一个自动抽象算法，可从详细系统的Promela行为模型中导出抽象系统的行为模型。抽象模型与原模型迹等价，且具有状态变量最少、状态空间最小的特点。它可代替详细模型用作环境模型或参与全局性质检查，减小模型检查的状态空间以提高验证效率。     

典型Shellcode引擎特征检测方法研究

通用的shellcode引擎大都采用特定运算对shellcode进行编码,使得shellcode具有规避传统的代码特征检测系统的能力。为了检测具有规避传统检测能力的shellcode,深入分析目前典型shellcode引擎的工作原理,在此基础上研究引擎产生shellcode的代码特征和行为特征,进而提出了基于这两类特征的针对性综合检测方法。实验结果表明,这种综合检测方法可以针对性地、有效地检测并阻止这类shellcode的执行,同时对其它shellcode也能实现一定程度上的检测,而且虚警和漏警率为0。该检测系统对恶意代码的检测具有一定的应用价值。     

基于SAGE的大型客机DMDO系统的关键技术研究

为解决大型客机的设计过程中多方设计研究人员的协同工作问题,以及在不断调整设计参数的迭代设计过程中出现的各种问题,基于SAGE(simple adaptive grid engine)[1]的分布式多学科优化设计(distributed multidisciplinary design optimization,DMDO)系统中的3项创新及关键技术进行了深入的探讨:①MDO(multidisciplinary design optimization)[2]领域专用的工作流引擎,它提供灵活的封装模块和高效的封装方式;②异构集群的元作业调度器,根据MDO的应用特征进行简化,使用短作业优先的调度策略减少了作业的平均等待时间;③基于SAGE的分布式集群计算.针对这3项关键技术,在实验环境中分别进行了成本,等待时间和可扩展性的测试.实验结果表明,这3项关键技术都满足了预期的设计目标,能够为大型客机的专业设计人员提供一个高效实用的协同设计平台.