基于Intranet的煤矿安全信息系统的开发

提出了利用先进的Intranet技术开发煤矿安全信息系统的解决方案 ,并就系统实现的有关方法和技术进行了详细分析和探讨。Intranet以系统的低成本、可扩充性、强适应性、运行的安全可靠性 ,为煤炭企业提供了一条经济实用的信息化道路     

SW规约下的一些性质

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

基于Web Wervices的协同商务研究

针对企业异构平台上不同系统之间信息收集，归纳，整合和传播的困难性，提出一个以Web Service为核心之电子化企业协同合作架构，迅速的建立起电子企业伙伴间的沟通桥梁，以解决企业信息系统间信息无法沟通，规格错误或传递效率低下的问题，进而提升企业体系的整体竞争优势。     

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

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

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

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

基于k-分辨-FB级数展开的多分量LFM信号分离

针对傅里叶-贝塞尔变换(FBT)难以估计和有效分离多分量LFM信号的问题,提出了一种k分辨-FB(k-FB)级数展开结合dechirp的信号分离与估计算法。在FB级数的基础上引入k分辨参数,通过理论推导,得出了信号频率与级数的关系,证明了参数估计精度与k取值正相关。通过解线频调和k-FB级数计算,实现了信号分离重构和参数估计。在不同信噪比、信号功率比和k分辨条件下对信号的分离精度进行了仿真研究,并与基于分数阶傅里叶变换(FrFT)的方法进行了对比。仿真结果验证了算法的有效性。     

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

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

高等院校教材管理信息系统的分析与设计实现

主要论述了我们为高等院校教材管理所开发的一套计算机管理信息系统的设计思想与实现方法,由于本系统具有使用方便、操作简单,安全稳定,工作流程清晰合理,并与用户熟悉的工作方式相一致,用户无需专业培训即可使用该系统进行工作等特点,因此,深受用户的欢迎。     

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

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

高强混凝土泵送施工技术

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