河北省承德地区大地热流

地温监测孔长期地温监测资料显示，承德市地区恒温带深度是20m，恒温带温度是9.9℃。结合承德上板城镇CD-01地热地质勘探孔测温资料，本文利用恒温带温度、井底温度数据，通过回归分析方法，获取了钻孔真实地温分布信息。采集CD-01钻孔90块岩心样品，测试了岩石热物性参数。CD-01钻孔大地热流计算结果是46.4 mW/m2，高于早期承德地区大地热流研究成果（44.8 mW/m2和30.1 mW/m2），但都低于我国大陆地区平均热流值（60.4±12.3 mW/m2）和全球大陆地区平均热流值（65.0±1.6 mW/m2），为低热流值，反映了承德地区的低热流背景。     

基于含水层介质中铁的类Fenton技术去除地下水中硝基苯

为了将Fenton氧化技术氧化能力强的优势引入到硝基苯污染地下水的原位化学修复中,通过实验模拟在地下环境温度为8~10℃、pH为中性条件下,以含水层介质中铁为催化剂的类Fenton技术去除地下水中硝基苯的过程,比较不同浸提剂对含水层介质中铁的浸提效果,并对氧化硝基苯的反应中自由基生成规律和催化氧化机理进行研究。研究结果表明:浸提剂强化了介质中各形态铁的释放,浸提作用存在滞后性,浸提36 h后铁在浸提液中浓度达到峰值;浸提剂DCB对介质中Fe3+和Fe2+的浸提效率最高,分别为62.92%和30.17%。催化氧化反应中硝基苯与H2O2的最佳摩尔比为1:200,该条件下硝基苯去除率最大为80.2%;催化氧化反应过程中HO.的变化可分为3个阶段,即0~30 min的快速生成阶段,30~120 min的生成速率降低阶段和120~240 min的稳定阶段。     

基于.NET的Web Framework的实现

互联网的普及推动了Web应用的迅速发展,Web应用框架为构建高性能、可扩展的Web应用提供了强大的支持。本文从架构和框架理论出发,提出了一种基于.NET平台的Web Framework,达到简化Web应用系统开发的目的。     

基于UML的软件结构规范与精化

提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构.UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型.还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性.     

转体球铰偏心距计算及偏载作用下结构受力分析

【目的】当转体桥梁上部结构的重心不在球铰中心线上时，桥梁上部结构将产生偏心荷载，会对球铰受力产生不利影响。因此，有必要对偏载作用下的球铰结构受力进行分析。【方法】基于简化算法理论、弹性半平面体边界受集中力理论，对转体球铰的偏心距进行理论计算，并根据计算值来开展偏载状态下30 000 t转体球铰的受力特性研究。在保证计算精度的前提下，将四氟滑片简化为四氟环条，能有效提高球铰有限元的建模效率。【结果】研究结果表明：球铰在正载和偏载作用下，球铰主要受力部件的强度和刚度均满足使用要求。当球铰处于偏载状态时，上球铰的应力增幅达18.4%。【结论】研究成果可为桥梁转体施工球铰设计及受力验算提供理论基础。     

地下连续墙内埋管地热换热器传热模型

根据地下连续墙内埋管的结构形式和传热特点,建立开挖面以上和开挖面以下两部分的地下连续墙内埋管传热模型,并采用格林函数法推导其解析解.该模型能求解带有随时间变化的内热源、非齐次边界条件的复合介质热传导问题,可用于地下连续墙及周围土体内的温度场分析,还可用于地下连续墙内埋管布置形式、埋管间距以及间歇运行时间等参数的优化分析.     

基于状态空间模型的中国能源消费与经济增长关系研究

以能源消费为分析主线,建立了中国1978—2010年能源消费与经济增长之间的变参数状态空间模型,并运用Granger因果检验、协整检验、脉冲响应等多种方法,检验能源消费与经济发展之间的动态关系,从而得出中国能源消费与经济增长之间的运行规律及其启示.     

寒区隧道地源热泵供热系统及优化分析

为解决寒区隧道冻害问题,将地源热泵型供热系统应用于内蒙古博牙高速林场隧道中.系统由取热段、加热段、热泵和分、集水管路组成,可用于隧道洞口段衬砌和排水系统加热.在分析研究该系统传热机理的基础上,建立考虑热阻和热源的隧道取热段传热模型,利用叠加原理、格林函数法和拉普拉斯变换法相结合的方法获得其解析解.热交换管间距对热交换管换热量有显著影响,随着管间距的增加,换热量呈线性增加.热交换管换热量随隧道埋深的增加而呈线性增加,热交换管应布置在埋深深的部位.与热泵持续运行相比,间歇运行有利于土壤温度场的恢复,有助于提高热泵运行效率.     

在Windows XP下用DriverStudio开发USB设备驱动

USB设备的驱动程序设计是开发USB外设的关键。本文介绍了一种在WindowsXP下结合使用DriverSmdio、DDK、VlsualC＋＋开发USB设备驱动程序的方法。采用这种方法，可大大提高USB设备驱动的开发速度，缩短开发周期。     

UML状态机视图的RSL形式描述

使用RAISE规范语言RSL给出了UML状态机视图的形式描述.通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性.最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析.