BFRP与混凝土有效粘结长度的试验

通过27个混凝土与玄武岩纤维增强复合材料（BFRP）的粘结试件的单剪试验，考察树脂种类、混凝土强度、粘结长度等因素对粘结性能的影响．通过描述粘结界面破坏形态，测量BFRP与混凝土界面的应变分布规律，分析界面粘结应力的分布规律．结果表明，当混凝土强度在C20-C40的强度等级范围内，随着混凝土强度等级的提高，有效粘结长度稍微有所减少，可以确定为80mm．

CILinear:一个线性不变式自动构造工具

构造不变式是程序验证的重要组成部分,而开源工具Interproc能对简单的程序设计语言构造线性不变式。基于Interproc和C程序编译工具CIL,针对简化的C程序设计并实现了自动构造数值型程序变量线性不变式的工具CILinear,并与Interproc进行了比较。实验表明CILinear能有效地构造线性不变式,并且比Interproc支持的语法更多。通过实例讨论了CILinear在程序验证中的实际应用。

基于差分方程计算循环复杂度符号化上界

计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得到更精确的循环复杂度符号化上界,实验结果证明了该方法的有效性.

Client/Server数据库模型下的并发控制与恢复技术

并发控制与恢复技术在 client/server 结构 DBMS 中有着极其重要的地位,直接关系到运行的正确性以及数据库的健壮性。在 Client/Server 结构中,进行日常事务处理时的首要任务就是保持缓存的一致性,这是进行并发控制的基础。本文详细地分析和研究了 Client/Server 中用到的缓存算法和恢复技术,指出了现有技术存在的不足,并对其发展趋势进行了展望。

芳纶纤维布拉伸强度标准值的确定

完成了芳纶纤维材料8种规格的120个试件的拉伸试验,通过测试芳纶纤维布拉伸强度、弹性模量、伸长率,统计分析了芳纶纤维材料的拉伸应力—应变情况,并根据试验结果确定了芳纶纤维布的拉伸强度的标准值,为规范标准的编制制定提供了有益的参考。

FRP加固构件的粘结机理综述

用FRP材料修复或加固结构,荷载是通过粘结层在FRP与被加固构件之间传递的,所以粘结层的强度及耐久性对修复结构的整体性及安全性至关重要,研究FRP与被加固构件界面的应力分布和剥离机理对保证加固的有效性具有重要意义。近年来,许多试验及理论研究方法已经发展起来。

基于不变式生成的循环停机性验证

循环的停机性验证是程序验证中的一个难点。程序不变式用来描述程序变量的取值关系,其中线性不变式可以帮助描述程序变量间的线性关系,循环不变式能够有效刻画循环中的变量关系。本文基于线性不变式和多项式循环不变式的生成,将循环的停机性验证转化为求解一个最优化问题,给出了一个实用的程序停机性验证框架。基于该框架可以自动地验证程序的停机性,并给出循环的复杂度上界。实验结果说明了该方法的实用性。

浅论财务统计工作在医院管理中的应用

医院财务统计工作不仅仅是衡量医院经济效益的重要依据,同时也是医院了解所服务地区医疗卫生需求、门诊病人和住院病人的平均费用等重要信息的来源。在医疗市场竞争日趋激烈的今天,财务和管理逐渐成为一对不可或缺的孪生兄弟。医院要在医疗市场中求生存、求发展,就必须充分发挥财务统计工作在医院管理中的基础作用,由财务部门负责向管理部门提供准确适用的财务统计信息,而管理部门要及时开发利用这些统计信息,充分发挥信息在指导和预测医院工作中的巨大作用。

改善医院财务统计工作方法研究

新时期,医院在市场化、信息化大背景下,面临着激烈竞争,迫切需要提升自身管理水平。医院财务统计工作是医院财务管理的重要组成部分,为医院领导层科学决策发挥着重要作用。客观审视当前医院财务统计工作,其仍然存在着一些问题和不足。通过改善医院财务统计工作方法有助于提升医院管理工作效率,最终实现医院社会效益和经济效益的双赢。

用归一法分析某院2014年床位工作效率

床位工作效率作为科学反映医院病床使用情况的重要指标,是医疗信息管理中不可缺少的重要内容。通过对医院的床位工作效率进行分析,有利于最大限度地发挥病床使用效率,为医院科学管理运营提供重要的数字依据。本文旨在采用"归一分析法",对衡水市某院床位工作效率进行分析,为医院科学有效地调整病床设置提供坚实可靠的数字保障,进而更好满足就医患者需求,帮助医院在社会效益与经济效益方面实现最大化。

改善医院财务统计工作方法研究

新时期,医院在市场化、信息化大背景下,面临着激烈竞争,迫切需要提升自身管理水平。医院财务统计工作是医院财务管理的重要组成部分,为医院领导层科学决策发挥着重要作用。客观审视当前医院财务统计工作,其仍然存在着一些问题和不足。通过改善医院财务统计工作方法有助于提升医院管理工作效率,最终实现医院社会效益和经济效益的双赢。

玄武岩纤维布加固混凝土梁的抗弯疲劳性能试验

通过2根玄武岩纤维布加固的钢筋混凝土梁和1根普通钢筋混凝土梁的弯曲疲劳性能试验研究,分析玄武岩纤维布对加固梁抗弯疲劳性能的影响.试验结果表明,采用玄武岩纤维布进行加固后,梁的抗疲劳性能得到极大改善;粘贴1层和2层玄武岩纤维布后,钢筋混凝土梁的疲劳寿命分别提高了66%和235%,50万次时,其疲劳变形分别减小了26.04%和35.40%.在纤维布与混凝土粘结可靠的情况下,若梁的配筋率不超过2.5%,加固梁发生钢筋疲劳断裂破坏的可能性极大.

玄武岩纤维布加固钢筋混凝土梁抗弯试验研究

为对BFRP加固梁提供试验数据和理论依据,进行了8根玄武岩纤维增强复合材料(BFRP)加固梁和3根对比梁的抗弯性能试验研究,分析了BFRP粘贴层数、混凝土强度等级、剪跨等对加固梁的抗弯性能的影响.试验结果表明,梁的抗弯承载力和抗弯刚度随BFRP粘贴层数、混凝土强度等级增加和剪跨的减小而提高,但不成线性比例;随粘贴层数增加,U型箍加宽或增加可有效防止端部的早期破坏.根据试验分析,提出了梁抗弯承载力计算公式,计算结果和试验数据吻合较好,且优于《规程》(CECS146:2003)公式计算值.

基于模型检验的构件验证技术研究进展

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行了详细的综合评述.首先对模型检验与构件可信性质验证的关系进行了探讨,接着对基于SOFA,Fractal,CORBA及各种特定构件模型的验证方法和基于转化思想的源码验证、面向源码的直接验证及面向可执行代码的动态验证方法分别进行了评述.最后,指出了基于模型检验的构件验证技术所面临的主要挑战和未来的发展方向.

统计数据质量是统计工作的“生命线”

经济的快速发展需要统计数据质量的不断提高。而人们对统计数据质量的认识先后经历了由狭义到广义的发展过程。数据质量是统计信息时用户需求的满意程度。近年来,我们统计数据质量管理工作取得了较大发展,表现在认识上、制度上和立法上。加强数据质量的评价和管理必须建立数据质量评价机制和管理体系,为此,要不断完善数据质量评价标准,切实加强对数据质量的评估和管理,逐步拓宽用户对数据质量的反馈渠道,积极借鉴有关国家数据质量管理的经验。

浅论基层统计数据质量的提升

统计数据质量是统计工作的生命线，影响基层统计数据质量的因素是多方面的，统计基层基础工作薄弱、统计方法制度与指标体系不够科学、基层统计人员的素质与责任心等都是影响基层数据质量的主要因素，加强统计基层基础工作，提高人员索质，完善统计调查体系．加强法制工作等都是提高统计数据质量的重要举措。结合县级统计部门基层工作的实践，就影响基层统计数据质量的因素做一些分析，并就如何提高基层统计数据质量进行粗浅的探讨。

强化统计工作 提升医院管理服务水平

科学有效的统计工作是医院提升管理服务水平的重要内容，它根据医院运行的政策和计划来制定，贯穿医院的整个决策系统，也是监测医院自身运行的一种重要手段。随着医疗制度的不断完善健全医院统计制度、加强医院统计队伍建设、提高统计的信息性、咨询性和科学性，成为医院加强统计工作进而提升管理服务水平亟待解决的重要问题。

三种不同手术入路广泛子宫切除对新辅助化疗后局部晚期宫颈癌患者的疗效及预后分析

目的:探讨开腹、完全腹腔镜下、腹腔镜辅助阴式广泛子宫切除这三种不同手术入路对新辅助化疗后局部晚期宫颈癌患者的疗效及预后差异。方法:选取2012年1月至2015年5月我院收治的145例接受新辅助化疗后进行手术的局部晚期宫颈癌患者为研究对象。根据手术入路的不同,将患者分为开腹组79例、腹腔镜组45例、腹腔镜联合阴式组21例。比较三组患者的临床指标、无病生存期(DFS)及总生存期(OS)的差异。结果:三组患者在术中出血量、手术时间、切除淋巴结数量、住院总天数等方面存在明显差异(P<0.05),开腹组的术中出血量最大,腹腔镜组的手术时间最长,切除淋巴结数量最多,腹腔镜联合阴式组的住院总天数最短。三组患者在淋巴结转移率、深肌层浸润、脉管浸润、宫旁浸润、术后辅助治疗等方面无明显差异(P>0.05),但开腹组的术中输血率较高(P<0.05)。开腹组、腹腔镜组、腹腔镜联合阴式组的并发症发生率分别为12.66%、8.89%、23.81%,总体复发率分别为6.33%、17.78%、19.05%,总体转移率为2.53%、11.11%、4.76%,差异无统计学意义(P>0.05)。全组患者随访5~76个月,开腹组、腹腔镜组、腹腔镜联合阴式组的3年总生存率分别为87.6%、83.4%、71.2%,差异无统计学意义(P=0.154)。3年无病生存率分别为82.3%、75.6%、66.5%,差异也无统计学意义(P=0.187)。结论:对接受新辅助化疗后的局部晚期宫颈癌患者实施手术是安全可行的。开腹、完全腹腔镜下、腹腔镜辅助阴式广泛子宫切除具有相似的远期疗效,但后二者对促进患者的围术期康复更具优势。

E级高性能计算机系统中监控分系统的挑战与设计

随着E级高性能计算机系统组装密度成倍增加,结点规模不断扩大,监控分系统在可扩展性、可靠性、可服务性和高效运维上面临巨大挑战。针对这些挑战,从架构、网络、功能和运维4个方面介绍了监控分系统的设计思路,并通过原型系统验证了部分设计的可行性与优势,对未来E级系统的构建具有较大的支撑作用。