最优距离聚类和特征融合表达的关键帧提取

为了提高视频关键帧提取的质量和效率,提出一种基于最优距离聚类和特征融合表达的视频关键帧提取算法。在视频帧间差异性分析基础上,寻找并确定最优帧间距离阈值,采用无监督聚类算法对帧间距离进行聚类,获得类别数目最优的类图像集;计算图像的颜色复杂度和信息熵并融合,按照类中图像特征值"平均"的思想提取类代表帧,组成视频关键帧。对4个监测视频进行实验,结果显示:该算法提取关键帧的平均保真度为96.72%、平均压缩率为96.42%,运行时间也较短,与两种典型的基于聚类的关键帧提取方法相比,在相同的压缩率情况下,算法保真度大幅度提高,而运行时间较小或相当。该算法解决了无监督聚类对阈值的依赖性问题,兼顾了视频中运动目标变化和环境异常两种情况,具有良好的性能和适应性。     

基于改进型期望值选择的GA及程序实现

遗传算法(Genetic Algorithms,GAs)作为一种新的全局优化搜索算法,在各学科中有着广泛的应用,选择策略在GA的进化中具有重要的意义,直接决定GA进化结果的效率和效果,该文指出基于轮盘赌选择的遗传算法和基于传统期望值选择的遗传算法的不足,并在此基础上提出了基于改进型期望值选择的遗传算法(RevisedExpected Value Selection-GA,REVS-GA),提高了程序的简洁度,同时通过实验证明了REVS-GA有效地克服了“早熟”现象,并且执行的效率比传统算法高.     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

非静止轨道IP卫星网负载平衡路由策略研究进展

如何实现全网负载平衡一直是卫星网路由策略的难点之一.首先,根据路由策略运行位置将非静止轨道IP卫星网路由策略研究成果分成了源路由、集中式、分布式和层次式路由;然后,系统阐述了各路由策略的主要思想,对比分析了其优缺点;接着讨论了与非静止轨道卫星网负载平衡路由策略相关的一些关键问题;最后指出了设计非静止轨道卫星网负载平衡策略应考虑的几个主要方面.     

一类非线性发展方程解的渐近性态

利用Ｂａｎａｃｈ空间几何特征理论，讨论了Ｂａｎａｃｈ空间中一类与非线性Ｖｏｌｔｅｒｒａ型积分方程有关的非线性发展方程解的渐近性态，并分别给出了此类方程的强解在无穷远处弱收敛与强收敛的收敛条件以及收敛结果，从而推广了已有的结论。     

非对称Halo的异质栅SOI MOSFET阈值电压解析模型

为了改善MOSFET的短沟道效应和驱动电流，首次提出了非对称Halo掺杂的异质栅SOIMOSFET结构，这种结构在沟道源端一侧注入浓度较高的杂质，再由具有不同功函数的两种材料拼接形成栅极．通过求解二维电势Poisson方程，建立了全耗尽器件表面势和阈值电压的解析模型．研究表明，该结构能有效抑制漏致势垒降低和热载流子效应，且在沟道长度小于100nm条件下，阈值电压表现出明显的反短沟道特征，在Halo和栅材料界面附近的电场峰值使通过沟道的载流子的传输速度显著提高，解析模型与二维数值模拟软件MEDICI所得结果吻合度较高．     

具有量子修正功能的三维蒙特卡罗MOS器件模拟

为了处理纳米MOS场效应管的量子效应，在蒙特卡罗模拟中引入有效势量子修正，并提出了基于PC机群的三维并行模拟算法．该算法在每个节点应用多层网格法求解一个子区域内各网格点的Poisson方程，采用有效势法进行量子修正，并跟踪模拟一组带电粒子的加速飞行和随机散射运动，使各节点的负载始终保持平衡．模拟实例表明，引入有效势修正的蒙特卡罗模拟结果与薛定鄂方程吻合得较好，     

Lipschitz型强增生映象方程的近似法

借助Ｂａｎａｃｈ空间Ｘ中的新不等式，在具有ｐ（ｐ＞１）次光滑模的空间研究了Ｌｉｐｓｃｈｉｔｚ型强增生映象和Ｌｉｐｓｃｈｉｔｚ型严格伪收缩映象的迭代解。结论推广了１９９０年Ｊ．Ｍａｔｈ．Ａｎａｌ．Ａｐｐｌ上Ｃ．Ｅ．Ｃｈｉｄｕｍｅ的结果，并对该文所提若ｐ∈（１，２）时，定量是否成立问题给出了肯定回答。     

一种基于移动Agent卫星网动态路由算法

为克服现有卫星网路由算法的不足,结合单层卫星网负载分布不均匀的特点,提出了一种新型的适用于单层卫星网的基于移动Agent的动态路由算法(SDRA-MA)。该算法通过移动Agent在卫星节点间迁移,收集星际链路时延、卫星纬度等信息。当条件满足时,移动Agent往回迁移,并在每个中间卫星节点基于卫星地理位置计算所探测路径的代价、更新路由表。通过在类Iridium星座中的仿真结果表明,SDRA-MA能够适应网络拥塞,实现负载平衡。尤其在高负载情况下端到端时延、丢包率等指标均优于传统的卫星路由算法。通过复杂度分析得知,SDRA-MA具有较低的通信、存储和计算开销。     

基于模拟退火的基因改进型GEP算法

基因表达式编程具有强大的函数挖掘能力,有助于在实验数据上提炼数学模型、揭示事物本质规律.尽管标准GEP算法通过改进遗传操作在一定程度上克服了早熟现象,但在解决实际问题中仍常表现出算法的不稳定;此外,标准GEP算法挖掘出的函数表达式往往冗长,可解释性差.针对这些问题本文做了如下工作:(1)对标准GEP算法的基因进行了新的定义,改进了标准GEP算法的基因构成,提高了GEP算法的通用性;(2)将模拟退火引入到标准GEP算法的选择算子中,提出了基于模拟退火的基因改进型基因表达式编程算法(RG-GEP-SA);(3)实验表明,RG-GEPSA算法比标准GEP算法具有更高的稳定性,RG-GEPSA算法比标准GEP算法成功率提高了11%,挖掘出的函数表达式更具有可解释性.