课堂教学与中文系学生课外阅读兴趣的培养关系初探

课外阅读在当代大学生的精神生活领域占有着极其重要的地位,是当代大学生自我学习、自我培养、自我发展的一种重要方式。课堂教学与中文系学生课外阅读兴趣的培养关系密切,教师通过课堂教学以多种形式对学生进行必要的课外阅读指导、激发学生开展课外阅读的兴趣、培养学生的阅读能力具有极其重要的意义,而这也是中文系教师深入开展教学活动的有效举措。     

基于再制造的装备多寿命周期工程

再制造工程为实现社会的可持续发展提供丁有效手段,也促进了装备多寿命周期的使用及发展。分析了国内外多寿命周期的研究现状,提出了基于再制造的装备多寿命周期的内涵,并探讨了装备多寿命周期发展的哲学及科学基础,阐述了基于再制造的装备多寿命周期工程的若干关键技术。     

关于扩大中等收入者比重的几个问题

中等收入者与中产阶级是两个不同的概念 ,这可以通过两者的内涵和外延、外部特征及其形成的社会背景、阶级分析方法和阶层分析方法的比较等几个方面加以区别 ;应该把收入水平作为中等收入者的唯一划分标准 ;扩大中等收入者比重的关键在于提高低收入者收入水平 ,调低高收入者收入 ;扩大中等收入者比重这个新观点丰富和发展了邓小平同志的“先富、后富”理论 ,体现了社会主义的优越性 ,是共同富裕的最新表现 ,改善了我国的社会阶层结构。     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

研究生课表的计算机自动编排

针对研究生课程安排特点,提出并建立了一个研究生课程的计算机排课系统,同时讨论了此系统的数据结构和具体实现环境.通过建立排课的约束条件和排课相容判断准则,进一步阐述了研究生课表编排的计算机具体实现原则及其方法.     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

弹性支座阶梯形连续梁弯曲计算的普遍方程

本文借助奇异函数,用阶梯函数表示阶梯形梁的抗弯刚度的倒数,在考虑支座沉陷影响的情况下,推导出了阶梯形连续梁在弹性支座支承下的弯曲计算普遍方程,给出了支座反力计算的矩阵方程。     

甲B类液体全压力储罐消防设计问题研究

对沸点低于45℃的甲B类液体全压力储罐消防设计、审查过程中存在的问题进行了较为全面的分析,并针对这些问题提出了解决的方法,为进一步完善相关工程设计规范和有效地执行这些规范提供了实例,以期给同类工程提供有益借鉴.     

思想道德修养与法律基础课教学改革探析

《思想道德修养与法律基础》课是高校思想政治理论课课程体系的重要组成部分。为了完善《思想道德修养与法律基础》课的教学,要认真探索改革方案,以科学定位为前提,以更新教学内容为核心,提高教师素质,改进教学方法,完善评价体系。     

装备寿命预测的平行仿真模型在线演化方法

在面向装备剩余寿命预测的平行仿真技术研究基础上,统一了不同退化状态下的状态方程,提出了预测模型形态库的构建方法和预测模型形态选择算法,设计了“模型形态库构建—模型选择—数据同化—模型演化”的模型在线演化工作流程,运用扩展卡尔曼滤波和极大似然估计算法,实现了面向装备剩余寿命预测的平行仿真模型在线动态演化。通过仿真实验验证了模型形态选择算法和模型在线演化工作流程的有效性,取得了较好的仿真效果。