泛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作为工具，给出了一种分子螺旋结构三维图形表示的新方式。通过实例介绍了存在多条螺旋线的复杂有机分子的三维模型。结果表明，文中提出的方法，将有益于进一步完善和推广有机分子的螺旋结构理论。     

中长跑对高校女生心理素质培养的作用

研究目的:发展高校女生的心理素质,提高新世纪人才质量.研究方法:采用问卷调查、实验、比较等方法,验证心理训练及教育效果.主要结果和结论:在中长跑教学中所实施的心理训练方法是有效的,是培养女生心理素质的重要途径.建议:在普通高校体育教学中,应注重对大学生进行全面的心理素质训练和培育.