摘要：在开展无人机通信网络抗干扰最弱节点定位时,节点信号碰撞使其瞬时频率特征发生不规则变化,导致节点定位效果不佳,设计基于碰撞思维的无人机通信抗干扰最弱节点定位算法。构建无人机通信网络节点信号碰撞思维解析模型,提取信号碰撞过程中抗干扰节点信号的瞬时频率特征。根据瞬时频率特征和DV-hop算法建立通信节点与通信距离之间的关系模型,确定抗干扰最弱节点与锚节点之间的平均跳距和平均跳数,获取无人机通信抗干扰最弱节点具体位置,实现节点定位。实验结果表明:所设计算法的通信节点覆盖较高,节点信号瞬时频率特征提取效果好,节点定位均方根误差最大值仅为0.45 m,说明该算法的无人机通信抗干扰最弱节点定位效果好。

摘要：针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。

摘要：利用Web服务本体描述语言对RGPS过程层元模型进行描述,建立Promela模型。基于线性时序逻辑,以及Spin检测工具的偏序规约和on-the-fly等优化技术对Promela模型进行正确性验证,设计并实现RGPS过程层元模型正确性验证平台。通过城市交通系统实例证明该验证方法的正确性和有效性。

摘要：:网络技术日新月异 ,对于中小规模高校校园网络这一特定网络环境 ,面对如此繁多的技术进行规划设计 ,要从中小规模高校校园网络的用户需求入手 ,对当前热门技术及产品作出合理的取舍 ,保证校园网络的经济性、先进性。