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

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

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

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

校园网上积件理论应用的研究

阐述积件应用的必要性与必然性,以及积件的组成;具体说明了积件库的构成要素及产生方法,对积件组合平台进行了简单的探讨;对在校园网上积件系统的设计与实现提供了理论依据与模型图。     

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

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

线性方程组求解与向量组规范化的初等变换方法

本通过对线性方程组的系数矩阵的行与列的初等变换给出了求解线性方程组的方法，并通过对矩阵的初等变换给出了向量组正化的方法。     

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

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

与半群的完全不可逆生成集相关的几个性质

讨论了半群环的两个性质以及关于半群的a.c.c.p.（主理想升链条件）的一个结论。     

一类含参广义集值拟变分包含组的解的灵敏性分析

本文引入了一类新的含参广义集值拟变分包含组,应用隐预解算子技巧,建立了该类变分包含组与一类不动点问题的等价性,在适当的条件下,分析了含参广义集值拟变分包含组的解的灵敏性,所得结果推广改进了最新文献中的许多结果．     

拟线性波动方程耦合组Cauchy问题的整体解存在定理

对于相对场相互作用系统〔‘l口切=F(切,吵,刀p,D必口砂=G(切,劝,刀甲,D妇t二0:(甲,叻)“(蜜:,舀2),(沪‘,功.)二(叮:,斤2)声..t‘苦.t 、产 ︸l 了、其中场变量伽,初为(t,x)任R+xR”的未知函数,F、G、古:、条、粉:、刀:为已知函数,口=a‘一△,D=(J.,a二:,…,a二。),有 定理若存在常数v。>o,使当1入】(v。时,)F{二o(囚’‘,),【Gl=o(囚.”),入==(入。,入:,…,入。,#。,拼,,…,拼,),F、G〔C’(R,,+舍),且八>2(a+1)la,a》z,对于任何正整数50>。/2(a+i)+i及s》〔an/(a+1)〕+s。+1,存在d>o,E>o,使当君:、么〔H,+’(R”)门研.+’,,“+”…