人工开挖土质边坡稳定性分析的应力迁移法

在对人工开挖土质边坡失稳机理进行深入分析的基础上，提出了利用应力迁移法进行边坡稳定性分析的方法。该方法利用有限元方法计算土体单元的应力应变，根据破坏单元直接确定临界滑裂面。该方法能够得到边坡的实际工况。开发了利用应力迁移法进行人工开挖土质边坡的稳定性分析计算程序。通过工程实例说明应力迁移法的应用。     

渗流作用下层状饱和土有效应力计算方法的研究

在分析渗流作用下单层土体有效应力性状的基础上 ,研究了渗流作用下层状饱和土体有效应力计算的方法。为便于计算 ,把渗流作用下的有效应力分为自重有效应力和渗流有效应力两部分分别进行计算。     

两层结构Al2O3陶瓷平板膜制备及缺陷分析

利用喷涂法成功制备出支撑体层 + 分离膜层两层结构的氧化铝陶瓷平板膜,研究 了分散剂对氧化铝膜层浆料的影响。采用扫描电镜对不同烧结温度下制得的不同厚度膜层进行 观察,利用孔径分析仪对膜层孔径进行测试,并测试了纯水通量。研究表明：PAA-NH4比 PAA 有更优的分散效果,其合适的加入量为 0.5wt%;两层结构的陶瓷平板膜合理的烧结温度为 1250?C,合理的膜层厚度为 20 μm。     

某型杀爆弹电磁感应装定引信弹道炸分析

针对某型杀爆弹出现弹道炸问题,在分析引信工作原理的基础上,采用仿真分析与实验验证的方法,研究电磁感应装定电路在弹道飞行过程中的输出控制情况。结果表明：弹丸发射后,在飞行过程当中,金属外壳会产生静电积累,当静电累积足够大时,金属外壳出现放电现象,产生压降信号,信号通过线路导致电磁感应装定电路输出发火控制信号;电磁感应装定电路采用信号编码原理,有效区分和识别开关信号,优选单片机,优化开关闭合检测时间,选用加粗和加强的导线,可以解决由于电磁感应装定电路接收干扰信号致使提前输出发火控制信号的问题。     

低瓦斯隧道通风方案设计

随着隧道工程的急剧增多,其中瓦斯隧道也不少,瓦斯浓度越高,施工作业中越容易发生爆炸,严重影响作业人员生命安全,一旦发生瓦斯爆炸会造成大量损失,故而瓦斯隧道的通风设计尤为重要.文章以白马隧道为例,通过对不同区段瓦斯浓度含量、地质情况等研讨和分析,综合考虑后进行通风方式选择、施工工区划分,再进行风量计算、风阻计算、通风设备...     

矿产开发区地表开裂与崩塌变形问题及其模型的建立——以鄂西山区矿产开发区为例

在地形陡峻的山区进行地下采矿工程活动时,倘若采矿方法和顶板管理措施不当,将可能引发严重地表开裂、塌陷(洞)和危岩崩塌灾害事件的发生。但其中最关键的问题是引发地表开裂变形的出现。通过对鄂西山区矿产开发环境地质评价预测研究,尤其是已出现严重地表开裂与崩塌灾害问题的典型矿山的调查研究,在分析灾害问题的发生、发展特点和形成机制基础上,提出了定量性的预测顶板以上开裂变形带高度的计算模型。经对宜昌磷矿多个开采矿山的验算,具有较大实践意义。     

砂井地基固结概率特性的近似分析方法

利用蒙特卡罗模拟方法计算砂井地基固结度概率特征值。通过正交试验研究不确定性参数变异性对砂井地基固结概率特性的影响。研究了砂井地基固结概率分析的近似方法 ,并探讨了近似方法的精度。推导了砂井地基固结度期望值和方差的计算公式。研究表明 ,砂井地基固结度的概率特性对水平固结系数的不确定性最为敏感。提出了只考虑水平固结系数不确定性的砂井地基固结概率特性的近似分析方法。误差研究进一步证明了近似方法的实用性。砂井地基固结概率设计方法用设计系数将概率设计与常规设计联系起来。     

物联网环境下数据转发模型研究

随着5G移动通信技术、软件定义网络、命名数据网、移动边缘计算或雾计算等新兴技术或方法的出现及深入研究,物联网应用得到进一步升华。在这种应用场景多样化、服务质量高要求、参与对象普及化的环境下,隶属物联网子范畴的传统无线传感器网络数据转发模型已经不能完全适应这种时代需求,更加适合物联网应用的数据转发模型成为物联网连续性服务保障的基础性问题及研究热点。本文首先对物联网架构及其应用环境下的数据转发关键问题进行了分析;其次,对目前有代表性的物联网数据转发相关研究成果进行分类总结;然后,选取不同物联网场景下典型的数据转发模型及其使用的数学方法进行评述、分析和对比;最后,指出目前研究中存在的问题及相应解决方案,并对未来的发展方向进行了展望。研究表明,5G等新兴技术的出现为物联网环境下数据转发模型研究带来了新的机遇和挑战,今后的工作重点是对物联网环境下数据转发的节能模型和方法进行攻关,为实际应用提供坚实的理论基础。     

An Attack-Finding Algorithm for Security Protocols

This paper proposes an automatic attack construction algorithm in order to find potential attacks on ecurity protocols.It is based on a dynamic strand space model,which enhances the original strand space model by introducing active nodes on strands so as to characterize the dynamic procedure of protocol execution.With exact causal dependency relations between messages considered in the model,this algorithm can avoid state space explo-sion caused by asynchronous composition.In order to get a finite state space,a new method called strand-added on demand is exploited,which extends a bundle in an incremental manner without requiring explicit configuration of protocol execution parameters.A finer granularity model of term structure is also introduced, in which subterms are divided into check subterms and data subterms .Moreover,data subterms can be further classified based on the compatible data subterm relation to obtain automatically the finite set of valid acceptable terms for an honest principal.In this algorithm,terms core is designed to represent the intruder‘s knowledge compactly,and forward search technology is used to simulate attack patterns easily.Using this algorithm,a new attack on the Dolve-Yao protocol can be found,which is even more harmful beeause the secret is revealed before the session terminates.     

一种适用于协同设计环境的分布式存储系统

设计并实现了一种适用于协同设计环境的分布式存储系统。本存储系统使用基于"拷贝——修改——合并"的应用模式来解决协同设计中并发写入的冲突问题,使得协同设计软件可以使用本地的数据,各设计人员的设计工作可以并行进行,提高了工作效率。系统包括唯一的元数据服务器(管理虚拟命名空间)和若干数据服务器,为使用特定客户端库的客户机(执行协同设计)提供服务,具备良好的可扩展性。存储系统还设计了一种特殊的文件格式,将一个设计文件数据的多个版本以追加的方式保存在同一个文件内,从而在提供多版本机制的同时,支持增量式数据同步,进一步提高了系统的性能。另外,系统的分布式锁机制可以支持崩溃恢复。