基于二进制补丁比对的软件输入数据自动构造

在软件二进制补丁比对结果的基础上,提出一种基于目标的适应值函数模型.该模型对同一种群中所有个体评估,寻找优秀个体以遗传到子代中,产生能够到达或接近到达可疑函数的个体数据.该算法不需要源码.实验结果表明,该算法简化了逆向分析人员构造软件畸形数据的过程,为其快速触发软件脆弱点创造了条件.     

一种基于有向无环图的本体内聚度度量方法

目前,随着本体的广泛使用和快速发展,本体在结构与语义上变得越来越复杂。如何对本体的质量进行评估成为本体构建和重用的主要问题。在本体构建过程中,对本体进行评估有利于对本体进行重构和优化,以构建高质量的本体。在本体重用过程中,可以帮助用户在候选本体集中选择最优结构的本体。提出一种基于有向无环图(DAG)的本体内聚度度量方法,首先依据有向无环图的结构提出一组本体内聚度度量指标;然后根据已有的度量验证框架对其进行验证,说明度量指标在理论上有效;最后使用经典本体数据集进行实验,说明所提出的本体内聚度度量方法的合理性和有效性,有利于本体的构建和重用。     

整流变频负载低通宽带滤波器设计

针对整流变频装置谐波抑制的特点,提出了一种宽带滤波器解析设计方法.这种形式的滤波器对整流变频设备有较好的滤波效果,同时能够在基波下对系统呈现感性或者阻性,满足较弱的发电机系统对负载感性要求,适用于功率因数较高的变频拖动负载及中频炉等负载.采用此方法设计了20kW变频器用滤波器,在实验室进行了滤波器效果测试,结果表明该滤波器在电压稳定、无功功率补偿和谐波抑制方面均能达到理想效果.采用此类型滤波器对某钢厂800kW中频炉设备进行了谐波治理,设备投运后各项指标均能达到预计的技术要求.     

基于HGA的冲压车间生产计划与调度的集成优化

根据车身厂冲压车间和生产库房的实际情况，研究了冲压件成批生产的Job—shop车间生产计划和凋度的集成优化问题，给出该问题的非线性混合整数规划模型，并采用混合遗传算法进行求解。遗传算法中，给出一种新的启发式规则来改善初始解集，通过与递阶分解方法进行比较，得出该算法对求解该类问题有着很好的效果。     

无线Mesh网中可靠SIP呼叫连接的选路技术

在无线Mesh网中布设基于SIP的应用,是在缺少通信基础设施的地区实现多媒体应急通信的有效方式,但是易失效的无线链路会降低通信的可靠度。研究了如何在无线Mesh网中向SIP服务器高效地转发SIP呼叫请求消息。提出了一点对多点中任意一点的可靠度度量模型,用于描述实时、有限尝试次数的呼叫连接通信的可靠性;基于呼叫成功率、呼叫连接速度这两个优化目标提出了一种路集选择方法,并展开了对这种方法的通信可靠度上下界的分析和比较;最后通过仿真实验验证了此路集选择方法的有效性和优越性。     

绕线型感应电动机双馈变频调速及其应用

一、前言 交流电动机具有价格低、可靠性高、维护简便、应用范围广等优点,采用交流电动机的变频调速能代替传统的直流调速系统,随着半导体技术的发展,交流电动机的变频调速技术得到了惊人的发展和广泛应用。我国第六个五年计划中把节能技术列为科技发     

本体评估方法研究综述

本体是知识共享的重要工具,也是语义Web的支柱.本体的使用是以保证其质量为前提.本体评估为本体构建的质量及本体的选择重用提供了技术支持.分析了本体评估的必要性;对本体评估的现状进行综述,主要包括归纳总结了本体评估的方法及本体评估的基本思路,介绍了本体评估的指标体系,比较分析了本体评估工具;最后提出本体评估存在的问题和进一步研究方向.     

虚拟煤矿事故救援训练系统设计与实现

针对煤矿事故救援训练时高成本、耗时长、缺乏灵活性、不能适应复杂的变化、存在危险的问题,提出了一个将训练过程以游戏的方式进行的虚拟煤矿事故救援训练系统设计方案。分析了该系统的总体结构,阐述了该系统各模块的功能。并结合实际开发经验,就三维建模、粒子系统、碰撞检测等技术进行了探讨。     

分水岭变换在岩屑图像分割中的应用

分水岭变换是一种基于区域和数学形态学的图像分割方法,被广泛用于灰度图像的分割之中.但传统分水岭变换过分割问题严重,图像的噪声和虚假纹理会淹没真正想得到的边缘信息.针对岩屑图像的特征,提出了一种改进的分水岭算法分割方案.先在预处理期用形态学开闭重建运算对原始图像平滑处理,在相对保留边缘不受影响的同时,降低噪声的影响.再通过非线性的阈值变换分离出目标和背景,然后在提取出目标的情况下合并过小区域,得到目标的边缘.而由于阈值变换后,区域数量已经明显减少,可以降低区域合并的运算量,提高合并速度.在求取形态学梯度时,选用了一种新的形态梯度形式,消除了形态学处理对分割结果造成的轮廓偏移现象.从实验结果看来,该算法取得了较好的分割效果.     

软件可信评估研究综述:标准、模型与工具

安全攸关软件的可信性关乎生命安全和财产保全,因此,分析评价软件可信性是否符合用户的预期(即软件可信评估)至关重要.软件可信评估从主观和客观两个方面度量软件的质量,对软件生产和应用有着重要的意义.综述了可信评估管理中涉及到的标准、模型和工具,而非关注软件度量本身.首先分析对比了软件可信性、可信评估的定义,并在研究了与可信性密切相关的软件质量的联系与区别之后,从相关国际标准、评估涉及的模型(包括质量属性模型、证据模型、分级规范等)以及软件工具支持等方面综述了软件可信评估研究工作.并且区分了这些方面中领域相关、领域无关的不同之处.目前软件可信评估已取得了一定的理论成果,并开发了若干工具辅助进行可信评估,但仍需在通用性、可伸缩性等方面有所加强.