计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

网络课件中动态题库的研究

网络课件以其良好的交互性和多媒体功能倍受学习者青睐。近几年来网络课件数量剧增,但对试题库的研究与开发相对简单,给用户提供的试卷或者习题不论是动态或者静态的,均不能很好地考虑网络上不同用户的需求。为此,文章着重从不同用户的需求和提高组卷效率出发,智能地、高效地生成不同需求的试卷或者习题以满足不同用户,同时为提高组卷效率而提出了多种策略相结合的组题方式。     

INJECTIVE PRECOVERS AND MODULES OF GENERALIZED INVERSE POLYNOMIALS

Let (S,≤) be an ordered set. Recall that (S,≤) is artinian if every strictly decreasingsequence of elements of S is ?nite, and that (S,≤) is narrow if every subset of pairwiseorder-incomparable elements of S is ?nite. Let S be a commutative monoid. Unl…     

热连轧精轧机组温度模型的改进

从实际生产数据入手,研究了温度模型设定精度的现状及设定精度与各影响因素之间的关系,同时还消化了原来的温度模型程序并将其移植到微机上.经大量的离线统计回归分析,提出了一个行之有效的温度模型改进方案.该改进方案的思路同样适合其他热轧生产线.     

利用初等变换求极大线性无关组

给出利用矩阵的初等变换求极大无关组的方法 ,并从理论上加以证明 .此法简单易行 ,且计算量小 .     

行列式三种定义方法的等价性

在行列式普通定义的基础上又介绍了归纳定义和公理法定义两种方法，并证明了它们的等价性．     

SDP协议的应用分析

SDP协议是在IETF MMUSIC工作组的RFC2327中定义的一个多媒体会话描述协议，本文介绍了SDP协议的功能，分析了SDP协议格式，语法结构及解释，同时给出了一些应用实例。     

《高等几何》学习指导

本文对《高等几何》课程中有关仿射变换、射影平面、一维射影几何学、三点形与三线形、四点形与四线形等内容的一些典型习题给出了详细的解答，有的习题还给出了多种解法。     

欧氏空间上的随机覆盖及其应用

运用Borel—Cantelli引理，改进并推广了Jean-Pierre Kahane在单位圆周上关于随机覆盖的结果，得到了在高维欧氏空间上关于随机覆盖的类似结果。且运用这些结果研究了多指标复Fourier-Redemacher级数与某些函数空间的关系，得到了多指标复Fourier—Redemacher级数几乎处处属于L^∞及几乎处处属于C的等价性。     

N-Widths and Average Widths of Besov Classes in Sobolev Spaces

In this paper, we consider the n-widths and average widths of Besov classes in the usual Sobolev spaces. The weak asymptotic results concerning the Kolmogorov n-widths, the linear n-widths, the Gel＇fand n-widths, in the Sobolev spaces on T^d, and the infinite-dimensional widths and the average widths in the Sobolev spaces on Ra are obtained, respectively.