H3( -c2)中的CMC-c曲面

讨论了对称空间SL(n,C)/SU(n)中的曲面.首先,讨论了H3(-c2)中的CMC-c曲面(常中曲率为c的曲面)与R3中的极小曲面的关系,利用初等方法证明了H3(-c2)中的一个CMC-c曲面族,当c趋于零时,收敛到R3中的一个极小曲面的结论;其次,把经典的Ricci定理推广到对称空间SL(n,C)/Su(n)上.证明了单连通黎曼曲面(M2,ds2)可以共形等距地浸入到SL(n,C)/SU(n)上,且有全纯右Gauss映射的充分必要条件是ds2的截面曲率K<0及Ricci条件——-K·ds2的截面曲率为 1.     

ICAI 系统结构

计算机辅助教学（ＣＡＩ）是指用计算机帮助或代替教师完成部分教学任务的一种应用形式,将人工智能技术与ＣＡＩ相结合可以克服传统ＣＡＩ的许多弱点,改善教学效果,提高学习效率。文章提出一个智能计算机辅助教学（ＩＣＡＩ）系统结构,并对其主要组成部分的功能和相互之间的关系,及其中的知识库结构进行了讨论。     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

用MFRG和DPIR方法讨论三峰纵场中S—5/2无规横向伊辛模型

用平均场重整化群(MFRG)和离散路径积分表示(DPIR)相结合的近似方法来研究三峰分布纵场中自旋为5/2的无规横向伊辛模型(RFTIM),得到并讨论其相图和临界性质。     

智能化数据挖掘系统

目前通用数据挖掘系统需要由用户自主去选择需要的数据挖掘算法．这就使这些通用数据挖掘工具很难被那些不熟悉数据挖掘术语和数据分析技术的普通用户所使用．为了解决这个问题,文章讲述了一种基于案例推理的智能化数据挖掘系统,这种系统的主要功能是根据用户提交的任务书,在算法库中查找相应的算法自动实现数据挖掘,将用户从繁重的算法设计、算法选择中解脱出来．     

转动算符在纠缠态表象中的表示

利用量子力学中的Dirac符号法、粒子数算符的本征值方程及量子表象的完整性, 给出了转动算符在纠缠态表象中的表示.     

基于结构面粗糙度随机场表征的抗剪强度变异性

岩体结构面抗剪强度参数具有变异性是客观事实,而受限于室内外直剪试验成本而导致抗剪强度变异性指标获取困难是目前制约岩质边坡可靠度评价发展的主要原因之一。鉴于此,本文提出了一种利用少量实测结构面粗糙度曲线样本和岩块物理力学参数,结合JRC-JCS剪切强度模型、随机场理论和非侵入式离散元数值试验,获取结构面抗剪强度参数变异性指标的方法。将此方法应用于某隧道进口段岩质边坡可靠度评价中,研究发现：（1）该岩质边坡主控结构面粗糙度纵坐标方差为0.012 5 cm2,相关距离为0.75 cm,生成的随机粗糙度曲线与实测样本相似;（2）结构面粘聚力和内摩擦角均值分别为0.427 MPa和54.9°,标准差分别为0.229 MPa和4.47°,变异系数分别为53.63%和8.14%;（3）此边坡稳定性系数服从正态分布,失稳概率为2.8%,可靠度为1.52。     

广义C0半群的表示与逼近

广义抽象柯西问题的解可表示为广义C0半群，本文给出了广义C0半群的指数公式、Laplace反演表示以及逼近原理。     

基于不确定性推理与Fuzzy评判模型的智能选药系统

针对目前非处方药使用中用药不对症、药品种类多难以选出最满意药品的问题,提出了开发非处方药智能选择系统,用计算机实现常见轻微疾病的专家级诊断,获得对症的非处方药,然后根据用户购药时关注药品的不同角度和不同程度,采用二级模糊综合评判模型对对症的非处方药进行满意度评价,按满意度高低依次推荐。智能选药系统可以帮助公众方便地获得最满意的对症药品,指导公众安全、合理使用非处方药。     

Knowledge transfer across scientific disciplines

Thomas Kuhn suggested that symbolic generalizations are applied to concrete systems by a process involving exemplars and analogical reasoning. Using the related concepts of theoretical and formal templates, I argue that the process of applying templates can in some cases be made explicit and that we do not need to rely on similarity relations and tacit knowledge. In so doing I show how some formal models can be transferred from one scientific field to another. Examples include scale-free networks, the Lotka-Volterra model from biology, and the Goodwin model in economics. I also argue that this explicit approach has advantages over the more psychologically oriented approach of Kuhn and explain the sense in which templates do and do not produce unification.