BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。     

简单有机物分子式的确定

在中学有机物化学教学中,经常遇到分子式的确定问题.按传统的方法进行确定往往需要花费较长时间.根据现行教材特点,要求学生掌握和了解的有机物分子均为分子量较小的简单有机物分子,通常分子相对质量在100以下,而类别又仅限于烃、一元醇、一元醛、一元羧酸、一元酚、简单的酯、氨基酸等.根据自身多年的教学积累,吸取他人先进做法,将我在教学中的做法作一介绍.     

一种考虑摩擦与排斥的人员疏散元胞自动机模型

在人员疏散过程中, 人与人之间、人与环境(如建筑物)之间存在相互作用力, 包括吸引力、排斥力和摩擦力. 3种力对人员疏散的行为、速度和效率起着关键作用. 在以往的模型中, 吸引力可以得到较好地描述, 但对排斥力和摩擦力的定量描述还不完善. 近年来提出的多粒子自驱动模型(社会力模型)可以较好地体现3种力的作用, 但由于它是一种连续型模型, 运算的速度较慢并很难得到改善. 目前研究较多的离散型模型, 如元胞自动机模型和格子气模型等, 可以达到较高的运算速度, 但很难考虑到摩擦力与排斥力的作用, 造成运算结果误差较大. 针对这种情况, 本文在经典元胞自动机模型的基础上, 量化确定了摩擦力和排斥力的运算规则, 提出了一种新的元胞自动机模型. 通过将模型的运算结果与多粒子自驱动模型进行比较表明, 新模型在人员行为、疏散速度以及“快即是慢”效应等方面都可以得到与后者相同的结果, 而运算速度则与普通的元胞自动机及格子气模型相当, 比社会力模型大为提高.     

面向网络时代的中国机读目录格式结构探析

MARC是历史最悠久、最成熟的元数据模式，是一种为描述、存储、交换、处理及检索信息资源而精心设计的标准。作为MARC家族的一员——CNMARC是原北京图书馆依据国际图联(IFLA)的UNIMARC为基础研制的中国机读目录格式。经过几十年的发展，可以说是目前系统最完善、结构最复杂、标准最严谨的元数据格式，也是中文文献资源管理中最具权威性的一种标准化数据处理格式。     

R0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质，给出了一些特别的R0等式，并据此得到了真布尔元对R0代数分类的充要条件，为格上研究R0代数开辟了一个新的方向。     

用计算机方法求一元三次方程的根

本介绍了高等数学的近似计算方法中切线法和二分法的思想，再利用其思想结合计算机中的C程序设计语言，编写出了求一元三次方程根的程序，该程序稍加修改，即可成为求更高次方程根的程序。     

环同态象的结构

本文对一类较为特殊的环给出商环分类的一种方法，为进一步研究商环的性质提供了较为直观的模型。