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

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

从三个角度考察柯西不等式

柯西不等式是高等数学中的重要不等式,它在解析几何、数学分析与高等代数这3门数学专业主干基础课程中均有渗透.从这3门课程的角度,分别给出柯西不等式的不同形式和证明过程,并简要地阐述它们的联系,最后做出小结.     

关于二面体群的共轭类长素图

讨论二面体群的结构问题,利用GAP软件给出二面体群D2n的共轭类长素图,并完整给出当n以及n/2分别是奇数和偶数时的共轭类长素图情况.     

基于重抽样分布的一类模糊累积和控制图

过程变量在代表产品或服务过程信息时并非完美，而使用模糊数可能是另一较好途径。文章进一步完善模糊累积和控制图，其中使用中心和扩展具有重抽样分布的模糊随机变量，并给出模拟例证。     

一类级数不等式及其积分形式

利用凸函数和定积分的定义，建立一类级数不等式和积分不等式。     

哈恰图良和他的《马刀舞曲》

叙述作者哈恰图良的生平简历及其作品《马刀舞曲》创作的源泉及过程 ,对曲式及场景进行了全面分析     

松节油蒸馏系统的DCS控制

通过对松节油蒸馏系统进行工艺分析，给出了需要控制的工艺参数，并设计了DCS控制系统。根据各工艺参数的特点，选择了控制算法。对于精确控制的参数，采用了模糊与PID混合的控制算法，而其他参数则采用PID控制算法，同时对大时滞参数，引入了预估器，从而达到稳定生产、节能降耗、提高经济效益的目的。     

蕴含W5可图序列的最小度和

Gould,Jacobson和Lehel考虑了下述经典Tur偄n型极值问题的变形:对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π有一个实现G包含H作为可图的.本文确定了当n≥11时,σ(W5,n)之值,其中Wr是r个顶点的轮图.     

关于n元线性丢番图方程的探讨

给出n元线性丢番图方程的一种基础解法.     

逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。