UML状态图映射为Petri网模型的方法研究

UML广泛应用于软件建模,然而UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。状态图作为UML动态描述机制的重要组成部分,同样存在这样的问题。Petri网作为一种图形化建模工具,具有严格的形式化语法语义,而且有很多成熟的分析方法。本文提出了将UML状态图映射为Petri网模型的方法,并结合实例对映射后的模型进行分析,验证了模型的一系列正确性。     

纤维对微表处混合料性能影响分析

微表处是一种性能优良的养护技术,在我国得到广泛的应用.检验了微表处用原材料的技术指标,在满足规范的要求上以试验分析为基础,通过使用不同纤维以及纤维的添加量,分析这些因素对微表处混合料轮辙变形试验的影响.     

重庆朝天门长江大桥施工控制压重方案设计

朝天门长江大桥全长932 m,主桥为(190+552+190)m三跨连续单拱钢桁梁。结合主跨合龙特点介绍主跨合龙的思路、计算及操作要点,应用大型有限元分析程序MIDAS建立了朝天门长江大桥的三维有限元简化计算模型,并对其进行了施工过程控制分析。压重方案设计可以为同类桥梁的施工控制分析提供有益的思路。     

简谐激扰下模态参数对垂向平稳性指标的影响

用模态坐标变换法推导了用模态参数描述的车辆垂向平稳性指标计算表达式．以二系悬挂15自由度铁道车辆悬挂系统为例,研究了车辆系统模态参数（模态频率和模态振型）对车辆垂向平稳性指标的影响．研究表明,车体模态频率对车辆的平稳性指标的影响最为明显,不同阶的模态阻尼比对平稳性指标的影响存在较大差异,一阶阻尼比对平稳性指标的影响较二阶阻尼比影响大．     

川东北地区超声波回弹综合法测强曲线的建立

超声回弹综合法具有灵活、方便的特点,能全面检测混凝土的强度。建立地区测强曲线,能更准确、更及时地为区域内的工程施工、监理和建设单位提供检测数据。     

����Ʊ��Ʊ�۶����Լ�����ЧӦ����

优先发展公共交通,提高公交运行效率,不仅是缓解城市交通拥堵的有效措施,也是调整城市交通出行结构、改善城市人居环境、促进城市可持续发展的必然要求. 为制定科学、合理的公交票价政策,引导大众选择公共交通方式出行,以成都市为背景,采用问卷调查方法对不同出行者、不同票制、不同票价、不同换乘费用进行意愿调查,得到最大满意度票价;基于调查数据,进行供求曲线分析,提出以最适票价满意度作为供求平衡点;通过票价意愿曲线,进行客流、票价间敏感性分析,得到不同出行者票价梯度变化规律. 本研究可为公交分担率提升,合理票制票价的制定提供依据.     

疏浚仿真器分布式并行智能接口系统

介绍了我国首台1 750 m3/h绞吸式挖泥船疏浚作业仿真训练器分布式并行智能I/O接口系统的组成和I/O数据通信原理,分析了这种I/O接口系统的特点,说明了接口驱动器和接口数据库的设计思想和使用方法以及计算机之间的数据管理和数据通信等.为确保计算机之间的实时通信,采取数据集中管理模式对系统大量实时交换数据进行高效管理,多进程、共享内存等计算机应用及仿真技术的综合运用有效提高了系统高效性和实时能力.     

结合部区域入口匝道协调控制模型

针对进出城市的高速公路与关联城市快速路（简称结合部区域）交通拥堵日益恶化的现象,以结合部区域为研究对象,从结合部区域的匝道控制影响因素分析入手,建立了一种适用于结合部区域的单点入口控制模型和多入口匝道协调控制模型,以京津塘高速公路与北京市三环、四环的结合部区域为例,以实地调研及交通流检测数据为基础,通过仿真验证其有效性,为匝道协调控制实际应用提供理论方法.     

用于阵列波导光栅设计的傅里叶光学修正算法

以傅里叶光学为基础,应用菲涅耳-惠更斯原理推导出了用于设计阵列波导光栅解复用器的数学模型;分析了菲涅耳近似条件对光场在自由传输区进行高斯远场衍射的影响;提出了一种基于四阶量化误差的修正算法,并和传统的傅里叶光学法及StigmaticPoints法进行了比较分析;设计了一个具有0.4nm通道间隔的1×256信道阵列波导光栅解复用器,结果表明,得到的器件参数与实际设计值相吻合.     

双摄像头环境下交叉口控制延误提取的误差统计

对双摄像头环境下控制延误提取的过程进行了介绍,主要对控制延误提取的误差指标进行了验证。以曹安路-绿苑路交叉口西进口道为参数提取的场景,首先介绍了控制延误参数提取的原理;然后对获取的单个车辆的行程时间值与真实的行程时间值进行对比,使用平均误差指标得到系统提取的单辆车进行比较,得到行程时间值的误差值接近0,使用塞尔指标验证了课题研究中所提取的行程时间与实际的行程时间,结果表明可以认为检测得到的值与真实值相同。之后通过相关的处理,获取按周期统计间隔得到的车均信控延误值,考虑所获取的车均延误值的大小,选用平均相对误差指标作为周期延误参数误差统计的指标,使用k—S验证了延误参数的平均相对误差指标符合正态分布,最后使用t检验验证了课题研究中所提取的周期控制延误平均相对误差指标的误差值小于10％,从而证明了参数提取方法的有效性。