协同文件管理的研究

随着因特网的发展，以地域分布的方式来存储和管理企业文件成为一种很普遍的现象。跨地域的企业需要一种比较便捷的方式来共享这些分布在不同地方的文件或者协同完成它们的设计。针对在开发协同文件管理系统的构建模块时可能会遇到的一些基本问题，研究了文件协同的管理，并为用户上下文、文件上下文和协同上下文这3个正交的构建模块提供了一套比较完整的解决方案，包括用户群组管理、文件安全管理、文件关系管理以及文件流程控制。     

RSSI辅助的三维空间坐标四面体质心定位算法

三维定位是无线传感器网络的重要技术之一.提出了一种RSSI辅助的三维空间坐标四面体质心定位算法.由于现实环境往往很复杂,存在锚节点组成的四面体不包含未知节点的情况,因此筛选优质的RSSI值,并将其转换为未知节点与锚节点的距离,进而计算和比较四面体体积来进行排除;对包含未知节点的四面体进行质心迭代求解,并且对不满足条件的情况运用RSSI均值加权质心定位算法.仿真结果表明,该算法的定位误差比坐标四面体质心算法的小,并且增加RSSI均值加权算法提高了定位覆盖率.     

建筑能耗无线监测系统模型及多Sink节点路由策略研究

为解决多sink节点无线传感器网络中存在的节点能量消耗不均衡的问题,提出基于比例的动态负载均衡(DRBSLB)多sink节点路由策略。以负载信息量为均衡对象来协调各sink节点,避免部分sink节点负载过重,使负载较轻的sink节点以一定概率多分担一些数据传输任务;并根据总体剩余能量的大小计算出系统整体sink节点能够继续工作的剩余时间最大值,然后对sink节点所服务的node数量进行重新分配,以实现整个网络的能量均衡。仿真结果表明,采用DRBSLB协议后网络中出现节点死亡的时间延长10倍以上。DRBSLB协议改善了各sink节点负载的均衡性,有效延长了网络生存时间。     

一种基于规则的语言的公理语义

为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据。     

Petri网合成理论及应用综述

对于建模和分析物理系统的模型,Petri网在处理并发和冲突方面具有强大的能力.Petri网合成技术将小型Petri网通过一组子网的某些共享位置、某些共享变迁按合成规则综合成复杂网系统,它足Petri网系统建模中一种重要的自底向上的建模方法,适用于具有异步、并发特征的复杂应用环境.综述了 Petri网系统两种合成操作(共享合成、同步合成)理论,然后介绍了国内外研究状况,最后指出了合成技术在柔性制造系统(FMS)和多媒体系统等应用方面的发展热点.     

WSN中基于多波束转换天线的网络拓扑控制算法

针对 WSN 中节点分布不均问题,提出采用区域划分策略基于多波束转换天线的网络拓扑控制算法SRADTC.算法通过关键邻居节点数将网络划分为若干个相互重叠的稀疏区域和稠密区域,稀疏区域按最小生成树算法进行拓扑控制,稠密区域按K邻居拓扑控制算法进行拓扑控制.用有边界的Pareto分布建模节点分布,仿真表明：SRADTC算法在保证网络连通性的同时,相比传统拓扑控制算法提高了网络的性能.     

一种采用定向天线的无线传感器网络拓扑控制算法

针对无线传感器网络实际应用中存在节点分布不均匀的情况,提出一种采用定向天线的无线传感器网络拓扑控制算法DATCA,算法充分利用了定向天线较高的能量效率及较强的干扰抑制等特性。本文利用有边界的帕累托分布构建节点分布模型,OPNET仿真结果表明:DATCA算法在保证网络连通性的同时,相比传统拓扑控制算法显著提高了网络的性能。     

入侵攻击的防火墙无关性研究*

分析研究了入侵攻击的防火墙无关性因素,对安全防护策略的制订提供了方向性的指导,并将不可预知的风险因素转换为一定的可预见性因素,从而提供安全部署策略性的参考方案。     

基于移动智能网MIN的手机签名业务技术研究

数据业务是移动通信发展最迅速的业务之一,与智能网（IN）的融合可以集中数据业务与智能业务两者的优势,具有更广泛的应用前景.移动智能网是可以在移动通信网络上快速、有效地生成智能业务的网络体系结构.首先概述了移动智能网原理,并基于移动智能网提出了手机签名增值业务的解决方案,分析研究了实现该方案的关键技术,并在实现原理、业务流程等方面进行了详细描述.     

二进神经网络逻辑关系判据及等价性规则提取

二进神经网络中提取知识主要体现为对输入输出逻辑关系的提取,而逻辑关系的表达方式分为蕴含性规则和等价性规则文中对比了蕴含性规则和等价性规则的差异;以KT方法为例,讨论了蕴含性规则在表达二进神经网络内在知识时,对某些具有明确逻辑意义的二进神经网络,并不是最清晰的表达方式.对这些逻辑关系,采用等价性规则可以简洁清晰地解决问题,所以对于二进神经网络神经元表达的逻辑关系建立可能的等价性规则提取方法是有意义的.CH判据是一种提取等价性规则的方法,但CH判据是充分性判据,对二进神经元的权系数有约束条件,因此不适用于任何学习算法的学习结果.为解决这些问题,文中研究了二进神经网络表达几类等价逻辑关系的充要性判据,并根据这些判据提出了提取等价性规则的WTA方法.在使用WTA方法时,必须预先对二进神经元进行必要的剪枝.文中证明了剪枝定理,并通过二个例子说明了用WTA方法进行规则提取的过程.