某地铁车体静强度分析及试验验证

为优化某地铁中间车结构,缩短设计周期,建立车体有限元分析模型;依据EN 12663 2010标准,计算车体有限元模型在主要工况下的应力分布,并将仿真结果与试验数据进行对比分析.大多数点的仿真结果与试验数据很接近,误差大多数在10%以内,表明计算建模可靠;同时发现个别误差较大点所在位置,分析误差产生的原因.     

基于ANSYS的煤炭漏斗车车体静强度分析

本文介绍了采用有限元分析软件ANSYS对南车长江车辆有限公司出口澳大利亚PN公司的煤炭漏斗车车体结构进行了静强度分析,分析结果及试验情况表明该车体结构静强度满足相关标准及规范的要求。     

高速动车组铝合金车体强度分析及试验验证

建立高速动车组铝合金车体有限元模型,依据EN12663标准设置计算工况,通过试验验证了有限元模型的准确性,最后根据DVS1608进行疲劳强度评估.计算结果表明静强度结果均小于车体相关结构的许用应力,试验和仿真结果控制在15％以内.选用DVS1608标准对于铝合金车体进行疲劳强度评估时,使用多轴应力评估方法计算母材和焊缝...     

基于MSC Nastran的高压接线箱静强度分析

地铁用高压接线箱必须满足在复杂工况作用下的静强度要求.依据标准BS EN 12663 1:2010的要求,用MSC Nastran分析某地铁用高压接线箱静强度.分析结果表明该地铁用高压接线箱所用材料满足强度要求.     

某小型无人机纵向扰动模型及静稳定性仿真

在无人机设计之初,有必要建立其扰动模型并对静稳定性进行仿真分析;在建立无人机纵向运动方程的基础上,针对某小型无人机进行了方程的数值计算和配平,运用现代控制理论,以飞行迎角的突然扰动作为控制信号建立了无人机的纵向扰动模型,提出一种新型的控制矩阵,更加全面、更加直观地反映了无人机的纵向扰动运动;通过对扰动模型的仿真,表明无人机的结构参数和气动参数使其具有可靠的纵向静稳定性;最后运用所建立模型,分析了不同迎角基准运动状态的选择对扰动过程的影响,对无人机基准运动状态的选择具有参考意义.     

固体发动机静强度试验应变数据的分析与处理

针对固体发动机静强度试验中,存在采集到的应变数据混有噪声或不同干扰信号,并且在某些恶劣工况下,会出现应变数据被噪声信号吞没的现象,研究了一种基于小波阈值去噪的信号分析处理方法.通过对固体发动机静强度试验应变数据的分析,利用傅里叶变换获得原始数据频率谱,采用低通滤波器与小波阈值去噪,对比数据分析情况显示低通滤波器能够在平稳信号领域很好的完成噪声处理,但对于突变数据采用小波阈值去噪法能够更加真实地表现数据特征.分析与处理结果表明,基于小波阈值去噪的信号分析处理方法能够有效解决试验中存在应变数据所受到的干扰现象,为固体发动机静强度试验数据分析与处理提供支持.     

一种新型地铁车-地无线通信系统模型

将无线电传播的物理特性结合,对地铁通信的特殊环境及需求进行综合分析,建立了一种基于行为的列车移动新型数学模型,对2．4G频段和5．8G频段地铁无线通信系统方案进行了分析比较,并给出两者性能上的差别和为适应地铁无线通信环境应采取的相应措施。     

基于混合模型的地铁换乘站客流仿真研究

针对地铁换乘站在大客流情况下客流仿真无法同时兼顾准确性和高效性的问题,采用动态网络流和系统动力学相结合的混合模型,研究换乘站系统客流的演化规律,为车站客流管理提供一定理论和实践支撑.将换乘站系统分为人、机、环、管四个子系统,并采用动态网络流模型对车站环境要素状态进行描述;依据换乘站系统结构要素关系,绘制客流系统流图,构...     

一种地铁塌方风险评估模型的设计仿真

以提升施工安全、避免塌方事故发生为目标,设计基于LightGBM的大跨度地铁塌方风险评估模型.分析大跨度地铁塌方影响因素后,将材料设备、技术、勘察设计、管理、人员以及环境作为准则层,架构塌方风险评估指标体系,根据判定矩阵标度验证判定矩阵合理性,明确指标层中各指标的对应权值.依据梯度提升决策树与叶子分裂模式,经过不断分裂...     

地铁列车的追踪间隔控制模型与仿真

在分析列车区间追踪间隔时间、车站追踪间隔时间的基本概念以及影响因素的基础上,建立了城市轨道交通在不同信号系统下的列车区间追踪间隔和列车车站追踪间隔模型．给出了相应的列车追踪间隔时间的计算方法．应用MATLAB软件进行了验算并对仿真结果进行分析．     

二进制扫描的缓冲区溢出漏洞探测技术

缓冲区溢出漏洞自从出现以来,一直引起许多严重的安全性问题,而且随着软件系统越做越大,越来越复杂,缓冲区溢出漏洞的出现越来越普遍。本文从检测程序的漏洞方面着手,比较了以前常用的静态代码分析和实时错误注入的检测方法,提出了一种对可执行文件反汇编后的代码进行缓冲区溢出漏洞检测的技术,提高了检测软件系统漏洞的效率。     

基于污点分析的数组越界缺陷的静态检测方法

随着移动计算、物联网、云计算、人工智能等领域的飞速发展,也涌现出了很多新的编程语言和编译器,但是C/C++语言依旧是最受欢迎的编程语言之一,而数组是C语言最重要的数据结构之一.当在程序中通过数组下标访问数组元素时,必须确保该下标在该数组的边界之内,否则就会导致数组越界.程序中的数组越界缺陷会使得程序在运行时导致系统崩溃,甚至使攻击者可以截取控制流以执行任意恶意代码.当前针对数组越界的静态检查方法无法达到高精度的分析,尤其是无法处理复杂约束和表达式,过多的误报额外增加了开发者的负担.因此,提出了一种基于污点分析的数组越界的静态检测方法.首先,提出流敏感、上下文敏感的按需指针分析方法,实现数组长度区间分析.然后,提出按需污点分析方法,实现数组下标和数组长度污染情况的计算.最后,定义数组越界缺陷判定规则,提出使用后向数据流分析方法,检测数组下标是否越界.在进行数组越界检测的过程中,为了处理程序中的复杂约束和表达式,在分析过程中将调用约束求解器来判断约束的可满足性.如果没有发现相应的语句,则报告数组越界缺陷警报.同时,实现了自动静态分析工具Carraybound,并通过实验展示了方法的有效性.     

配电GIS中动态缓冲区分析模型及应用

在GIS中,根据地理实体对周围空间的作用不同,将缓冲区分为静态和动态两类,对动态缓冲区不是简单的设定距离参数,而必须依据操作对象和要求,选择适用的分析模型。给出了不同的模型和变换公式,并给出实例,介绍了动态缓冲区分析的模型参数的确定方法和缓冲区的建立步骤。     

一种基于代码静态分析的缓冲区溢出检测算法

缓冲区溢出目前已成为最常见的软件安全漏洞之一,从源代码形式来看,常见的缓冲区溢出漏洞主要有两种类型：数据拷贝和格式化字符串造成的缓冲区溢出.分析了常见缓冲区溢出漏洞发生的原因,给出了格式化字符串存储长度的计算方法,介绍了一种基于源代码静态分析的缓冲区溢出检测算法,该算法首先对源代码进行建模,构造其抽象语法树、符号表、控制流图、函数调用图,在此基础上运用区间运算技术来分析和计算程序变量及表达式的取值范围,并在函数间分析中引入函数摘要来代替实际的函数调用.最后使用该方法对开源软件项目进行检测,结果表明该方法能够有效地、精确地检测缓冲区溢出.     

一种需求驱动的缓冲区溢出检测算法

本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。     

基于可执行文件的缓冲区溢出检测模型

给出缓冲区溢出的基本原理和现有检测技术,针对二进制可执行文件中存在的缓冲区溢出漏洞,提出一种缓冲区溢出检测模型,该模型采用静态检测和动态检测相结合的方法。对检测结果采取污点跟踪法进行人工分析,采用插件技术给出缓冲区溢出检测模型的具体设计。实验结果证明该模型的设计是有效的。     

牵引计算与仿真之经济牵引策略计算

列车运行中采用何种牵引策略对提高列车的运行速度和牵引重量,保证列车的运行安全和尽量节约能耗,以及扩大运输能力、提高运输效益的是非常重要的。介绍了经济牵引策略,分析了基于经济牵引策略的计算机防真计算过程。     

缓冲区溢出的建模分析

论文介绍了一种检测缓冲区溢出漏洞的建模方法。该方法的关键是对C语言的源代码做静态分析,把缓冲区溢出这个事件作为一个整数区域问题来看待,从而建立缓冲区溢出的数学模型。该模型的一个优点是在代码编译以前可以通过静态分析的方法来发现潜在的缓冲区溢出漏洞。