泛Loeb可测集的S-饱和性

在 K-饱和的非标准模型中,研究了泛 Loeb 可测集 m(A),pns(~*X),cpt(~*X),fin(~*X),ns(~*X)的 S-饱和性.当 A 是紧致 Hausdorff 空间 X 的子集时,得到了 st~(-1)(A)是标准集的充分条件.     

C~3I系统工程可靠性评估技术研究

针对Ｃ￣３Ｉ系统分层管理拓扑结构模式，文章重点对系统可靠性度量指标及其相互关系、系统可靠性模型设计与可靠度计算等重要技术进行了研究。本文可对Ｃ￣３Ｉ系统工程总体技术设计可行性论证，以及系统验收评审提供参考。     

掺杂离子导体的粒子交叠广义晶格模型及其电导的粒子尺度效应

提出了一种掺杂离子导体（ＤＩＣ）的粒子交叠广义晶格模型，由此模型，推导随机－电阻－网络（ＲＲＮ）理论中３种导电键各自组分的几率，并采用有效介质近似（ＥＭＡ）计算了ＤＩＣ系统的电导及其粒子尺度效应。     

模型优适度辨识含水层补给进口的原理、方法和应用

本文阐述了一种新的研究成果——用模型优适度寻找含水层主进水口位置的原理、方法和应用。模型优适度作为衡量地下水模型场势与原型(矿区)场势相似拟合程度的量度,它凭借含水层地下水场势对源点的响应差异,判别模型源点位置与原型源点位置是否一致、接近或偏离。本文给出了模型优适度的计算公式和用统计分析方法对动态矩阵施行标准化的公式推演过程。通过多次模拟试验,绘出优适度的等值线图,为华北某矿圈定含水层补给范围,进行注浆堵水,大大地降低了矿井涌水量,在实践应用中获得初步成功。     

L3 L~＋L~－γγ事例的一种可能解释

本文用ＴＣ（Ｔｅｃｈｎｉｃｏｌｏｒ）模型，解释了Ｌ３Ｌ￣＋Ｌ￣－γγ事例，具体分析发现四个Ｌ３事例可以由过程ｚ→ρ°ρ°→Ｌ￣＋Ｌ￣－Ｐ°（γγ）产生。     

Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

基于微观渗流机理的宏观油藏数值模拟研究

处于高含水开发期油藏的剩余油分布主要受流体性质和岩石孔隙结构的影响，而经典数值模拟并没有考虑微观孔喉特征的影响。为此建立了描述微观孔喉特征的地层孔隙网络模型，并对构成网络的基本连线单元进行改进，使网络模型能更细致地描述油水分布特征和水驱油微观机理。利用逾渗理论计算了基于微观渗流机理的相对渗透率曲线，并将其应用到经典数值模拟计算中，实现了微观渗流机理与宏观数值模拟计算的结合。实例分析表明，利用该数值模拟计算方法得到的基于微观特征的剩余油分布更符合地下实际流体分布，其结果可为调剖堵水、化学驱提供技术参数。     

基于语义WEB的远程学习支持系统构建

在概述语义WEB的基础上,设计一个面向学习者用户网站的语义WEB体系结构,提出了多代理结构的学习支持系统中的学习者模型本体和学习者模型代理.目的是为了说明建立学习者本体及其代理对于学习者的有效学习所带来的益处.