高职数学课堂教学中学生创新思维的培养

高职数学从概念到理论具有高度的抽象性、严谨性、精确性和应用的广泛性等特点。本文根据高职数学教学上存在的问题和高职教育的特点，论述了不同的数学内容应采取不同的教学方法，以利于培养学生的创新思维能力。     

高速铁路信号系统联调联试技术发展新思路

联调联试是高铁信号系统开通运营前的最后测试验证环节,意义重大.通过分析联调联试技术现状与挑战,针对传统黑盒测试等方法的局限性,提出基于模型和形式化验证的测试技术、仿真平台测试技术、云测试与大数据融合分析的新思路,并提出新技术的应用解决方案.研究成果可为高铁信号测试技术的发展方向提供重要参考.     

汽车悬架磁流变阻尼器的试验建模

依据汽车悬架用磁流变阻尼器的阻尼特性试验结果，提出了一种描述阻尼器动态特性的力学模型，即修正的Bouc-Wen模型。并用优化的方法确定了模型的参数。该模型能够较精确地描述磁流变阻尼器在改变电流强度时的动态特性。     

海上编队作战方案形式化描述研究

作战方案的形式化描述是实现海上编队指挥自动化的关键,是提高编队协同作战能力的前提。通过对方案形式化描述问题研究现状的分析,概括了作战方案形式化描述的主要研究内容、方案形式化的主要方法、存在问题以及发展方向,对后续的研究工作具有一定参考意义。     

集装箱码头生产指标体系构建

集装箱码头生产指标体系的概念和作用 1．集装箱码头生产指标体系的概念 集装箱码头生产指标体系是一种用来描述我国集装箱码头生产能力,评价集装箱码头生产水平的一套指标体系．它能够减轻管理者从事低层次信息处理和分析的负担,提高决策的质量和效率,从而使管理人员能对码头的生产情况做出一个正确的评价。     

推进综合交通规划的方法创新

本文在归纳已有综合交通规划模式不足的基础上,提出了突出综合交通体系形态描述的规划编制新思路,并设计了从功能特征视角描述交通运输体系形态的主要框架,还特别主张交通规划与建设必须有利于相关地区交通运输综合成本的节约。     

船舶轮机系统图形化建模的研究

随着仿真系统的日益复杂,作为一种提高开发效率有效途径,图形化建模技术成为仿真领域研究的焦点.本文阐明图形化建模的基本原理,提出图形化建模软件的体系结构,建立图元库,讲述拓扑分析算法,描述支撑运行环境,并根据以上理论和技术开发出一套图形化建模软件.     

MPEG家族新成员——MPEG-7

分析简要介绍了多媒体数据压缩标准MPEG的发展历程,重点介绍了MPEG-7这一新的多媒体信息编码标准的内容,并通过列举MPEG-7的应用,指出MPEG-7将对工业界以及人们的生活产生深远的影响:     

一种安全关键软件系统的形式化开发模型

形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.     

西门子AzS(M)350M型微机计轴设备系统

介绍西门子AzS(M)350 M型微机计轴设备与传统的轨道电路相比在完成铁路区段空闲、占用检查功能方面的优势和这种系统的构成、工作原理及具体运用。