现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

谈如何建立家庭档案

随着社会档案意识的不断提高,档案的门类和领域也在不断深化和发展,不仅各行各业各条战线注重档案的形成、积累与开发利用,而且社会上许多家庭和个人也开始重视档案的建立和管理。这是档案部门值得关注的新生事物。那么,什么叫家庭档案,家庭档案内容包括哪些,如何建立与管理家庭档案呢?笔者就这一问题谈点个人认识。     

建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

三角多项式拟合曲线基本方法的改进

前言。在工程规划、设计与管理中，常用到一些由实际资料绘制的曲线，由于没有函数表达式，应用起来很不方便．当曲线具有周期性质(通常近似于三角函数曲线)时，自然考虑到采用三角多项式来近似拟合．本文探讨了三角多项式拟合曲线基本方法存在的不足，提出了一个有效的改进方法，并从理论上证明了该方法的正确性．     

提高摆抖式排肥装置性能的研究

对现有摆抖式施肥器的摆抖器进行理论分析，指出其曲柄摇杆机构的行程速比系数ｋ〉１时，造成摆缜往复运动不均匀，影响排肥性能，同时提出了将结构加以改进，使ｋ＝１，则可大大提高排肥性能。     

时代发展与思想政治工作的创新

新的历史时期对思想政治工作提出了严峻的挑战。由于思想政治荼的主体、对象已经发生了很大的变化。因此，思想政治工作应在思念、工作内容、方式方法上有所创新。这是开拓思想政治工作新局面的必由之路。     

架线式电机车安全制动距离的能量观

采用7t,10t架线式电机车和1t,3t矿车进行列车车组计算,讨论了安全制动距离对列车组成和运输能耗的影响。     

时域有限差分方法中的网格非均匀划分算法

本文在均匀正交网格划分Ｙｅｅ－ＦＤＴＤ算法的基础上，提出一种非均匀正交网格划分算法，它包括网格放大算法和网格加密算法两个方面。这种非均匀网格划分算法的正确性将通过数值计算来验证。