Minds, machines and economic agents: Cambridge receptions of Boole and Babbage

In the 1860s and 1870s the logic of Boole and the calculating machines of Babbage were key resources in W. S. Jevons’s attempt to construct a mechanical model of the mind, and both therefore played an important role in Jevons’s attempted revolution in economic theory. In this same period both Boole and Babbage were studied within the Cambridge Moral Sciences Tripos, but the Cambridge reading of Boole and Babbage was much more circumspect. Implicitly following the division of the moral sciences into material and ‘real’ as established by the Rev. Grote, John Venn treated Boole’s logic as a purely formal science, while Alfred Marshall based his psychological model of the mechanical part of the human mind upon Babbage’s two-level machine. From the different perspectives of logic and psychology, Venn and Marshall did not simply incorporate their readings of Boole and Babbage, but also attempted to establish the limits to any mechanical explanation of the mind. This comparison of the attitudes to mental science of Jevons and Marshall provides a foundation from which the differing conceptions of economic theory of the two men can be established.     

矿井通风机变频调速及节能

根据矿井通风机的特性，使用变频器进行转速调整以达到调节风量的目的，且有很好的节能效果。引入ＰＬＣ程控器使之提高自动化程度，达到最优调速。     

关于ABEL软件若干应用技术问题的探讨

ABEL软件是新一代高效可编程逻辑器件(PLD)设计工具。本文对ABEL开发软件的GAL器件库定义、逻辑功能描述方法、测试向量的确定以及源文件的处理等关键应用技术问题进行了深入探讨。正确运用这些技术对于提高可编程器件的逻辑设计效率和可靠性具有实际意义。     

可编程序控制器在真空镀膜机上的应用

中文介绍采用可编程序控制器改进单机单片磁控溅射真空镀膜机的设计和运行情况。本系统可以连续工作，每次可镀三十片玻璃，并可镀复合膜多达三层，比以前单机单片镀膜工艺显著提高了工作效率，降低了成本，改善了产品质量。     

关于创意的5个命题

在创意过程研究的已有基础上,提出了创意的5个核心命题:需要、可能、问题、探索-生成、验证,以求对创意逻辑的探讨。这5个命题各有其复杂性,又有着内在一体化的联系。通过对这5个命题的探讨,以求对创意产业环境下的设计和创意的逻辑有更深刻而全面的理解。因为要让创意创造真正的价值,这5个命题是关键坐标。     

基于组态王的船舶细水雾喷淋系统仿真训练器的设计

针对基于组态王和PLC的船舶细水雾喷淋系统的仿真训练器进行了设计，重点介绍了系统的构成、上位机设计。该训练器的研发在轮机工程专业教学工作中发挥了重要作用。     

CONTROLLOGIX系统在潘北选煤厂的应用

选煤厂基于Controllogix系统的自动化特点;详细阐述了本厂集中控制的逻辑思路;对选煤厂的集控联锁的认识及实践。     

Van Fraassen meets Popper: Logical relations and cognitive abilities

Van Fraassen, like Popper before him, assumes that confirmation and disconfirmation relations are logical relations and thus hold only among abstract items. This raises a problem about how experience, for Popper, and observables, for van Fraassen, enter into epistemic evaluations. Each philosopher offers a drastic proposal: Popper holds that basic statements are accepted by convention; van Fraassen introduces his “pragmatic tautology.” Another alternative is to reject the claim that all evaluative relations are logical relations. Ayer proposed this option in responding to Popper, as did Sosa in a different context. I argue that this option should be pursued and propose a line of research that the option suggests.     

逻辑代数卡诺图化简方法与技巧

逻辑代数卡诺图化简是数字电子技术的一个重要内容，本文讨论了卡诺图化简逻辑代数的基本方法和实用技巧。     

论心智逻辑理论与心智模型理论融合的可能途径

文献表明，到目前为止，还没有一个全面的、精确的和统一的研究人类推理心理学理论，而心智逻辑理论和心智模型理论是近20年来发展最快的两个主流理论。心智逻辑理论认为人类运用推理图式进行推理；心智模型理论则认为人类通过构造心智模型实现推理。本文讨论了两个理论各自的适用范围和局限性，并提出未来两理论融合的可能方向。