小型微型计算机系统

Select

论文

固定优先级抢占调度算法下非周期任务实时性能研究

王沁，袁玲玲，张燕

2011, 32(6): 1025-1029.

摘要 ( ) PDF全文 ( )

可视化

嵌入式实时系统不仅要在功能上满足需求，而且要在性能上满足实时性需求.给定调度算法，实时性取决于各个任务的到达特征和执行时间.任务的到达特征由应用环境决定.为此，本文研究任务执行时间对实时性能的影响，为嵌入式系统设计提供参考.针对固定优先级抢占调度算法，应用排队论，提出一种非周期实时任务的理论模型.该理论模型包含两个优先级不同的非周期实时任务，给出了任务的执行时间长短对时限错过率、任务响应时间、任务队列长度等实时性能的影响.给出一个应用实例，仿真结果验证了理论模型的正确性.

Select

论文

安全协议中防御拒绝服务攻击的请求成功率保证算法

张慧，赵有健

2011, 32(6): 1030-1034.

摘要 ( ) PDF全文 ( )

可视化

安全协议在维护网络安全的过程中，都需要采用密码算法来达到其安全的目的.在其运行的初始阶段，要进行复杂计算，并需保存相关状态信息，这使得其存在拒绝服务攻击的安全隐患.本文分析针对安全协议的拒绝服务攻击方式，并重点讨论防御攻击的puzzle方法，定量的研究其防御拒绝服务攻击的过程，给出了难度系数的调整公式，进一步提出请求成功率保证算法，能根据需要动态调整防御拒绝服务攻击的强度，进而提高安全协议的安全性和系统的运行效率.

Select

论文

无线传感器网络中继节点的最小功耗布置算法

陆克中1，刘刚1，陶耀东2，明仲1

2011, 32(6): 1035-1040.

摘要 ( ) PDF全文 ( )

可视化

在无线传感器网络中，如何布置给定数量的中继节点以最小化传输数据的整体功耗是个值得关注的问题.对中继节点的最小功耗布置问题进行了形式化描述，提出一种时间复杂度为O(n2)的近似算法，其中n为传感器节点数目.该算法先构造一棵中继节点数目不受限制时的最优生成树，然后每次从生成树中删除一个使得整体功耗增加最少的中继节点，直至生成树中的中继节点数目满足要求.实验结果表明该算法的执行时间较短，在传输数据的整体功耗方面要优于现有算法.

Select

论文

一个真实VoD/P2P系统Novasky的设计与实现

沈时军，李三立

2011, 32(6): 1041-1048.

摘要 ( ) PDF全文 ( )

可视化

近年来，基于对等网络的视频点播系统(VoD/P2P)备受人们关注.这类系统的实现还面临诸多挑战，如存储策略、用户激励、媒体版权等.本文提出一种高效率、低成本、易扩展的VoD/P2P系统设计方案Novasky.与已有系统相比，Novasky的最大不同是引入了编码存储策略与虚拟货币机制.经过三年多的开发与完善，Novasky已发展成为一个跨平台的分布式系统.它是少数几个使用人数较多的研究性VoD/P2P系统之一.自2009年9月在清华大学开放使用以来，已接受1100多用户对346个视频的6288次点播，累计点播数据量2.1TB.

Select

论文

无线数据广播环境下路网最近邻居节点的查询

毛鼎鼎，孙未未，陈楚南，吴晶晶，刘未末，荆一楠

2011, 32(6): 1049-1054.

摘要 ( ) PDF全文 ( )

可视化

针对大规模用户数量，首次提出结合无线数据广播技术，在路网环境中进行最近邻居节点查询.该方法使用基于Voronoi图的算法转化路网信息，将处理后的路网信息作为广播数据，不仅提高了用户的查询效率，还减少广播数据中的冗余信息.在数据调度上，采用Hilbert曲线对数据排序，从而保持广播数据的空间临近性.实验表明，上述方法在为用户提供高效查询的情况下有效减少了访问时间.

Select

论文

一种适合无线传感器网络的混合编码数据压缩算法

任学军1，2，房鼎益1

2011, 32(6): 1055-1058.

摘要 ( ) PDF全文 ( )

可视化

传感器节点通常由电池供电，充电和更换电池比较困难.如何有效地利用能源，减少损耗已经成为无线传感器网络的研究热点之一.传感器节点的能量大部分损耗在无线传输的过程中，因此，对数据压缩后再传输，能有效的减少传输的流量并提高节点的生存期.本文分析了传感数据的分布规律，指出当节点采集的数据符合慢变性质时，其分布将服从以0为中心的正态分布.依此提出了一种基于混合编码的传感器节点数据无损压缩算法，与传感器网络中的经典无损压缩算法相比，本算法以更少的性能开销获得了更高的压缩率.实验结果也证明了这一点.

Select

论文

基于Bayesian信任网络的P2P访问控制

刘义春1，张焕国2

2011, 32(6): 1059-1063.

摘要 ( ) PDF全文 ( )

可视化

目前多数访问控制模型都针对集中式的和相对静态的系统，不适宜主客体动态变化的协同环境，如P2P系统.文章针对P2P网络提出一种新的访问控制模型，利用Bayesian网络技术构造P2P网络中的信任机制，从网络节点间信任的角度建立访问控制模型，根据主客体的Bayesian信任网络对实体访问权限进行动态管理.

Select

论文

基于无线传感网的管道腐蚀远程监测系统设计

于彦伟，段世红，王沁，万亚东

2011, 32(6): 1064-1070.

摘要 ( ) PDF全文 ( )

可视化

针对无线射频传输距离有限的缺点，提出一种利用GPRS网络和分簇结构的WSN实现远距离数据传输的管道腐蚀远程监测系统设计方案.设计了多功能的低功耗WSN节点，并提出适用于管道腐蚀实时监测的链式路由、簇内基于TDMA的MAC协议和以RTC为基准的时间同步机制.测试结果表明节点采集数据误差在4mV以内，簇头和传感节点最大工作电流分别为300mA和170mA，休眠时电流都小于65uA，满足实际监测需求，在远程监测应用中取得了良好的效果.

Select

论文

无线传感器网络中DV-Hop定位算法的改进

刘文远，王恩爽，陈子军

2011, 32(6): 1071-1074.

摘要 ( ) PDF全文 ( )

可视化

针对无线传感器网络非基于测距的DV-Hop定位算法中，信标节点与未知节点之间平均跳距估计的不足以及三边定位过程中信标节点的选择对定位误差的影响，提出一种改进的DV-Hop定位算法.在改进策略中，对平均跳距采用加权处理进行修正，并有选择性的选取信标节点参与最后的三边定位.仿真结果表明，改进后的DV-Hop算法能够更准确地对平均跳距进行估计，并且有效地降低了未知节点的定位误差.

Select

论文

HFC网络的缓冲区管理和分组调度联合算法

张燕1，王沁2，袁玲玲2，余文裕3

2011, 32(6): 1075-1080.

摘要 ( ) PDF全文 ( )

可视化

以HFC网络为背景，针对嵌入式设备的存储资源有限性、网络带宽有限性以及宽带网络中多业务流的特点，提出一种缓冲区管理和分组调度联合算法.该算法通过控制业务流队列长度和设置业务流优先级方程的方式来管理缓冲区和带宽的分配，使内存管理和分组调度协调配合，从而为不同类型的网络数据提供区分服务.通过测试，在本文的仿真设置下，当网络资源紧张时，使用该算法后，可以达到实时业务流的超时数据比未使用该算法时的超时数据少89.6%的效果；而非实时业务流也可以达到平均丢包率比不使用该算法时的平均丢包率低90%的效果.

Select

论文

无线传感器网络中移动节点定位算法研究

侯守峰，周小佳，闫斌

2011, 32(6): 1081-1084.

摘要 ( ) PDF全文 ( )

可视化

提出一种利用临时锚节点的蒙特卡罗箱定位算法.该算法是基于蒙特卡罗定位方法之上，通过引入节点平均速率来获取临时锚节点，并利用一跳范围内的临时锚节点构建最小锚盒、增强样本过滤条件，从而加速了采样和样本过滤.此外，在样本的获取上采用了非随机采样的均衡采样方法，有效地降低了采样次数.仿真结果表明：该算法同蒙特卡罗定位算法等相比，提高了节点的定位精度，降低了节点的能耗.

Select

论文

基于Zigbee簇树路由的链路寻址方式改进

王兰忠1，侯萌2，徐元2

2011, 32(6): 1085-1088.

摘要 ( ) PDF全文 ( )

可视化

IEEE 802.15.4/Zigbee规范因其低速率，低功耗和低成本的特征而非常适合作为WSN的无线通信技术.使用该技术构建簇树型WSN时，网络性能受哪些因素的影响，影响程度如何都是值得研究的问题.本文通过一个自建的簇树型WSN仿真模型，研究了中心协调器位置对节点接入成功率的影响；传感器节点发包速率和信号发射功率对吞吐量和传包率的影响，并对簇树形路由的寻址方式进行了改进，将跨点寻址应用在路由方式中，取得了良好的网络效果.

Select

论文

程序分析技术在SQL注入防御中的应用研究

李小花1,2，孙建华1，陈浩1

2011, 32(6): 1089-1093.

摘要 ( ) PDF全文 ( )

可视化

SQL(Structured Query Language)注入是一种常用且易于实施的攻击手段，对Web应用程序的安全构成严重危害.通过分析SQL注入攻击的原理，提出一种基于程序分析技术的SQL注入防御原型系统.该系统以静态分析为基础，对污染数据进行跟踪，并为包含污染数据的SQL语句建立合法查询自动机模型，然后以此作为被测程序的探针，进行动态测试，跟踪并记录程序的执行情况.系统的实现针对Java的Web应用程序，不需要修改服务器以及数据库平台的配置.实验表明，该系统具有较好的防范SQL注入的效果和较低的运行开销.

Select

论文

基于双向多路径的工业无线传感器网络路由维护机制

李德威1，2，曾鹏1，肖金超1，2

2011, 32(6): 1094-1098.

摘要 ( ) PDF全文 ( )

可视化

工业无线传感器网络需要快速可靠的路由维护机制来保证网络运行的稳定性并延长网络生存周期.传统的单路径路由维护机制由于受到单路径路由方式的限制，在维护速度和维护的准确性等方面存在问题.提出一种基于双向多路径的快速路由维护机制，通过网关节点双向检测，主辅路径相互维护的方式，提升了路由维护速度，保证了路径检测的可靠性.实验结果表明双向多路径快速路由维护机制能够在少量增加网络能耗的前提下，有效地改善路由维护时间和路由维护准确率等网络性能.

Select

论文

智能网络磁盘集群存储技术研究与实现

杨希1，赵跃龙1，2，周云霞1，3

2011, 32(6): 1099-1102.

摘要 ( ) PDF全文 ( )

可视化

智能网络磁盘(IND)集群是一种海量存储的新方案，为了实现其功能，组建了IND局域网平台，深入探索了实施的关键技术，采用集中管理，分散服务，备份支援，实时监控的策略，有效控制了并发，自动调整负载平衡，批量传送文件更安全更方便，保证了系统的正常运行.大量测试数据表明，智能控制是成功的，智能算法是正确的，符合设计初衷.IND集群是一种可用性好、易扩展、安全、简便、灵活、价廉的海量存储系统.

Select

论文

一种图像稀疏贪婪索引字典的构造方法

易学能，曹汉强

2011, 32(6): 1103-1107.

摘要 ( ) PDF全文 ( )

可视化

匹配追踪是一种直接求解稀疏问题的有效方法，但是匹配追踪的完全搜索方案耗费大量计算时间.已有的一些避免这种完全搜索的方案对贪婪的学习字典并不适用.本文提出一种基于索引字典的正交匹配追踪(OMPID)的新方法，通过改进的聚类方法建立学习字典的索引，通过索引寻找最佳匹配原子，从而大大地减少了蛮力搜索的时间开销.实验表明，本文方法构造的字典能够极大地提高算法的时间性能，同时对图像的降质影响不大.理论和实验分析还对OMPID算法的相关的参数设置提供了建议.

Select

论文

基于相关信息特征最近邻搜索的快速分形图像编码

王强，梁德群，毕胜

2011, 32(6): 1108-1112.

摘要 ( ) PDF全文 ( )

可视化

针对分形图像压缩算法编码时间过长的问题，提出采用相关信息特征作为最近邻搜索特征的快速分形编码算法.通过深入分析图像子块的结构特性，提出相关信息特征的定义，证明并分析了采用该特征进行最近邻搜索操作的合理性.与传统特征相比，相关信息特征能够更好地反映子块的结构特性，所以基于相关信息特征的最近邻搜索能够更准确地确定后续局部匹配的范围.实验表明，在编码时间相同的情况下，本文算法较其他三种同类算法能够得到更好的解码图像质量.

Select

论文

一种网格融合算法

王卫红1，2，秦绪佳1

2011, 32(6): 1113-1117.

摘要 ( ) PDF全文 ( )

可视化

快速建模是三维游戏动画领域的重要技术，从已有模型经过修改、编辑、融合构建出新的模型是一种高效的建模方法.本文提出了一种网格模型融合算法，该算法首先将需要的部分网格从源模型上交互剪切下来，并将其配准对齐；然后将两网格模型转化成点模型表示，并将点模型转化成RBF隐函数表示；再对两隐函数进行布尔运算；最后将布尔运算生的隐函数曲面在两网格接合区域进行三角形化，得到最终的网格模型.算法定义了隐函数曲面的影响区域，有效控制融合过渡.采用边界扩展的三角形化方法，保留了融合区域以外源模型的特征.实验结果表明，本文算法具有很好的网格融合结果，可用于游戏动画中快速造型.

Select

论文

应用多重网格技术进行烟雾与障碍物交互模拟

陈子阳，唐勇，马昆骐，吕梦雅，翟松青

2011, 32(6): 1118-1121.

摘要 ( ) PDF全文 ( )

可视化

烟雾在高精度网格中与大量障碍物交互十分耗时.为改善障碍物周围的局部视觉细节并进一步提高模拟的实时性，引入多重网格技术与结点分组方法相结合.使用结点分组方法处理障碍物边界条件；在每个障碍物周围，包围一张局部网格，在每个时间步，为每张网格分别求解N-S方程组并在局部和全局网格间传递信息.实验表明，采用文中方法，在障碍物局部模拟精度和单独使用结点分组方法相近的前提下，模拟速度提高了近3倍，达到了更高的实时性.

Select

论文

一种带有曲率驱动样本的图像修补方法

谢成军，李伟，张民，李娇娥

2011, 32(6): 1122-1126.

摘要 ( ) PDF全文 ( )

可视化

提出一种新的图像修补方法，该方法基于样本的图像修补思想，通过曲率驱动扩散(CDD)模型来计算合理的信心度和数据条件，改进了样本图像修补的有效性并增强图像中线性结构扩散.因此，用本文方法进行图像修补时，能有效地避免其他算法共同存在的 “垃圾物”的生成问题.实验结果表明，与其他类似方法相比，本文方法能够得到更令人满意的视觉效果.

Select

论文

实时双向群组搜索及其在蚁群觅食动画中的应用

邹北骥, 孟志刚, 向遥, 曾羽

2011, 32(6): 1127-1132.

摘要 ( ) PDF全文 ( )

可视化

基于双向搜索和群组协作的研究，提出一种新颖的搜索算法--实时双向群组搜索(real-time bidirectional crowd search，简称RBCS).基于这个搜索算法所提出的蚁群觅食模型包含了有限状态机和一系列表示蚂蚁和环境交互的规则，具有在复杂动态环境下找到食物和巢穴之间最短路径的能力.2D/3D实验结果表明，算法的搜索能力具有可信性，将其扩展到人群在固定点之间的来回往复运动也获得了满意的效果；和传统基于信息素的蚁群觅食模型的仿真实验对比表明了算法的优越性.

Select

论文

基于Haar小波域自学习的图像超分辨率方法

杨宇翔 1，汪增福2

2011, 32(6): 1133-1137.

摘要 ( ) PDF全文 ( )

可视化

图像超分辨率重构是指由低分辨率图像来获得高分辨率图像的过程.为了能够有效的重构出高分辨率图像，提出一种基于Haar小波域自学习的图像超分辨率重构算法.该算法将高分辨率图像通过Haar小波变换后得到的近似子块L与已知的低分辨率图像联系起来，然后通过Bp神经网络来自学习Haar小波变换细节子块之间相近的自相似性，从而预测出高分辨率图像通过Haar小波变换后的三个细节子块H，V和D.最后由逆Haar小波变换重构高分辨率图像.实验表明由该算法重构的高分辨图像有很好的视觉效果和峰值信噪比.

Select

论文

基于实数结构元素的多角度边缘检测算法

洪宗辉，刘秉瀚

2011, 32(6): 1138-1141.

摘要 ( ) PDF全文 ( )

可视化

由于传统的边缘提取方法如Sobel、Robert、Prewitt、Log 和Canny等对噪声十分敏感，而基于传统数学形态学的边缘检测算法又不能很好地利用空间信息，很难对复杂边界进行有效的处理.本文提出基于实数结构元素的多角度边缘检测算法，该算法可以充分地反映空间距离以及各个角度对边缘检测的影响.最后通过实验说明该算法在复杂图像的边缘提取中不仅有很强的抗噪性，而且可以有效地提取图像边缘.

Select

论文

一种基于图像块的Legendre矩高精度快速算法

高月芳1，韩国强2，陈茂资1

2011, 32(6): 1142-1146.

摘要 ( ) PDF全文 ( )

可视化

针对图像的Legendre正交矩计算量大和矩值求解过程中存在离散近似误差等问题，提出一种新的高精度快速计算图像Legendre矩方法.文中首先提出一种最大块优先分块策略，然后在此基础上，根据图像像素灰度值的取值特征将图像进行分块表示，以每个图像块为单位计算图像的Legendre矩.实验结果表明，与现有的快速算法相比，文中方法在保证矩值高精确的前提下，有效地减少了算术运算的次数，降低了计算复杂度，具有较快的计算速度.

Select

论文

基于粒子群优化的Shearlet自适应图像去噪

赵嘉，孙辉，邓承志，陈习

2011, 32(6): 1147-1150.

摘要 ( ) PDF全文 ( )

可视化

研究Shearlet变换域图像去噪阈值选取的问题，提出Shearlet变换域图像去噪自适应阈值选取方法.该方法根据Shearlet变换域不同尺度和方向系数的分布特性，采用粒子群优化算法自适应地确定各尺度和方向的最优阈值，实现基于图像内容的自适应去噪.仿真实验表明，该方法能有效滤除图像的噪声，较好地保留图像的边缘信息.同时，去噪后图像具有更高的峰值信噪比(PSNR).

Select

论文

内容感知存储系统中自动分级存储模型研究

聂雪军，秦磊华，周敬利，刘科，朱建峰，王宇

2011, 32(6): 1151-1156.

摘要 ( ) PDF全文 ( )

可视化

提出一种基于内容感知存储系统的自动分级存储模型.该模型从文件中提取内容元数据作为分级特征信息，并以领域本体表示分级存储规则的语义.采用一种基于特征词权重的算法计算分级特征对领域本体的支持度，并通过分级判断规则得出文件的存储级别.算法通过引入修正权重系数提高了基于支持度的分级准确率.实验结果表明，这种模型对于携带特征信息量较多的数据能实现较高的准确率，对系统写入性能的影响随着系统平均数据大小的增加而降低.

Select

论文

数值和名义属性混合数据空间上的轮廓体查询方法

张忠平，夏炎，李立宁

2011, 32(6): 1157-1163.

摘要 ( ) PDF全文 ( )

可视化

近年来，数值和名义属性混合数据空间上的轮廓查询仅局限在单个空间上进行，而实际应用中存在对不同子空间轮廓查询的需求.为此，本文结合IPO-tree Search半物化轮廓的方法，定义了半物化轮廓体的概念，提出通过共享子空间轮廓结果集及查询条件计算半物化轮廓体的算法SMS，并设计了存储半物化轮廓体的索引结构NNAS-tree，满足了不同用户高效实时查询任意子空间轮廓的需求.实验比较证明SMS算法效率优于通过逐个单独计算子空间轮廓求轮廓体的传统算法.

Select

论文

一种出具证明编译器中的汇编级断言和证明生成的方法

张臻婷1,2，李兆鹏1,2，陈意云1,2，杨思敏1,2，庄重1,2

2011, 32(6): 1164-1169.

摘要 ( ) PDF全文 ( )

可视化

携带证明代码允许代码消费方通过检查代码生产方提供的证明，来判断代码是否满足相应的安全规范.本文实现了一个类C语言的出具证明编译器原型，它在将带有规范标注的源代码编译成汇编代码的同时，还能产生汇编代码满足相应规范的Coq可检查证明，从而保证汇编代码的安全性.本文设计了一种Hoare风格的汇编级验证框架，并在此框架下提出并实现一种新的自动生成汇编级断言和证明的方法.

Select

论文

MCSM:一种基于移动设备的上下文感知中间件

熊丽兵1，牛建伟2，张锦锋3，陈灿峰3，申雪萍1

2011, 32(6): 1170-1174.

摘要 ( ) PDF全文 ( )

可视化

提出一种针对移动设备的上下文感知中间件MCSM(Mobile Context Sensing Middleware).MCSM可以动态地感知当前移动设备的内外部计算环境及用户活动等上下文信息，并以统一的接口将感知到的上下文数据提供给上层应用程序.为了克服外部传感器数据的高异构性，MCSM采用了一种基于XML的上下文数据描述语言CDDL.基于MCSM的原型系统表明，MCSM具有良好的运行效率和可扩展性，并可显著提高上下文应用程序的开发效率.

Select

论文

出具证明编译器中线性整数命题证明的自动生成

杨思敏1，2，李兆鹏1，2，庄重1，2，张臻婷1，2

2011, 32(6): 1175-1180.

摘要 ( ) PDF全文 ( )

可视化

近年来，出具证明编译器作为构建高可信软件的重要途径，逐渐成为编译器理论和形式化验证的研究热点.在其理论框架中，编译器需要借助自动定理证明技术，自动地证明验证条件并生成机器可检查的证明项，因此好的自动定理证明器对出具证明编译器至关重要.本文基于Simplex算法在出具证明编译器的框架内设计并实现了一个支持线性整数命题求解的自动定理证明器，并且提出一套证明项构造方法，将其应用于自动定理证明器中可生成Coq可检查的证明.

Select

论文

P2P环境下基于Vague集理论的主观信任模型研究

黄德才，翁挺，龚卫华，朱凌

2011, 32(6): 1181-1188.

摘要 ( ) PDF全文 ( )

可视化

在诸如文件共享等无中心的P2P环境下，资源共享是用户自愿的行为，用户不承担任何责任，很难通过传统的信任机制来建立用户之间的信任.参考社会学的人际关系模型和Bayesian网络信任模型，在Vague集合理论基础上，提出了一种基于推荐的主观信任管理模型，给出了防止恶意行为和服务热点问题的方法.分析及仿真实验表明，针对网络中的恶意行为，本信任模型比已有的模型有更好的安全性.

Select

论文

CMMB标准中数据业务系统的设计与实现

盛娴1，2，蒲宝明2，刘同兴1,2

2011, 32(6): 1189-1195.

摘要 ( ) PDF全文 ( )

可视化

中国移动多媒体广播系统目前以提供视音频节目为主，数据业务广播的实现与应用需要进一步发展.提出一种基于中国移动多媒体广播标准体系的数据业务系统并加以实现，阐述了系统架构与各功能模块设计，并对系统所涉关键技术的实现进行了详细说明.经实验证明该系统能够依据标准完成数据业务信息的封装、复用、发送、接收与还原，为用户提供种类丰富的数据广播节目，扩展了移动多媒体广播业务类型，满足人们对多元化信息的需求.

Select

论文

MDUAM：一个企业信息集成系统中元数据更新分析与管理系统

卢菁1，朱小栋2，彭敦陆1，霍欢1

2011, 32(6): 1196-1200.

摘要 ( ) PDF全文 ( )

可视化

当前的企业信息集成系统是由大量的自治系统组成，这些自治的系统的数据之间进行互操作.由于自治的系统之间可以进行互操作，因而带来了一个问题，就是对一个系统中进行的数据操作可能会给其它系统带来意想不到的影响.介绍一种方法，用于监测每一个参与互操作的系统中的元数据更新情况，对每一个数据更新可能带来的影响进行分析并加以管理.这个分析过程是通过显式地定义规则，规则分为防范性的和反应性的规则，这些规则是通用的、可扩展的，可以表达相关的数据更新的元数据.本文的方法可以在异构的环境下工作，并且能够根据特殊的需要进行定制.

Select

论文

一种基于公交路线的规划方法

聂俊岚，王小彦，陈子军，刘文远

2011, 32(6): 1201-1204.

摘要 ( ) PDF全文 ( )

可视化

提出一种用于公交路线规划的最优路径查询方法.利用最优位置选择思想，在给定源点和终点的路网中找到k最短路径中最优性值最大的路径，即客流量最大的路径，为进行公交路线规划提供参考.采用k最短路径算法找到长度满足条件的k最短路径，然后对这k最短路径上的一些特殊顶点(如路口)进行最优性查询，从而找到k最短路径中最优性值最大的路径.最后，通过实验验证该方法的有效性.

Select

论文

分布式电网经济调度及其多目标优化模型研究

汪家旺1，2，吕立2，刘达2

2011, 32(6): 1205-1210.

摘要 ( ) PDF全文 ( )

可视化

为克服传统经济调度的目标单一，计算量大，优化不力等诸多不足导致模型适用的困难，从电网分区和协调计算的角度建立了基于多目标优化的分布式电网经济调度模型.该模型同时考虑了由售购电价差引起的经济效益最大，机组运行能耗最少和污染气体排放最小等三个目标函数.重点阐述了一种基于近似牛顿方向的多区域分布式计算方法，并利用改进的距离差分进化算法用于各个分区内的独立优化计算，然后采取异步迭代的信息同步机制实现了全局的等值修正计算.最终算例表明了该方法能够在分布式电网经济调度的优化计算过程中取得良好的应用效果.

Select

论文

一种表示有向图的表方法及其应用

谢深泉1,2

2011, 32(6): 1211-1217.

摘要 ( ) PDF全文 ( )

可视化

图的表示方法很多,各有其优缺点.采用不同的表示方法，可获得图的不同的时空性能.本文阐述了图的一种新表示方法，该方法用一种命名规则将有向图表示为节点标签表，给出了由节点标签表产生节点链的算法.并用这种称为表方法研究了有向图的回路性质，特别地将它应用于研究de Bruijn回路、欧拉回路和哈密顿回路，给出了计算欧拉回路和哈密顿回路的新方法.本研究表明该方法具有较好的理论和实用价值.

Select

论文

最小化全局完成时间的成像卫星任务规划算法

张利宁1，邱涤珊1，李皓平2，祝江汉1

2011, 32(6): 1218-1221.

摘要 ( ) PDF全文 ( )

可视化

成像侦察卫星任务规划问题是一类典型多约束组合优化问题.最小化全局完成时间是任务规划领域时效性要求较高情况下的一种优化目标.提出一种整合整数规划与约束规划方法，在最小化任务规划方案全局完成时间的目标下，求解成像侦察卫星任务规划问题的组合算法.该算法通过应用Benders分解将原约束整数规划模型划分为主问题与子问题两部分，采用软件MOSEK与GECODE对主、子问题分别求解.根据子问题求解结果生成剪枝约束，返回主问题迭代，直到获得优化解.算法有效性通过仿真实验进行了检验并取得预期效果.

Select

论文

引入Logistic混沌映射的连续蟑螂算法应用于函数优化问题

程乐1，2，杨晔1, 钱兆楼1, 韩锐1, 潘永安1

2011, 32(6): 1222-1227.

摘要 ( ) PDF全文 ( )

可视化

通过模拟蟑螂的觅食行为，提出用于解决函数优化问题的连续蟑螂算法(continuous cockroach swarm optimization，CCSO ).算法模拟了蟑螂的群居、巢穴不固定、爬行轨迹杂乱无章等生物特性.通过食物车在解空间内抛洒食物，吸引蟑螂向食物爬行完成搜索.在巢穴分配和食物抛洒环节引入了Logistic混沌映射，增强了巢穴和食物在解空间内分布的随机性和遍历性.仿真实验显示,与API和PPBO算法相比，CCSO算法在求解精度、收敛速度、寻优率等方面均提高显著.

Select

论文

基于时变神经网络的非线性时变系统建模

严伟力，孙明轩

2011, 32(6): 1228-1231.

摘要 ( ) PDF全文 ( )

可视化

提出时变神经网络模型，用以逼近未知非线性时变映射，实现非线性时变系统建模.将时变神经网络的权值学习作为时变系统的时变参数估计问题，并基于迭代学习机制，给出在同一时刻沿迭代轴训练网络权值的迭代学习最小二乘算法.理论上证明了该算法的全局收敛性.给出的数值算例表明所提算法在非线性时变系统建模方面的有效性.

Select

论文

边信息传播修正的半监督维数约减方法

刘利1，韦佳2，马千里2

2011, 32(6): 1232-1236.

摘要 ( ) PDF全文 ( )

可视化

现有基于边信息的半监督维数约减算法大都是直接将保留边信息和数据拓扑结构的目标函数相加，因此数据拓扑结构中的错误连接不会因已知的边信息而得到修正.提出通过边信息传播及修正机制将边信息融入到数据拓扑结构图中的方法，从而在保留边信息的同时保留更为真实的数据拓扑结构信息.实验结果表明本文所提出的算法较之其它算法，对数据降维后用于分类时可取得较高的准确率，且算法对创建的KNN图中的参数K最具鲁棒性.

Select

论文

GPS基带信号捕获算法及其仿真研究

刘毓，邹星

2011, 32(6): 1237-1239.

摘要 ( ) PDF全文 ( )

可视化

针对低信噪比环境下的导航需要，介绍了低信噪比环境下的GPS基带信号捕获算法，对基于循环相关的GPS基带信号捕获算法的信号处理流程以及捕获性能进行了分析.通过特定的硬件装置获得了真实的GPS数据，利用Matlab对该捕获算法进行了计算机仿真研究.根据理论分析和仿真结果可以看出，基于循环相关的GPS基带信号捕获算法能够检测低信噪比环境下的GPS信号，能够提高GPS接收机的检测灵敏度.

Select

论文

AES算法中模逆运算电路设计与实现

程桂花，齐学梅，罗永龙

2011, 32(6): 1240-1244.

摘要 ( ) PDF全文 ( )

可视化

AES算法中字节替换和轮密钥扩展都需使用模逆运算.模逆运算是AES算法中最复杂的运算，也是AES算法中最关键的模块之一.本文分析二进制扩展的欧几里德算法，基于该算法使用Verilog HDL设计模逆运算电路，通过FPGA实现模逆运算.电路选用优先权编码器、比较器和移位寄存器等基本逻辑部件组成，使得两个多项式次数的计算、比较、相减和多项式系数的移位操作并行进行，加速模逆运算的过程.硬件实现模逆运算具有高效、快速的特点，对AES算法的硬件实现具有实际价值.

Select

论文

基于旁路泄漏的微控制器指令分析研究

吴恒旭1,2，陈开颜1，邓高明1，邹程1

2011, 32(6): 1245-1248.

摘要 ( ) PDF全文 ( )

可视化

微控制器芯片所有活动都会在其旁路泄漏信号上留下"指纹"信息，将逆向工程思想与旁路攻击方法结合，对芯片旁路"指纹"信息进行分析，判断微控制器所执行的未知指令.针对微控制器(AT89C52)指令集构建对应不同指令的旁路模板库，对未知指令进行模板分析，通过实验验证了指令恢复的可行性，扩展了旁路攻击的研究领域.

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心

模态框（Modal）标题

选择文件类型/文献管理软件名称

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心