摘要：研究用短波语音通话携带的飞机舱室噪声对飞机类型进行识别的方法。分析了飞机舱室内噪声在短波信道和语音通话干扰下的物理特性,定义了估计语音段的飞机噪声信噪比的公式,提出了自适应的抑制语音增强飞机噪声的模型,通过CZT变换分别提取目标信号不同频段的功率谱密度级特征,并设计了用支持向量机进行分类识别的二叉分类树。对8类现场实测数据进行实验:增强后语音段的平均信噪比提高约22 dB,分类树对语音应答间隔噪声、语音段信号和增强后的信号的平均识别率分别为82.79%,15.25%,50.18%。实验表明:应答间隔噪声可用于飞机类型识别;语音抑制算法带来较大的信噪比和识别率增益,证明语音段蕴含有助于飞机类型识别的重要信息,可为后续的研究奠定基础。

摘要：在电路的设计过程中,形式验证已经成为重要的步骤.为提高设计的正确性,对高层次硬件描述语言(HDL)如VHDL的验证变得更加重要.文章给出的一个完整的数据通路操作的指令集能够在基于WGLs(weighted generalized lists)模型下进行形式验证的方法,讨论了字级函数和HDL操作符的WGL表示.所提到的技术允许直接地把HDL描述转化为WGLs,模运算和除法运算可以用基于WGLs的算法进行表示,此操作为有效验证过程的核心操作.文中所给出的验证工具是完全自动的,实验结果显示了该方法的有效性.

摘要：为在开发过程早期发现系统设计的各种错误与不一致,提出一种UML状态图模型检测方法,用于验证设计模型与需求规约间的一致性.该方法通过元组定义UML状态图的主要元素,给出状态图的中间表示形式SC.基于SC上定义的操作语义,该方法将状态图转换为具有KRIPKE语义结构的状态迁移系统,并将系统需满足的性质表示为线性时序逻辑公式,用模型检测技术验证状态迁移系统对线性时序逻辑公式的满足性.该方法可以转换更多的状态图元素,缩减状态图迁移系统的状态空间及提高模型检测效率.

摘要：现有的基于密度的数据流聚类算法难于发现密度不同的簇,难于区分由若干数据对象桥接的簇和离群点.本文提出了一种基于共享最近邻密度的演化数据流聚类算法.在此算法中,基于共享最近邻图定义了共享最近邻密度,结合数据对象被类似的最近邻对象包围的程度和被其周围对象需要的程度这两个环境因素,使聚类结果不受密度变化的影响.定义了数据对象的平均距离和簇密度,以识别离群点和簇间的桥接.设计了滑动窗口模型下数据流更新算法,维护共享最近邻图中簇的更新.理论分析和实验结果验证了算法的聚类效果和聚类质量.

摘要：针对异质社交网络社区识别问题,提出一种基于随机游走层次社区识别算法。提出异质网络层级吸引力度量函数,构建异质网络随机游走模型;设计了一种基于2-hop互随机游走的异质网络节点相似性度量函数;通过将该相似性函数推广到层次聚类并设计相应的相似矩阵校准方案,异质社区识别任务可以在较短的时间内迭代完成。人工合成网络和真实网络上的仿真实验验证了算法的可行性和有效性。

摘要：针对记录缓冲低功耗cache过滤大部分无效访问、降低功耗的同时无法降低静态功耗的问题,在记录缓冲基础上提出一种改进方案.设计了针对指令存储单元的状态控制电路,在相应的控制逻辑的驱动下自动将不常用的指令存储单元设置为休眠状态,从而有效节省cache的静态功耗.为验证方案的有效性,采用10个SPEC2000标准测试程序进行仿真,并与传统缓冲cache在功耗、性能及面积上进行比较.结果表明该方案在牺牲少量性能和面积的基础上可有效节省指令cache的静态和动态功耗.

摘要：船用蒸汽锅炉燃烧系统控制问题是锅炉动力装置研究的主要内容之一,保持蒸汽压力恒定是汽轮机正常运转的重要保障.针对船用锅炉压力控制系统中的大时滞、模型具有较大不确定性等特点,采用滑模预测控制策略设计控制器,利用预测控制的特性处理延时问题,同时利用滑模面对满足匹配条件的不确定性具有不变性的特性克服不确定性影响.同时利用预测策略可减低滑模控制中的抖振现象.仿真表明,该控制算法比单独采用预测控制策略具有更好的跟踪性能和更强的鲁棒性.

摘要：在对等系统中,由于其开放和动态的特征,通常使用模拟人际网络的信任机制来指导节点的协作决策,信任管理技术已经成为当前研究的热点.文中提出的模型分别使用可信度和不可信度对节点的正面行为和负面行为进行信任评估.在模型中,针对不熟悉的节点,通过综合在信任查询时所获得的信任反馈获知其声望.给出了一个基于节点的信任和声望的文件提供者选择方案.在使用该模型的文件共享网络仿真实验中,恶意实体被有效地隔离,网络性能也得到了提高,证明了模型的有效性.

摘要：超级节点对等网络既可以提高搜索算法的效率,又可以减少由此产生的负载流量,是目前国内外对等网络研究的热点.而超级节点的冗余问题又是该种网络设计的重点问题之一.首先定义了统一的节点负载情况评估参数——资源消耗因子,屏蔽了以往负载评估的不确定性;随后阐述了根据网络负载情况,动态地选取域内轻载节点以及域外其他轻载超级节点作为伙伴节点,进而构成虚拟超级节点共同承担本地负载的算法.并通过试验证明算法对网络负载的变化具有自适应特性,且可用较小的系统开销为代价增加网络的鲁棒性和资源利用率.

摘要：关键字拍卖竞价策略的制定问题是一个动态多阶段连续拍卖问题.针对拍卖过程中的竞价对手策略空间等信息不完全等问题,文中提出了一种基于优化算法的竞价策略制定Agent模型,并给出该模型的实现方法.该Agent模型将竞价的策略制定问题抽象成为一个多选择背包问题.采用差分进化算法解决多选择背包问题的约束特性.仿真实验表明,该Agent模型的预测模块和优化模块算法选用适当;将该模型应用于交易智能体广告拍卖竞赛中进行比较实验,结果证明该Agent模型具有较高收益性和稳定性等特点.