从实践的观点看真善美统一——实践破缺观(上)

从实践的整体观点出发,可把哲学精神的特征概括为人类掌握世界的总体方式,即认知方式(认“真”)、评价方式(求“善”)、审美方式(审“美”)的综合。由此对东西方哲学的发展作了重新评价,对马克思主义哲学在实践基础上的真善美统一作出初步总结。     

舰船推进轴系校中计算研究

本文采用传递矩阵法建立了轴系校中计算的数学模型,并推导出求解轴系力学参数的线性方程组。这种方法计算简单,具有修改参教方便、易于编程、计算速度快的优点。经实例计算比较,证实了该方法的正确性,可广泛用于舰船轴系的设计和审核工作中。     

灰色矩阵对策

本文结合灰色系统与对策论的知识,给出了以区间型灰数为元素的灰矩阵对策的定义,讨论了灰矩阵对策在纯策略与混合策略意义下的最优策略及灰解的存在性。     

CAD/CAM中造型技术和发展趋势

造型技术是CAD/CAM的核心技术。本文较详细地介绍了几何造型、壳体造型及特征造型的理论与算法,分析了各种造型方法及形体表示方法的优缺点,最后探讨了造型技术的发展趋势。     

一种具有知识评估和知识求精的知识获取(KER) 算法

本文给出了一种获取多类知识的决策树算法,该算法根据所给定的属性的优先级和取值类型进行分类型知识的获取。为了保证获得知识的有效性,根据科恩(Cohen)的归纳概率提出了一种证据支持程度来对所获得的知识进行评价,并相应地给出了一种知识求精的方法。     

类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

并行程序设计语言在串行机上的编译实现

目前,诸如Fortran 8x 程序设计语言中已经引入了并行运算成份。这给普通串行(标量)机上实现编译器带来了困难。本文提出了数组(矩阵)运算串行化的概念,并给出了串行化的判别准则及算法。     

管理信息系统通用工具软件MT-l

MT-l是在汉字dBASE-Ⅲ的基础上开发的数据库工具软件,它具有图形化的数据描述和数据操纵语言,是一个实用的微机管理信息系统开发工具。它在图形化用户界面、数据字典、视图、数据完整性和安全性等方面优越于dBASE-Ⅲ。本文描述了 MT-l的总体结构和主要功能,讨论了主要设计和实现问题。     

维修方式再探讨

本文根据近几年关于维修方式讨论中提出的一些问题,在维修方式的分类、应用决策、设计要求和效能等方面,联系维修实际进行了探讨,提出了一些原则、方法和观点。