运用SPIN对开放授权协议OAuth 2.0的分析与验证

OAuth 2.0协议是一种开放授权协议,主要用于解决用户账号关联与资源共享问题。但是,其弱安全性导致各网络公司海量用户信息泄露,且OAuth 2.0传输数据采用的https通道效率低下,成为黑客攻击对象。提出采用http通道传输OAuth 2.0协议数据,基于Promale语言及Dolev-Yao攻击者模型对OAuth 2.0协议建模,运用SPIN进行模型检测。形式化分析结果表明,采用公钥加密体系对OAuth 2.0协议进行加密不安全。上述建模方法对类似的授权协议形式化分析有重要借鉴意义。     

TMS320C6678的LPI雷达信号检测模型设计

本文围绕低截获概率雷达信号处理的特点和实时性的要求,设计了基于FPGA和DSP传统组合模式的LPI雷达信号检测处理平台。在一款基于Keystone构架的多核DSP处理板上,创新性地运用并行关联流水线体系结构和多层任务调度分配信号处理机制,构建了针对LPI雷达信号从预处理到检测结果输出的一整套信号处理模型。经过仿真实验验证,该信号处理模型适合在低信噪比条件下对LPI雷达信号进行检测,且系统资源分配合理占用逻辑资源少,具有实时检测LPI雷达信号的潜力。     

肥城市农村饮水安全示范县建设成效与做法

在国家实施农村饮水安全示范县建设以来,肥城市把解决农村饮水安全问题作为落实科学发展观、促进和谐社会建设的头等大事来抓,按照“农村供水城市化,城乡供水一体化”的发展战略和“规模化发展、标准化建设、市场化运作、企业化经营、专业化管理、用水户参与”的工作思路,认真组织项目实施,强力推进农村饮水安全工作,把肥城市的农村饮水安全工作推向了新的发展阶段.     

基于VPN技术构建安全的无线校园网络

随着校园网络规模逐渐扩大,远程用户、远程办公人员、分支机构等不断增多,以及关键业务需求的增加,出现了一种通过公共网络（如Internet）来建立自己专用网络的技术,这种技术在无线校园网中的应用提高了校园网的可管理性、灵活性和安全性。     

网络信息技术在读者服务工作中的应用

本文结合当今图书馆读者服务工作开展现状和自身工作实际,在传统模式基础上提出了网上订单、读者网上留言、图书续借和预约、借书证挂失等新技术的应用,并对短信服务平台、读者书评和博客空间等新的服务模式做了积极探讨。     

高维进化策略调整神经网络结构和参数

提出一种基于佳点集原理的进化策略用于神经网络结构和参数的调整.为了克服正交设计法的一些不足来处理高维最优化问题,本文采用分步交叉框架,将佳点集技术引入实数域交叉算子增强高维空间的搜索能力.前馈神经网络的隐含节点与连接边数从小逐步递增直至学习效果足够好.通过调整能得到一个部分连接的前馈网络,减少了网络实现的耗费.最后,佳点集进化策略有效应用于生成预测太阳黑子的演化神经网络.实验结果证明了新方法的有效性.     

基于appweb的嵌入式网络监控系统的构建

提出了一种嵌入式网络监控系统的实现方法。它的监控端采用嵌入式linux设备,并以AppWeb作为嵌入式web服务器,以SQLite作为嵌入式数据库,应用CGI技术实现了嵌入式web服务器与用户浏览器之间的动态页面交互。     

T-S模糊系统的构造及其逼近能力的充分条件

针对任意多变量非线性函数, 至今缺少一种简单有效的构造性方法来建造一个T-S模糊系统对其实现给定精度的模糊逼近. 本文在逼近函数g(X)∈C2及g(X)不∈C2两种情况下给出了一种当模糊集满足均匀性、连续性、正规性条件下T-S模糊系统的构造方法以及该T-S模糊系统逼近能力的充分条件. 该构造性方法简单易行且其逼近能力充分条件的保守性低. 最后通过仿真研究证实了该方法的正确性与有效性.     

初始聚类中心优化选取的核C-均值聚类算法

在通常的核C-均值聚类算法中,聚类结果对初始聚类中心敏感,随机选取初始聚类中心时,会使得迭代次数较多、分类结果不稳定.针对该问题提出一种优化选取仞始聚类中心的算法.该方法采用一种改进的最大最小距离算法对原始空间中的数据进行粗分类,将粗分类结果中每类类心作为初始聚类中心,再运用核C-均值聚类算法进行分类.仿真实验结果表明方法能有效减少迭代次数,使分类结果更加稳定,分类识别率也有一定程度的提高.     

转发式假目标干扰的极化鉴别

高逼真度转发式假目标干扰对雷达系统的检测、跟踪以及数据处理都形成了很大的威胁,对真、假目标进行鉴别进而剔除假目标,是雷达对抗假目标干扰的一种有效途径.然而,由于转发式假目标干扰技术的日益进步,从时域、频域或者空域已经越来越难以将其鉴别.文中研究了利用极化信息鉴别目标和假目标的技术:根据假目标信号矢量极化比固定而目标信号矢量极化比随雷达发射极化而改变这一差异,将鉴别问题转化为二维复空间上的直线判别问题;推导了假目标鉴别统计量的分布表达式,依之分析了干扰的鉴别率;对于目标,提出了目标散射矩阵的分解模型及鉴别判别量的概念,从而根据目标鉴别判别量即可预估目标的鉴别率,完整地分析了算法的鉴别性能.仿真实验结果表明,文中方法能稳定而有效地鉴别真、假目标.