基于证明分析的机器发现技术及其应用

机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系统———证明分析演算．应用证明分析演算，实现了机器发现实例，从而得到了一实用的机器发现技术．     

用概率设计方程解决可靠性设计问题的探讨

从推导与分布类型无关的可靠度下限引出概率设计方程 ,通过概率设计方程可实现用传统设计方法解决可靠性设计问题。为建立概率设计方程绘制了可靠度下限和安全系数间的关系曲线Rmin -n 。通过实例说明了用概率设计方程解决可靠性设计问题的方法     

物理学基本定律的独立性之争及其反思

理论公理化的一个重要问题是公理的独立性问题.考察公理化最为发达的物理学中关于独立性问题的争论,可以看出,自然科学的公理独立性问题不同于逻辑学和数学,有自身独特的方法论价值.     

信息管理系统辅助开发工具设计

本文讨论如何设计一个信息管理系统的辅助开发工具库:菜单自动生成器、报表自动生成器、屏幕表格自动生成器以及随机组合条件生成器.最后讨论实现中的几个关键技术.     

关于科学前沿若干问题的哲学思考

自然科学在当代的发展日新月异，由于科学的本体论及方法论上的进步落后于科学本身的发展，所以，面对新的科学事实、新的科学问题，哲学的反思在今天显得犹为必要。本文以当代科学的最新成果为基础，对科学前沿的时间与空间的性质、宇宙的有限与无限问题，及科学方法论上的经验证实、模型方法等问题给予了一定意义上的哲学探讨。     

用快速原型法开发多领域专家参与的专家系统

利用5个阶段原型反复构造的快速原型法开发了应用于任务分析的专家系统，详细地说明了知识工程师、专家以及快速原型法在系统开发中的作用，描述了知识获取的简单框架，阐述了许多不同领域的专家分工协作同时参与以提供专门领域的知识和技术的实施步骤．该专家系统能借助于知识库来提供学习资源和决策，促进知识的获取，且开放式的结构便于更新，并使系统具有进一步扩展为更全面的专家系统的潜力．     

Automobile Dominance and the Tragedy of the Land-Use/Transport System: Some Critical Issues

Although the automobile is the least energy-efficient, the least space-efficient, and one of the most expensive of the transport modes to operate, it has dominated our cities for the last 50 years and impaired their quality in fundamental ways. Increasing dependence on the automobile has led to such problems as severe traffic congestion, widespread air and noise pollution, increased fuel consumption, steeper infrastructure costs, and higher accident rates. Through an insidious process, this automobile domination has also encouraged the widespread development of sprawling suburbs that are the most uneconomical, environmentally degrading, and socially deplorable patterns of residential land-use development. It is demonstrated that these adverse consequences, created as a direct or indirect result of the automobile, have impaired the systemicity of the land-use/transport system, representing a modern-day example of the tragedy of the commons. To demonstrate whether the systemicity of land-use/transport systems can be appraised, a methodology is outlined for helping planning organizations to become cognizant of these problems and to spur major technological, policy, and behavioral changes.     

泛系观控模型在自动控制系统中的应用

运用观控原理，为自动控制系统分析和设计建立了一个统一的模式和方法，并给出了一个具体的例子。     

物理方法论与物理教学─读“数学解题与国民素质”一文有感

论述了物理方法论与物理教学的关系，阐发了物理图象在物理教学中的作用和地位．     

关于科学设计进程的探讨

设计进程是设计方法学领域内的重要研究课题之一。本文在分析设计工作的主要特征及设计思维过程的基础上,提出有关设计进程的设想和对近期研究工作的展望。