北京星河湾小学采暖系统改造及小区供热设计的探讨

本文分析了建筑采暖经常遇到的问题：采暖供水、回水的连接问题;采暖系统阻力计算;单体建筑供热系统与整个小区采暖系统的设计方案等。     

云岗矿矸石山生态恢复综合治理的研究

本文以同煤集团云岗矿矸石山为对象,对生态恢复治理进行了研究。分析了云岗矿矸石的现状以及对环境的影响,阐述了综合治理设计原则及规划,从设计、施工、生态效益等视角对云岗矿矸石山生态恢复综合治理进行了分析,治理方案达到了对矸石山彻底治理的目的,有着很好的生态效益和社会效益。     

德州市加大村村通自来水工程建设管理的做法

自山东省政府启动村村通自来水工程以来,德州市把村村通自来水工程建设作为实践“三个代表”重要思想、扎实推进社会主义新农村建设的一项德政工程、民心工程来抓,科学规划,攻坚破难,埋头实干,取得了显著成效。目前,全市农村自来水受益人口已达165万人,自来水普及率41%。特别是在资金投入方面,多方筹集,加强管理,为村村通自来水工程奠定了坚实的物质基础。1多方筹集建设资金德州市村村通自来水工程平均每年需投入5亿多元。为保障村村通自来水工程建设资金,必须实行多渠道、多层次、多形式的筹资方式。1.1政府补助努力争取中央、省补助资金,…     

基于扩展自动机的服务组合静态与动态验证方法

针对目前Web服务组合研究中缺少对定量属性的验证以及在服务运行过程中缺乏对出现异常时的故障处理等问题,提出了一种基于扩展有限自动机的Web服务组合静态与动态验证方法。该方法首先对有限自动机进行扩展,建立了一个可以描述数据及时间等信息的Web服务组合形式化模型;基于该模型,采用计算树逻辑(CTL)描述相关属性,并利用模型检测工具UPPAAL对Web服务组合的行为属性、时间属性以及数据属性等进行了验证;最后结合所建立的诊断模型,给出了一种能够对Web服务组合运行过程中出现异常时进行有效处理的错误诊断算法。     

基于XYZ/ADL的异步Web服务组合描述与验证

Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证.首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映...     

宁津县城市雨洪资源利用研究

宁津县地处鲁西北平原地区,传统的城镇化建设改变了该县天然状态的水文机制,使雨洪管理问题突出。在近年来的城镇发展和规划中引入低影响发展的理念,通过不同的工程措施、非工程措施的建设和政策措施的引导,充分利用城市雨洪资源,取得了显著的成效。     

李家岸引黄灌区续建配套与节水改造工程显成效

李家岸引黄灌区于1971年建成引水,设计灌溉面积21·43万hm2,渠首设计引水能力100m3/s,总干渠全长95·91km,承担着临邑等6个县(市)的农业灌溉任务。自1999年以来,李家岸引黄灌区实施了节水改造工程,共完成投资5179·48万元,其中国债2200万元,地方自筹资金2979·48万元,共衬砌总干渠16·5km;衬砌干渠19·3km,新建维修建筑物137座,建设测水量水站点5处等。据测算,改造渠段水利用系数提高了8%,年可节水3800万m3,改善灌溉面积1·913万hm2,效益十分显著。在2005年水利部灌区续建配套与节水改造项目考核评估中被评为优秀。1主要做法1·1强化领导,健…     

中专政治课教学初探

中专政治课门类很多,开设有<哲学>、<法律>、<世界观人生观>、<邓小平理论>、<职业道德>、<市场经济>等等,目的是增强学生的理论知识,了解国家政策,树立正确的世界观、人生观和价值观,其意义是显而易见的.但由于种种原因,在中专学校中普遍存在着学生对政治课不感兴趣,政治课教师课难教的现象.     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.