排序方式: 共有42条查询结果,搜索用时 15 毫秒
1.
传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态.提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能.该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻.该可逆调试器,可以解决大型软件和操作系统内核... 相似文献
2.
张俊飞 《河南水利与南水北调》2012,(1):38-39
结合南水北调中线工程建设管理制度和工程建设实际,焦作段建设管理处制订了一系列工程变更管理办法,明确了工程变更的分类,完善了工程变更申请、审批、审核和结算程序,加强建立工程变更台账管理,明确了焦作段建管处的职责和权限,不仅提高了焦作2段工程合同管理水平,同时为南水北调工程建设管理工作提供了宝贵经验。 相似文献
3.
4.
大数据时代的到来,为网络用户提供更加丰富的信息资源。但是,信息的筛选无疑成为信息获取的拦路虎。全文搜索引擎,采用对搜索信息建立本地索引、对搜索关键词的分词等技术处理后,进行模糊查询。在查全率、查准率方面,全文检索为网民用户提供方便。围绕全文搜索搭建的流程,解析整个过程,主要有:网络数据的抓取、数据的分析、索引的建立、搜索。 相似文献
5.
条带开采孤岛煤柱和采空区上覆岩层离层位置的确定是计算孤岛煤柱支承压力以及进行孤岛煤柱可开采性研究的前提。根据孤岛煤柱上覆岩层能否形成离层结构,提出孤岛煤柱支承压力的"有源"和"无源"计算模型,以应力准则和挠度准则判定孤岛煤柱上覆岩层离层位置,进而求得孤岛煤柱所承受地层重力并定义孤岛煤柱整体冲击失稳率,最后结合孤岛煤柱冲击地压发生可能性指数诊断法,对孤岛面的整体冲击失稳危险性和可开采性进行判定。经工程实例验证,该方法是合理可行的。 相似文献
6.
7.
针对SGZ764和SGZ800刮板输送机设计了一款变频电动机,详细介绍了该电动机的控制系统的原理及主要技术参数。将所设计的电机应用于实际生产中,不仅有效降低了刮板输送机的断链事故发生次数,还能够实现对刮板输送机实时监测,并及时控制电机的输出功率,起到节能的效果。 相似文献
8.
9.
3D打印模型试验是研究复杂地质结构损伤机制的有效手段,3D打印逐层堆积过程中定位压电骨料可有效提高埋设精确度和模型内部损伤监测精度。该文采用3D打印增减材技术制备内部埋设压电骨料的断续节理围岩模型,基于压电骨料与数字图像相关技术(digital image correlation, DIC)监测围岩模型在单轴加载下的破坏过程,研究节理连通率对围岩模型破坏机制的影响规律,验证压电骨料定位围岩模型起裂位置和监测内部裂隙损伤扩展的可行性。结果表明:1)随着节理连通率的增大,围岩模型荷载-位移曲线的峰值强度降低、延性增强,由单峰曲线变为多峰曲线;2)断续节理围岩模型的起裂位置多在临近洞口的节理尖端或顶板和底板的中部,裂纹扩展方向大多沿着节理尖端方向,表现为块体分离破坏;3)预制节理连通率增大会导致同路径的监测信号能量衰减,连通率与信号能量之间表现出抛物线相关性;4)压电骨料监测方法相比于DIC监测等宏观监测方法可以更早一步发现模型内部损伤,并能确定内部损伤的位置。 相似文献
10.
在体壳单元组合有限元模型中,由于实体元与壳元的自由度不同,使得转动自由度不连续,计算结果往往与实际偏差很大。 Abaqus中提供了一种多点约束法来实现三维实体元与壳元正确联接,阐述了其原理,并通过实例对两种单元联接参数设置的不同进行结果对比,给出了合理的处理方法,为有限元分析中体壳单元耦合及模型简化提供指导与借鉴。 相似文献