基于虚拟机日志记录回放的可逆调试方法

传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态.提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能.该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻.该可逆调试器,可以解决大型软件和操作系统内核...     

南水北调中线工程焦作段建管处工程变更管理

结合南水北调中线工程建设管理制度和工程建设实际,焦作段建设管理处制订了一系列工程变更管理办法,明确了工程变更的分类,完善了工程变更申请、审批、审核和结算程序,加强建立工程变更台账管理,明确了焦作段建管处的职责和权限,不仅提高了焦作2段工程合同管理水平,同时为南水北调工程建设管理工作提供了宝贵经验。     

防堵料装置在皮带输送机上的应用

我公司皮带输送机常因物料中含有大块或异物堵料，由于现场巡检线路长、人员少，不能及时发现，导致撒料严重，清理工作量大，污染环境，影响正常生产，严重时造成皮带机胶带划伤等问题。     

云计算认识浅谈

本文从技术和应用发展的角度简述了云计算的定义、成长历程和架构；描述了云计算诞生所需的技术支持,揭示了云计算是IT发展的必然；结合云计算现实的应用,呈现了云计算的几个使用场景.从这几个方面入手,讨论了对云计算相关的一些认识.     

全文搜索引擎搭建解析

大数据时代的到来,为网络用户提供更加丰富的信息资源。但是,信息的筛选无疑成为信息获取的拦路虎。全文搜索引擎,采用对搜索信息建立本地索引、对搜索关键词的分词等技术处理后,进行模糊查询。在查全率、查准率方面,全文检索为网民用户提供方便。围绕全文搜索搭建的流程,解析整个过程,主要有：网络数据的抓取、数据的分析、索引的建立、搜索。     

冲击煤层孤岛煤柱可开采性研究

条带开采孤岛煤柱和采空区上覆岩层离层位置的确定是计算孤岛煤柱支承压力以及进行孤岛煤柱可开采性研究的前提。根据孤岛煤柱上覆岩层能否形成离层结构,提出孤岛煤柱支承压力的"有源"和"无源"计算模型,以应力准则和挠度准则判定孤岛煤柱上覆岩层离层位置,进而求得孤岛煤柱所承受地层重力并定义孤岛煤柱整体冲击失稳率,最后结合孤岛煤柱冲击地压发生可能性指数诊断法,对孤岛面的整体冲击失稳危险性和可开采性进行判定。经工程实例验证,该方法是合理可行的。     

刮板输送机变频电动机的设计与应用

针对SGZ764和SGZ800刮板输送机设计了一款变频电动机,详细介绍了该电动机的控制系统的原理及主要技术参数。将所设计的电机应用于实际生产中,不仅有效降低了刮板输送机的断链事故发生次数,还能够实现对刮板输送机实时监测,并及时控制电机的输出功率,起到节能的效果。     

基于Abaqus的体壳单元组合建模研究

在体壳单元组合有限元模型中,由于实体元与壳元的自由度不同,使得转动自由度不连续,计算结果往往与实际偏差很大。 Abaqus中提供了一种多点约束法来实现三维实体元与壳元正确联接,阐述了其原理,并通过实例对两种单元联接参数设置的不同进行结果对比,给出了合理的处理方法,为有限元分析中体壳单元耦合及模型简化提供指导与借鉴。     

改进残差神经网络实现心音分类

心音的变化可以较早表征心脏疾病体征,基于深度学习实现心音信号分类具有心脏疾病临床辅助无创诊断作用。秉承特征获取简易和深度学习模型简单理念,设计了融合CBAM注意力机制、Focal Loss损失函数和多尺度特征的ResNet152网络模型对PhysioNet/CinC 2016心音数据集进行深度学习;详细介绍了CBAM注意力机制以及在网络瓶颈结构中的融合方式、Focal Loss损失函数原理、多尺度特征获取方式,并设计了5组对比消融实验和横向对比实验。实验结果表明,CBAM注意力机制、Focal Loss损失函数和多尺度特征提高了ResNet152基线网络模型分类准确率。