基于时间自动机的无信号交叉口车路协同系统建模与验证

车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一。针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用形式化语言对无信号交叉口车路协同系统功能逻辑进行描述,验证系统对象的状态交互和控制逻辑安全,提高无信号交叉口的车辆通行安全性。以单车无冲突、双车冲突和多车冲突场景分别进行仿真,明确状态交互和使能迁移路径;结合工具和需求规范语句进行系统安全属性验证,证明了控制逻辑的可靠性和安全性,为研发高安全架构的车路协同系统提供了可信依据。

TACS车载设备复杂运营场景分阶段组合测试方法

基于车车通信的TACS(Train Autonomous Control System)列车运行系统通过深度融合车载控制系统和信号系统来实现线路资源管理、列车定位及追踪运行等各项关键功能,对可靠性和安全性的要求严格。针对TACS系统在复杂场景下的车载设备测试存在输入空间组合爆炸、测试用例冗余甚至无效等问题,提出一种车载设备分阶段组合测试方法。首先,以TACS车载设备自动折返场景为研究对象,依据相关规范文件分析其功能需求,提出测试阶段的划分原则与方法,辨识各个阶段下的测试参数、取值及约束,建立各阶段测试模型。其次,提出一种基于测试需求分阶段优化覆盖的组合测试用例生成算法,通过计算各阶段下的测试需求,采用基于贪婪覆盖策略的算法,结合Z3约束求解器,动态生成组合测试用例,实现约束异构影响下的测试需求全覆盖。最后,得到满足约束条件和覆盖强度的车载设备测试用例集。研究结果表明:该方法能够生成满足约束及覆盖率的测试用例集,有效减少了同一场景下模型间67.75%的冗余覆盖;与主流测试工具进行对比,该方法在覆盖强度为2时减少约50%的冗余测试用例,在覆盖强度为3时减少约36%的冗余测试用例。研究成果通过提高测试用例集的精简性,有效地降低了测试成本,为TACS车载设备测试用例的生成提供了参考。

基于模型演化的列控车载设备组合测试案例重构方法

车载设备作为列控系统的关键设备之一,其测试需求在不断迭代。测试案例重构通过更新原有组合测试集覆盖变更的测试需求,实现对测试案例的高效重用,对生成演化后的测试集具有重要意义。根据车载设备输入模型的变化情况,提出一种基于模型演化的测试集重构方法。首先,通过比较演化前后组合模型的差异性,辨识出失效和新增的测试需求,并结合测试参数、参数取值、约束可能出现的演化情况分析两类测试需求的具体构成;其次,基于演化后的组合模型,依次采取修改、扩充、新增3个步骤重构原有测试集,修改不满足变更测试需求的原有案例,扩充新增参数取值,新增案例覆盖剩余测试需求;之后,根据约束间的相容性,将互不干扰的多条约束置于1条测试案例集中处理以精简测试集;最终,得到完备覆盖所有演化后测试需求的组合测试集。以车载设备模式转换等3种场景为例,对本方法进行了验证,研究结果表明:相较于现有方法,本方法能更充分地重用原有案例,测试集总体重合度提高了7.82%,后续人工修改测试案例文档的工作量相应减少,时间成本可降低18.26%。

基于STAMP与组合测试的城轨全自动运行系统车载设备安全测试方法研究

针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。

网联进口道考虑信号影响混合基本图研究

为研究含网联自动驾驶、自动驾驶和人工驾驶车辆的混合交通流在交叉口进口道受信号影响的混合基本图变化情况,构筑信号影响下的混合交通流跟驰模型,并进行混合基本图数值仿真。结果表明,同质交通流下CAV和AV能增加进口道最大通行能力,为12.47%和4.99%;信号信息能一定程度影响交叉口进口道通行能力;增加渗透率P能够提高混合交通流于交叉口进口道通行能力,当混合交通流为最佳密度时,渗透率为0.9、0.5,相较于0.1,进口道通行能力分别提高10.71%和6.52%。

CTCS-2级列控车载ATP组合测试用例集生成方法

车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。

高速逆流色谱在天然产物分离中的应用——紫杉烷类二萜及二萜生物碱的制备分离

高速逆流色谱是一种新发展起来的无载体的液液分配色谱技术。它利用聚四氟乙烯(PTFE)螺旋管的方向性与高速行星式运动相结合,产生一种独特的流体动力学现象,使互不相溶的两相溶液在螺旋管中充分混合,顺序传递,导致样品中各个组分由于分配系数的差别而有效的分离。本文介绍了国产的高速逆流色谱仪及应用该仪器制备分离云南红豆杉中结构相近的三种紫杉烷类二萜及二萜生物碱。

铁路信号安全关键软件的组合测试序列集约简

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性.

云南红豆杉枝叶中一个新成分的结构鉴定

从云南红豆杉（ＴａｘｕｓｙｕｎｎａｎｅｎｓｉｓＣｈｅｎｇｅｔＬ．Ｋ．Ｆｕ）枝叶的二氯甲烷提取部分得到一个新化合物紫杉云亭（ｔａｘａｙｕｎｔｉｎ），经光谱分析和单晶Ｘ－射线衍射推定其结构为５／７／６元环和环氧丙烷四元环稠合的紫杉烷类化合物。这种骨架的紫杉烷二萜化合物在红豆杉植物中首次发现。

CTCS-2级列控车载设备层次化组合测试方法

对列控车载设备开展组合测试,可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题,提出一种车载设备层次化组合测试方法。首先,划分CTCS-2级车载设备测试过程中各种影响因素的组合层次,设置层次化覆盖强度。其次,提出了车载设备层次化组合覆盖准则,给出形式化定义,构建层次化组合测试模型。然后,提出一种两阶段层次化组合测试用例生成方法,高效精简构造层次化组合测试集。最后,以CTCS-2/0等级转换测试为例对方法进行验证。结果表明,在保证各种影响因素组合覆盖的前提下,相对于现有方法,在覆盖强度t={2,2,2}时,采用本方法的测试成本可降低23.53%,有效提高测试的针对性,验证了方法的有效性。

新质生产力在新闻传播中的应用——以AI技术为例

随着计算机技术和大数据技术的发展,AI技术在各行各业中得到了广泛应用。在新闻传播中,AI技术催生了AI协同创作、AI虚拟主播、AI智能审核等应用场景,但也存在虚假新闻、过度程式化、审核出错等问题。新闻媒体要始终坚守新闻报道的真实性和权威性,坚持多元化的新闻创作,坚守正确的舆论导向,让AI技术更好地服务于新时代的新闻报道工作。

制造业投入服务化对碳生产率影响的理论建模和实证检验——以珠三角为例

制造业投入服务化有利于制造业提高劳动生产率,且具有生态效益。在短期内,制造业服务化的发展会引起碳生产率的降低;但随着制造业服务化发展到一定程度,服务化对碳生产率的负向影响转为正,促进制造业碳生产率的提高。碳生产率与制造业服务化之间存在非线性关系且呈U型。

浅谈陌生化设计手法在城市家具设计中的运用

本文通过对城市家具设计手法的研究,提出了陌生化放计的设计方法,将有助于我们认识城市家具设计中的艺术化的规律性,掌握设计的基本要点,从而改变城市家具设计中的单调性,从艺术中吸取灵感来丰富形式语言,美化环境,提高城市形象的艺术含量,提高人们生活质量的同时,也在潜移默化中影响市民的审美品味。

装饰艺术理念与现代设计

今天,人们日益重视设计理念对于设计的影响,设计理念已成为装饰艺术设计的一个重要组成部分。设计师只有真正理解设计理念的含义,才能熟练掌握设计的基本语言,并将设计理念贯穿于设计始终。

浅谈几种城市家具设计的艺术化手法

城市家具是一种社会公共设施,体现出一个城市对文化的追求及公众共同的文化价值观。在城市家具设计中,从艺术造型中吸取灵感来丰富形式语言,从艺术设计学的角度对城市家具在城市景观中进行合理的规划、设计,以及在形态视觉美学和地域文化两个方面展现出具有地域性的、表达地方传统文化的设计。所以在诸多艺术化设计手法中,直接引用是将现成的艺术作品直接引用于城市家具的设计中,在设计中引用艺术作品营造特定的艺术空间,营造特定的精神主题,形成感人的人文氛围。借用是在城市家具设计中将艺术的思潮、表现方法、艺术形式和视觉表现力作为理论指导,力求艺术地再现。

MVBC02一类设备主/从帧数据收发实现方法

本文从TCN标准出发,着重论述多功能车辆总线控制器MVBC内部编程模块的具体功能及主控MVBC在一类设备模式下的初始化配置流程,并在此基础上阐明MVBC一类设备模式下的主/从数据帧的基本组成、帧格式配置、功能码、端口属性定义以及实现数据帧收发的具体方法。通过对MVBC一类模式下的主/从数据帧收发具体流程的详细分析,为进一步开展直接针对MVBC控制器底层硬件的数据通信编程打下基础。

浅谈对重缓冲器的显示标识

一、电梯新检规设定缓冲器标识的目的 TSGT7001—2009《电梯监督检验和定期检验规则——曳引与强制驱动电梯》（以下简称新检规）与02版检规相比，本规则增加了关于对重侧缓冲器设置永久性标识的要求。我们认为之所以要设置此检验项目，主要是考虑到轿厢位于顶层端站平层位置时对重装置撞板与其缓冲器顶面间的距离大小，对于曳引电梯顶部空间尺寸有影响。

铁路计算机联锁系统安全关键软件的安全性能建模方法

针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程(MDP)结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路计算机联锁系统中信号请求子系统安全关键软件为例,采用频率风险SyncCharts建模方法和模型分析方法,建立该子系统的安全性能分析模型,分析该子系统的激活概率和风险等级2个安全性能指标,定量描述该子系统关键软件的安全性能。

谈城市家具设计艺术化的几种手法

从艺术设计学的角度出发,提出了仿生化、几何化、卡通化三种城市家具设计艺术化的方法,并阐述了各种设计方法的特点及应用中的注意事项,使城市家具在满足使用功能的基础上,给人以美的享受。