现代逻辑三题

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

谈如何建立家庭档案

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

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

浅析地籍测量及成图方法

对目前我国地籍测量试点区测图方法进行了有代表性的具体归纳,并对其成图精度进行了比较,在此基础上分析了各种成图方法之优劣及各自适用范围,以便各种测量方法在成图过程中发挥最佳效益。     

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

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

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

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

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

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

求解一类二阶段有补偿问题的对偶梯度法

1 问题的描述在含有随机变量的复杂决策问题中所产生的二阶段有补偿问题通常具有如下形式这里D={x|Ax=d,x≥0}?R~n为约束区域,A∈R~(m×n),d∈R~m(m≤n),h(x)为x的实函数,Q(x)=EQ(x,ω),而Q(x,ω)为相应于样本点ω的随机变量并取第二阶段(补偿)问题的最优值.对于问题(1),已有算法均限于具有简单补偿和随机右端项的随机线性规划问题,并且算法比较