全孔蓄水法在高温火区爆破中的应用

针对高温炮孔因裂隙多导致蓄不住水的情况,将内层带有不透水材料的套管快速下放到炮孔并在短时间内注满水,在套管中装有模拟药卷并采用热电偶测量套管中的水温变化。结果表明:全孔蓄水可使工业炸药与起爆器材长时间保持在最高温度不超过水浴温度的环境中,因此能大幅延长高温火区装药施工时间。探索出高温火区的全孔蓄水爆破方法,并通过爆区规模试验,效果良好,该方法能保证施工安全,同时基本解决高温火区较大规模爆破的问题。     

液态CO2爆破系统地震波时频分析

为了研究液态CO_2爆破系统地震波时频特性,现场微震监测试验获得液态CO_2爆破地震波信号,根据爆破地震波信号具有非平稳的特点,首先采用自适应最优核时频分析方法对地震波信号的基本时频特征进行研究,在此基础上通过结合小波包变换分解与重构技术和自适应最优核时频分析方法,对地震波信号的能量分布进行了精细化分析。结果表明:液态CO_2爆破地震波的衰减速度较快,震动速度处于很低的水平;主频范围在30~70 Hz之间,持续时间约为20~30 ms;能量主要分布在0~125 Hz,由两个两个主要区域组成,表明在液态CO_2爆破作用过程中高压流体产生两次不同峰值压力的爆炸冲击波。     

面向DO-333的襟缝翼控制单元安全性分析

DO-333是对机载软件安全性标准DO-178C关于形式化方法的补充,为机载软件开发过程中形式化方法的使用提供指导。模型检验作为一种形式化方法,可以应用于对软件需求和设计阶段制品的严格验证。基于DO-333,使用模型检验对飞控系统中襟缝翼控制单元不同阶段的软件制品进行验证与分析,判断其是否满足DO-178C的相关验证目标并提供证据支持。首先,对控制单元中襟翼与缝翼必须互斥更新的高级需求进行规约和验证;其次,对单个机翼控制逻辑的低级需求进行规约和验证。通过以上验证与分析,分别为标准中关于高级和低级需求的验证目标提供证据。文中展示了模型检验在一个机载软件认证中的应用实例,该工作将为机载软件的安全性保障和适航认证提供技术支持。     

一个基于两区间八边形约束的抽象域

抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。     

无线寻呼系统的设计与实现

结合寻呼系统的特点,对寻呼系统的总体设计和功能模块进行详细的论述,同时阐明了无线寻呼的基本过程,并对保证寻呼系统的高效性,提高寻呼系统可靠性,稳定性所采取的 全面地研究。     

边坡强度参数对于稳定性影响的极限平衡法分析

为了研究岩土体抗剪强度参数对边坡稳定性的影响,通过理论推导和Bishop极限平衡法计算,分别改变岩土体的粘结力c和内摩擦角,探讨边坡安全系数和滑动面的变化.结果表明：粘结力或内摩擦角改变时,边坡的安全系数将发生变化,而滑动面的变化受函数η-c的影响,η-c与粘结力和内摩擦角有关.当η-c为定值时,滑动面不随抗剪强度参数的变化而变化;当η-c增大时,边坡的滑动面从近坡面逐渐向边坡内部移动;反之,η-c减小时,边坡的滑动面从边坡内部向近坡面移动.研究结果为边坡稳定性分析的理论和实践研究提供了参考.     

一个新的前向安全的群签名方案

提出了一种新的前向安全的群签名方案,该方案的优点在于在实现前向性时不需要确立群管理员公钥的有效期,从而具有无界时间段的前向安全性,使得群签名方案在实现前向安全性时更具灵活性且实现的效率较好。     

视频流媒体的QoS特征分析及质量保证

网络数据传输的质量保证一般可分为空间域保证和时间域保证。空间域保证是传输数据的量的保证,取决于网络的带宽和丢失率特征;时间域的保证是对传输数据的时效性保证,取决于网络的延时和延时抖动特征。传统的数据媒体对网络传输的空间域保证有严格的要求,而没有严格的时间域保证要求。它不允许有数据丢失,但能够容忍一定的时间延时和延时抖动;而视频流媒体与此相反,它能够容忍一定的数据丢失,但要求较为严格的延时和延时抖动保证。这篇文章主要对视频流媒体数据传输的空间域特征和时间域特征进行讨论,分析其对视频流媒体的质量影响,为流媒体的网络传输QoS保证策略提供有价值的参考。     

O2O电子商务的发展模式分析

文章通过对O2O(Online To Offline)电子商务模式的应用现状及其管理模式、发展过程、交易模式等方面的分析,归纳总结了当前O2O与传统电子商务这2个领域内在的区别和联系,并对当前O2O模式的应用领域和发展模式进行了细致分析,最后从信息生态学视角揭示了未来O2O模式将向本地化、区域化、服务精细化以及个性化发展。