福井—石桥交通流模型高密度区平均场方程

对于一维交流流的含高速运动车（Ｖｍａｘ＝Ｍ〉１）并可随机延迟的福井－石桥元胞自动机模型，从车头间距的观点进行了研究，给出了车头间距随时间演化的基本方程，定义了长车距和短车距的概念，并分别计算了它们的出现概率，在高密度（ρ≥１／Ｍ）条件下证明了长车距的长度针缩短，任何初态都将演化到所有车头间距皆为短车距的稳定态，从而严格地证明了对于有随机延迟的一般福井－石桥交通流模型，其高密度区域车流渐近稳定态的基     

对称检测算法的研究

对称是逻辑综合，逻辑优化以及映像技术领域中一个非常重要的性质，对于对称函数，可以使用特殊的逻辑综合程序来改进设计结果，使用对称也可以提高映像技术和等价检测的有效性，提出一种用于OBDD布尔函数对称性检测的精确有效的算法。     

岩体中无限区域软弱夹层的模拟

提出平面四结点映射夹层无限元模型及相应算式，在半无限区域的岩土工程中，用此单元与夹层有限单元耦合系统模拟无限区域的软弱夹层，节省了大量的数据准备工作量和机时，了计算精度。     

状态方程法预测四元系超额体积

利用ＦＲＫＳ立方状态方程和改进的ＬＬ混合规则，拟合二元系超额体系的实验数据，得到二元参数。在不引入任何多元参数的情况下，直接用二元参数预测四元系的超额体积。对四元系的计算结果表明，该方法能给出较好的预测结果。     

ATM网络中基于测量的接入允许控制的研究

如何充分利用现有ATM局域网络资源和向用户提供保证的服务质量(QoS)是国内外十分重视的一个研究课题.基于测量的网络性能分析方法是作用于一个已经存在的真实网络系统上,对现有的网络资源进行数据采集、性能分析;接入允许控制是对一个ATM交换系统进行流量管理.着重讨论将两者结合起来进行ATM网络资源管理,以获得优化ATM网络资源和保证的QoS的作用.     

计算机辅助教学讲授平台的研制与典型课件设计

随着计算机辅助教育的迅速发展，计算机辅助教学（CAI）要求课件设计工具既要内容丰富，又要简单易用。文章介绍的计算机辅助教学讲授平台（CI）具备这两个特点。通过介绍讲授平台CI组成、课元制作、课元库组织，课件设计，可以看出该平台具有广泛的使用范围以及课件设计的发展趋势。     

Hilbert——代数的右拟交换元

引入Ｈｉｌｂｅｒｔ－代数的右拟交换元的概念，研究右拟交换元及正则Ｈｉｌｂｅｒｔ－代数的性质。     

矩阵可换群结构的探讨

γ（A）={X|AX=XA}.研究了γ（A）的具体结构，给出了矩阵A可换群γ（A）元通式（定理2），获得了矩阵方程AX＝XB的通解公式（定理3），以及由A，B的Jordan标准形直接写出该通式，通解的规则。     

中国离10万亿有多远

2000年,美国经济突破了10万亿美元大关,中国经济则达到了1万亿美元,位居世界第六。摩根士丹利添惠公司认为,以现行的美元计算,中国将成为下一个经济达到10万亿美元的国家,这一点在20年内甚至15年内即可实现中国经济高速成长的关键在于,积极地进行重组,以改善资本分配效率和消除影响经济增长的制度障碍。中国的重组改革是真实的,并且大大借助了信息技术的应用。毋庸置疑,中国能在一个     

黄河上游某电站库首段滑坡形成机制的离散元数值模拟

为分析黄河上游某电站库首段滑坡的形成机制,通过恢复滑坡发生前的原始地形地貌形态,采用离散单元法进行了计算机模拟,模拟结果与实际地面调查获得的该类斜坡的变形破坏现象完全一致,从而揭示了该滑坡形成过程的内在机制.