解放军理工大学指挥自动化学院计算机系
- 作品数：120 被引量：374H指数：9
- 相关作者：伏飞黄鑫阳常强林刘苗蒋慧更多>>
- 相关机构：南京大学计算机科学与技术系中国人民解放军西安通信学院通信指挥系北京大学信息科学技术学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划江苏省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信矿业工程文化科学更多>>
- 谈谈“计算”的本质
- 从计算方式的演变、可计算性、计算的模型等方面介绍了“计算”的本质，最后谈到了未来计算方式的发展方向。
- 刘苗
- 关键词：可计算性计算方式
- 文献传递
- 基于三角形划分和多项式的密钥分配方案
- 管理是传感器侦察网络等具有对抗性质网络环境安全机制的关键支撑服务。针对随机子集共享密钥分配方案连通性弱、现有基于部署信息的密钥分配方案存储负载较高的缺点，文章提出了一种基于多项式预分配和三角形划分部署区域来提高性能的密钥...
- 陈勇齐望东
- 关键词：密钥分配
- H.264/AVC的快速帧间模式选择算法
- 2009年
- H.264编码标准采用了率失真优化的方法,对各宏块的编码模式逐一进行率失真代价计算,大幅度提高了编码效率和编码质量,但同时也带来了很高的运算复杂度。文中对宏块编码模式选择的特点进行分析,利用相邻宏块模式间的相关性以及宏块运动补偿后的残差纹理特征选择编码模式。该快速模式选择算法有效地避免了不必要的模式选择过程,降低了编码复杂度。仿真结果表明,一般情况下该算法对比开源编码器x264的快速算法,平均编码时间降低20%以上。
- 辛昕贺建民
- 关键词：视频编码H.264/AVC
- 基于B/S模式的分布式网管系统的设计与实现被引量：3
- 2004年
- 随着网络规模的不断扩大,结构日趋复杂,传统的网络管理模式已经不再适用于大型网络的管理,而分布式的网络管理系统就成为一种必然的选择。B/S模式因其良好的可扩展性以及跨平台性在实际应用中得到越来越广泛的使用。考虑到这两种模式的优点提出了一种基于B/S模式的分布式的网络管理系统。
- 李黎郑成辉胡谷雨
- 关键词：分布式网络管理系统B/SSNMPJSP
- 多信道IEEE 802.11无线Mesh网络中路由度量算法研究被引量：4
- 2010年
- 分析了常用路由度量算法在应用于WMN中存在的不足,并着重介绍了两类针对多信道WMN的路由度量算法,提出了能够综合考虑路由带宽和时延的加权期望剩余传输率(WERTR)算法,讨论了其作为路由选择判据上的优势,最后使用NS-2对网络性能进行了仿真。
- 何萍实徐子平杨峡
- 关键词：无线MESH网络多信道
- 无线传感器网络中基于刚性的移动锚节点路径规划被引量：1
- 2011年
- 在移动锚节点辅助定位中,锚节点通常沿着预设轨迹扫描或采用随机方式移动,当节点分布不均匀、待定位区域形状复杂时,存在锚节点冗余移动、位置冗余广播及定位性能难以确保等问题。该文提出了利用网络拓扑信息进行移动路径规划的新思路,首先利用刚性理论将网络划分为多个唯一可定位的单元,之后寻找一条遍历各单元的最短路径作为锚节点的移动轨迹,锚节点沿着该轨迹移动、依次定位各单元。大规模仿真结果表明,该策略可以有效避免锚节点的冗余移动和位置广播,灵巧适应各种布设情形,与经典的扫描式路径相比,大大降低了路径长度和位置数目。
- 汪晗齐望东王坤
- 关键词：无线传感器网络网络定位移动锚节点路径规划
- 一种集成化网络安全事件关联分析模型
- 针对当前分布在网络中的各种安全设备海量的报警信息,导致管理员很难从中获取有用信息的问题,文章给出了一种集成化的网络安全事件关联分析模型,并时安全事件关联流程进行了详细的描述.
- 吴庆胥光辉张晶晶
- 关键词：知识库网络安全分析模型
- 文献传递
- IP网络综合监测系统的实现被引量：9
- 2005年
- 网络监测能够为大规模IP网络的运营管理提供重要技术手段。本文提出了采用SNMP全面监测网络流量分布与采用探针重点监测特定网络链路流量细节相结合的综合监测方案,给出了系统的体系结构,并结合系统的主要监测功能,研究了系统实现中的关键技术。
- 陈鸣初方周洪达厉铁帅
- 关键词：网络监测网络测量SNMP综合监测系统IP网络运营管理
- 构造类型论与计算机程序设计被引量：1
- 2002年
- 1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19].
- 蒋慧林东孙泉谢希仁
- 关键词：构造数学计算机程序设计程序设计语言
- 视频监控中的无线网络设计与应用
- 重点讨论了视频监控中的无线组网方案,指出了无线网络相对于有线网络的独特优势。同时也讨论了使用无线网络带来的传输速度、干扰、安全性的问题。最后提出一个无线局域网视频监控平台网络设计方案。
- 王可学莫国庆
- 关键词：无线以太网视频监控无线网络
- 文献传递
