高温受热后82B预应力钢绞线力学性能退化规律研究

采用WAW-1000C型万能试验机对不同温度下受热的82B预应力钢绞线钢丝进行拉伸试验,并用高清晰金相显微镜进行微观组织分析,研究钢绞线受热后的组织和力学性能变化规律,揭示其性能衰减微观机理.结果说明,钢绞线受热400℃以下时组织变化不明显,力学性能指标衰减不大;400℃以上时相继发生了回复、再结晶及相变,强度、硬度大幅度衰减,塑性明显增大.     

秦山核电厂安全壳预应力钢束的试验研究

本文介绍预应力安全壳1:1模型试验中大吨位曲线钢束两个阶段的试验研究。第一部分镦锚体系的试验证实了:在影响曲线束摩擦系数的各项因素中,润滑剂起了决定性的作用。同时通过对比找到了既经济又实用的润滑剂。第二部分介绍钢绞线体系的试验情况,并指出该锚具锚固能满足国内规范要求。     

一个双向认证协议的分析与改进

运用安全协议形式化分析方法中的串空间模型理论,对Natalia Miloslavskaya等人提出的一个双向认证协议进行了分析,发现该协议在认证方面存在缺陷,并对该协议进行了改进,同时用串空间理论证明了改进后的协议的认证正确性.     

基于Strand Space的移动计算安全协议设计与正确性证明

安全协议对移动计算的安全性质起着决定作用。根据移动计算网络环境的特点,参照安全协议设计准则,以移动银行应用为背景设计了一个移动计算安全协议——MB协议,并基于Strand空间理论给出了正确性证明。     

信达金融大厦无粘结预应力墙梁的设计与施工

信达金融大厦外墙自５ 层以上采用无粘结预应力混凝土刚性墙梁,结构形式特殊。本文介绍大跨度无粘结预应力梁的设计、施工难点,张拉、测试等,并根据测试结果进行了分析和探讨。     

一种头发动态模拟方法

该文提出了一种新奇的方法来表示头发,该方法建立在离散层次细节模型上,通过恰当重组和细分来表示头发。这种离散层次细节模型包括：单根头发,头发簇和头发束,通过一个基轴来控制头发的运动。基轴用四叉树数据结构来重组和细分。在运行时,通过头发的运动、头发是否可见以及与视点的距离来选择恰当的离散和连续头发层次表示。头发的碰撞检测算法是通过扫描体来快速准确交叉计算。同时,这些头发模拟和碰撞检测的方法在头发运动的整体性能和可视质量上达到一种柔性平衡。此外,该方法能够模拟不同的发型、各种头发的长度以及头发的运动。     

一种新的安全协议及其串空间模型分析

针对有限域上计算离散对数的困难,提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方的身份,同时产生对等的会话密钥。采用串空间模型分析该安全协议的正确性,通过构造渗透串空间模型,采用认证测试证明了PJY安全协议在任意一种攻击串模式下都具有单射一致性和机密性,从而证明了PJY安全协议的正确性。     

基于认证测试的安全协议分析

认证测试是一种新型的在Strand空间模型基础上发展而来的安全协议分析与辅助设计技术,可用于大部分协议的关联属性的分析;但是与Strand空间模型一样,它主要用于协议正确性证明,在协议为何不正确以及如何进行改进这个问题上处理分析能力较弱.在认证测试概念的基础上,结合逻辑分析的优点,提出了增强型认证测试EAT(enhanced authentication test)和Correspondence函数等概念来对安全协议进行关联属性的分析,很好地解决了这一问题与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

直写铸造蜡沉积成型数值模拟分析与实验

熔模铸造工艺中蜡模制作周期长、开模费用高,而且不适合单铸件或中小规模生产,将基于快速成型的热辅助直写技术(DIW)应用于蜡模制造可以实现对零件研发的快速响应。熔丝质量是保证蜡模成型质量的前提,因此,探究挤出压力、挤出速度、打印速度、喷嘴内径、喷嘴与热床间隙等工艺参数对熔丝成型的影响。对铸造蜡直写挤出沉积过程进行流体动力学建模,利用数值分析法详细研究上述5个工艺参数对熔丝成型的影响,采用纵横比、紧凑度两个指标对熔丝进行评价,得出在不同速度比v/u 下可选择的最优间隙比h/d。通过实验验证了计算模型的正确性。结果表明：相较于理想截面模型,所提出的计算模型可以更准确地预测熔丝的截面几何特性,为铸造蜡直写成型过程最优工艺参数的选择提供参考。     

南方人工速生杉木间伐材在定向结构刨花板中的应用

为了扩大开发南方人工速生杉木间伐材的市场,我们就其在定向结构刨花板中的应用进行了大量的实验和研究。实验表明,南方杉木间伐材在定向刨花板生产中的应用是可行的,产品指标达加拿大质量指标ＣＡＮ３－０４３７－Ｍ８５的定向二级板要求。