小型微型计算机系统

Select

论文

一种新型内核扩展安全访问方法

刘虎球1,马超1,白家驹2

2013, 34(10): 2225-2231.

摘要 ( ) PDF全文 ( )

可视化

内核扩展的安全性对操作系统的稳定运行具有重要意义.内核扩展在为驱动开发提供了便捷的同时,但也带来了重大安全隐患.本文设计了一个新型内核扩展安全访问(Security Access to Kernel Extension, SAKE)模型系统,该系统通过对驱动模块的控制范围进行约束,对关键内核扩展函数接口进行审查,来实现安全的内核扩展访问.文中所述研究在Linux操作系统上对SAKE模型系统进行了实现,并结合多款驱动进行了评测.安全性评测结果表明SAKE能够提供安全内核扩展访问功能,并且性能评测表明该系统带来的开销很小.

Select

论文

基于内核级程序快照的软件调试框架

阎栋, 谈鉴锋,王瑀屏,李浩,白小龙

2013, 34(10): 2231-2238.

摘要 ( ) PDF全文 ( )

可视化

现代软件的功能需求越来越多样，软件编制规模越来越大，但隐藏其中的代码错误也随之增长.与此同时，种类丰富的外设、高级程序语言特性、现代处理器特性等因素的出现，却使得软件的错误诊断变得更加困难.提出一种基于内核级程序快照的软件调试框架(简称Sydump).Sydump扩展了操作系统内核以记录程序运行时信息，并提供一套用户态工具帮助程序员进行诊断.使用Sydump框架进行调试无需重新执行程序，不仅减轻了开发人员的负担，而且能够方便处理场景难以复现的软件错误.通过充分挖掘x86体系结构特性，Sydump无需专用硬件即可高效运行，具有很强的实用性.实验结果表明，Sydump仅带来很低的性能损耗，能够在实际部署中监控长期运行的服务器程序.

Select

论文

面向X10的数据流程序编译优化算法

刘小宪1,魏海涛1,于俊清(1，2)

2013, 34(10): 2239-2245.

摘要 ( ) PDF全文 ( )

可视化

数据流编程作为一种编程模式已被广泛应用到各个领域.然而，多核体系结构的不同使得数据流程序在不同平台上移植困难.X10作为一种新型并行编程语言，为不同的多核体系结构提供了统一的并行计算环境.如何利用X10语言的特性来提高数据流程序的效率已成为目前研究工作的一大难点.本文设计并实现了一个面向X10的编译优化系统，该系统确立了三种优化算法：针对X10语言的代码生成优化减少了生成的X10代码量；针对同步数据流图的任务划分优化在负载均衡的基础上，避免了死锁的产生，同时减少了通信开销；针对底层硬件资源的通信优化在机器间通信、机器内部线程间通信、线程内部通信方面进行了区分和优化，减少了通信开销.实验结果表明，设计的三种编译优化算法都获得了较大的性能提升.

Select

论文

FPSFI:一种基于LLVM架构的驱动错误隔离机制

甄凯1，白家驹2，刘虎球1，郭旭峰1

2013, 34(10): 2246-2250.

摘要 ( ) PDF全文 ( )

可视化

内核安全维系着应用程序的正常运行，而内核错误却仍被周期性地发现，且多数错误是由模块加载机制将存在问题的设备驱动引入内核所致.基于LLVM编译器基础架构，提出FPSFI驱动错误运行时隔离机制，使驱动错误隔离机制分解为涉敏函数注册、驱动错误定位与检测函数的插装等三个模块，有效地阻止了由内核API完整性缺失所导致的权限非法提升以及内存空间被多次释放等常见驱动错误.相比于之前的方法，FPSFI将错误分析与定位实现在编译器后端，减少了人工添加检测代码的工作量，而检测函数的单独实现与编译，使得隔离机制对内核接口的依赖程度有所降低.基于Linux平台的测试结果表明，FPSFI能够有效阻止两类典型的驱动错误；FPSFI对后端编译器改动所造成的时间开销比为18.7%；对网络模块的压力测试结果显示，FPSFI不会显著影响CPU利用率以及TCP吞吐量，UDP吞吐量下降17%.

Select

论文

一种动静结合的代码反汇编框架

奚琪1，曾勇军1，王清贤1，吴红水2

2013, 34(10): 2251-2255.

摘要 ( ) PDF全文 ( )

可视化

反汇编技术是二进制代码分析的基础，传统的静态反汇编方法存在着数据代码混编和间接跳转指令等带来的反汇编困难.为此，本文提出了一种动静结合的代码反汇编框架DTBC.在DTBC中，静态反汇编引擎根据传统反汇编算法实现代码的静态反汇编，通过代码分析技术标记程序中的敏感指令；符号执行引擎利用混合符号执行技术和约束求解器生成可达敏感指令的程序输入；动态仿真引擎模拟不同输入条件下的程序执行过程，通过监控代码的执行路径达到反汇编求精的目的.实验模拟的结果表明，DTBC能够有效提高代码反汇编的准确性和覆盖率.

Select

论文

3D SoC测试结构优化与测试调度的博弈模型

邵晶波(1,2)，付永庆1，刘晓晓3

2013, 34(10): 2256-2260.

摘要 ( ) PDF全文 ( )

可视化

硅通孔技术是实现三维系统芯片的一种新兴的方法.而作为测试基础，测试访问机制和测试外壳则方便了三维系统芯片模块化测试，测试结构优化问题是研究的热点.提出基于博弈论的3D SoC测试结构优化技术，使基于核的三维系统芯片测试时间最少，TAM带宽最大，并且满足TSV数目约束.提出的方法利用二人合作博弈论方法的优点，对测试结构和测试调度问题进行建模，给出了基于博弈实现3D SoC测试结构优化的算法.用ITC02 SoC测试基准电路搭建成堆叠SoC，并在其上对提出的算法进行了模拟.实验结果显示，与之前的2D IC上开发的方法相比较，本文提出的测试结构优化与测试调度方法结果更优越.

Select

论文

微内核架构文件系统的形式化设计与验证方法研究

钱振江(1，2，3，4)，唐洪英(2，3)，李康杰(2，3)，黄皓(2，3)，宋方敏(2，3)

2013, 34(10): 2261-2266.

摘要 ( ) PDF全文 ( )

可视化

文件系统作为数据存储和管理的功能模块，其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计，使用操作系统对象语义模型（OSOSM）框架提出微内核架构文件系统的状态自动机模型，并依此描述系统调用的功能语义和系统状态转换，分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统（Verified Trusted Operating System，VTOS）为例，阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法，并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证，结果显示，VTOS文件系统的设计和实现符合预期的正确性规格说明.

Select

论文

一种新的三容错最大距离可分阵列码

万武南，索望，王拓，杨威

2013, 34(10): 2267-2271.

摘要 ( ) PDF全文 ( )

可视化

随着海量存储系统的发展，双容错数据布局已不能满足系统对可靠性要求.在双容错行对角线奇偶码的基础上，只增加1冗余校验列，提出一种新的3容错最大距离可分阵列码.采用二元矩阵给出了新的阵列码代数编码定义，并通过基二元矩阵变换，给出结构简单易于软硬件实现的译码算法.并理论上证明新阵列码具有最大距离可分编码特性，空间利用率达到了3容错编码最优.与现有其它3容错编码进行比较，分析结果表明新码的编译码效率，小写性能，以及平衡性的综合性能达到最优.

Select

论文

PRESENT密码硬件语言实现及其优化研究

李浪(1,2), 李仁发2, 邹祎1,贺位位1

2013, 34(10): 2272-2274.

摘要 ( ) PDF全文 ( )

可视化

PRESENT密码算法是2007年提出来的一种轻量级分组密码算法,适合于物联网环境下的安全加密.研究了PRESENT密码算法结构，在原算法结构基础上优化了密钥扩展的实现方法，把密钥扩展不在原算法图的右边实现，而是放入轮运算中.在硬件实现上，31轮重复运算只实现一次，采用31次调用完成,从而可以大幅节约PRESENT密码实现面积.最后，对PRESENT密码的各核心模块进行了Verilog HDL实现，并分模块进行了测试数据验证.经FPGA综合下载后，实验结果表明优化的PRESENT密码硬件语言实现正确，面积相对原始算法更少.

Select

论文

改进多状态二进制防碰撞算法及其硬件实现

周艳聪(1,2)，董永峰2，顾军华2

2013, 34(10): 2275-2280.

摘要 ( ) PDF全文 ( )

可视化

针对普通多状态二进制防碰撞算法中阅读器和电子标识之间存在冗余通讯数据的缺点，提出一种改进多状态二进制防碰撞算法.改进新算法通过引入信息预处理机制和令阅读器只处理当前有用通讯数据位的方法对原算法进行了算法改进,且新算法便于硬件实现.模拟仿真、理论分析和实例均验证了新算法的可行性、实用性和高效性.同时也提出了对应的基于FPGA的总体硬件实现方案，并详细给出了编码器和解码器等分模块的设计实现方案.模拟仿真表明硬件实现方案结构简单，资源耗费少，识别周期短，通信速率高，具有较高的硬件加速比，为算法实际应用提供了良好基础.

Select

论文

面向博弈的无线传感器网络自适应路由算法

杨云，孔秀平，颜然，徐文春，杨安驹

2013, 34(10): 2281-2285.

摘要 ( ) PDF全文 ( )

可视化

在无线传感器网络聚簇路由算法基础上，提出了一种面向博弈的自适应路由优化算法.网络中以总体通信能耗最小和延长个体寿命为首要原则，建立源簇到基站的路径；簇首之间相互通信时，在直接、中继以及协作通信方式中，自适应选择路径策略；在路由建立过程中，引入基于博弈论的路由选择算法和路由转发算法，通过两两博弈找出最可靠的下一跳节点，自组织地建立可靠有效的路由路径.仿真实验表明，所提出的路由算法能有效减少通信能耗，延长网络生命周期.

Select

论文

容迟移动传感器网络预测辅助的数据传输机制

付彬，李仁发，肖雄仁

2013, 34(10): 2286-2292.

摘要 ( ) PDF全文 ( )

可视化

容迟移动传感器网络利用节点间的链路在时间和空间上的连通关系进行数据传递.移动节点的接触具有不确定性，本文提出一种基于节点时空维度相遇特性的接触概率预测方法,在节点获得的时空信息不够充分的场景下，引入区间数的不确定性理论对节点间接触的不确定性进行描述，并提出接触概率的区间数比较方法.在此基础上提出一种预测辅助的动态多副本数据传输机制，该机制降低了接触不确定性对可靠数据传输产生的影响，提高了数据成功转发率.

Select

论文

一种基于整数DCT系数调制及N维魔方矩阵的H.264/AVC信息隐藏方法

李松斌(1，2)，付江云1，刘鹏(1，2)，戴琼兴1，邓浩江2

2013, 34(10): 2293-2297.

摘要 ( ) PDF全文 ( )

可视化

针对H.264/AVC视频编码标准提出了一种基于整数DCT系数调制及N维魔方矩阵的信息隐藏方法，该方法通过构造N维魔方矩阵，最多仅需修改N个整数DCT系数中的一个即可实现一位2N+1进制数的嵌入.实验表明，当N取3时，本文提出的方法在嵌入效率方面比现有方法提高了180%，同时在视频质量和码率方面本文方法有较大优势；并且，随着N的增大上述优势也趋于增强.

Select

论文

VSA和SDS: 两种SDN网络安全架构的研究

裘晓峰1，赵粮2，高腾1

2013, 34(10): 2298-2303.

摘要 ( ) PDF全文 ( )

可视化

软件定义网络SDN（Software Defined Networking）的软件编程特性和开放性带来很多新的安全挑战，也给网络安全带来了挑战和机遇.本文提出了两种演进的SDN网络安全架构：虚拟化安全设备（Virtualized Security Appliance）和软件定义安全（Software Defined Security），给出了两种架构的建设要点，并以常规网络入侵、拒绝服务攻击和高级持续威胁等三类典型攻击场景分析了相应的工作原理，以防火墙为例演示了两种架构下的实现，测试表明两种结构在云计算中心环境中性能上是可行的，并且SDN数据和控制分离的特性使防火墙可用更少的代码实现.

Select

论文

网络信息安全测试平台设计与实现

金松昌1, 杨树强1，尹洪1, 李爱平1 , 杨慧宇2

2013, 34(10): 2304-2309.

摘要 ( ) PDF全文 ( )

可视化

网络信息已经成为人们日常工作和生活的重要载体，在给人们带来便利的同时，其安全防护也面临日趋严重的挑战. 分析了网络信息存在的主要安全问题和面临的威胁的主要来源，针对传统的网络信息安全测试平台存在的不足，提出了一种新型的、基于控制与实验相互分离的双层网络信息安全测试系统平台的设计方案. 该系统能够快速地、可重复地、自动化地部署研究人员所需要的测试环境. 文中详述了系统的工作原理和功能架构，并在最后对系统的部分功能进行的验证展示.

Select

论文

基于Paillier公钥密码体制的签密方案

岳泽轮，韩益亮，杨晓元

2013, 34(10): 2310-2314.

摘要 ( ) PDF全文 ( )

可视化

签密能够同时实现加密和认证的功能，并且计算代价小于传统的组合方式.本文提出了一个基于Paillier密码体制的签密方案，在不明显增加计算复杂性和密文长度的条件下，达到了签密的安全需求；文中详细描述了方案的加解密过程，定义了方案的安全模型，并在随机预言机模型下对方案的安全性进行了证明；通过与几个经典方案的对比，分析了方案的效率,从数据表中可以看出方案效率的提升效果；通过全文的论述，可以看出本文中的方案能够达到较高的保密性，满足不可伪造性和不可否认性，并且在实现上具有较高的效率.

Select

论文

一种可验证的量子匿名通信方案

娄小平(1，2)，陈志刚2

2013, 34(10): 2315-2318.

摘要 ( ) PDF全文 ( )

可视化

提出一种新的消息发送者和接收者同时匿名的经典消息通信方案.方案通过制备量子连续变量纠缠态，在参与者中移动式传输粒子，将1比特经典消息编码在不同的模式中.消息接收者可以计算得到匿名消息，然后通过不同模式的计算结果检验本次通信中的参与者诚实度，从而判断匿名消息是否有效.方案将传输和检测两个过程合并设计在同一轮通信中，通信信号和检测结论基于同一轮通信中的信道编码，可以验证具有自适应特征的参与者(检测过程和通信过程表现不一致的参与者)作弊.除了指数小的概率，发送者和接收者的匿名性和消息的私密性都得到保护.

Select

论文

基于跨层议价博弈的认知无线电网络资源优化分配策略

许力，胡小辉，黄川

2013, 34(10): 2319-2323.

摘要 ( ) PDF全文 ( )

可视化

如何合理分配有限的频谱资源是认知无线电网络的核心问题之一.通过对物理层功率控制和MAC层带宽分配需求的研究，建立以最大化系统吞吐量为目标的跨层优化模型.并在该模型的基础上设计一种基于跨层议价博弈的带宽与功率分配算法(Bandwidth and Power Allocation Algorithm-Cross Layer Bargaining Game, BPAA-CLBG).仿真结果表明该算法可以有效地提高认知无线电网络的频谱利用率，且在系统吞吐量方面较现有算法有明显的改善.

Select

论文

考虑控制措施关联性的信息安全风险评估模型

吴天水，赵刚，王喆，刘换

2013, 34(10): 2324-2328.

摘要 ( ) PDF全文 ( )

可视化

考虑到安全目标相互依赖及控制措施之间存在灰色关联性影响等特点，运用DEMATEL-ANP方法和灰色系统理论，建立信息安全风险评估模型.通过对控制措施间不确定性关系进行灰色关联性分析，得出安全风险等级，从而找出需要改善的控制措施，将风险降低在一个可以接受的范围内.选取某高校的若干个信息系统进行实例分析，结果表明该模型在实际应用中是一种有效可行的评估方法.

Select

论文

一种协同过滤的Ad-hoc网络可信路由协议

冯径1，蒋磊1，陈俊2，沈晔1,张舒3

2013, 34(10): 2329-2334.

摘要 ( ) PDF全文 ( )

可视化

为了提高无线Ad-hoc网络数据传输可靠性，在分析了信任模型类型及可能受到的攻击的基础上，结合D-S证据理论提出一种基于节点工作状态的信任模型DCTM(Trust Model based on Dempster-Shafer theory and Collaborative Filtering recommendation)，在信任模型中，考虑了节点间的直接信任与推荐信任，并通过协同过滤技术计算节点之间的相似度，结合交易密度因子设定了推荐权重，以减少恶意推荐等信任攻击.改进AODV路由算法，设计了可信路由，通过仿真实验验证了该算法能有效避免不信任节点,提供更为可靠的数据传输服务.

Select

论文

基于多阶段动态博弈的信息安全技术评价

王秀利,朱建明,李洋,贾恒越

2013, 34(10): 2335-2339.

摘要 ( ) PDF全文 ( )

可视化

如何评价分析信息安全技术已成为当前的研究热点.本文基于攻防博弈模型对由防火墙、入侵检测系统构成的安全体系进行了分析,求出了阶段博弈模型的混合策略纳什均衡解.在阶段博弈分析的基础上,引入重复博弈的概念对模型进行了多阶段的动态博弈分析.研究表明,信息安全技术配置直接影响攻防双方的行为变化,贴现因子与入侵概率存在密切关系,从防御方的角度看,入侵概率的准确预测对其策略的选择具有重要影响.因此,作为防御方应积极记录、分析和量化攻击的方式、目标、数量及类型,进而优化配置,这将有效提高应用信息安全技术的效用.

Select

论文

一种无线传感器网络用户认证与密钥协商协议

闫丽丽，张仕斌，昌燕

2013, 34(10): 2340-2344.

摘要 ( ) PDF全文 ( )

可视化

随着无线传感器网络的发展，外部用户可以直接访问传感器内部节点获取信息，因此如何认证外部用户的身份,只允许授权用户获取节点数据，保证传输数据的保密性和完整性，已成为当前无线传感器网络研究的热点问题.本文基于用户口令和智能卡提出一个无线传感器网络用户认证与密钥协商协议，协议中采用哈希和异或运算实现主体的身份认证和密钥协商功能.为了分析协议的安全性，本文扩展了串空间理论，构造了分析无线传感器网络认证与密钥协商协议的形式化方法，证明了协议的安全性.最后，文中分析了协议的执行效率，并与同类协议进行了比较.

Select

论文

无线传感器网络中安全数据传输的配对同步博弈模型研究

毛郁欣, 朱平

2013, 34(10): 2345-2348.

摘要 ( ) PDF全文 ( )

可视化

无线传感器网络具有其无人值守和动态开放的特点，因此容易遭受恶意攻击.针对该问题，提出利用博弈理论来支持无线传感器网络中的安全数据传输.基于博弈理论对隐含恶意节点的无线传感器网络中的数据传输过程进行建模，对节点之间的攻击与入侵检测问题用空间结构上的配对同步博弈进行模拟.在进行博弈建模时，充分考虑节点之间的合作与竞争关系，并给出了详细的博弈算法.模拟实验表明，所提出和研究的博弈模型较为有效地解决了隐含恶意节点在无线传感器网络中的安全数据传输问题.

Select

论文

一种基于属性证书的动态可信证明机制

闫建红

2013, 34(10): 2349-2353.

摘要 ( ) PDF全文 ( )

可视化

基于可信计算的远程证明的方法中，二进制证明方法能反映系统平台当前配置的完整性状态，是动态的，但容易暴露隐私，而基于属性证书的证明将系统平台的配置信息隐藏，具有匿名性，但是静态的.将二进制方法嵌入到属性证书方法中，提出了一种动态属性可信证明(Dynamic Property Trusted Attestation DPTA)的协议.验证者通过模拟计算PCR值，并与证书中的PCR值进行比较，证明示证者的当前平台满足一定的安全属性，解决了暴露隐私和静态问题.实验表明这种证明方法能保护平台隐私，克服基于属性证书的静态特点，兼有实时性和保密性的特点.

Select

论文

网络用户行为可信性集值统计度量方法

田野(1,2)，彭新光1，李宏滨2，张屹峰3

2013, 34(10): 2354-2357.

摘要 ( ) PDF全文 ( )

可视化

对网络用户行为可信性度量研究是当前网络安全的研究热点.本文通过分析网络用户的行为数据，建立用户可信行为评估树，提出用户行为等级划分及评判方法，从而确定可信度阈值.将集值统计方法引入可信性度量，提出一种动态多维度量算法，通过该算法确定网络用户行为数据评估值，并利用线性回归对用户行为进行预测.这种方法通过客观证据的收集来确定行为数据评估值，改变了以往靠主观来评定预测值的方式，并且将证据值扩大为一个值域.实验结果表明，该方法能够在网络环境中对用户行为进行准确预测，反映网络用户行为可信性的动态变化特征.

Select

论文

云存储完整性问责方案设计与实现

杨晓晖，范振华，刘石磊

2013, 34(10): 2358-2362.

摘要 ( ) PDF全文 ( )

可视化

云存储是存储技术的发展趋势.针对在云端存储的文件数据的完整性遭到破坏时无法确认责任的问题，提出云存储完整性问责方案，在完成每次操作后由用户、云存储提供商和可信第三方交互，生成用于问责审计的不可抵赖的凭单.设计了凭单生成协议和问责审计协议，并对问责方案的有效性和安全性进行了分析.该方案不仅能够在用户数据完整性遭到破坏时确认谁应为此负责，还能对用户和凭单链表的完整性提供保护.

Select

论文

格基强指定验证者签名方案

李明祥，郑艳娟，许明

2013, 34(10): 2363-2366.

摘要 ( ) PDF全文 ( )

可视化

强指定验证者签名只允许指定的验证者验证签名的有效性，它可应用于招标和发放软件许可证等场合.首先利用Boyen提出的基于格的签名方案构造了一个基于格的强指定验证者签名方案，然后在标准模型下基于小整数解(Small integer solution, SIS)问题证明了该方案在适应性选择消息攻击下是存在性不可伪造的.迄今人们提出的基于格的强指定验证者签名方案都是在随机预言模型下可证明安全的，而随机预言模型存在一定的安全缺陷，因此文中提出的基于格的强指定验证者签名方案更有实际意义.

Select

论文

基于云模型理论的网络用户行为评判模型研究

张仕斌，肖姗，昌燕，闫丽丽

2013, 34(10): 2367-2372.

摘要 ( ) PDF全文 ( )

可视化

由于网络的异构性使得网络中的用户纷繁复杂，而众多的网络用户行为表现方式又多种多样，也直接影响到网络的安全性.本文借鉴已有的研究工作，以复杂的网络环境为研究背景，通过对复杂网络环境中用户行为的研究，引入云模型理论，研究并提出了一个基于云模型理论的网络用户行为评判模型，实现了对网络用户行为定量描述及评判；同时研究结果还体现了网络用户行为的不确定性和评判标准的差异性，这样使网络行为评判结果更加符合客观事实.仿真实验进一步验证了本文研究的网络用户行为评判模型能够对复杂的网络环境中网络用户行为做出合理的评判，为复杂的网络环境中网络行为评判的研究提供了有价值的新思路.

Select

论文

面向博弈的无线传感器网络自适应路由算法

杨云，孔秀平，颜然，徐文春，杨安驹

2013, 34(10): 2373-2376.

摘要 ( ) PDF全文 ( )

可视化

在无线传感器网络聚簇路由算法基础上，提出了一种面向博弈的自适应路由优化算法.网络中以总体通信能耗最小和延长个体寿命为首要原则，建立源簇到基站的路径；簇首之间相互通信时，在直接、中继以及协作通信方式中，自适应选择路径策略；在路由建立过程中，引入基于博弈论的路由选择算法和路由转发算法，通过两两博弈找出最可靠的下一跳节点，自组织地建立可靠有效的路由路径.仿真实验表明，所提出的路由算法能有效减少通信能耗，延长网络生命周期.

Select

论文

移动水下传感器网络动态TDMA协议

洪璐1，魏先民1，洪锋2

2013, 34(10): 2377-2382.

摘要 ( ) PDF全文 ( )

可视化

介质访问控制（MAC）问题是水下传感器网络（UWSN）研究的热点问题之一，其协议设计的主要挑战是水下网络的信号传播延迟太高带来冲突的“时空不确定性”现象—来自不同站点的帧是否冲突不仅取决于他们的发送时间，还取决于这两个站点的位置.因此总结了水下MAC协议的最新研究成果，提出了一个基于位图协议的动态水下TDMA协议，适用于节点能够局部运动的动态水下网络.该协议利用水下特殊的“时空不确定性”现象减少信道空闲，提高能量效率和传输效率.最后，通过仿真实验验证了协议的可用性和效率.

Select

论文

AGQ-MAC:无线传感器网络中基于Grid Quorum的异步低占空比MAC协议

胥楚贵(1,3)，邓晓衡2 ，刘持标(1,3)，陈志刚2

2013, 34(10): 2383-2387.

摘要 ( ) PDF全文 ( )

可视化

针对无线传感器网络占空比MAC协议在链路或节点失效环境下易导致严重的能量浪费问题，提出了一种基于Grid Quorum的异步低占空比MAC协议-AGQ-MAC(Asynchronous Grid Quorum MAC).AGQ-MAC采用Grid Quorum组分配信道，通过动态调配Quorum比率得到了节点的最优占空比，并在邻节点发现过程中采用双前导序文抽样来监测信道状态，以减少节点唤醒时间从而达到能量高效.仿真实验结果表明，与其他占空比MAC协议相比，AGQ-MAC延长了网络生存时间，降低了网络能耗，提高了邻发现数据传输率，同时保持较低的平均邻发现延迟.

Select

论文

基于遗传算法的无线传感器网络巡航覆盖最小移动节点数研究

张振亚(1，3)，程红梅(1，2)，刘佳(1，3)，方潜生1

2013, 34(10): 2388-2392.

摘要 ( ) PDF全文 ( )

可视化

被监测环境的状态可以使用无线传感器网络的有效感知.本文使用无线传感器网络巡航覆盖模型实现了建筑能效监测过程.为降低基于无线传感器网络巡航覆盖模型的数据采集系统构造和维护成本并降低系统复杂度，采用MTSP问题对无线感器网络巡航覆盖最小移动节点数问题建模，提出了无线感器网络巡航覆盖最小移动节点数快速求解算法并使用遗传算法实现了快速求解算法.实验结果表明，本文提出的方法快速有效，而基于遗传算法的快速求解算法的实现可以快速确定无线感器网络巡航覆盖最小移动节点数上界.

Select

论文

一种多源网络编码快速签名算法

彭勇1,严文杰2,陈俞强(1,3)

2013, 34(10): 2393-2395.

摘要 ( ) PDF全文 ( )

可视化

针对污染和重放攻击提出一个新的多源网络编码签名算法，利用同态加密算法构造签名方案来抵御污染攻击，通过引入消息代的序号，防止了代间的重放攻击，并且采用线性计算方法来减少节点的验证时间，降低了对结点计算能力的要求，特别适合于无线传感器网络或自组织网络.

Select

论文

本体搜索与排序方法研究综述

李江华(1,2)，时鹏1，胡长军3

2013, 34(10): 2396-2406.

摘要 ( ) PDF全文 ( )

可视化

本体是知识共享的重要工具，也是语义Web的支柱.随着语义Web的发展，网络上出现了大量的本体.同时，为提高系统通讯、互操作和自动处理的能力，越来越多的应用需要使用本体来实现知识共享和重用.由于本体的构建通常是一个耗时且繁琐的人工劳动过程，因此一个高效的解决方案是从Web上为应用搜索合适的本体进行重用.为此，一些研究者开发了本体搜索引擎和原型系统，提供本体搜索与排序服务.本文主要从本体的收集、处理、用户接口、搜索机制和排序机制等方面，综述了近来年出现的本体搜索工具和相关研究进展，详细阐述了各自的设计原理和实现技术.在此基础上，重点分析了用户接口查询机制和本体排序方法两方面存在的不足，并指出了未来的研究和发展方向.

Select

论文

微博信息采集及群体行为分析

高凯1，王九硕1，马红霞1，周二亮1，Radha Ganesan2

2013, 34(10): 2413-2416.

摘要 ( ) PDF全文 ( )

可视化

随着在线社会关系网络的迅猛发展，每天数以千万计的人通过发表、评论、分享等方式，产生和传播各类话题.对在线社会关系数据的感知与收集、存储管理、群体行为等进行研究，能更好地挖掘和分析社会关系网络.由于微博平台的登录、数据显示与处理等方面与传统网络平台有很大差异，传统网络爬虫不适于对微博信息的全面抓取.本文采用模拟用户浏览行为方法来爬取海量微博数据，通过数据包截取与分析等手段获取相关信息.实验结果表明该方法的有效性.在此基础上，以收集的微博数据为研究对象，对群体行为进行了分析.

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

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心

模态框（Modal）标题

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

选择包含的内容

过刊目录

作者投稿

专家审稿

编辑办公

主编办公

编委审稿

下载中心