金沙江中游凝灰岩强度参数综合识别研究

凝灰岩是一种典型的分布不规律、易崩解、难取样火山碎屑岩,其强度参数难以准确评估。本文依托华丽高速公路金沙江特大桥工程,判定丽江岸为反倾坡,为陡倾结构面或卸荷裂隙带剪入、缓倾结构面剪出组合滑移模式,破坏规模有限;华坪岸为顺层坡,为陡倾结构面或卸荷裂隙带剪入、凝灰岩层主滑、缓倾结构面剪出组合滑移模式,破坏规模较大。T3和T2凝灰岩软弱层为关键层,其强度参数对岸坡稳定性影响很大。针对此种情况提出了经验、试验、数值反分析相结合综合识别凝灰岩强度参数的方法。利用这种方法,在工程岩体分级标准GBT50218-2014、水利水电岩石力学参数手册、室内外试验、数值反分析的基础上,综合确定了凝灰岩带泥化参数为内摩擦角24°、粘聚力50k Pa、泥化率60%;凝灰岩层内摩擦角29°、粘聚力90k Pa,在工程经验取值的范围之内;玄武岩内摩擦角36°、粘聚力600k Pa,在水利水电工程岩石力学手册推荐值范围之内;IV陡倾结构面强度参数内摩擦角35°、粘聚力150k Pa,符合一般结构面试验经验值。经计算复核,埋深浅、局部分布的T3凝灰岩主滑模式下安全系数为1.65~2.15;埋深大、分布连续的T2凝灰岩主滑的安全系数为1.32~1.67,T2主控下的安全系数要比局部分布T3情况小约0.33~0.48,平均降低约21%。虽然T2主控下的最不利工况安全系数也大于1.30,但是在实际施工和运行过程中仍需关注T2凝灰岩层可能形成的深大滑移问题。类似和临近工程可参考该凝灰岩强度参数或强度参数综合识别方法。     

基于中国邮递员问题的可信平台模块测试序列生成优化研究

现今国内外已经有不少对可信平台模块进行测试的研究成果,但是对测试效率分析不足.本文基于自动机理论和中国邮递员问题,提出了可信平台模块改进的有限状态机模型与相应的优化测试方案,通过寻找一条遍历有限状态机模型中每一条转移至少一次的最短路径的方法,从而生成费用优化的测试序列.测试结果表明,测试方案能够简化有限状态机状态的测试.     

昆明绕城高速公路杨林隧道出口的边坡稳定性研究

针对严格Janbu法不易收敛的缺点,采用Matlab曲线拟合工具箱里的三次样条函数csapi拟合条间力矩,简化了计算程序;采用改进的严格Janbu法等极限平衡方法和考虑地震动荷载时程分析的拟静力法对昆明绕城高速公路杨林隧道出口段某滑坡体的抗滑稳定性进行了系统地分析和研究,计算了该边坡在自然工况和地震工况条件下的抗滑稳定安全系数值。结果表明:在自然工况下边坡抗滑稳定安全系数在1.447～1.452之间,边坡是稳定的;在地震工况下,通过综合计算分析所得到的边坡抗滑稳定安全系数在0.55～1.017之间,边坡存在失稳风险。     

一种基于手机令牌和NFC技术的身份认证系统

针对目前Web站点的身份认证安全问题,提出了一种基于手机令牌和近距离无线通信(NFC,near field communication)技术的身份认证方法,并在Android平台上实现了该系统.该系统利用手机使用手机令牌实现了USBKey的主要功能,当用户访问站点进行注册时,将获得惟一的手机令牌并存于带有加解密功能的手机中.在下次访问站点进行身份认证时,用户可通过手机直接在Web站点进行身份认证,也可通过NFC技术将手机令牌传于PC机,使得用户可在PC机上利用手机进行身份认证.该系统将手机作为类USBKey设备,在增强Web站点身份认证安全的同时,省去了为用户颁发USBKey的流程和成本,具有较强的实用价值.     

可信计算研究进展

可信计算是信息安全领域的一个新分支．文中阐述了可信计算技术与理论的最新研究进展．通过分析可信计算技术的发展历史与研究现状，指出了目前可信计算领域存在理论研究滞后于技术发展、部分关键技术尚未攻克、缺乏配套的可信软件系统等问题，提出了值得研究的理论与技术方向，包括：以可信计算模型、信任理论等为代表的可信理论基础，以可信计算平台体系结构、可信网络、可信软件工程、软件信任度量技术等为代表的可信计算关键技术．     

基于Hough变换的数字全息干涉条纹检测

提出了一种利用Hough变换在图像中检测模糊直线条纹的有效方法.将Hough变换对随机噪音不敏感的特性与Fourier变换的性质相结合,可实现对图形中有相同周期条纹的检测.该方法不针对单一条纹,只识别相同周期条纹的总体特征,能有效避免条纹部分缺失对检测结果的影响,并能快速检测条纹的准确数量.将该方法应用于数字全息干涉图...     

基于无干扰理论的并发程序隐私性分析模型研究

基于无干扰理论和Hoare公理方法,针对并发进程中不可信代码带来的信息泄露问题,提出一种隐私性分析模型CPNIAM,一方面把并发程序功能正确性证明分化为对程序中所有并发进程的形式化验证,以达到复杂程序简单化证明的目的;另一方面,可以在进程的功能正确性验证的基础上进行并发进程间的无干扰性分析.实例分析表明,相对于传统的无干扰模型,本文提出的模型可以在程序设计及实现阶段的形式化验证过程中,对由不可信代码导致的进程间隐私泄露问题进行分析,分析结果可指导程序设计者用于不可信代码定位和修改.     

基于系统调用限制的容器安全防护方案

针对现有解决方案在限制容器系统调用方面存在系统调用列表不完整和自动化程度差等问题,提出了基于系统调用限制的容器安全防护方案,旨在为任意给定Docker镜像自动化地定制所需系统调用白名单,减小攻击平面.针对镜像层级文件系统组织结构复杂和层间关系难以获取等问题,通过分析配置文件,建立了dockerfile命令和镜像层的一一...     

电容器薄膜等离子体表面改性实验研究

 建立了一套辉光放电等离子体对电容器薄膜进行表面处理的装置。采用N₂，O₂及Ar三种气体对聚丙烯、聚酯和聚苯硫醚膜进行了表面处理。红外光谱分析表明:薄膜表面的生成物与薄膜种类、气体种类和处理强度密切相关。场扫描电镜显示了薄膜表面的刻蚀现象明显。处理过的薄膜，非晶相被去除，球晶暴露。能谱分析说明了薄膜中C元素下降，N，O元素增加，但总体改变量很小。处理前后薄膜的直流击穿电压没有明显改变，但刻蚀过程造成的薄膜表面粗化可帮助电容器的浸渍过程更充分，从而可提高电容器的使用场强与储能密度。