台儿庄泵站布置研究

台儿庄泵站工程是南水北调东线工程的第七级泵站,位于山东省枣庄市台儿庄区境内,第一期工程台儿庄一站,设计流量125 m3/s,计扬程4.53 m.台儿庄泵站工程主要由进水渠、主泵房、副厂房、安装间、出水渠、清污机桥等组成.     

OWL的本体推理方法研究

针对RDFS与OWL语言之间的兼容性问题,从本体推理机的角度研究了扩展RDFS推理机支持OWL语义的两种方法。在Sesame系统的基础上,通过规则扩展的方法实现了升级方案对RDFS和OWL语言双重支持功能。实验测试表明,扩展后的本体推理机完全支持RDFS语言,其推理能力也大大超过了单纯的OWL语言推理机。     

软件体系结构综述

随着计算机软件的快速发展,软件的复杂性也越来越高,软件体系结构就显得非常重要.文章介绍了软件体系结构的基本概念、常见结构及其分析评测方法,最后给出了软件体系结构的未来发展方向.     

浅析当代大学生的网络沉溺现象及社会对策

本从青年大学生沉溺于网络现象的表现入手，分析了大学生网络沉溺的危害，提出了防范和应对大学生网络沉溺的建议性社会对策。     

白山抽水蓄能电站岔管结构设计

白山抽水蓄能电站输水系统岔管衬砌采用钢筋混凝土结构,本文介绍了岔管位置的选择、岔管体形及结构的设计、三维有限元模型的建立、围岩及混凝土衬砌应力和变形的计算。     

白山水电站二期三期枢纽布置设计

白山水电站枢纽工程分一、二、三期,一期枢纽由三心圆重力拱坝及右岸发电系统组成,总容量900MW;二期工程为左岸发电系统,总容量600MW;三期为抽水蓄能电站,总容量300MW.一期、二期已建成运行多年,三期工程已完工投入运行.     

大藤峡水利枢纽工程船闸位置选择

本文针对大藤峡水利枢纽工程坝址河段航运要求高,货运量大,通航建筑物位置重要的特点,根据枢纽坝址区地形、地质条件,结合枢纽工程其它水工建筑物的布置、施工条件、运行管理等因素,拟定了两个方案进行比较,提出了经济合理的船闸位置方案。     

ZK60镁合金ACPP挤压棒材组织演变及其时效析出强化

利用630T挤压机对ZK60镁合金棒材挤压工艺进行试验研究。设计了分流环形通道焊合挤压(ACPP)模具。通过对坯料、ACPP挤压态和ACPP挤压态+人工时效热处理三种状态下的性能进行了测试和分析。通过在420 ℃下的ACPP,成功地挤出了超级细晶ZK60镁合金棒材。试验结果表明,在前期的分流和等通道挤压过程中晶粒已经有一定程度的细化,在进行了焊合完成整个ACPP挤压之后,晶粒细化更为明显。最终晶粒尺寸大多在20～30 μm之间。室温下的挤压态抗拉强度为312 MPa,通过人工时效热处理后的抗拉强度为331MPa,析出强化是抗拉强度高的主要原因;这两个状态对应的硬度分别是59 HV和57 HV。     

大顶子山水力充填粉细砂坝设计及施工

在大江大河上用水力充填粉细砂筑坝是土坝技术上的进步,松花江大顶子山水力充填粉细砂坝的设计及施工实践有助于这一技术的完善和发展.介绍大顶子山水力充填扮细砂坝的高压旋喷混凝土墙防渗、压重法解决砂基液化、多台小型水力充填设备多点充填等设计及施工问题.     

简单单调约束逻辑程序的良基语义研究

在介绍约束逻辑程序的相关概念的基础上,研究了简单单调约束逻辑程序约束原子的正文字前缀幂集展开方法,并证明展开后的正规逻辑约束与约束逻辑程序的等价特性.分析了正规逻辑程序的交替不动点良基模型建立的原理,将简单单调约束逻辑程序等价展开为与其等价的正规逻辑程序,以求展开后的逻辑程序中的给定算子的最小不动点为切入,给出了简单单调约束逻辑程序的交替不动点的良基模型.论证了文中提出的简单单调约束逻辑程序良基模型定义的合理性,说明把约束逻辑程序转化为正规逻辑程序是可行的.