基于OWL DL的本体推理机设计与实现

语义Web中描述逻辑和本体论日益受到关注,成为学术界的一个研究热点.首先给出了与OWL DL等价的描述逻辑SHOIN(D)的语法和语义,以及OWL DL本体知识库各模型元素的描述形式.然后介绍了OWL-API、Pellet-API、Jena-API推理机的工作原理和推理编程的核心技术,提出一种基于Pellet和Jena的叠加推理机框架.最后开发了一个OWL DL本体推理机原型,实现了本体知识库一致性、分类和可实现性推理服务.     

应力约束下桁架结构拓扑优化的静定基法

对于从基结构出发的单工况应力约束下使桁架结构重量最轻的最优拓扑,必定是静定结构;对于多工况应力约束下桁架结构的最优拓扑大多数是静定结构。而对于超静定结构的求解,目前的方法多是转化为静定的基本结构来求解。由此,本文提出一种求解桁架拓扑优化问题的新分析方法——静定基法,给出了静定基法的基本思想和求解策略,用解析方法求解了单工况应力约束下的桁架拓扑优化问题,研究了多工况应力约束下最优拓扑为静定结构的桁架结构,给出了优化问题的精确解。算例表明了该方法的有效性和可行性。     

校外实习基地的建设与实习模式探索

校外实习在工科专业的教学体系中具有重要的地位和作用,实习基地建设是加强实践教学环节、培养学生实践能力和创新能力的重要因素.本文结合作者指导校外实习的教学经验,提出了校外实习基地建设、促进实践教学水平、提高育人质量的思路.并对近年来探索并取得良好实施效果的实习模式进行了总结.     

前瞻性开放式金融实验室的建设实践

重庆大学经济与工商管理学院实验中心是国家级教学示范中心,在开展金融实验教学方面有独到的特色,为适应未来人才市场的需求,结合目前正在使用的金融教学系统;为辅助学院的财经类学科建设;为进一步推进教、学、研各领域的全面发展及成果转化,提出了建设前瞻性开放式金融实验室的目标框架并加以实施。     

H0^2（I）空间上的B-样条插值小波基

本文构造了Soblov空间H0（I）（其中I为有界区间）上的一个五次B-样条插值小波2基,这是一个半正交Riesz小波基.最后给出了小波基的公式.     

高职院校专业群综合型实训基地的建设

文章分析了专业群实训基地建设的意义、目标,围绕专业集群和资源集成着重从七个方面论述了专业群综合型实训基地建设的主要内容,并对专业群综合型实训基地建设的自我考评提出四点意见。     

INVOLUTIVE BASES UNDER COMPOSITION

In this paper, the behaviors of involutive bases under composition operation are studied. For two kinds of involutive bases, i.e., Pommaret bases, Janet bases, we study their behavior problems under composition. Some further problems are also proposed.     

偶氮苯双席夫碱的合成及其热色性

以对硝基苯甲醛为原料在氮气的保护下，用金属镁与甲醇还原得到了偶氮双醛，然后再与胺作用，得到了7个偶氮双席夫碱的化合物并应用物理方法进行了表征，通过加热显微观察，它们都具有热色性，其中4个具可逆热色性，并且它们的可逆热色性温度在160－200℃，偶氮双席夫碱的热色化合物的熔点峰及变色峰也通过DSC进行了测定。     

检验法的选择

当数学期望已知时,估计或检验方差所使用的统计量是x~2分布而不是u分布。     

含硫希夫碱配合物的研究(Ⅳ)——邻羚基苯甲醛和β-萘酚醛与双硫代肼基甲酸酯衍生的希夫碱配合物

从S—甲基双硫代肼基甲酸酯与邻羟基苯甲醛和β—萘醛酚衍生出两种含硫希大碱和,以这两种化合物为配体,合成了与锰,镍的四种新的螯合物。测定了它们的化学组成、溶液的电导、磁性、可见—紫外光谱、红外光谱以及顶磁共振谱等性质。实验结果表明,Ni(Ⅱ)与上述两种配体形成具有[NiL_2]形式的反磁性的平面正方形结构,而Mn(Ⅱ)在形成配合物过程中转化为Mn(Ⅲ),形成具有[MnL_2.OAC](式中L~-为单价双齿阴离子配体,CAO~-为醋酸根)形式的四方锥结构。