SW规约下的一些性质

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

糊群的商模糊群

设H为模糊群G的正规子模糊群，先在H的（左）模糊陪集之间引入一种等价关系，然后在模糊陪集的等价类之间定义了一种模糊二元运算，这种模糊二元运算是由模糊群G的模糊二元运算导出的。最后导出了G关于H的商模糊群的概念。     

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

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

累次极限换序的一个充分条件

本文对于二元函数的累次极限的换序给出了一致收敛这一充分条件。     

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

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

“元影像”与摄影教育研究

虽然身处视觉时代,但人们对于影像的研究却还是浅层次的,"元影像"概念的提出为当今的摄影教育与发展提供了一个全新的理论基础;因此,对"元影像"理论运用于摄影教育中的研究显得尤为重要。本文运用对比及因果的论证方法,分析摄影教育过程中出现的诸多问题与"元影像"的关联性,证明了"元影像"理论在摄影教育中的重要性。并在此基础上提出了将"元影像"理论充分渗透进摄影教育中的建议。     

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

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

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

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

高强混凝土泵送施工技术

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

复合氧化物晶体晶格能的近似计算

本文以 Born-Harb 循环为依据,推导了复合晶体晶格能和与其相应的各二元化合物晶体晶格能之间的关系,并由此给出了复合氧化物晶体晶格能近似计算的新公式。对20种复合氧化物晶体晶格能计算结果的分析表明:用本文所给公式对复合氧化物晶体晶格能进行近似计算是可行的。