在自然科学与哲学之间:现代逻辑方法的中介功能

现代逻辑方法是形式化的分析方法,是自莱布尼兹提出对传统逻辑进行形式化改造之后,经弗雷格把逻辑本身变成一个由公理和定理、规则构成的演绎体系的努力,由罗素这位现代符号逻辑的集大成者构筑而日趋成熟的。它体现着自然科学的发展进步,并开辟了哲学研究的新途径,将自然科学的研究成果及方法转换为推进现代哲学发展的新工具。逻辑方法历来都与自然科学、哲学有着密切的联系。在亚里士多德的逻辑体系中,就折射出具有演绎性质的古希腊几何学证明法,是这种关于证明的几何学为亚里士多德逻辑提供了蓝本。同时,早期的逻辑学还与哲学交织…     

逻辑的力量

逻辑是一种思维的方式,其中以必然性的推断为主要特征。就像我们知道了所有人都不会万寿无疆一样,这时候你若祝愿某人万岁、万岁、万万岁,如果不是出于真实的情感涌动,我们只能说或是虚伪,或是别有用心。可是古往今来,不乏这样的虚伪和用心。正像鲁迅笔下的一个场景:一个大户人家喜添贵孙,前来祝贺的人络绎不绝,张三说这孩子将来要做官、李四说这孩子将来要发财,他们都收到了主人的笑容与感谢。可是王五说了实话:这孩子将来要死的。这引起了主人的勃然大怒,被赶出大门。细思考量,张三和李四的推断是或然的,非逻辑的。而王五的推断是必然的,…     

基于CPLD的高速采集系统设计

采用高速A/D转换器和CPLD设计出了高速数据采集系统，利用多字节写入、单字节读出的方法降低数据写入的相对速度，实现了高速、大容量连续采样数据的存储．该系统既降低了生产成本及设计的复杂程度，又不失灵活性和实时性，是一种比较合理的高速数据采集方案．     

电阻加热炉解耦模糊Simth预估PID控制研究与仿真

在电阻加热炉系统中,提出一种解耦模糊Smith预估PID控制器来优化系统的动态响应性能指标,并改善系统因被控对象参数改变或因干扰作用引起系统控制性能变差的现象。通过对具有纯滞后的一阶惯性电阻加热炉系统的仿真可见,解耦模糊Simth预估PID控制器获得的系统动态响应性能指标明显优于常规的PID控制器或Smith预估PID控制器,且在被控对象参数改变或出现干扰时系统的控制性能也得到了较好的改善。解耦模糊Smith预估PID控制的模糊语言规则少,系统响应速度较快。     

化简逻辑函数的新方法

代数法化简逻辑函数的难点在于没有固定的方法和步骤，因而也无函数式是否化简到了最简的判别方法。为解决这些难题，提出了“镜像消元法”，给出了化简的具体步骤和方法。对于6个以上变量的逻辑函数的化简，镜像消元法优于卡诺图法。     

集合上一些运算律的反例（I）

给出非交换无零因子非除环的例子，讨论n元结合律成立而n-1元结合律 不成立的例子。     

逻辑方程F=G的解集研究及其应用

为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化。文章给出了逻辑方程F=G、F G-=1、FG-=1的解集关系定理,将逻辑方程F=G化为0型或1型逻辑方程的方法以及相应的推论,并给予证明。得到了若F G-=1和FG-=1的解集分别为S1、S2,则F=G的解集为S1-S2,若F G=0和F- G-=0的解集分别为S3、S4,则F=G的解集为S3 S4,以及若F.G=1和F.-G-=1的解集分别为S3′、S4′,则F=G的解集S3′ S4′为的结论.从而可应用结论解非0型、非1型和某些有关的逻辑方程。     

论维特根斯坦之"不可言说的东西"

维特根斯坦经过分析，发现世界的、思想的和语言的结构具有共同的逻辑结构，由此得出了语言的命题可以描述世界中的事实即事实是可以言说的结论。但逻辑形式、形而上主体、世界的存在性以及人生的意义等是不可言说的领域，必须对此保持沉默。这样，维特根斯坦的哲学系统开始于逻辑分析法，而终于静默。因为只有在静默中，人才可能领略哲学的最高境界——哲学本质、生命意义、对世界存在的特殊神秘的感觉。     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。