农学专业无机及分析化学课的教学探讨

无机及分析化学是高等院校农学类各专业的基础课。教学过程中应该把农学学科实际与教学环节紧密结合起来,充分调动学生学习积极性,这样既有利于培养学生的多种能力,又有利于提高教师的教学及科研水平。     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

基于现场总线的设备自动化监控系统

从设备信息管理系统的升级和业务功能扩展的角度,阐述了采用现场总线技术构成的设备监控系统的必要性和作用,并结合某工程背景,介绍了基于现场总线设备自动化监控系统的体系结构、网络拓扑结构及应用软件设计等关键技术。     

线性控制系统的渐近跟踪控制与干扰解耦的设计及仿真

基于内模原理,针对线性控制系统设计了系统输出对参考信号的渐近跟踪控制和干扰解耦,同时实现了系统的镇定,并给出了设计算法和算例,通过MATLAB软件进行仿真,验证了该方法的有效性。     

AMT换挡过程动力学建模及换挡品质影响因素分析

建立了AMT车辆换挡过程动力学模型,并对换挡过程各阶段进行了动力学分析,找出了影响换挡品质的主要因素。得出挂挡阶段和离合器接合阶段是产生换挡冲击和滑磨功的主要阶段,其中离合器接合阶段是换挡品质控制的重点,最后给出了提高AMT车辆换挡品质的具体措施。     

一种基于VPRSM的辐射源模糊识别方法

为解决辐射源识别的问题,研究利用变精度粗糙集模型来确定辐射源识别特征权值的方法。由概念的正域中对象类的条件属性的描述,得到该概念的充分条件,并依据知识间的依赖性作为所要考虑的因素来获取特征权值,同时结合模糊集理论,提出一种基于变精度粗集特征加权的辐射源模糊识别方法。最后将此识别方法模型应用于雷达辐射源用途识别,仿真实验及其结果验证了该方法的可行性和有效性。     

基于EKF算法的弹道导弹助推段跟踪建模与仿真

围绕弹道导弹助推段跟踪问题,分析了助推段反弹道导弹的基本作战过程,建立了弹道导弹助推段动力学模型,分别就单传感器/单弹道导弹和多传感器/多弹道导弹两种情况建立了基于EKF算法的弹道导弹助推段跟踪模型,并通过算例验证了模型和算法的有效性,可为助推段反弹道导弹建模与仿真提供一定的参考。     

基于Nastran优化的某导弹结构模型修正

为了对某型号导弹结构建立合理的有限元全弹模型,基于Nastran的灵敏度分析及优化功能,首先对初始导弹模型设计参数进行了灵敏度分析,并确定优化设计的设计变量,然后以模态试验结果为优化目标,对其进行动力学优化,得到修正模型.结果表明,修正后模型的计算结果与试验结果偏差有很大程度的改进,符合了工程的使用需要.     

基于灰色模型预测门诊病人人均医药费用的研究

本文介绍了两种常用的灰色模型,并结合已有数据对未来5年门诊病人人均医药费用进行了比较预测。对预测结果给予了解释,这些数据可以为医疗保险及相关政策制定提供参考。     

SSR模式在高师教育心理学课程中的运用研究

“传递-接受”为主的教学模式重在肯定固化知识的价值,SSR模式则基于实践生成的知识观,着眼于培养具有自主性、创造力、领导力的学习者。作为师范专业的公共必修课,教育心理学课程教学急需实现教学模式的转向。结合实践,本研究对大班额情境下,SSR模式在高师教育心理学课程中的运用进行了探索。