基于层次时间自动机的移动授权的建模与验证

基于通信的列车运行控制(communication based train control,CBTC)系统以其安全、可靠等性能优点在城市轨道交通的运营中得到广泛关注。它通过其核心功能,即为每一列通信列车提供移动授权(movement authority,MA),来实现列车安全间隔运行。针对功能安全和实时性等方面的不足,首先,建立移动授权的层次时间自动机(hierarchical time automaton,HTA)模型,其中嵌入了列车管理、安全位置、遍历障碍物和列车筛选模块,并对模块间的交互信息进行分析;其次,采用巴科斯范式(Backus-Naur form,BNF)语法对其特性进行描述;最后,利用UPPAAL对各特性验证。结果表明,移动授权模型满足实时性、顽健性、可用性、完整性、安全性5项需求,层次时间自动机理论适用于系统需求规范的验证。     

眼动分析用于校园恢复性声景观初探——以福建农林大学校园观音湖为例

研究以福建农林大学校园观音湖为例,30名参与者以随机顺序安排到三个样地进行交叉实验,通过可穿戴眼动追踪技术及主观问卷来探讨不同声景感知下的校园景观的恢复性效益。结果表明：(1)在主观恢复性评价上,综合恢复性评分依次是水流组(5.43±0.75)＞安静组(5.17±0.70)＞噪声组(4.77±0.97),且三组声景类型存在显著差异(P＜0.01)。(2)在视觉认知上,相较于噪声组和安静组,水流组的注视次数最少(302.25±70.93),平均注视时间最长(323.77±155.52 ms),而瞳孔直径在三组之间未发现统计学意义。(3)对数据进行可视化呈现发现,不同声景感知会影响视觉感知的过程,水流声会引导对水体的关注,噪声会引导对人工景物的关注,安静环境下对自然景物的关注较多。因此,校园声景观的营建,有利于创造更具恢复性潜力的环境,将水流声引入景观中是提高恢复潜力的较好选择之一。     

行人运动状态对人车碰撞事故中行人损伤的影响

为研究车辆与行人正面碰撞时行人运动状态对行人头部、胸部加速度的影响规律,根据国家车辆事故深度调查体系（NAIS）中的真实案例,利用PreSys软件建立假人与车辆正面碰撞的有限元模型,在此基础上,研究行人不同运动状态和车辆不同碰撞速度下行人的动力学响应及头部、胸部加速度变化情况。结果表明：碰撞速度30km/h时,行人行走状态下头部加速度最大,慢跑状态下行人头部加速度最小;碰撞速度50km/h时,行人不同运动状态下头部加速度差别不明显;行走、慢跑状态下,行人胸部的加速度随着碰撞速度增大而增大;奔跑状态下,行人胸部加速度峰值随碰撞速度的增加呈先减小后增大的趋势。     

北半球温带反气旋的气候统计特征

利用美国国家环境预报中心(National Centers for Environmental Prediction,NCEP)/美国国家大气研究中心(National Center for Atmospheric Research,NCAR)再分析资料,采用判定和追踪反气旋的客观方法统计分析了1948～2016年北半球冬季温带反气旋活动特征。研究发现,北半球温带反气旋主要活动在中东部的北太平洋、东北大西洋、北美的沿落基山脉东部和美国东部、欧亚的环地中海、伊朗高原、青藏高原以北且贝加尔湖以南地区。海洋上、北美洲和环地中海地区上的反气旋夏季频数最高,而伊朗高原、青藏高原以北且贝湖以南的反气旋均冬季最多。海洋上的反气旋生成区域分布较分散,且主要向偏东方向移动、发展,且具有季节变化。相比于海洋,大陆上反气旋生成的纬度较低,主要向东南方移动、发展。北美大陆上的反气旋夏季生成的较多,冬季移动范围较广。北半球反气旋年平均过程数呈缓慢上升趋势。夏季过程数最多,且从1970年开始呈上升趋势。欧亚地区的反气旋过程数最多,其次太平洋,大西洋最少,但是同一个区域的四季相差较小。反气旋的中心气压大值区的形态和高频区的分布形态相似,且中心气压有明显的季节变化。四季中冬季反气旋最强。秋冬季节是欧亚地区的反气旋最强,大西洋的最弱。春夏季大西洋的反气旋最强,欧亚地区的最弱。四季均是欧亚地区的反气旋的平均纬度较低,且冬季最低。北美地区的反气旋除秋季均是移动纬度范围最大的。反气旋数随生命史的变长而急剧下降,90%左右的反气旋的生命史在4 d内,四季均是大洋上的反气旋生命史较大陆上的长。     

鱼类对水动力环境变化的行为响应特征

介绍鱼类感觉水流运动特征的器官——侧线系统,分析鱼类侧线系统在感受水流速度、加速度、压力和振动源方面的功用,以了解鱼类感知水流运动特征的生理机理。为探求鱼类感觉水流运动特征后的响应模式,进行了水流流速、紊动以及切应力对鱼类行为影响的试验,并讨论水流紊动和切应力对鱼类的伤害。介绍了研究鱼类对水动力响应的新方法——SVP假设。在描述和分析鱼类与水流运动关系试验方法和流程的基础上,提出研究鱼类对水动力特征响应的关键是找到合适的指标,来耦合鱼类能够感觉到的水动力因素和水流运动特征量。     

乒乓球运动员损伤及预防研究

利用文献资料法、问卷调查法、数理统计等方法,对我国乒乓球运动员的损伤问题进行研究,研究结果表明:在乒乓球运动员的损伤中,扭伤和拉伤所占比例较大;受伤部位以肩部、手腕、膝部和腰部为主,损伤与运动员打法、训练时间等有着密切的关系.对这些损伤提出了针对性的预防对策.     

竞技网球训练之新探——以中国女子网球队为例

通过对中国国家女子网球队在2008—2011年间的冬训、赛前集训等训练进行调查研究,其训练手段强调进攻意识、强调实战性与对抗性等;其训练内容突出单、双打的攻防能力、网前得分能力的培养;其训练目的注重磷酸原与糖酵解混合功能方式及中前场无氧能力的培养。     

中国近代化的起点——洋务运动

阐述了洋务运动发生的历史背景,指出洋务运动尽管没有取得成功,但仍取得了一定的成果,包括:为中国的经济、军事近代化创造了条件;开创了近代化文化教育事业的先河,客观上促进了中国人现代民族意识的增长,等等。     

大桥沟泥石流运动特征及其对工程影响分析

以大桥沟泥石流为例,针对没有泥石流运动特征实测资料的情况,在地质调查的基础上,根据泥石流、洪水、暴雨三者之间的紧密联系,采用推理公式、雨洪修正与泥痕调查相结合,将已知的不同设计频率下的暴雨特征值转化为不同设计频率下的洪水峰值流量,最终求出不同设计频率下的泥石流峰值流量、一次泥石流总量及输沙量等特征值;最后结合泥石流发生频率分析,对泥石流对工程的影响作出评价.此方法可为西南地区在没有泥石流运动特征实测资料的情况下分析泥石流对工程的影响提供借鉴.     

平潭竹屿湾潮流泥沙运动特征的数值模拟分析

基于非结构网格FVCOM模型构建平潭竹屿湾潮流泥沙计算模型,开展竹屿湾附近海域潮汐潮流、悬浮泥沙输运模拟计算,分析其潮流泥沙的运动特征。模型计算结果显示,海坛海峡内潮波为前进波,潮流与潮位变化同步,但竹屿湾内的潮波为驻波;海坛海峡内大潮、小潮期间垂线平均悬浮泥沙浓度差别较小;现状条件下海床的年最大冲刷强度约为10 cm·a-1。实测数据与模拟计算结果的对比研究表明,模型可以较好地模拟竹屿湾附近潮汐潮流和泥沙的运动特征;竹屿湾海床总体稳定,可能是周围工程建设和人工采砂导致竹屿湾海床局部发生冲淤。