动态模糊逻辑及其应用研究

对动态模糊逻辑及应用进行了研究，以实例说明了自然界中的动态模糊性问题找到了解决途径，同时为人们用计算机模拟人的思维提供了理论依据。     

基于三级模式的信息系统设计的优化

指出了传统的C／S模式的缺陷，说明了基于三级(N级)模式设计的概念及采用该技术开发应用程序的优越性。在这个基础上着重讨论了运用三级(N级)模式开发应用程序时应该注意的问题，提出了一些设计使用中的建议。如任务分割、避免死锁、采用OO技术等，并给出了应用实例．     

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

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

议数学教学中的美学教育

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

绿蓝问题与简单性方案

绿蓝问题是假说选择问题的一种范型.科学假说精确的逻辑结构应该包含假说适用的情景和敏感因子.简单性标准是广为接受的一种假说选择标准,在运用到解决绿蓝问题时,提出了简单性的句法理论和语义理论.但这两种理论分别遭遇了对表达系统和概念框架的相对性,不能处理某些绿蓝型问题,甚至会陷入反直观境地的难题.     

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

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

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

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

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

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