基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

父代肥胖对精子表观遗传跨代继承的影响

父代肥胖会导致精子表观遗传修饰的改变,这种异常的表观遗传修饰会传递至后代,对后代健康产生严重影响.本文主要综述了由于父代肥胖所致的DNA甲基化、组蛋白修饰和非编码RNA等表观遗传修饰的异常及其跨代继承的机制,从表观遗传水平阐述父代肥胖对自身和后代健康的影响,可为后代相关疾病的预防和诊断提供参考资料.     

长细比对CFRP约束钢管混凝土柱偏心受压力学性能的影响研究

为研究长细比对CFRP约束钢管混凝土柱受力性能的影响,应用ABAQUS建立四组、每组3个试件进行对比分析.组内试件的钢管约束效应系数εs、CFRP约束效应系数εc f、偏心率等影响因素相同,分析不同长细比对组合柱力学性能产生的影响.结果表明,长细比对CFRP最大应力影响不大.随着长细比的增加,钢管的最大等效应力值降低,钢管套箍作用减弱.不同钢管约束效应系数情况下,荷载-挠度曲线形式基本一致.试件刚度值随长细比增加逐渐降低,组合柱极限承载力下降,但降低幅度逐渐变缓.     

农业的四大好帮手

<正>蕉蝠(又名芭蕉长舌蝠)这种"授粉工"的特长是从长管花(花冠筒较长的花)中吸取花蜜,从当地生长的仙人掌到引入的香蕉,很多植物都依靠蕉蝠帮助传粉。这种拥有长长的吻部(口鼻部)的蝙蝠会让大家联想到长鼻鼩。而蕉蝠最让人吃惊的是它的舌头,伸展开的舌头可达全身长度的三分之二,也难怪它可以轻而易举地从长管花中采食花蜜了。     

浅析弯矩调幅法

本文根据框架梁弯矩调幅原理,通过对两跨连续梁中是否考虑弯矩调幅的计算结果比较,对认识弯矩调幅法和实际工程设计均具有一定的指导意义,从而更加合理的对框架结构进行设计。     

基于有载调压配变的移动巡查平台研究

在电力应用中,电压的稳定性是影响用电安全的重要因素.为了提高电压的合格率,电力公司在安装了20多台在线滤油有载调压配变基础上,进一步扩大安装规模.同时,在实践中我们发现有载调压配变的定期巡检工作难度较大,为了进一步确保设备使用的安全性和可靠性,对不同分布区域的调压配变进行巡查,有必要加强有载调压配变巡查系统的研发.论文首先介绍研发的背景,概括研发目标和进程,然后进一步对项目的具体开展、创新点进行细化分析,最后对研发成效和工作中的不足进行探讨,力求通过创新项目研发改善我们的有载调压配变工作效率.     

存储发展技术综述

本文根据存储介质产生的先后顺序,并结合实例介绍了各个阶段存储介质形式的发展,概括了当前存储技术的发展状况及方向,并重点介绍了网络存储及其相关的技术。     

手指长短预示健康

我们每个人都希望自己的身体是健康的,其实健康与身体中的每个部位都有关系,同时,每个部位都能反应身体状况,我们可以通过手指的长短看出身体的状况,也能够通过指纹看出健康奥秘等等.     

工程材料的质量监理

工程材料的质量好坏，直接影响着整个建筑物的质量等级、结构安全、外部造型和建成后的使用功能等。因此，工程材料的质量监理无论在建筑、安装还是交通行业，均是项目监理工作中一个至关重要的内容。本文结合自己的监理实践，谈谈工程材料的监理与质量控制。