关于形式系统L*及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的.     

关于软件形式化方法

简要回顾了形式化方法的发展历程,阐述了形式化方法的定义、重要性及主要研究内容.着重讨论了形式规约语言与方法,以及演绎证明和模型检测等形式验证方法.     

关于软件形式化方法

简要回顾了形式化方法的发展历程，阐述了形式化方法的定义，重要性及主要研究内容，着重讨论了形式规约语言和方法，以及演绎证明和模型检测等形式验证方法。     

文化视野透视下的中国古代数学及其永恒价值

文章从文化层面上对中国传统数学进行梳理,通过中西方传统文化的比较,对中国古代数学的发展和衰退做出归因分析并提出相应的建议。     

模糊推理与模糊逻辑

论证了当赋值集为[0,1]时经典例题演算中的定理、重言式、MP规则以及HS规则之间关系的不协调性,建立了关于模糊命题演算的准形式演绎系统,证明了相应的可靠性定理。修正了模糊取式（Fuzzy Modus Ponens,FMP）与模糊拒取式（Fuzzy Modus Tollens,FMT)概念,并明确了FMP与FMT的模糊逻辑依据。     

电路教学中学生创新思维能力的培养

本文探讨了在电路教学中，就如何培养学生的创新思维能力，在合理安排教学内容、改进教学方法等几个方面进行的探索和实践。以求增进学生创新精神和创造能力，提高其学习质量和个人综合素质，适应国家培养创新人才的需要。     

相对论的百年辉煌(上)

时间、空间，当然属于少数几个最基本科学概念的行列；而作为现代时空理论的相对论，于1905年突兀登上科学舞台，即便成为一个光采绝伦的主要角色，参与了科学史诗的百年辉煌演绎。相对论之父爱因斯坦，从延拓相对性原理的涵义着手，先后缔造了相对论的狭义、广义两个理论层次，同时创立了内含丰盈的相对论时空观念。相对论宇宙学乃广义相对论向字观世界的扩展，     

“综合性学习”让语文课堂演绎出一道亮丽的风景

综合性学习主要体现为语文知识的综合运用、听说读写能力的整体发展、语文课程与其他课程的沟通、书本学习与实践活动的紧密结合，因此实践是第一位的。能在多学科的交叉中体现语文知识和能力的实际运用，促进学生素质的全面提高，这是综合性学习的目的。那么，语文教师应如何指导学生进行综合性学习？     

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .     

特养新贵——黑天鹅

"白色短裙"、"足尖舞"、"空中飞跃"......芭蕾把白天鹅的美演绎到了一个极致,白天鹅也成为了美好、浪漫的象征.