首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   74篇
  国内免费   3篇
  完全免费   58篇
  自动化技术   135篇
  2018年   1篇
  2017年   4篇
  2016年   3篇
  2015年   11篇
  2014年   10篇
  2013年   24篇
  2012年   23篇
  2011年   12篇
  2010年   24篇
  2009年   16篇
  2008年   7篇
排序方式: 共有135条查询结果,搜索用时 62 毫秒
1.
容迟网络路由算法   总被引:10,自引:1,他引:9  
容迟网络泛指那些由于节点移动、能量管理、调度等原因而出现频繁中断、甚至长时间处于中断状态的一类网络.它涵盖了由于节点调度而处于间歇式连通的无线传感网络、移动Ad hoc网络、周期性连通的卫星网络、乡村网络、野生动物追踪网络以及个人设备交换网络等等.具有十分广阔的应用前景,引起了广泛的关注.与传统网络相比,容迟网络没有稳定的端到端传输路径,因而其路由问题更为复杂.已有的研究工作也主要集中于这一问题.并提出了许多的容迟网络路由算法.对这些算法的最新进展进行了综述.首先,介绍了容迟网络路由算法的性能评价标准.其次.给出了容迟网络路由算法的分类方法.按照路由策略来分.客迟网络路由算法可以分为基于复制策略的算法和基于转发策略的算法.按照网络模型来分,容迟网络路由算法又可以分为面向主动移动模型的算法和面向被动移动模型的算法.然后,针对每一分类.重点综述了其中具有代表性的一些容迟网络路由算法,并总结了各算法的优缺点.最后,讨论了未来的研究方向.  相似文献
2.
一种用于指针程序安全性证明的指针逻辑   总被引:7,自引:3,他引:4  
在高可信软件的各种性质中,安全性是被关注的重点,其中软件满足安全策略的证明方法是研究的热点之一.文中根据作者所设想的安全程序的设计和证明框架,为类C语言的一个子集设计了一个指针逻辑系统.该逻辑系统是Hoare逻辑系统的一种扩展,它用推理规则来表达每一种语句引起指针信息的变化情况.它可用来对指针程序进行精确的指针分析,所获得的信息用来证明指针程序是否满足定型规则的附加条件,以支持程序的安全性验证.该逻辑系统也可用来证明指针程序的其它性质.  相似文献
3.
一种构造代码安全性证明的方法   总被引:4,自引:2,他引:2       下载免费PDF全文
郭 宇  陈意云  林春晓 《软件学报》2008,19(10):2720-2727
提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.  相似文献
4.
一种基于RSSI校验的无线传感器网络节点定位算法   总被引:3,自引:0,他引:3  
由于事件发生的位置和获取信息的节点位置是无线传感器节点监测消息中所包含的重要信息,因此如何进行无线传感网络节点自定位成为了当前的一个研究热点.在过去权质心算法的研究基础上,本文提出了基于RSSI校验的无线传感器网络节点定位算法,利用固定节点之间的距离和RSSI值来校正移动节点与每个固定节点之间的权值,从而提高了算法的定位精度.实验结果表明,在相同实验环境下本算法的精度优于以往的权质心算法.尤其在平均定位误差方面,前者比后者改进了大约25%.  相似文献
5.
公平性考虑的短作业优先内存调度策略   总被引:2,自引:0,他引:2       下载免费PDF全文
针对片上多核平台下多线程访问共享内存资源的不公平性、低效性问题,提出公平性考虑的短作业优先内存调度策略,采用设置请求最大等待时间保证线程访问公平性,短作业优先策略缩小请求平均等待时间,关注线程本身固有的并行性.实验结果证明,该策略在多线程访问时IPC性能提升明显,最高性能提升达到43%.  相似文献
6.
复杂区域节点定位算法研究   总被引:1,自引:0,他引:1  
传统的无线传感器网络节点定位算法假设节点间的最短路径长度与实际几何距离之间存在函数映射关系.然而对于布设在复杂区域的无线传感器网络而言,这种函数映射关系不再成立,直接应用传统定位算法将会带来较大的定位误差.针对复杂区域中各向异性的无线传感器网络节点定位问题,提出了一种基于参考节点凸包划分的测距无关定位算法CHP.首先,对参考节点进行凸包划分;然后,按照路径最短优先原则为待定位节点选择所属凸包;最后,依据待定位节点所属凸包内的参考节点对其进行定位,有效避免了复杂区域边界和障碍物对定位精度的影响.仿真实验结果表明:CHP算法与传统算法相比在定位精度以及误差抖动方面有了大幅改进;同时,CHP定位算法在执行过程中最大限度地降低了复杂区域边界和障碍物对定位的不利影响.  相似文献
7.
应对虚假数据注入结合途中过滤与溯源追踪方法   总被引:1,自引:0,他引:1       下载免费PDF全文
谢婧  李曦  杨峰 《计算机系统应用》2011,20(12):249-256
对无线传感器网络中的虚假数据注入攻击问题进行了深入研究,并提出了切实可行的解决方案。本方案结合了途中过滤与溯源追踪的优点,它的核心思想是在数据报告中添加部分标记信息,汇聚节点将没有通过验证的数据报告加入溯源追踪集合中,收集到足够多数据报告后,便可以进行溯源追踪操作。同时,我们提出了一种更加均衡的分组方法及概率标记方法,实现了更好的性能。  相似文献
8.
无线传感器网络中的速度自适应追踪算法   总被引:1,自引:1,他引:0       下载免费PDF全文
已有的基于预测和分簇的目标追踪算法通常需要较多的计算或通信开销,缩短了网络生命周期。针对上述问题,提出一种速度自适应追踪(SAT)算法,能根据被追踪目标的速度与方向,自适应地唤醒和休眠相应的节点。仿真结果表明,SAT算法能减少感应区域内至少47%的活动节点数目,降低通信和计算开销,提高网络能量利用率。  相似文献
9.
平台无关的访问控制框架研究与实现   总被引:1,自引:1,他引:0       下载免费PDF全文
为了使开发的访问控制模块可以在不同的平台上实施,通过总结不同平台异同点以及现有安全系统中访问控制实现方法,抽象出访问控制机制对平台的依赖,设计了一个平台无关灵活的访问控制框架PIFAC,且已经被实施在Windows、Linux以及Rtems系统上。  相似文献
10.
无线传感器网络高覆盖、低延迟途中过滤方法研究   总被引:1,自引:0,他引:1       下载免费PDF全文
传感器节点可能被攻击者俘获用来发送大量虚假数据,从而耗尽整个网络的资源。途中过滤是应对此类攻击的有效方法。本文研究了途中过滤方法中经常被忽视的两项指标:覆盖性与实时性。本文提出了自适应的分组算法,提高了网络覆盖率;途中节点动态决定先转发后认证还是先认证后转发。如果网络中未发生虚假数据注入攻击,则途中节点首先转发数据报,然后进行验证,可以降低网络延迟;如果网络中发生虚假数据注入攻击,途中检测节点可以快速切换到先认证后转发模式,而其他节点仍然保持先转发后认证模式,提高了数据传输的实时性。我们将本方法与传统方法进行对比,显示本方法在付出有限代价的前提下能够提高覆盖率并降低系统延迟。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号