某工业厂房主体结构安全性评定探讨

结构的安全性是结构防止破坏倒塌的能力,是结构工程重要的质量指标.老工业基地中的厂房主体结构安全性评价,对于厂房加固改造起到了关键性作用.文中通过对某工业厂房主体结构大量现场勘验、隐患排查及检测数据,结合结构验算,从承载能力、损伤等几方面对该老旧工业厂房的安全性进行了评价与分析,并详细介绍了检测鉴定的流程,为以后类似的老旧工业厂房的检测鉴定提供参考.     

基于NX的挖掘机关键部件参数化设计系统构建与分析

挖掘机市场竞争激烈,为了提高多型号再设计效率,满足用户时常更新关键参数的需求,开发了挖掘机关键部件动臂的可重用参数化设计系统。基于Siemens NX的WAVE功能和PTS模块,构建了挖掘机动臂的参数化模型,利用WAVE功能和PTS强大的交互操作功能实现了无代码的可重用系统的编制,并通过UG/Open二次开发工具构建了系统的操作使用菜单栏,最后通过刚柔耦合动态强度仿真验证了模型的可靠性。整个系统界面直观、操作简单,缩短了挖掘机动臂的设计周期,提高了动臂的再设计效率。     

高温高压气井井筒温度场计算与分析

为确保高温高压气井的安全钻井,有必要对高温高压气井的井筒温度场进行研究。考虑井筒流体与地层传热,根据热力学定律和能量守恒定律,建立了钻井液循环期间钻柱内及环空流体瞬态温度模型,分析了钻井液排量和循环时间对环空温度的影响。研究结果表明:循环温度与静温剖面的偏离程度随循环排量和循环时间的增加而增大;小排量时环空钻井液温度比排量较大时更接近于静温剖面;随着排量的增加,井底循环温度逐渐降低;在相同排量下,随着循环时间的延长,环空瞬态温度场偏离静止温度场越多,环空温度逐渐趋于稳定。基于该瞬态温度模型,结合顺北鹰1井参数,计算得到的钻井液出口温度与现场实测值很接近,相对误差均在7%以内,验证了模型的可靠性。     

ATSP:时态网络可视化的自适应时间片划分方法

现有的时态网络可视化方法大多采用等量时间片来可视化网络的演变，不利于时态模式的快速挖掘和发现。为此，根据时态网络固有的特征提出自适应时间片划分方法（Adaptive Time Slice Partition method，ATSP）。在时态网络的两种表示方式（基于事件的表示方式和基于快照的表示方式）的基础上，构建了ATSP的基础模型，同时提出了一种改进模型用来描述事件间隔时间服从长尾分布的时态网络。为了实现时间片的不等量划分，针对探索任务的不同提出了基于时态模式的ATSP规则和基于中心节点的ATSP规则，并提出了实现算法--层次划分算法（Hierarchical Partition algorithm，HP）和增量划分算法（Incremental Partition algorithm，IP）。实验结果表明，ATSP方法比传统的时间片划分方法更能准确地表示网络的时态特征，且该方法应用于可视化时，能有效归纳并展示网络的特征，明显提高了视觉分析的效率。     

巴彦淖尔蒙强公司获自治区重点产业发展专项资金支持

正本刊讯根据《内蒙古自治区经济和信息化委员会财政厅关于组织申报2018年内蒙古自治区重点产业发展专项资金项目(第一批)的通知》,经自治区经信委、内蒙古自治区财政厅共同委托有资质的中介机构评审和部门审核,巴彦淖尔市蒙强科技节能有限公司获得首批68个重点产业发展专项资金支持项目。该公司主要生产建筑用轻质保温板和装配式建筑,是巴彦     

氮气对复采工作面遗煤复燃的防治效能

为探究不同体积分数N₂对复采工作面遗煤复燃过程的防治效果，采用自主研发的程序升温试验装置，对煤样分别通入体积分数为10%、20%、30%和40%的N₂，以氧化反应过程中耗氧速率V_O2、一氧化碳产生率V_CO和表观活化能E的变化情况来反映煤自燃的发展程度。试验表明:不同体积分数的N₂对煤氧化升温过程均具有抑制作用，相比于煤在纯空气条件下的氧化自燃，通入的N₂体积分数越大，煤初次自燃和二次氧化升温过程的V_O2和V_CO更低、E更高，说明通入的氮气体积分数越大，对煤氧化升温过程的抑制效率越好。其中，在煤初次自燃阶段，当N2体积分数C_N2≥20%时抑制效果更佳；在煤二次氧化复燃阶段，当N₂体积分数C_N2≥40%时抑制效果更佳。     

远程控制超声扫描的远端操纵系统

针对远程超声扫描,研制了一种远端操纵系统,并实现了超声探头的人机协作控制。探头控制中利用远端操纵系统网传信号实时复现远端操作员的扫描动作,并在此基础上利用阻抗控制方式自动控制探头对皮肤的压力。实验结果表明:近端超声探头的位置误差和姿态误差分别保持在±2.0 mm和±1.5°以内,能较好地复现操作员的扫描动作;探头压力跟踪误差稳定在±0.5 N的范围内,不但能将操作员的扫描手感真实地施加到皮肤上来提升其临场感,而且为进一步提高超声图像的质量,增强超声扫描的安全性提供了参考。     

SCVerify:抗功耗侧信道攻击软件实现的验证

功耗侧信道攻击,通过使用统计分析技术推断出加密算法中的密钥,已成为物理网络设备的一个巨大威胁.随机掩码是一种被广泛使用的用来消除密钥数据和侧信道泄露数据之间关联性的对策.尽管现有技术可以验证加密软件代码是否被随机掩码保护,但是它们在准确性和可扩展性方面受到限制.为消除此类限制,提出了一种基于原有技术改进过的验证随机掩码策略的方法,该方法比已有的基于句法类型的推断技术更准确,比使用SAT(SMT)模型计数的方法更具有可扩展性.实际上,该方法使用一系列语义类型推导规则去推导分布类型,这些规则最初保持抽象以允许快速推导,然后具体化那些抽象规则推导解决不了的验证问题.此类细化方法集成在验证工具SCVerify中,并使用包含AES和MAC-Keccak等加密算法的测试用例进行了验证,实验结果表明此方法在准确性和可扩展性方面明显优于当前的技术.