基于Petri网的认证协议分析

认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过一个实例说明了该方法的有效性.     

后张预应力双向板筋布置的改进设计

本文通过对某工程双向板中预应力钢筋的二次曲线布置的分析,针对预应力筋布置曲线矢高不能完全保证及钢筋交错相挤的现象,采取改进二次曲线布置的方法,大大提高了施工进度和质量,且满足原设计在构件强度、刚度、裂缝控制等要求,经现场实施,本文方法切实可行,可为其他工程实际借鉴。     

基于动态口令的移动商务身份认证设计研究

针对移动通信中采用静态口令密码导致信息安全存在较大漏洞的现实，本论文结合动态口令技术，论述并探讨了动态口令技术在移动商务信息身份认证中的应用，给出了具体详细的认证协议设计及其应用过程的分析，对于进一步提升移动商务信息服务中的信息安全水平具有一定借鉴意义。     

改进GDOI以支持TESLA的组播安全解决方案

现阶段组播安全研究主要集中在组密钥管理和组播源认证两大独立的领域。一个整合两种技术的完整解决方案成为很多用户的迫切需要。选用两个成熟的组播安全技术组密钥管理GDOI和源认证TESLA,对GDOI的报文进行改进,可以完美实现对TESLA的初始化参数分发的支持,从而满足了组播安全整体解决的要求。通过分析和计算论证了用GCKS代替组播源的方法以及在方案中所选用的各参数值的合理性。     

利用最大似然准则的双向联想网络研究

针对现有双向联想网络(BAM)存在的存储容量小、抗干扰能力弱的缺点,提出了一种利用最大似然准则的BAM网络(MLBAM)及其训练算法.MLBAM网络采用双向网络结构建立了神经元的发放以及抑制模型,充分利用似然函数的特性以及网络的双向联想特性,很好地完成了自联想和异联想功能,并且准确计算出关联样本对之间的关联度,使MLBAM网络在随机环境中具有很强的抗噪能力.利用最速下降算法,给出了MLBAM网络的训练算法,根据训练权重的Hessian矩阵负定,判定算法能够获得全局最优解,从而证明了算法的收敛性.该训练算法能够训练出最优的连接权重和神经元阈值.通过2个典型实验验证了MLBAM网络的抗噪能力和联想能力,在存在1位随机噪声的情况下,该网络的联想正确率达到了100%.     

从合作原则看翻译过程中的双向交际

格莱斯提出的合作原则作为语用学的一个重要的理论,揭示了在语言交际活动中,交际双方为了成功交际需要相互合作的原则。翻译活动,作为人类语言交际的重要方式之一,包含译者与原文以及译者与译文读者的双向交际。在此过程中须遵守合作原则及其准则以使译文具备预期功能并为目的语读者所接受。     

无线网络认证密钥交换协议L-MAKEP的改进

L-MAKEP协议是一种适用于非对等的无线网络的高效的密钥交换协议,该协议具有执行简单且计算复杂度低的优点。分析对比三种攻击方法,表明协议不能抵抗伪造和欺骗攻击,并指出安全问题在于其中的异或运算和公钥身份信息性验证的缺失。因此,在Yang-Chen方案的基础上采用身份密码系统,以身份信息作为用户的公钥,并在等式验证公式中引入公钥身份信息,从而实现双方的身份信息验证。同时增加了哈希确认来对弱客户端进行确认。协议的分析表明,改进协议能够正确执行,同时其安全性得到提高。     

转移双边序列空间移位自映射强混沌的充要条件

将单边序列空间移位口映射强混沌的充要条件推广到双边序列空间，给出其存在双向混沌集的充要条件和一系列等价条件。     

科技服务平台 中小企业之家 苏州市生产力促进中心

苏州市生产力促进中心是一家非营利科技中介服务型事业单位，1999年由原苏州市科技开发中心更名成立，直属苏州市科技局领导。中心于2003年通过了ISO9001质量管理体系认证，并于2004年成为“国家重点示范生产力促进中心”。     

城市收缩的识别及其影响因素

针对地区之间的发展不均衡程度加重，城市收缩现象愈发普遍问题，通过灰色预测对未来城市人口数量进行预测，并与前一阶段人口数量数据相结合对城市收缩情况进行分类，使用双向固定效应模型建立城市人口数量与其影响因素之间的函数关系．结果表明，灰色预测模型能够较为准确地预测城市人口数量，在结合前一阶段人口数量的基础上，以年均人口流失率为标准，能够合理地对城市收缩情况进行分类；双向固定效应模型能够较好地拟合城市人口数量与其影响因素之间的函数表达式．