一种虚拟样机系统设计与研究

在介绍虚拟样机原理和分类的基础上，提出一种基于场景图的虚拟样机系统结构，同时讨论了该系统实现中样机描述与模型生成、场景图动态拆分和组合、人机交互、样机零部件模型准备等几个关键技术和处理方法，用这种方法开发出基于PC机的虚拟样机系统．．     

�����еĶ�ά����ģ�ⷽ��Ӧ������

由于在模拟密集网络、宏观问题和方案阶段中的优势，连续性模拟方法应用到交通模型的模拟中，正在得到越来越多的关注。此论文意在为二维连续模拟方法的发展和应用提供综合的概括。首先讨论的是理论的发展和对特殊的或多变领域机理的模拟，然后再针对连续模拟方法应用到工厂选址、道路选择、人行道的规划、政策和社会经济分析进行评论。最后，预测其未来研究的前景。     

性别歧视在英语言语中的反映

本文在一些语言学家研究成果的基础上，结合作者本人的实际调查，从语义，词性，词序以及构词等方面进行分析，讨论了性别歧视在英语言语中的体现，同时，还对语言随社会的发展而演变，从而使性别歧视现象在言语中弱化的可能性做了深入探讨。     

基于Modelica的主动波浪补偿起重机建模与仿真

为研究主动波浪补偿起重机的动态特性和起吊重物质量等关键参数对主动波浪补偿起重机性能的影响,采用多领域统一建模语言Modelica,在MWorks仿真软件中构建二次马达、恒压变量泵、蓄能器、溢流阀和钢丝绳等模型,以构造出完整的主动波浪补偿起重机模型.对该模型进行仿真分析,结果表明:当起吊重物的质量为20t～160t时,主动波浪补偿起重机的控制效果较好;当起吊重物的质量达到200 t时,重物的补偿位移控制效果相对较差;通过调整PID控制参数可提高起重机起吊重物的质量.     

船体结构焊接坡口建模设计与应用

基于船舶产品设计(Ship Product Design,SPD)造船设计软件,对船舶设计过程中船体结构焊接坡口建模设计进行探讨,论述船体结构焊接坡口建模的相关标准和宏坡口建模的功能创新,重点介绍焊接坡口建模数据在船体结构模型中的应用,为焊接物料量统计管理和数字化造船提供支撑。     

基于探地雷达的隧道衬砌空洞高精度正演识别研究

隧道衬砌空洞易引发衬砌破坏、渗漏水等工程问题,但因衬砌内部金属(如钢筋、钢拱架)对雷达波的屏蔽作用,会增加雷达剖面的复杂性,进而影响检测效果。依托MATLAB软件平台,采用高阶时域有限差分法分别对400 MHz天线和900 MHz天线时隧道衬砌矩形空洞和三角形空洞进行正演模拟。结果表明:高阶时域有限差分法能高精度模拟雷达波在衬砌中的传播特性,展示衬砌中钢筋、空洞、工字钢的反射波、绕射波的能量、振幅、相位特征;900 MHz天线可分辨出长度在0.3 m及以上的界面,远高于400MHz天线的检测精度,但检测界面相对于真实界面小。     

客流饱和条件下轨道交通网络动态可达性分析

轨道交通客流的日益增长使乘客在网络上的出行可达性受到影响,当轨道交通处于客流饱和时乘客存在无法上车而被迫留乘的可能性。为分析轨道交通网络可达性的动态变化特征,建立考虑客流饱和条件下的轨道交通网络动态可达性的评价模型;模型以轨道交通网络拓扑结果作为可达性的空间特性,以列车运行计划作为其时间特性。在深圳轨道交通网络上进行案例分析,通过网络客流和列车运行计划,得到乘客在网络上的期望旅行时间,继而得到OD对及车站的可达性指标。结果表明,目前的轨道交通网络中客流需求更大的车站往往配备较好的列车运输能力,以提高可达性,但是受限于列车开行间隔,客流饱和条件下的部分热门车站动态可达性较低。提出可达性评价方法,可用于评价网络中的客流需求与列车运行计划的匹配程度。     

基于高斯混合模型的铁路入侵物体目标识别方法

基于铁路的特殊视频场景,研究铁路入侵物体目标识别技术,提出并应用1种改进的高斯混合模型,拟定合适的颜色变化阈值和背景更新速率,对图像的不同部分分别进行背景更新,实现铁路视频的背景建模,并由此得到稳定的背景图像;通过背景像素与前景像素的贝叶斯分类实现对铁路入侵物体的准确检测。对典型的铁路入侵行为视频进行实验分析,结果表明:应用改进的高斯混合模型可以更好地适应场景的变化,并能够更加快速、准确地实现在铁路环境下对入侵物体的目标识别。     

电气化铁道牵引馈线负荷概率模型

基于实测数据对牵引馈线有功功率和无功功率进行统计分析,研究行车密度、单台机车功率的概率分布规律,据此提出描述牵引馈线有功功率和无功功率分布的概率模型。给出利用模拟退火算法进行参数辨识的方法和步骤,并结合实例进行求解和验证。研究结果证明,该牵引馈线负荷概率模型可准确描述牵引馈线有功功率和无功功率的统计特性。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。