波能船

前苏联科学家根据死鲸漂浮的道理,在内燃机船的水下部分,每边各装10个船鳍。这些鳍和船底保持一定的角度,并可绕轴旋转。当船受到波浪的影响左右摇摆时,在水的冲击下,船鳍上就会产生一个升力。这个力可分解成防摇扶正作用的横向力及推动船舶前进的纵     

工科数学课程教学改革的探讨

随着现代科学技术突飞猛进的发展，各门学科知识在急剧地数学化。有的数学分支和它在技术上的应用几乎融为一体，如：灰色控制系统讲的就是灰数学；统计信号处理实际上是随机过程；而混沌理论与微分方程几乎密不可分；有限元法、最优化方法在各种工程领域中处处应用；高能物理的发展还用到群论、场论、拓扑学等等。     

移动授权的形式化建模与验证

基于通信的列车运行控制系统(Communications-Based Train Control System,CBTC)相较于传统的基于轨道的列车运行控制系统,无论是从功能方面还是性能方面都有了很大的改进。在系统的研发过程中,对其进行建模和验证,能够发现系统设计的缺陷,进而保证系统的安全性和功能性。移动授权(Movement Authority,MA)是CBTC系统的核心功能,用来保证列车的安全运行间隔。通过对移动授权生成原理的研究,采用时间自动机和其自动验证工具UPPAAL对其进行建模以及验证,验证结果表明,搭建的移动授权模型能够达到规定的安全要求和功能要求。因此UPPAAL能够对复杂的实时系统进行仿真验证。     

6K机车电源系统的并联冗余试验

简述了6K机车电源系统并联运行的背景、方法和效果,提出了机车电源应小型化、独立化,而且并联冗余运行,以此提高该系统的可靠性.     

行驶车辆振动信号的小波分析

本文介绍了小波分析的理论方法，并上小波分析方法应用到了行驶车辆振动的分析中，即：通过二进离散小波变换，把实际振动信号进行多层小波分解，使异常信号和非平稳高频信号得到良好的时间定位和图形显示，并把信号的路面激励与本体振动分离开来。