摘要：为降低云平台视频监控系统视频传输时延、视频分析处理开销和存储成本,提出一种基于边缘计算的视频监控框架。根据边缘节点地理位置靠近视频源的特点,将监控视频流的分析预处理工作迁移到边缘节点完成;设计边缘节点帧过滤算法,通过对视频流的目标识别,筛选出有效视频帧进行上传;在此基础上,设计边缘节点任务调度算法,提高视频流实时性和资源利用率。实验结果表明,该框架能够有效降低视频传输开销和视频分析处理开销。

摘要：基于移动代理的网络性能管理．利用移动代理的移动性、智能性、灵活性和强大的扩展能力，通过对整个网络进行本地和全局的性能监控和性能数据采集．提供实时数据采集、分析和可视化工具，最终为管理员完成可视化的性能报告。能够对网络实施高效、实时和准确的性能管理，而且移动代理的平台无关性又可方便地实现跨平台的网络管理．在复杂网络的管理方面有着极大的优势。根据多移动代理的设计模式，借助于UML建模工具构建了一个性能管理系统，清晰地描述了该系统的静态和动态结构，克服了传统的集中式网络性能管理的诸多缺点。

摘要：随着水利信息化进程的快速发展,与水利信息相关的互联网资源不断增多,面对如此巨量和复杂形式的水利信息数据,依靠人工检索、分析的方式已难以满足行业应用的需求。随着大数据信息技术的逐步深入研究,设计与实现可应用于水利信息获取的网络爬虫,成为解决水利信息检索与分析问题的基础。设计应用主题网络爬虫技术的水利信息检索系统,通过水利主题信息爬取,数据格式转化与整理,规范化写入数据库等步骤,实现网络水利数据到格式化数据库数据的自动转化。该系统的实现为多数据源信息的交叉验证与网络应急数据的获取,提供新的思路与可行方案。

摘要：引言网格(GGrid)技术是近年来国际上信息技术领域的热点研究课题,是以互联网为基础的一门新兴技术.它的目标是将地理上广泛分布、系统异构的各种资源(如高性能计算机、大型数据库、传感器、远程设备等)全面整合在一起,实现网络虚拟环境上的高性能资源共享和协同工作.

摘要：当前计算机网络面临着分布式管理的需要,但这一需求增加了管理的复杂性;另一方面,网络管理有其固有的规律,但目前在很大程度上还需要人的直接参与。这些都是网络管理系统开发过程中必须考虑的问题。基于移动agent的自动化分布式网络管理系统(ADNMS),利用了人工智能专家系统的分析决策能力和移动代理的分布式计算优势,能够对网络进行自动化、分布式的管理。文中对ADNMS的体系结构、功能结构等进行了详细的设计和分析。

摘要：SpaceOS是北京控制工程研究所自主研发的嵌入式实时操作系统,已被应用于探月工程、空间站等重大航天项目.SpaceOS作为底层系统软件,是影响航天任务成败的关键因素. SpaceOS在设计中提出了一些多个内核模块(如任务管理、调度、通信和时间管理等)相互协同过程中所需要满足的全局性质.本文扩展已有的操作系统验证框架支持全局性质的推理,为SpaceOS内核建立抽象模型,给出主要系统调用的抽象规范,并基于设计需求给出形式化定义描述若干全局性质,通过严格的数学证明保证SpaceOS在抽象设计层面上满足这些全局性质.所有工作都在证明助手Coq中完成.

摘要：将移动代理和人工智能技术引入网络故障管理。介绍了人工智能中神经网络、贝叶斯信念网络对于处理故障管理中的告警相关、故障诊断以及故障定位等所具备的优越性,并提出了几种设计思想。

摘要：多核时代的到来使得并发程序的设计备受人们关注。然而,并发程序的并发性和不确定性容易引发并发缺陷。因此,快速且有效地检测出这些并发缺陷尤为重要。首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模型的并发缺陷检测、安卓等其他应用平台的并发缺陷检测和分布式系统非确定性并发缺陷研究等方面,对并发缺陷检测技术的未来研究进行了探讨。

摘要：蚁群算法作为一种新型的优化方法,具有很强的鲁棒性和自我学习能力,在聚类上有非常广泛的应用。本文基于蚁堆原理设计和实现了一种蚁群聚类算法。针对蚁群聚类算法易受冗余属性干扰和时间效率低的问题,提出计算属性信息增益剔除冗余属性,实现数据降维。实验结果表明,算法聚类效果显著,并且提高了时间效率。

摘要：程序切片是一种重要的程序分析技术,广泛应用于程序的调试、测试与维护等领域。面向方面程序设计作为一种新的软件开发范型,能够实现横切关注点的模块化,其特有的语言元素和功能为切片增加了难度。从静态切片和动态切片两种类型,讨论了面向方面程序切片技术。在此基础上,提出了一种基于简化动态依赖图的面向方面程序切片方法,可以减少动态依赖图中节点和边的数量,生成准确的面向方面程序的动态切片,从而有助于人们更好地对面向方面程序进行分析和理解。