排序方式: 共有40条查询结果,搜索用时 0 毫秒
1.
传统的调试器调试程序时,仅仅能够让程序正向运行并获取其当前的状态.提出了一种可以让程序逆向运行,回到过去任意时刻的调试方法,来增强调试器的功能.该方法是通过为Xen虚拟机添加完整的日志记录和回放功能以及对GDB调试器作相应修改来实现的;调试对象可以恢复到其运行过程的任意时刻.该可逆调试器,可以解决大型软件和操作系统内核... 相似文献
2.
张俊飞 《河南水利与南水北调》2012,(1):38-39
结合南水北调中线工程建设管理制度和工程建设实际,焦作段建设管理处制订了一系列工程变更管理办法,明确了工程变更的分类,完善了工程变更申请、审批、审核和结算程序,加强建立工程变更台账管理,明确了焦作段建管处的职责和权限,不仅提高了焦作2段工程合同管理水平,同时为南水北调工程建设管理工作提供了宝贵经验。 相似文献
3.
4.
5.
大数据时代的到来,为网络用户提供更加丰富的信息资源。但是,信息的筛选无疑成为信息获取的拦路虎。全文搜索引擎,采用对搜索信息建立本地索引、对搜索关键词的分词等技术处理后,进行模糊查询。在查全率、查准率方面,全文检索为网民用户提供方便。围绕全文搜索搭建的流程,解析整个过程,主要有:网络数据的抓取、数据的分析、索引的建立、搜索。 相似文献
6.
条带开采孤岛煤柱和采空区上覆岩层离层位置的确定是计算孤岛煤柱支承压力以及进行孤岛煤柱可开采性研究的前提。根据孤岛煤柱上覆岩层能否形成离层结构,提出孤岛煤柱支承压力的"有源"和"无源"计算模型,以应力准则和挠度准则判定孤岛煤柱上覆岩层离层位置,进而求得孤岛煤柱所承受地层重力并定义孤岛煤柱整体冲击失稳率,最后结合孤岛煤柱冲击地压发生可能性指数诊断法,对孤岛面的整体冲击失稳危险性和可开采性进行判定。经工程实例验证,该方法是合理可行的。 相似文献
7.
针对SGZ764和SGZ800刮板输送机设计了一款变频电动机,详细介绍了该电动机的控制系统的原理及主要技术参数。将所设计的电机应用于实际生产中,不仅有效降低了刮板输送机的断链事故发生次数,还能够实现对刮板输送机实时监测,并及时控制电机的输出功率,起到节能的效果。 相似文献
8.
9.
在体壳单元组合有限元模型中,由于实体元与壳元的自由度不同,使得转动自由度不连续,计算结果往往与实际偏差很大。 Abaqus中提供了一种多点约束法来实现三维实体元与壳元正确联接,阐述了其原理,并通过实例对两种单元联接参数设置的不同进行结果对比,给出了合理的处理方法,为有限元分析中体壳单元耦合及模型简化提供指导与借鉴。 相似文献
10.
针对影响火炮炮口扰动因素的问题,建立了某牵引火炮刚柔耦合参数化有限元模型,考虑了有限元弹炮耦合接触/碰撞、膛内时期膛线对弹丸的扭转、衬瓦与身管间隙、摇架板厚参数、火线高、耳轴及方向机刚度与阻尼、高平机刚度及阻尼、后大架尺寸参数等因素的影响。以炮口线速度和角速度表征炮口扰动,构建目标函数,通过灵敏度分析获得各因素对炮口扰动的影响程度。该结果为炮口扰动优化设计提供一定依据,对探寻各参数与炮口扰动关联性具有借鉴意义。 相似文献