OWL本体映射到复合元的研究

OWL作为W3C推荐的描述本体的语言,在语义网中起着举足轻重的作用。复合元作为对复杂问题进行形式化描述的基础,在解决矛盾问题的过程中起着重要的作用。通过对OWL中的元素、复合元概念进行分析,给出了两者间概念的相应对照关系及其相关映射规则,研究了如何利用现有的OWL本体,构建与其相应的基元、复合元,为OWL本体映射到可拓学中的基元、复合元提供方法依据,从而建立解决矛盾问题的知识领域。     

破口事故比例模拟中安全壳破口源项参数评估研究

采用基于破口总焓相似、强迫射流及浮力羽流流场相似及传热传质过程相似的多约束分析体系,归纳与质能源项相关的传热传质过程、耗散过程以及自然循环过程的时间尺度,确定模拟实验源项满足的各种模拟工况所必须遵循的设计约束条件。分析表明,自然循环过程时间常数是约束不同物理过程最重要的基础参数,也是模拟装置设计的基本约束参数。给出适用于确定安全壳破口源项试验参数的计算关系式,用于计算获得试验装置的几何参数和试验边界条件。     

向阳闸库区水体现状及管理对策

阐述了向阳闸库区环境整治工程蓄水后的水质变化情况,分析了水体轻微富营养化的原因,提出了今后对库区水环境管理的对策.     

用X射线荧光分析技术测定镀,包金层的厚度

把Ｘ射线荧光分析和低能γ射线散射技术相结合，准确地测量了镀、包金制品的镀、包金层厚度。可测定的最大镀、包层厚度为７０μｍ，测量准确度好于１０％。     

定理证明中超归结法的实现

本文介绍了作者用PDP-11-03微型计算机进行定理证明的主要过程。所用方法是在 Robinson教授 1979年提出的新颖方法的基础上经过改进后的算法。实验表明,改进后的算法使定理证明效率较Robinson算法快3倍左右。     

浅淡PCCP管道安装的质量控制

近年来,随着现代化城市进程的不断加快,城市供水工程的建设关注度逐渐提高,人们对供水工程管道施工的要求也越来越高。本文结合吉林省中部城市供水工程实例,浅淡PCCP管道安装的质量控制。     

太阳能蓄热分层水箱数值模拟优化分析

蓄热水箱能够存储和调配能量。将蓄热水箱应用到太阳能热水系统中,可以弥补太阳能的不稳定性和不连续性,有效地提高太阳能热水系统的热利用率。文章基于小型太阳能热水系统,建立蓄热水箱物理模型,应用Fluent软件模拟分析了各个工况下蓄热水箱的温度分层情况,从而寻求较优的温度分层。分析结果表明:当热水入口质量流量小于2.8 kg/s时,蓄热水箱的温度分层比较明显;当热水入口质量流量大于2.8 kg/s时,随着热水入口质量流量逐渐增大,蓄热水箱温度分层越来越不明显;热水入口温度与水箱初始温度对于蓄热水箱温度分层影响不大;当热水入口质量流量为2.8 kg/s时,存在最佳热水入口直径(9 mm),此时蓄热水箱冷、热水不发生混合,蓄热水箱的热利用率较高。