创造性思维的系统化存在

创造性思维的被激发以及被实施的整个过程可视为特定系统。这个系统从基础逻辑认知开始，经由灵感和直觉等非逻辑思维形式，最终被逻辑思维整合。     

平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

砖混房屋室内增层及抗震加固的设计方法

通过对多层内框架房屋室内增层设计及对多层砖混结构房屋抗震加固设计的总结．提出了若干设计方法。     

金属球与无限大导体平板系统电容的计算与讨论

根据数学物理理论，用电像法计算了金属球与无限大导体平板系统电容，描绘系统电容的函数图像，得出无限大导体平板的存在使金属球电容增大的结论．     

Three challenges to the complementarity of the logic and the pragmatics of science

The bipartite metatheory thesis attributes to Rudolf Carnap, Philipp Frank and Otto Neurath a conception of the nature of post-metaphysical philosophy of science that sees the purely formal-logical analyses of the logic of science as complemented by empirical inquiries into the psychology, sociology and history of science. Three challenges to this thesis are considered in this paper: that Carnap did not share this conception of the nature of philosophy of science even on a programmatic level, that Carnap's detailed analysis of the language of science is incompatible with one developed by Neurath for the pursuit of empirical studies of science, and, finally, that Neurath himself was confused about the programme of which the bipartite metatheory thesis makes him a representative. I argue that all three challenges can be met and refuted.     

有限元数据管理系统的构想与实现

本文介绍了用FoxBASEPLUS语言编写有限元数据管理系统的构想与程序实现的方法,该数据管理系统即能对数据实现全屏幕编辑,又能自动地对有关数据进行提示和逻辑检查。     

计算机供应管理信息系统分析与设计

本文结合对实际企业的系统分析与设计,提出了企业管理信息系统中的一个重要子系统——供应管理信息系统的逻辑模型与物理模型,同时对MRP方法的应用及系统分析与设计中的有关技术问题进行了讨论.     

多输出逻辑函数简化方法的探讨

本文提出一种用相关乘积卡诺图对多输出逻辑函数进行简化的新方法,即用一张相关乘积卡诺图便可求出所有的公有质蕴涵项,在单个函数的卡诺图上可求出最佳简化结果.文中论述了它的原理和使用方法,给出了简化步骤和优化准则,介绍了这种方法在设计中规模集成电路中的应用.     

大容量硬盘的限权使用

详细介绍了大容量硬盘分区管理以及限权使用的基本方法，为保护硬盘上信息提供了另一种途径。     

物资管理数据库逻辑设计的E-R模型

本文根据系统分析与设计的E-R方法的基本原理,结合物资管理数据库设计实践,讨论了E-R模型的建立和转换问题。