基于着色petri网的安全协议验证方法

设计安全协议时,协议的安全性验证是消除安全协议脆弱性和不精确性的关键步骤,验证安全协议的模型和工具有很多．提出了一种基于着色petri网的安全协议验证方法．通过采用该方法对一个STS协议进行了分析,证明了这种方法的有效性,并根据分析结果给出了改进后的STS协议．     

英语"hand"和汉语"手"之一词多义对比

通过对英语之“hand”和汉语之“手”的一词多义结构的这一个案的分析对比,发现该词的义项分布在两种语言中基本一致,其词义拓展方式呈辐射和连锁相结合的趋势;且各义项以转喻或隐喻方式为主要纽带,组成了一张多核的相关语义网。该基本人体词的多项语义分布现状反映了人类在不同语言背景下认知和语义发展中共有的思维方式,从而为多义词的外语教学提供了新的思路。     

基于HTCPN的飞机维修保障资源配置方法

针对飞机基层级维修保障资源配置问题,提出了一种基于分层赋时着色Petri网(hierarchical timed colored Petri net, HTCPN)的维修保障资源配置方法。首先,根据飞机基层级维修保障工作内容及流程,运用CPN Tools软件,构建飞机维修保障全过程的HTCPN仿真模型,设计仿真时钟折算方法。其次,提出维修保障资源配置规则,建立基于飞机出动架次率的维修保障资源配置模型。最后,算例分析结果表明所提方法能够迅速、准确地完成飞机基层级维修保障资源配置。所提方法为科学制定飞机基层级维修保障配置方案提供了技术支撑,具有一定的工程应用价值。     

自适应的无线融断网络路由算法研究

无线融断网络具有长延时、高动态拓扑、链路不稳定等特点,伴随着网络联接缺乏源端到目的端的持续性,为解决网络通信困难的问题,将多头绒泡菌的智能性和自适应性引入,提出一种自适应的无线融断网络路由算法。搭建无线融断网络模型,推导出链路容量的数学表达;设计下一跳节点的选择策略和最佳路由选择策略,实现在融断网络环境下的数据尽力投递。仿真实验表明,该算法能够在网络开销率较低的情况下,达到良好的数据投递,且平均延迟小。     

琉璃瓦屋面防雷接闪器的暗装

分析生活商住小区中的地电位、地电位反击的影响,琉璃瓦屋面防雷接闪器的暗装.     

关于立方幂补数k次均值的注记

设S(n)是正整数n的立方幂补数.用初等方法探讨了S(n)的k次均值的渐近性质,给出了两个更为精确的渐近公式,补充了有关文献的结论.     

NMF在人脸表情识别中的应用

文章将NMF分解用于提取人脸表情子空间特征,并进行人脸表情识别。将人脸图像在特征脸空间上投影,得到的投影系数作为识别人脸表情的特征向量,采用K近邻分类器进行人脸表情识别。     

建立山区小水电站工程地面控制网的有效方法

控制测量工作在山区水电工程建设中起着重要的作用。本文结合自己的测量经验,介绍了用GPS与电磁波测距导线联合建立小型水电站工程地面控制网的几种有效的方法。     

从三网融合趋势看电信运营商的转型

十一五"规划提出"加强宽带通信网、数字电视网和下一代互联网等信息基础设施建设,推进三网融合".文章阐述了国际上"三网融合"的现状,分析了"三网融合"的可能性,提出中国电信运营商应该抓住机遇,尽快实现从单一运营商向综合信息服务商转型.     

Design and validation of wireless acceleration sensor network for structural health monitoring

0IntroductionCivil engineeringstructures suffer damages caused byenvironmental loads,fatigue,caustic effect and materialaging;thus,their strength reduces inevitably during theservice time.In order to assess these damages and makeappropriate decisions to keep the structures in good ser-vice,itis essential toimplement a damage detectionstrat-egy,and the process is referred to as structural healthmonitoring(SHM)[1].In an SHMsystem,a set of sen-sors are mountedinstructuresto measurethe structure…