给定直径的单圈图的边修正Szeged指标的下界

连通图G的边修正Szeged指标Sz_e^*(G)定义为■,其中m_u(e|G),m_v(e|G),m₀(e|G)分别是G中到u点比到v点距离近的边的数目、到v点比到u点距离近的边的数目、以及到u,v两点距离同样近的边的数目.本文通过变换和计算得到了给定直径的单圈图的边修正Szeged指标的下界,并刻画了达到下界的极值图.     

方位远探测声波测井仪数据采集控制软件设计*

方位远探测声波测井技术在近年来得到了快速发展,数据采集控制软件是测井仪器系统的重要功能模块,其主要功能是完成地面采集控制平台与井下仪器的实时命令控制与数据传输。方位远探测声波测井仪数据采集控制软件模块以仪器库的形式挂接到成像测井系统,软件主要由仪器初始化、数据采集、数据分析及处理、仪器参数设置、下发命令封装、文件操作、实时波形绘图显示、实时波形处理、数据回放、帮助系统等部分组成。在程序设计中采用了多线程编程技术,提高与测井主控平台进行交互的时效性以及程序的响应速度。实验室及现场测试表明,方位远探测声波测井仪数据采集控制软件的总体及各个功能模块运行稳定,能够完成现场应用过程中对仪器的控制、数据读取、数据分析及处理、文件记录以及与现场测井采集控制平台的数据接口等需求,为仪器的进一步功能优化升级和现场应用提供了基础。     

四边自由的矩形厚板的自由振动

由于要满足自由边的条件,使得本文所研究的板的分析相当困难。本文采用叠加法完满的解决了这个不易克服的困难,并使得边界条件能满足到任意精度,所取的位移解的每一项都严格满足控制微分方程。     

谱方法与开路边条件

谱方法精度较高,开路边条件能保证出了计算区域的波不再回来.但谱方法对边条件的限制较多,一般不允许开路边条件.为统一两者,本文进行了特殊处理.试算的结果表明,方法是有效的.     

大变位热弹性扁壳的一种边值模型

本文给出了正则形式基本方程及广义变分原理,并给出了关于应力函数、挠度、温度三种变量的一种边值模型。     

机载导弹惯性制导装置生产测试工艺研究

从机载导弹惯性制导装置的工厂生产测试的实际情况出发，提出了使用自由方位惯性坐标系作为静止导航测试中的导航参考坐标系，证明了它和以发射点地理坐标系为基础的惯性坐标系的等效性，论证了测试平台所需的调平精度，给出了确定测试指标的算法。这种方法的应用，可节省测试场地的建设经费，提高生产效率。     

带积分边值条件的非线性梁方程解的唯一性

本文研究一类带有积分边值条件的四阶非线性梁方程问题解的唯一性,利用构建特殊算子以及Banach压缩映射原理的方法,获得解的存在唯一的条件,并以实例及数值模拟验证了所得结论.     

关于广义θ-图的邻点可区别染色的简单证明

在《经济数学》等杂志上已经用穷染法给出了广义θ-图的邻点可区别全染色和邻点可区别边染色,但方法太过繁琐.本文结合P.N.Balister方法从结构上更为简洁的证明广义θ-图的邻点可区别染色的相关猜想.     

方位捷联惯导平台系统及其误差分析

根据导航系统对高精度的需要,在捷联惯导和平台惯导的基础上提出了一种方位捷联惯导平台,该平台取消了普通平台系统的方位环及其伺服回路,保留了俯仰环和横滚环及其对应的伺服回路,介绍了平台的组成及工作原理,并且推导出平台角误差方程、速度误差方程和位置误差方程.建立状态方程和量测方程后用Kalman滤波的方法对系统进行软件仿真,仿真结果表明,方位捷联惯导平台综合了捷联和平台的优点,具有平台角误差小、收敛速度快等特点.     

突破外形干扰 建构适用模型——由一道考题的分析说起

数学模型,生成于学生的数学认知活动之中,是学生化解新的数学问题的重要工具.在初中阶段,很多数学问题的解决都需要借助已有的数学模型,如相似问题中的"K形图"、二次函数的几种常用解析式等.这些数学模型是学生的数学认知活动的规律总结,在一定范围内具有普遍性和适用性.因此,在教学中,一线老师对模型教学十分关注,他们努力将模型建构在学生获得"四基"的过程之中,让学生不断经历用已有数学模型解决新的