试论高校思想政治理论课实践环节教育

社会实践环节是高校思想政治理论课的重要组成部分,在大学生思想政治教育中占有不可替代的重要位置。然而当前社会实践环节在思想认识、组织领导、运行机制等方面存在着一些亟待解决的困难和问题。本文认为,思想政治理论课社会实践环节必须坚持自主性、专业性、互利性、实效性原则,从制度建设、资金保障、评价制度等多方面提高思想政治理论课社会实践环节教育的实效性。     

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

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

Alpha稳定分布混响建模及信号检测

研究了基于对称Alpha稳定分布的浅海环境下混响及噪声的建模问题.分析了浅海环境下混响形成过程及其非高斯特性,采用对称Alpha稳定分布理论对其进行了建模,并从声呐接收端的混响瞬时值以及包络的概率密度分布与Alpha稳定分布的匹配程度验证了模型的有效性.研究了基于对称Alpha稳定分布模型的混响噪声背景下的目标信号检测方法.提出了三种检测方法并进行了仿真测试,通过检测性能及模型的精确性分析了三种方法的优缺点,验证了建模精度对检测性能的影响.     

半径突变多模圆锥馈源的分析和设计

报道了一种８毫米波段半径突变的高效率多模圆锥馈源,计算出其模比并推导出其辐射方向图公式,给出了它在两个主平面－Ｅ面和Ｈ面上的辐射方向图的理论计算结果和测试结果,以及频带和旁瓣特性。分析和测试结果表明,在３４．１～３５．５ＧＨｚ频带内该多模馈源的辐射方向图在大于－２３ｄＢ范围内不出现旁瓣,在大于－１３ｄＢ范围内幅度等化良好。     

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

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

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

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

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

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

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

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

一种利用GPS载波相位姿态测量的方法

GPS初始整周模糊度的求解是利用载波相位进行测量时的关键问题.采用了对系数矩阵进行QR分解的方法,用以降低矩阵的维数.模糊度搜索时,针对Z变换可能会引入多余误差,采用了对称三角分解法对协方差矩阵进行去相关处理.实验与仿真结果表明,定位误差在0.5 cm以内,方位角和仰角误差在0.1°以内.     

快速传递对准的抗野值方法研究

快速传递对准对滤波精度与收敛速度有着严格的要求,而测量野点的存在会严重破坏传递对准的精度。提出了一种新的抗野值滤波方法,在线取测量信号的一个小区间,采用正向对称延拓的方法构成新序列并对其进行小波阈值去噪,检测出野点,用前几个周期的信号构造新的测量值进行Kalman滤波,有效地剔除了野点的影响,滤波系统保持了很好的精度,满足了传递对准的要求。