微细钢纤维高强水泥砂浆板嵌入式加固梁受剪试验研究

选用强度高、韧性好和耐久性强的微细钢纤维高强水泥砂浆作为加固材料,采用结构胶粘结加螺栓的锚固方式,提出了微细钢纤维高强水泥砂浆板嵌入式加固钢筋混凝土梁的方法。通过受剪试验,分析了加固梁受剪破坏形态、荷载挠度曲线、荷载特征值、加固板和弯剪区混凝土应变等,通过与未加固梁对比,分析了加固效果。试验结果表明,微细钢纤维高强水泥砂浆板改变了裂缝形态,延缓了临界斜裂缝的产生,减小了破坏时裂缝的宽度,增加了梁体整体刚度,显著提高了抗剪承载力;间距过大时斜裂缝经过的加固板数量过少加固效果较差,但加固板数量太多,加固时开槽、钻孔对梁体界面削弱较大,反而影响加固效果,板间距适中时最佳,本试验中最优间距为150 mm。

综合文本写作系统HTWS及其在计算机辅助教学中的应用

本文介绍了一个综合文本写作系统HTHS的特点、设计实现及其在计算机操作系统辅助教学(OSCAI)中的应用,并探讨了将综合文本技术应用于计算机辅助救学的意义和方法。HTWS足一个CAI课件写作和学习的环境,它提供了一个把CAI课件知识组织成以综合文本方式表示的课件文卷的写作工具以及对课件文卷进行学习的浏览器(Browser)。OSCAI是基于HTWS的一个辅助教学软件,操作系统知识以综合文本方式进行组织,学习者通过HTWS的浏览器学习OS知识。HTWS作为在CAI中引入综合文本技术的工具具有普遍的应用价值,本文提出的OSCAI结构对于综合文本技术在CAI中的应用模式也具有一般性。 HTWS和OSCAI用Turboc语言实现,运行于IBM PC及其兼容机上。

一个用于一阶逻辑自动定理证明的新算法

本文提出一个用于一阶逻辑(FOPC)自动定理证明的并行算法,它基于分治的思想,把原问题子句集S划分成两个独立的子句集S1和S2,并通过并行地证明S_1和S_2的不可满足性。本文首先讨论了子句集的划分问题,引入了导出子句集及划分因子的概念;然后,在此基础上,提出了FOPC定理证明的并行算法;最后,给出了算法的有效性和完备性证明。文中还讨论了子句集的化简及算法性能评价等问题。

基于J2ME的数字化移动城市管理系统的研发

结合城市管理体制的变革,实现事件实时采集、信息传递、任务快速分派、处理反馈等功能,构建新型的数字化城市管理的模式。针对城市管理的移动巡查执法等管理工作的需要,采用J2ME开发一套基于智能移动终端的数字化移动城市管理系统,实现移动巡查、移动办公、协同工作等功能。

供电企业物资仓储管理研究

仓储管理是企业运营管理中的一个重要环节,在企业实际的管理过程中,做好仓储管理工作,可以保证物资的储备质量,提高工作效率并极大地提高企业的整体管理运营水平。文章分析了当前供电企业的物资仓储管理系统中存在的不足之处,就供电企业物资仓储管理工作提出了优化建议与措施。

企业物资合同管理研究

随着我国社会经济的稳定发展,国家也在大力推进行业改革与调整,各企业面临着越来越激烈的竞争。企业想要在激烈的市场竞争中谋求生存和发展、占有稳固地位,就必须跟随时代的发展调整改进企业的管理水平,尤其是提高企业的物资合同的管理水平,只有这样才能提高合同的履约率,维护企业和国家的利益,以及降低企业的运行管理成本。但是由于种种原因,我国企业的物资合同管理过程中依然存在着诸多的问题和不足。基于此本文就企业物资合同管理现状及面临的问题来进行一些简单的探讨和分析,并提出几点改进的建议与措施。

基坑群开挖涉邻近路堤沉降特性研究

研究基坑群施工对周围环境的影响规律,对指导基坑群施工有重要意义。文章以杭州市某顶管下穿通道工作基坑群施工为背景,通过建立基坑群与附近构筑物三维空间模型,探究基坑群施工对邻近路堤的沉降变化规律。研究结果表明,围护结构混凝土等级越高,邻近路堤顶面沉降越小;围护结构混凝土强度等级变化的影响强度与距开挖面的距离及基坑开挖固有特性有关;改变混凝土强度以控制邻近路堤沉降的效果与基坑周围土体所构成的空间结构有关。