泛Loeb可测集的S-饱和性

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

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

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

Petri网系统的可达性分析

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

锤击沉管灌注桩施工时应注意的几个问题

锤击沉管灌注桩应用非常广泛.从桩位的确定、沉管深度、混凝土质量、钢筋笼振入长度、桩身混凝土凿除等几个方面,提出了提高锤击管灌注桩施工质量的一些建议.     

基于DirectX的视频编程

介绍了采用DirectX技术的微机上进行视频编程的原理，并给出了视频叠加的应用例子。     

Numerical investigation of confined swirling gas-solid two phase jet

This paper presents a k-e-kp multi-fluid model for simulating confined swirling gas-solid two phase jet comprised of particle-laden flow from a center tube and a swirling air stream entering the test section from the coaxial annular. A series of numerical simulations of the two-phase flow of 30μm, 45μm, 60μm diameter particles respectively yielded results fitting well with published experimental data.     

有机分子螺旋结构的确定和三维表示

为了正确地判定有机化合物分子的螺旋结构并进行直观地描述，进而有效地分析其螺旋结构和光学活性的关系，根据立体化学的原理，提出了一种易于操作的判定有机化合物分子螺旋结构的方法，并用分子模型建造软件Weblab－ViewerPro.4.2作为工具，给出了一种分子螺旋结构三维图形表示的新方式。通过实例介绍了存在多条螺旋线的复杂有机分子的三维模型。结果表明，文中提出的方法，将有益于进一步完善和推广有机分子的螺旋结构理论。     

用MATLAB进行现代控制理论分析与设计

利用MATLAB对现代控制理论进行分析,内容主要包括:状态空间模型的创建、变换、互连,能控性,极点配置,能观性,观测器设计,观测器—控制器设计等。用MATLAB结合数学工具进行现代控制理论分析,可使分析过程简化,结果直观。     

Web-Based Information Extraction Technology

Information extraction techniques on the Web are the current research hotspot. Now many information extraction techniques based on different principles have appeared and have different capabilities. We classify the existing information extraction techniques by the principle of information extraction and analyze the methods and principles of semantic information adding, schema defining,rule expression, semantic items locating and object locating in the approaches. Based on the above survey and analysis,several open problems are discussed.