0—1律研究中的局部化方法

对０－１律的研究提出了一种有别于以往的整体化方法的新方法，称之为局部化的方法，并证明了一个有关局部－整体的结论。     

关于学校照明集中控制的几点思考

使用逻辑、智能、照明集中控制器,改造学校照明控制系统,建立节约型学校。     

3G移动通讯AKA协议及其形式化验证

简略回顾了移动通讯的发展过程以及相应的安全机制，介绍了第三代移动通讯系统中所采用的认证与密钥协商协议，并利用AUTLOG信仰逻辑给出了形式化验证过程，在假定HE和SN之间的系统连接安全的前提下，该协议能够成功地达到预期目标。     

对共同的愿景规划进行沟通不仅仅是描述梦想并让人们接受。你必须设定明确的目标，并确保它是现实的目标，这很重要——愿景是用来实现的

不知道你是否听说过这样一个故事：有个人在一家非常成功的纸杯厂工作．后来跳槽到奶昔机器设备生产厂。这时他遇到两兄弟，这两兄弟合开了一家奶昔连锁店。就是这样一次偶遇．产生了一种现在所谓的“美国式”的经营方式。     

复合限制

限制是一种基于极小化模型的非单调逻辑,本文首先提出一种相对限制形式——基于极大化模型的限制,继而给出结合极小与极大化模型的复合限制形式,并进一步讨论它们在形式化机器学习中归纳推理的应用.     

用卡诺图化简与或表达式的技巧

逻辑式的化简一般有两种方法:代数法和卡诺图化简法。代数法需要熟记很多公式,而且又必须具备一定的运算技巧能力,因此,其应用受到一定限制。而卡诺图化简法具有直观简便的特点,我们根据这几年的教学体会,探讨了卡诺图组合的规律并总结出了一种较为简便的卡诺图化简法。1 卡诺图变量组合的规律     

树的一阶可定义分层

利用Ｂｏｏｌｅ运算和树型上的联结运算对树的一阶可定义集以存在量词和全称量词交替出现的方式给出了一个分层对应。     

《孙子算经》研究

本文分析了《孙子算法》的逻辑体系及其在数学、政治和经济上的价值。     

王船山《游仙诗》浅论

船山《游仙诗》笔下的仙境不过是现实的折光，他认为仙境是没有的，为长生而求仙是虚妄的，只是一种精神寄托而已。     

关于模糊逻辑函数计数的一些结果

模糊逻辑函数的计数至今仍是一个未解决问题，本文利用模糊逻辑函数析取范式的存在唯一性，引进基本片语集合，Ａｊ，Ｇ（ａ）及Ｇ（ａ１，…Ｇｋ），推导出Ｇ（ａ），Ｇ（ａ１，…，ａｋ）Ｇ（ａ）∩Ａｊ以及Ｇ（ａ１，…，ａｋ）∩Ａｊ的计数公式，并给出了ｎ元模糊逻辑函数的一个计数公式。