海洋石油企业质量体系内部审核浅析

企业取得质量体系认证只是按照体系标准要求达到质量管理的基本要求,要想使质量管理体系保持有效性,适宜性,充分性,并持续改进,进行质量体系内审就非常重要。阐述了企业质量管理体系内部审核的方法,根据公司具体情况审核的整个过程、要点以及如何保证质量体系内审的有效性。     

函数项级数一致收敛的判别法

给出了判断函数项级数一致收敛的多种方法,并对每种新方法给予严格证明,内容丰富,方法多样,以利于对函数项级数一致收敛的深入了解和更为广泛的应用.     

气候变暖中自然和人类强迫的联合估算

大多数21世纪气温变化的预估研究只考虑人类排放增加,但是实际气温的变化既有自然变化又有人类影响。本研究在综述以前研究的基础上,尝试综合考虑自然和人类共同强迫,来估算未来10-20年中国的气温变化。估算表明,气温的自然变化大约在-0.1～-0.8℃,人类影响大约在0.5～2.0℃。最后,分析了估算的不确定性。     

基于运动边界和能量函数最优的图像匹配算法

基于能量函数最优来获取密集视差图(Disparity Map)是图像匹配的新方法.视差图反映了图像中各个景物的深度信息量,因此视差图的边缘并非是对应图像的边缘.而现有方法中能量函数的正则项都依照图像梯度场对初始视差图内部进行平滑并保持边缘的不连续性,这导致了最终获取的密集视差图的平滑区域具有较多的图像边界残留痕迹.光流反映了目标物体的运动状态且包含的运动边界与物体边界相吻合,但光流计算中的正则项导致其在边界上是模糊不准确的,因此采用了多分辨率框架下由粗到精的策略计算大基线时左右图像中的光流场,并联合图像边界和光流来确定准确的运动边界.最后利用所得运动边界构造新的能量函数对视差图进行后处理,实验结果表明无论从视觉效果还是视差图客观评价指标来看,方法都可提取更精准的视差图.     

一种求极大频繁项集的挖掘方法

提出一种改进的Apriori算法.该算法首先对原始数据进行项编码,其次通过"或"运算来确定候选频繁项集,然后再对候选项集作"与"运算来确定频繁项集,最终得到满足最小支持度的极大频繁项集,其中项的长度是由该算法自动搜索得到的.     

带扩散项的Cahn-Hilliard方程解的适定性

研究有界域上一类带扩散项的广义Cahn-Hilliard方程解的适定性问题.此类方程主要用于描述物理和生物学中的一类扩散现象.在非线性扩散项满足更一般的假设条件下,利用标准的Galerkin方法和先验估计得到该方程在Neumann边界条件下弱解的适定性,并证明了解的相关正则性.     

基于扭摆的力学谱仪在强迫振动 模式下的延时误差分析

 分析了基于扭摆的力学谱仪在强迫振动模式下进行内耗测量时的系统误差,指出这一误差主要来源于测控系统中的电路延时和机械波传播延时。提出测量系统总延时的方法,并应用实验测量得到的系统总延时对测量结果进行了修正,从而使基于扭摆的力学谱仪在强迫振动模式下得到更为准确的的固体内耗及液体黏度。     

具正负系数和阻尼项的高阶微分方程的振动定理

 研究了一类同时具有正负系数和阻尼项的高阶非线性变时滞泛函微分方程的振动性,通过引入参数函数和Riccati变换,获得了该类方程振动的判别准则,这些准则改善了对方程的条件限制,所得结论推广并改进了现有文献中的一系列结果,并给出了具体例子用以说明主要结论。     

一类具有阻尼和源项的非线性波动方程解的爆破性

研究了一类具有阻尼和源项的非线性波动方程的初边值问题,给出了解爆破的两个充分条件.特别是得出即使m≥p时该初边值问题在满足一定条件时解依然可以爆破.     

带最大值项的二阶非线性差分方程的振动性定理

研究一类带有最大值项的二阶非线性中立型时滞差分方程的振动性,利用Banach空间的不动点原理和一些分析技巧,得到这类方程存在最终正解及方程振动的充分条件.