矩阵的行等价与行标准阵

本文用矩阵的分块技巧、矩阵的乘法等初等运算，证明对于域上任意一个m×n阶矩阵，有唯一的行标准阵与它行等价。     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

基于DSP-MCU数字化焊接电源系统的设计

采用TMS320F240数字信号处理器和80C196KC单片机设计多功能IGBT逆变焊接电源双机控制系统.其中,TMS320F240主要用于焊接参数的采样、控制算法的运算;80C196KC用于完成人机接口的功能,包括键盘和显示,与上位机的通信等.设计中人机界面采用液晶显示.系统设计的关键是双机之间的通信技术,为了确保通信的可靠及快速性采用双口RAMIDT7005来完成.数字PWM控制单元采用复杂可编程逻辑器件(CPLD)完成,整个系统中所有逻辑控制也由此芯片来完成,实现了多功能焊机的全数字化控制.     

多元智能理论指导下的教学设计

多元智能理论认为人类思维和认识世界的方式是多元化的，人至少存在8种智能，即语言智能、数学逻辑智能、音乐智能、身体运动智能、空间智能、自然观察者智能、人际关系智能和自我反省智能，智能之间的不同组合表现出个体问的智能差异性．每一种智能在人类认识世界和改造世界的过程中都发挥着同等作用．并不存在智能的优劣之分．因此．在教学过程中必须认识并尊重受教育者智能差异的现实，制定适合大多数学生发展的教学设计．学生智能的不同组合方式是学生学习方式不同的根本原因，     

巧用等价无穷小替换求解复杂极限的研究

极限的计算方法多样灵活、技巧，本文主要给出利用等价无穷小替换进行极限的计算以及计算过程中所需要注意的问题，在分析教学中收到很好的效果．     

函数上、下极限的5种定义及其等价性

给出了有上、下界函数,上、下极限的5种定义,证明了5种定义是互相等价的.     

LM（S）空间中加权K—泛函与光滑模的等价性

证明了单形上的Ｏｒｌｉｃａ空间中的加权Ｋ－泛函与光滑模的等价性。     

析取逻辑及析取逻辑程序的语义研究

在用不完全知识进行常识推理时，常用缺省方式推导结论，然而当缺省否定算子ｎｏｔ被定义成ｎｏｔ ｐｒｏｖｂｌｅ（不可证）时，析取逻辑程序（ａＶｂ，ｎｏｔ ａ，ｎｏｔ ｂ）应该是一致的，因为ａ不可证且ｂ不可证并不意味ａＶｂ不可证，虽然这是一个很重要的事实，但现有主要的析取逻辑程序语义理论却不能支持它。其主要原因是这些理论都基于传统的一阶谓词逻辑，其中否定ａ且否定ｂ将导致否定ａＶｂ，现提出一种支持上述事实     

议数学教学中的美学教育

本文阐述了数学美的五个主要方面,数学的语言美、数学的和谐美、数学的严谨美、数学的统一美和数学的逻辑美,以及它们在数学教学和数学研究中的重要作用。并指出了在数学教学中进行美学教育的几个常用手段,用数学语言讲授数学课,揭示数学定理的严谨性和可延伸性,培养学生的逻辑思维能力和在教学中要做美的示范。