一种基于动态期望车头时距的跟驰模型

现有跟驰模型把期望车头时距视为常量,因实际交通流具有动态性,静态期望车头时距模型并不能确切地描述现实交通流.提出了一种动态期望车头时距的跟驰模型,将其车头时距用韦布尔分布拟合,使其成为随跟驰车辆性能差异和驾驶员自身差异而变化的动态变量.仿真结果表明,基于动态车头时距的跟驰模型能使后随车车速的平均绝对误差从1.715 9 m/s降至0.762 9 m/s,优于静态常量期望车头时距跟驰模型.     

奇偶互补方阵的充要条件

给出奇偶互补方阵的定义 ,并证明了n×n阶方阵A为奇偶互补方阵的充要条件是 2 |n且 4 n .     

Searle(西尔)复合函数及两级组合逻辑网络设计

Searle逻辑是一种新型的布尔逻辑。本文深入探讨Searle基本函数x、y、z、w的M、N变换及不进位运算(即_i运算)的逻辑特征,设计相应的两级逻辑网络和 Searle元件。这些理论对 Searle逻辑的发展和应用将是很重要而有意义的。     

组合电路内部故障及多故障测试

给出了用一阶布尔差分法的扩展来求组合电路内部单故障测试集的方法；同时也讨论了如何用高阶布尔差分法来求组合电路的多故障测试集，进而给出了求组合电路双重故障测试集的４个公式，并结合具体电路阐述求解相应的故障测试集的过程     

反演公式的推证

给出一般的ｎ＋ｍ阶分块方阵的行列式、求逆及反演公式。     

《四川师范大学学报》(自然科学版)稿约简则

<正>《四川师范大学学报》(自然科学版)是立足本校,面向国内外的综合性自然科学学术期刊(双月刊),国内统一连续出版物号CN51-1295/N,国际标准连续出版物号ISSN1001-8395,旨在反映自然科学各领域中的重要研究成果和具有创新性的学术成果.本刊主要刊登数学、物理学、化学、生命科学、地理学和计算机科学等学科的     

计算机辅助布尔函数最小化

根据本文提示的布尔函数最小化的方法编制的BASIC程序,可以在APFLE—Ⅱ微机上运行,它为微型计算机辅助组合系统和时序系统的逻辑设计奠定基础。     

布尔函数相关免疫性的一种研究方法

利用分析布尔函数的特征矩阵的方法，讨论了两个布尔函数某些组合的相关免疫性。     

L—Fuzzy可实现害虫等矩阵的秩与容度

在分配格（Ｌ、∧、∨）上讨论Ｆｕｚｚｙ可实现幂等矩阵的秩和其容度，证明了Ｆｕｚｚｙ可实现方阵在幂等条件下其秩等于其容度，进而解决了可实现幂等矩阵的容度计算问题。