改进型钢轨钻孔机的研制及应用

阐述了钢轨钻孔机的现状与改进方案,论述了钢轨钻孔机的研制过程及现场应用,分析了钢轨钻孔机的测试结论,并介绍了改进型钢轨钻孔机。     

一维周期和非周期体系的电子带谱及态密度

本文发展了一种重正化群方法,精确而系统地研究包含周期和非周期格子的一维体系的物理性质.该一体系的构造序列是选A、B两块并按膨胀规则{A、B}→{A~(m11)B~(m12),A~(m12)B~(m22)}排列成的.作为特例,计算了(M_(11),M_(12),M_(21),M_(22))=(1,1,1,0)(1,1,1,1)(1,2,1,1)和(2,1,1,1)几种一维格子的电子带谱和态密度,结果表明,较之其他方法,该方法具有系统性,而且分析结果与其他类似。     

一类广义非扩张映像的不动点定理

在 Ｂａｎａｃｈ空间中讨论一类广义非扩张映像的不动点的存在性和迭代逼近，以及不动点集的性质。     

关于极限的几个定理

给出了极限的几个定理及其推论，可以解决或简化某类极限问题。推论2修正了数学通报11（1963）《关于极限的一个定理》。     

再议网络图的逻辑同构变换

图对同一个逻辑问题可有不同的表达方式，在必要时需进行逻辑同构变换＾［１］。本文对“节点型网络向箭线型网络的逻辑风构变换”的研究进行了补充，增加了三种情况的图开有子模，进一步谁了逐节生长法的通用性。同时，提出了箭线型网络向节点型网络逆向变换的算法；逐线收缩法。     

数列{N(u,v)=2uv+u+v}的若干性质

本文得出了数列{N（u,v)=2uv u v}的一些性质，并提出了关于素数的一个猜想。     

二阶循环数列方程的特征根解法

就应用常微分方程的常系数线性微分方程解法的理论解决递归数列中二阶循环数列方程问题进行了论述 ,由此可看到高等数学对初等数学的指导作用 .     

联邦接口规范测试方法研究

高层体系结构（HLA：High Level Architecture)可以支持各种类型仿真之间的互操作，同时便于建模与仿真部件的可重用。开发HLA应用必须根据联邦开发与执行过程模型进行，其中联邦测试是FEDEP模型的重要组成部分，主要包括三级测试，即：一致性测试，集成测试，联邦测试。一致性测试主要包括接口规范测试，OMT测试，RTI测度等内容，本文对联邦接口规范测试的方法进行了研究，根据接口规范的测试标准，制定了测试顺序，给出了联邦接口规范的测试顺序，给出了联邦接口规范的测试顺序模型，使接口规范测试更加系统，清晰。     

一类幂数列的单调性

关于一类幂数列的单调性已经有了一些特殊结果 ,而该文以导数为工具 ,通过对幂指型函数图象特征的讨论 ,构造出一个特殊的数列 { bk} ,解决了该类幂数列的单调性 ,得到了 2个有趣的结果。当 l 相似文献   

利用初等变换求极大线性无关组

给出利用矩阵的初等变换求极大无关组的方法 ,并从理论上加以证明 .此法简单易行 ,且计算量小 .