逻辑函数及最小项与最大项运算规则研究

根据逻辑函数最小项和最大项定义，探讨其运算规律，得出几个运算规则公式。根据这些公式，导出了逻辑函数之间的运算性质。     

数字分频器分频模数测量方法的研究

探讨了用双扫描示波器、通用电子计数器、逻辑分析仪测量数字分频器分频模数的理论和方法，探论了各种测量方法的特点及适用场合．     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

The material theory of induction and the epistemology of thought experiments

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The argument view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn't been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton's fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position.     

论19世纪的逻辑学——在数学与哲学之间

19世纪的逻辑学处于数学与哲学之间:一方面,数学家在对传统逻辑的改革过程中形成了逻辑代数和数理逻辑;另一方面,哲学探讨热衷于逻辑学的性质、地位、基础等问题,由此形成了心理主义和反心理主义之争。这种状况从各个方面影响了20世纪的逻辑学、心理学和哲学的发展。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

高级语言分析器的设计

该文论述了一个基于ＬＬ（１）分析思想的高级语言分析器的设计原理。主要利用软件的可重用性来提高开发语言处理程序的效率。     

流体逻辑网络失效状态的研究与计算机处理

本文对流体逻辑网络系统的偶然失效状态进行了全面的研究。就组合网络及时序网络的各种失效状态进行了详尽的分析及系统的归纳,分析了可能产生的失效状态并研究了解决方法,就此研制了分析与消除流体逻辑网络系统偶然失效状态的计算机软件。此软件采用FORTRAN77高级程序设计语言编写,能对大型的、复杂的网络系统进行分析与处理,其运行结果能指出网络系统的偶然失效状态及其类型,并能自动消除静态及静态逻辑型偶然失效状态。     

科学发现的逻辑与创新意识的培养

“科学发现的逻辑”与对科学发现问题做逻辑的研究,是两个不同的问题。现代科学哲学家对“科学发现的逻辑”的否定,给教育者如何培养人才指明了方向。教育应当把培养学生的创新能力作为重点。     

微机数据发生器与逻辑分析仪构成的现代数字测试系统

本文着重结合我们在数字测试领域中取得的成果,从技术和经济性两个方面来探讨现代数字系统的测试,并给出了通用、经济和方便的测试系统方案。