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

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

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

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

考虑外委的露天矿剥岩计划的优化研究

针对“剥岩高峰”对矿山生产带来的不利影响，研究了设备配置更新策略与露天开采外委剥离的优化问题.基于铲运设备的运营成本与生产能力随设备役龄变化的关系，建立了决策单台设备退役时间的动态经济寿命计算模型，并根据此模型给出了具体的设备配置算法步骤.设置一系列不同的矿山自剥离量与外委剥离量的分界水平，计算各分界水平条件下的外委单价可行区间，然后在区间内确定外委商谈价格并分析得出与之对应的总成本净现值最低的外委方案.实例计算证明，采用该方法减少设备投资的成本要高于外委岩石剥离成本.     

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

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

望江矶雨花台砾石层工程地质特性及形成机理

根据野外考察与实验资料，对南京雨花区望江矶的雨花台砾石层的工程地质性质作出初步评价认为该砾石层具有一定的固结性，较好的水稳性，较强的抗剪性，中低压缩性不同于现代松散的砂砾石堆积体，作者还运用沉积原理及风化理论对影响其工程地质性质的作用因素进行了探讨。     

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

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

自动选垫机在主减速器装配中的应用

在主减速器装配中,调整齿轮啮合区域及轴承预紧力时需多次拆装;劳动强度大,效率较低,自动选垫机通过检测壳体及相关零件后,自动选出装配所需的调整垫片,一次装配即可,满足了大批量生产的需求。     

网络课件中动态题库的研究

网络课件以其良好的交互性和多媒体功能倍受学习者青睐。近几年来网络课件数量剧增,但对试题库的研究与开发相对简单,给用户提供的试卷或者习题不论是动态或者静态的,均不能很好地考虑网络上不同用户的需求。为此,文章着重从不同用户的需求和提高组卷效率出发,智能地、高效地生成不同需求的试卷或者习题以满足不同用户,同时为提高组卷效率而提出了多种策略相结合的组题方式。     

热连轧精轧机组温度模型的改进

从实际生产数据入手,研究了温度模型设定精度的现状及设定精度与各影响因素之间的关系,同时还消化了原来的温度模型程序并将其移植到微机上.经大量的离线统计回归分析,提出了一个行之有效的温度模型改进方案.该改进方案的思路同样适合其他热轧生产线.