基于SPI演算的移动自主网络安全路由协议分析

安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。     

SPI演算规范的建模、实现验证研究

针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议，并且能够对安全协议进行多方面的系统评价，但基本上没有说明怎么样寻找设计合适的验证工具，验证其安全属性实现的正确性。本文引入基于SPI演算的验证工具SPRITE来保证建模过程正确性，并设计给出实现映射的具体方法。本方法通过对典型的WOO-LAM单向认证协议予以说明，最后SPRITE产生的具体JAVA代码，给出了安全协议的安全属性，使形式化描述的协议的安全属性是否满足更接近于人的理解而不仅只是机器的解释。     

无服务器环境下基于DQN和用户意图的函数放置研究

随着无服务器计算技术的快速发展,无服务器计算以其按需付费、自动扩展等特性吸引了越来越多的用户的关注,研究人员正在探索将无服务器架构应用于日渐完善的边缘计算系统。然而,在分布式的无服务器系统中如何有效地进行无服务器函数放置并为用户提供优质的服务仍是该领域一个亟需解决的问题。采用基于用户意图的DQN（deep Q-network）无服务器函数放置算法来解决分布式无服务器系统中的函数放置问题。该算法将用户意图作为学习目标,利用DQN算法进行函数放置的优化。通过仿真实验,基于用户意图的DQN无服务器函数放置算法在计算时延和放置开销方面显著降低。相较于传统方法,该算法能够有效满足用户的不同需求,并取得了较好的函数放置效果,这表明该算法在分布式无服务器系统中具有较高的适应性和性能优势。     

动态网站开发技术PHP与SQLSERVER2000数据库访问

对现存动态网站开发所用技术进行分析。提出了适合中小型企业和大中院校应用的动态网站开发技术PHP与SQLServer2000数据库访问方案。举实例说明其技术实现的方法。     

基于B/S的学生论文提交及查询系统

分析了现在大部分学校学生毕业论文保存的现状。提出了符合B／S要求的用PHP和SQL Server 2000实现学生论文提交和查询系统方案。     

浅析施工中现浇钢筋混凝土梁板支设起拱问题

就施工中现浇钢筋混凝土梁板支设起拱问题从《规范》角度进行了分析。并在正确理解的基础上提出了施工中的几点建议，对同类施工有借鉴意义。     

酯化酶在热季压窖酒醅转排中的应用体会

酯化酶的应用技术是白酒行业的一项新技术，具有加速己酸等有机酸与乙醇合成酯类的催化作用，并且耐酸耐醇能力强，作用温度范围宽，通过在热季压窖酒醅转排中应用，我们认为对于提高热季酒醅的优级品率、控制掉排效果明显，该项技术在固体优质粮酒生产上的应用潜力很大。     

钢筋混凝土新旧结构间防水新工艺

根据工程现场实际情况，在防漏方面着重强调结构处理，采用植筋新技术使新旧混凝土结构成为一体，在防渗方面主要从新旧混凝土结构接触面处理和采用柔性紫铜复合GB板的新材料新技术，为处理一些常见的水工问题提供一些新经验。     

糖类对蛋清蛋白凝胶强度的影响

为改善蛋清蛋白凝胶的加工特性,探讨了不同种类与不同浓度糖类对蛋清蛋白凝胶强度的影响选择并固定适宜的蛋清蛋白凝胶制备条件,在制备前加入不同浓度的糖类,形成凝胶后运用物性仪测定其强度.结果表明,结冷胶、黄原胶和阿拉伯树胶均在胶类-蛋清蛋白凝胶体系发生相变的浓度点使体系强度有明显的变化;蔗糖在实验浓度范围内对体系的凝胶强度没有明显的作用;麦芽糖对蛋清蛋白凝胶的作用显著,在低浓度可以增强蛋清蛋白凝胶强度而在高浓度可以降低蛋清蛋白凝胶强度;玉米淀粉也在一定浓度可显著提高蛋清蛋白凝胶的强度.结果说明,以糖类作为添加剂改善蛋清蛋白的凝胶强度时,应充分考虑所加入的糖类种类及浓度.     

一起离心泵电机轴承故障诊断案例

电机轴承的损伤一般最先在加速度指标上反映,多数情况下,峭度指标随之明显增大。通过加速度和峭度指标可判断出90%以上的轴承故障。本例中峭度指标接近正常值,但故障发生在轴承,说明存在一定的特例。该设备电机经更换轴承,问题得到解决。