SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

特种支架在煤巷交岔点中的使用

矿井在深部煤层开采过程中，煤巷交岔点使用特种支架，会取得较好的技术、经济效益。     

财务软件开发中的重用技术

通过在不同开发平台间的重用技术,解决了不同开发语言间代码重用问题,实现了财务软件开发中窗体重用方法,充分发挥了各种开发工具在财务软件设计中的优势,提高了软件开发的生产率,降低了软件开发难度和成本,缩短了开发周期。由于重用部分大都经过严格的质量认证,并在实际运行环境中得到了检验,因此,可重用技术有利于改善财务软件质量,提高财务软件的灵活性和标准化程度,有利于财务软件的升级与维护。     

关于C++中继承方式问题的研究

针对C＋＋语言中继承方式及访问权限的理解极易混淆的问题，详细讨论了对C＋＋语言中的继承方式及成员访问权限的教学，并给出具体的继承访问控制的例子。     

优质小麦标准化生产技术体系

标准化生产技术推广是新时期农业发展的内在要求。为了加快优质小麦标准化生产技术推广，促进农业增效、农民增收，作者在收集整理有关专家培训资料、有关论著及当地农业生产实践经验的基础上，就优质小麦标准化生产技术体系中的优质小麦生产环境、优质品种基因和优质栽培技术三方面内容进行了详细的论述。     

可理解性输入与输出理论对大学英语听力教学的启示

基于克拉申(Krashen,1989)输入假设理论(Input hypothesis theory)和Swain(1985)可理解性输出理论进行分析和研究。结合笔者教学经历,建构了新的听力教学模式,并就如何促进大学英语听力教学提出建议。     

高强混凝土泵送施工技术

文章基于多年来的施工经验总结,通过混凝土的坍落度、压力泌水总量与可泵性的研究,从优化混凝土配合比入手、修正了布管方案、确定了泵送设备的选型计算公式、改进了泵送操作与混凝土浇筑养护工艺,成功解决了混凝土的"高强度与可泵性"这一对矛盾,创造性地建立了一套完整的高强混凝土泵送施工技术。     

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

自旋玻璃和可重入磁体的电子自旋共振

本文介绍了非晶(Fe_pNi_(1-p))_(75)P_(16)B_6Al_3在9 GHz上的电子自旋共振实验结果。结果表明在低温区垂直几何和平行几何的情况一样,其共振线宽随温度的降低成指数增加。     

周期函数的导函数的周期问题

本文将证明：在整个实轴上可微分的周期函数与其导函数的周期相同这一推测．