基于Web的含无关项卡诺图自动化简系统

为学生能在网络上随时随地学习卡诺图化简,提高自主学习的质量,在ASP.NET环境下,利用rapheal框架实现了卡诺图自动化简逻辑函数系统.系统能够对任意输入的三至五变量的逻辑表达式及指定的无关项使用卡诺图化简法进行化简,并且在网页上按步骤展示其化简过程.输入表达式的语法验证采用改进的算法优先分析法,化简过程采用广度优先搜索模仿人工搜索卡诺圈的过程,网页作图由rapheal框架实现.测试结果表明,系统可在常用浏览器下正常运行,可正确的按步骤展示卡诺图化简逻辑函数的过程.     

关于矩阵条件数的一些结论

本文讨论了一些矩阵范数达到极小的充要条件,其主要结果如下:1.设?为m×n实矩阵,且具有n个线性无关的列,则求?广义逆谱条件数等于1的充要条件为?=cI,其中c为正常数.2.设?为n阶非异实矩阵,则矩阵A的求逆p-范数条件数等于1的充要条件为A=cpσ,其中c为正常数,σ是置换阵,其对角元都等于 1或-1.3.设?为n阶非异实矩阵,则矩阵4的求逆F-范数条件数等于1的充要条件为?=cU,其中c为正常数,U为正交阵.     

凸六边形的相对长边与相对短边

就Doliwaka和Lassak提出的凸n－边形的相对边问题，讨论n＝6的情形，将凸六边形嵌入到平等四边形内（边可重叠），利用对应边的边长比的关系可证任意凸六边形均有相对长边，有平行对边的凸六边形必有相对短边。     

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

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

设备无关显示软件的开发

介绍了用Visual C 6．0开发能够实现设备无关显示的软件。通过获取窗口到视口的映射比例系数，使得无论采用多大的显示器、无论将显示区域的纵横比调为多大、无论采用多高的显示分辨率，都能够按照对象的物理尺寸进行真实大小的显示，使应用程序用户界面更加友好。     

利用初等行变换求极大无关组的一些条件

本文讨论利用初等行变换求行向量组的极大线性无关组的方法,澄清一些线性代数教学用书中存在的一种模糊认识,并给出修正后的方法。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

论椭圆及其内接、外切六边形的仿射等价问题

讨论了椭圆及其内接、外切六边形的仿射等价问题,给出了椭圆及其内接、外切六边形与圆及其内接、外切正六边形仿射等价的必要条件与充分条件.     

一类向量组的有趣性质及其应用

给出了一类向量组，讨论了此类向量组的一些有趣的性质，阐述并举例其在证明线性空间的有限覆盖问题中的重要应用。     

关于仿射完备极大曲面的一个结果

x：M→A^n 1是一个局部严格凸的超曲面，由定义在一个凸域Ω包含于A^n的严格凸的函数xn 1=f(x1,…,xn)给出，作者引入Blaschke度量G=ρ∑(a^2f/axiaxj)dxidxj,ρ=[det(a^2f/axiaxj)]^-1/(n 2)，并讨论了关于度量G完备的仿射极大曲面的性质．