砂岩在西湖凹陷花港组交互式盖层中的作用初探

西湖凹陷花港组盖层具有砂泥岩交互式发育特征，而与泥岩伴生的砂岩类盖层的油气封闭作用研究较少。采用岩芯、镜下观察及压汞等分析方法，对砂泥岩交互式盖层中的砂岩特征进行了分析。结果表明，盖层中的砂岩可作为有效盖层，砂岩类盖层早期受沉积环境控制，含有较多的泥质而导致早期压实作用较强，加之晚期的黏土矿物转换及胶结物的发育，具备形成良好盖层的条件。在不同地区进行砂岩盖层有效性研究时应以沉积环境为基础，针对不同类型的砂岩进行成岩作用研究，并针对不同类型的砂岩样品进行实验分析以明确砂岩盖层的有效性。     

数控车床加工椭圆类非圆曲线宏程序应用

为方便加工零件上不同位置的椭圆轮廓,采用坐标系平移与坐标系旋转的方法,将给定椭圆表达式所在的原坐标系与数控车床工件坐标系建立联系.并通过实例进行粗车循环与宏程序联合编程,完成零件加工.提出的坐标系平移与坐标系旋转方法,可方便地对不同位置的椭圆轮廓在数控车床工件坐标系中建立新的表达式,该方法数学计算简单,适用于各类、不同位置非圆曲线的宏程序编写.     

极小相关组的Matlab实现及其在编码中的应用

纠错码技术是通信技术中不可或缺的一项技术,并在当今的通信技术发展中占有很高的地位,线性分组码是常用的一种纠错码,其纠错能力的计算需要以线性分组码最小码距的计算为基础。向量组极小相关组的提出,引入了向量组的距的定义,为线性分组码纠错能力的计算提供了新思路,极小相关组的有效而且快速求解方法研究将是一个新课题,针对计算机通信科学发展的需求,基于遍历法的思想,运用Matlab软件编写程序求解向量组的极小相关组,并将程序简单应用于具体向量组极小相关组的计算以及线性分组码纠错能力的计算。     

二阶椭圆混合问题的三棱柱单元逼近

针对二阶椭圆混合问题,构造了一个新的三棱柱单元,分析了该单元的适定性,利用Falk-Osborn方法,证明了单元满足离散inf-sup条件,进而给出了误差估计结果.     

快速生成椭圆的一种算法

利用椭圆的参数方程，给出了以等分角度为增量的绘椭圆的一种算法，并分析了算法的误差．采用正弦和余弦的泰勒展开式构造的迭代公式，计算一个绘图点只需9次加法．     

搜寻平面机构中虚约束的拆杆组法

本文根据机构的组成原理,提出一种搜寻机构中虚约束的新方法一拆杆组法,用该方法能方便地判断出机构中所含的虚约束,同时能迅速排除含有特定几何条件而实际上并不存在虚约束的机构.     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

带权高阶椭圆算子Dirichlet第二特征值的估计

设Ω是R^m中的一个有界区域，其边界足够光滑，我们考虑一类带权高阶一致椭圆算子在Dirichlet条件下的特征值问题，给出了其第二特征值的一个上界，该上界与区域Ω的体积无关。     

一维核废料污染问题的一个二阶格式

利用降价法研究了多孔介质中一维核废料污染问题，此模型由一非线性抛物－椭圆耦合偏微分方程组的初边值问题来描述，对此问题给出了一个关于时间和空间均具有二阶精度的差分格式，并进行了理论分析。