知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

运输船队系统分析的一种模糊数学规划模型

运输船队系统分析的工程实际问题中大量碰到的都是模糊变量,过去往往把它们作确定性变量处理,借助经典数学规划方法得出最优解.模糊数学则通过隶属度的概念巧妙地将模糊思想与经典数学的精确性相结合.运用模糊数学规划模型进行运输船队的系统分析,为使分析过程和分析结果更加符合工程实际情况提供了一条新的途径.     

陕西省城市人口与城市用地异速生长关系研究

通过构建异速生长模型,探讨陕西省城市人口增长与城市用地扩张相互之间的关系.结果表明,从2001年到2010年,陕西省城市人地关系呈负异速生长关系,城市用地扩张整体上处于不合理的水平,其中西安、宝鸡和咸阳等关中地区城市用地扩张速度最快,其异速生长系数远远超过了临界值,在以后的城市规划中应加强针对性的调控.     

拓展仪器的用途——恒压滴液漏斗在分水实验中的应用

将恒压滴液漏斗用于分水实验中代替常规的分水器.实验证实其操作简单,分水效果明显,且实用性强,具有很好的应用前景.培养了学生动手能力,创新能力,科学思维能力.     

KdV方程的Hamilton正则表示及应用

根据变分理论，通过适当变形后给出关于ＫｄＶ方程的一则Ｈａｍｉｌｔｏｎ正则表示，从而得出了在周期性边界条件下关于ＫｄＶ、ＭＫｄＶ、ＰＫｄＶ和ＨＫｄＶ等方程在Ｘ方向上的守恒律。     

第三定律与时间的“端点”

通过对奇民性和大范围时空热性质的讨论,指出奇点定理是破缺广义热力学第三定律的结果。广义第三定律表明,时间没有开始和结束。     

35 ka BP climate simulations in East Asia and probing the mechanisms of climate changes

Interglacial or postglacial climates are all of charac-teristic of warmer conditions. However, if condition asso-ciated with the warm feature is wetter or drier than today,it would produce different impacts on natural environ-ments and human society. Quaternary studies found thatclimate with warm-dry or warm-wet conditions had oc-curred in China during the last 40—30 ka BP[1]. For ex-ample, it was warmer than the present during themid-Holocene (3—8 ka BP) and the late phases of MarineIsot…     

Linear sand ridges on the outer shelf of the East China Sea

Based on the latest full-coverage high-resolution multi-beam sounding data, the distribution of the linear sand ridges on the outer shelf of the East China Sea （ECS） is studied with quantitative statistical analysis. The study area can be divided into the northeastern part and the southwestern part. Sand ridges in the northeastern area, trending 116°N, show obvious linear character and shrink to the inner shell Sand ridges in the southwestern area, trending 120°N -146°N, tend to have net form. Sand ridges gradually become sand sheets in the center part of study area. Sand ridges are distributed landward to the isobath of 60m, distributed seaward to the water depth of 120 m in the northeast and 150 m in the southwest. Immature sand ridges are observed at water depth of 130-180 m in the southwestern depressions. The acoustic reflection properties of the internal high.angle inclined beddings of the sand ridges are analyzed based on the typical seismic profiles close to the research area. Lithological analysis and dating of 4 boreholes and 12 cores indicate that the widely distributed transgressive sand layer with high content of shell debris which was formed in the early-middle Holocene is the main composition of the linear sand ridges on the outer shelf of the ECS. The dominating factor in formation, developing and burying of the sand ridges is the variation of water depth caused by sealevel change and the rate of sediment supply. In 12400 aBP the cotidal lines of the M2 tidal component were closely perpendicular to the strike-directions of the sand ridges in the study area, and the tidal wave system during 12000-8000 aBP might play a key role in the formation of the linear sand ridges which are widely distributed on the outer shelf of the ECS.     

锗量子点超晶格的光学特性

对自组装生长的Ge量子点超晶格样品进行了光荧光谱(PL谱)和拉曼散射谱(Raman谱)实验测量研究．对Si的TO发光峰和Ge的发光峰特征进行了深入讨论，通过对变温PL谱的拟合及分析提出了对Ge量子点尺寸和其电子有效质量一种新的测评方法；首次在非共振Raman模式下观测到低频声子模，研究了样品的结构组份、应变及声子限制效应问的关联性．     

ME4ET:一个基于EDOC ER模型的模型转换工具

模型驱动体系结构（MDA）是一个以模型和元数据为中心的软件体系结构．在MDA体系中，抽象模型是软件开发的主要产品．与传统的软件开发过程相比，模型转换，特别是平台无关模型和平台相关模型之间的转换，在MDA体系中具有重要作用．模型转换需要自动化的模型转换工具的支持以减少软件开发的成本．介绍一个MDA模型转换工具——ME4ET．陔上具支持EDOC ER模型的建模，并支持将EDOC ER模型自动转换为数据库平台和EJB平台上具体的实现，主要介绍ME4ET工具的模型转换规则和算法．