基于无线网络技术的燃气集抄系统设计

针对燃气行业人工抄表费时费力等问题,提出一种基于GPRS和无线多跳网络技术的燃气无线抄表系统,在分析传统抄表系统的结构以及传输方式优缺点的基础上介绍了系统的总体结构、工作原理以及各部分组成和功能。采用计算机网络和数据库等技术,使得该系统具有功能强大、使用方便、可扩展性好等特点,可实现对整个燃气输配系统的监控,有效提高燃气公司的管理水平和服务效率。     

A two-level strategy for segmenting center of interest from pictures

Segmenting center of interests (COIs) from pictures is an important but highly challenging problem for researchers in computer vision and image processing. The capability of understanding the meanings of pictures by computers can lead to breakthroughs in a wide range of applications including Web image search and online picture-sharing communities. In this paper, a two-level strategy is presented, which consists of a rough segmentation stage and a fine segmentation stage. In the first level, a picture is partitioned into four regions by using a block clustering method based on color and texture features, and the COI within the picture is distinguished from the background according to the principles of photographic composition. This stage aims to determine the approximate region of the target. In the second level, a novel active contour model is established based on shape information and vector method, where the image energy is defined by a hue gradient and the external energy is generated from either a triangular inner force or a supplementary force. This stage tries to extract the boundary of the target accurately. Experimental results on photos downloaded from the Internet show the feasibility and effectiveness of the proposed method.     

有向无环图最小度生成树问题的一种近似算法

计算具有较小度的生成树是算法与复杂性研究的一个基本问题,同时在网络设计等领域具有重要应用.给定具有n个顶点的有向无环图G=(V,E)和根顶点r∈ V,最小度生成树问题欲求一棵以r为根的生成树T,使得在G的所有以r为根的生成树中T的最大度最小.给出该问题的一种迭代的多项式时间近似算法.该算法所求树的度不超过△*+1,其中△*为某一最优树的度.算法的时间复杂度为O(n2logn),其中n为顶点数目.算法没有运用过多的枚举,其实际运行时间要快得多.     

基于自证明公钥和零知识证明的身份认证协议

在分析几种典型零知识身份认证协议的基础上,利用Girault自证明公钥原理、结合椭圆曲线公钥密码的优点提出一种基于自证明公钥和零知识证明的身份认证协议,并为协议增加了密钥协商功能。分析表明该方案具有较高的安全性,与同类方案相比,该方案对存储空间、网络通信量和计算开销的要求较低,有较高的效率。     

航空全双工交换式以太网探究

针对传统航空总线不能满足下一代航空电子系统对高速和实时性数据通信的要求,提出航空全双工交换式以太网（AFDX）。描述AFDX通信网络的特点、结构、通信机制和协议栈,并给出AFDX终端系统和网络交换机的设计思路,阐明硬件结构和软件流程,对AFDX通信网络的研究具有一定的参考和推广价值。     

公钥加密算法Rabin-OAEP安全性证明

针对Rabin-OAEP算法在自适应选择密文攻击下是否安全,采用Adversary和Simulator进行的合理交互,论证“分解大整数N=pq是困难的（其中P,q为2个大素数）,则Rabin-OAEP算法在自适应选择密文攻击下是安全的”的逆否命题,结果证明了Rabin—OAEP算法的安全性。     

分布式故障诊断在SNMP中的模拟与应用

分析传统网络管理集中式及分层次体系结构的缺陷,提出分布式网络管理的体系结构,把用于大规模集成电路故障诊断的系统级故障诊断算法ADSD应用到计算机网络故障诊断中。为了验证计算机网络分布式故障诊断的可行性,在NS中嵌入ADSD算法,模拟整个算法的执行,对算法的执行效率如诊断延时、报文流量进行分析。在此基础上对原算法进行改进,以减小算法对正常网络应用的影响。通过对SNMP的模拟实验,验证在网络管理中引入分布式故障诊断的可行性。     

基于MDA和可执行形式化的可信软件设计

提出基于模型驱动架构的软件开发过程,利用可执行形式化规范,有效提高软件开发效率和可测试性,并通过基于可执行规范的运行时监控技术保证系统行为的可信性,降低由于软件测试阶段遗留的错误以及系统受到非法入侵所带来的风险。     

一种基于组策略的过滤式特征选择算法

MRMR算法具有快速、高效等优势,在处理高维数据方面较为流行。基于此,提出一种基于组策略的MRMR改进算法（MRMRE）,该算法不仅考虑单个特征属性的相关性与冗余性,同时针对特征组间的相互关系进行研究。算法以MRMR算法为框架,以CCA作为度量基准,选择SVMs作为基分类器,使其特征选择效果提升。在UCI机器学习数据库中图像与基因序列数据集上的大量实验表明：与MRMR算法相比,所提出的算法其特征选择结果具有更高的结果稳定性与分类精度。