广义集值映象变分包含问题解的一个存在定理

研究了一类定义在Hilbert空间内的广义集值映晨线性变分包含问题。利用不动点定理，证明了这类广义集值映象的非线性变分包含问题解的存在定理，推广和改善了Salahuddin等人的主要结果。     

固定转换参数的GPS网平差与坐标转换模型

分析了起始数据误差与坐标轴指向变化对于转换参数的影响 ,提出了采用固定转换参数的GPS基线向量与地面已知数据进行联合平差与转换的模型 ,探讨了采用该模型计算时应该注意的问题 .利用这一模型处理了上海地铁M8线GPS控制网的数据 ,结果表明 :当已知点位于GPS网的一侧时 ,采用这一模型能够显著地提高GPS控制网的外符合精度 .     

单片机控制锁相环(PLL)脉冲合成器

简要介绍了锁相环（ＰＬＬ）的工作原理,以及使用８９Ｃ２０５１和 ＭＣ１４５１６３Ｐ设计频率合成器的方法。     

一类无穷域上高分数阶微分方程正解的存在性

为了研究无穷域上高分数阶微分方程多点边值问题正解的存在性,采用Schauder不动点定理及抉择定理,给出一类无穷域上高分数阶微分方程正解的存在条件以及迭代解,对分数阶微分方程解的存在性问题进行向高阶的推广.     

高等学校实验室设备管理存在的问题及对策

加强高等学校仪器设备管理是实验室建设的重要内容。本文分析了当前高校实验室仪器设备管理现状、存在的问题及原因，同时提出加强设备管理的建议，必须从思想上提高认识，转变观念，树立“购置设备重要，管理设备更重要”的思想意识。     

含参数λ微分方程类型的可积判据

提出几类含参数λ微分方程,借助变量替换法、线性化法、降阶法、交换变量位置法,论证其可积性,给出可积的判据及通解的表达式.扩大微分方程的可积范围,提供其求解的方法及通解公式.     

采用NaI(Tl)晶针阵列的小型单管γ相机的性能研究

通过实验对采用NaI(Tl)晶针阵列的小型单管γ相机的性能进行了研究,得到的实验结果是:(1)能量响应:对Am-241(59.5 keV)的γ射线能量分辨率为19%;(2)位置线性:绝对非线性1 mm,微分非线性0.67 mm;(3)空间分辨率:半高宽为2.2 mm.得出的结论是:(1)采用NaI(Tl)晶针阵列的小型单管γ相机的压缩效应较小;(2)由于晶针单元限制了光子的分布,所以采用NaI(Tl)晶针阵列的小型单管γ相机的空间分辨率基本上由晶针的尺寸大小决定;(3)与平板式NaI(Tl)晶体小型单管γ相机相比,采用NaI(Tl)晶针阵列的小型单管γ相机的能量响应、位置响应和空间分辨率等性能都有一个较大的提高.     

一种改进的GPS测码伪距单点定位算法

GPS是通过在同一时刻观测4颗以上的卫星,利用伪距观测量来解算出接收机的位置和钟差。针对传统的迭代最小二乘算法精度依赖于初始值的估计,且迭代计算量大,给出了一种改进的求差算法,即将GPS单点定位的非线性观测方程转化成线性方程直接求解测站坐标。利用VC编程提取出GPS接收机纪录的数据,通过仿真表明该算法计算简单,不需要观测站的初始值,不需要求导计算和迭代计算,从而验证了这种改进算法的优越性。     

非线性分数阶微分方程系统正解的存在性和唯一性

首先应用耦合不动点定理及耦合的下、上拟解方法证明非线性分数阶微分方程系统正耦合拟解的存在性,然后应用耦合不动点定理证明其正解的唯一性.     

半直线上一类奇异边值问题正解的存在性

应用锥拉压不动点定理讨论了一类常见的二阶微分方程奇异边值问题正解的存在性。