CTCS-N等级转换场景形式化建模与验证

新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与验证的方法。首先,选取等级转换场景为主要建模场景,提取规范中的功能与性能需求,梳理信息交互图,基于UPPAAL建立车载设备、应答器、临时限速服务器、无线闭塞中心的时间自动机模型;然后,使用模拟器进行模型的仿真,生成对应的消息顺序图;最后,以自动机语言为基础,验证正常模式和故障模式下车载设备转换是否满足要求。验证结果表明:所建立的模型满足等级转换场景的需求,其功能符合对应的技术规范,证明了该形式化建模的可行性,为新型列控系统测试、其他场景或功能的建模与验证提供了参考。

基于CPN的等级转换场景建模分析

针对正常情况下CTCS-2级列控系统和CTCS-3级列控系统之间的等级转换,探讨了一种基于有色Petri网模型的系统建模方法。模型中引入非周期消息模型,模拟在GSM-R网络中RBC(无线闭塞中心,Radio Block Centre)与车载设备之间消息的传送过程,并建立基于有色Petri网的等级转换控车场景模型,讨论在不同消息重发时间间隔、不同列车速度对等级转换场景完成成功率的影响。验证了该建模方法的有效性,说明了影响等级转换成功率的因素。

采用有色Petri网的等级转换场景概念建模

为了使系统与模型达到一致性,在C2级向C3级转换的过程中,采用有色Petri网对其进行建模.采用自动验证工具(CPN Tools)对模型性能、系统等级转换功能及相关动态属性进行验证,完成对所建模型的确认.对提取到的模型运行数据进行MATLAB仿真,结果表明:搭建的C2级转换到C3级模型能够达到规定的要求;列车以不同速度进行等级转换时,行车速度越高,列车转化时间越短;在C2级控车模式下,以其顶棚速度250km·h-1进行转换,相比Petri网建模,转换成功率可提高0.1%.

Timed RAISE方法在列控系统等级转换场景中的应用研究

高速铁路列车运行控制系统是一个复杂的实时性系统,结合其实际特点,将域方法作为系统描述的切入。通过对模型检验和定理证明两种验证方法的分析比较,提出使用基于定理证明的时间化工业软件工程的严格方法Timed RAISE形式化方法对等级转换(CTCS-2级至CTCS-3级)场景进行描述,并对其场景交互一致性和实时性进行验证,结果表明该场景不会出现场景交互一致性错误,也不会违反时间的约束。

CTCS-1级列控系统等级转换场景建模与验证

随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。

CTCS-3级列控系统等级转换场景功能安全分析

针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。

基于应用场景转换的政策创新扩散:一个新的视角——以“长制”演化为例

从实践来看,政策创新扩散不仅发生在不同属地间,也可以发生在不同政策领域或应用场景间。本文提出基于应用场景转换的政策创新扩散,并通过“长制”演化过程的纵向梳理,系统探索政策创新在不同应用场景间扩散的轨迹及其在时间、空间、场景维度上的特征,同时本文还尝试考察了上级认可对政策创新跨场景扩散及其再创新的影响。研究发现:(1)场景扩散经历了策源场景的早期探索、邻近场景的零星转换、多元场景的集中扩散、其他场景的个别跟进四个阶段,并在时间维度上,呈现出与政策创新空间扩散相类似的S曲线。(2)在空间维度上,相异属地通常比相同属地更容易发生跨场景扩散,且当跨场景扩散发生在相异属地时,更容易产生对原有政策体系的突破性再创新,从而产生新的创新增长点。(3)在场景维度上,相近场景通常比较远场景更容易发生政策创新的跨场景扩散,且从顺序来看,跨场景扩散通常先发生于相近场景,再向较远场景扩散。(4)当一项政策获得上级认可时,更容易引发不同应用场景间的高频扩散。本文的概念提出及最终形成的系列观点拓展了政策创新扩散的研究空间,并为后续政策创新跨场景扩散的模式、机制以及扩散中的再创新等研究奠定了必要基础。

浅谈舞台场景转换的应用模式和技术手段

早期戏剧因为舞台的局限性,在实现场景转换时手段较为单一。随着戏剧艺术的不断发展,场景转换在应用形式和技术手段上皆有突破。这种变化是戏剧进步的必要条件,也是观众审美提高的必然要求。从戏剧导演的角度论述舞台场景转换的条件和依据,并从实际操作层面提供提高舞台场景转换效果的技术手段,可以为戏剧导演和戏剧舞台场景的设计、改进和提高提供有益的指导。

基于生成对抗网络的图像场景转换

由于时间、地点、摄影设备等因素的限制,导致在真实世界中很难获得内容相同而场景不同的图像,一种可行方式是利用生成对抗网络(GAN)在没有成对数据集的情况下对图片中的场景进行转换,但是已有基于GAN的图像场景转换方法主要关注单个类别、单向、结构简单的场景。为了解决具有丰富类别和高度复杂语义结构的图像场景转换问题,提出一种基于GAN的图像场景转换模型,以实现晴天、雨天、雾天等不同场景之间的转换。将GAN、注意力模块和场景分割模块相结合,使模型正确识别并转换感兴趣区域同时保持其他区域不变。为了进一步提高输出的多样性,提出一种新型的正则化损失来抑制潜在噪声。此外,为了避免因缺乏噪声约束而出现的模态崩溃问题,在鉴别器中嵌入噪声分离模块。实验结果表明,相较CycleGAN、UNIT、MUNIT、NICE-GAN等6种对比模型,该模型所生成图像的FID得分和KID得分平均分别提高约7.25%和19%,其能够在不同场景下生成视觉效果更佳的图像。

多场景下基于传感器的行为识别

针对基于传感器的行为识别任务中识别场景单一且固定的问题,提出一种多场景下基于传感器的行为识别迁移模型,由基于传感器的动态感知算法(dynamic perception algorithm,DPA)和自适应场景的行为识别迁移方法(adaptive scene human recognition,AHR)两部分组成,解决在固定场景下对传感器的依赖性以及在场景转换时识别模型失效的问题。DPA提出两阶段迁移模式,将行为识别阶段和模型迁移阶段同步推进,保证模型在传感器异动发生后仍能持续拥有识别能力。进一步提出AHR场景迁移方法,实现模型在多场景下的行为识别能力。实验验证该模型具有更优的适应性和可扩展性。

一种基于模糊逻辑的MPEG压缩视频场景转换检测方法

镜头边界的自动检测是实现基于内容的视频检索必不可少的第一步 ,目前大多数的场景转换检测方法都是基于非压缩视频的 ,而越来越多的视频数据却以压缩形式存在。本文提出了一种新的针对MPEG压缩视频的场景转换检测算法 ,它利用DC序列和运动向量计算像素差、直方图差、统计差和具有“真实”运动向量的宏块所占的比例 ,然后用模糊逻辑对上述参量加以综合 ,隶属度用自适应的方法确定。实验表明这种镜头检测算法具有较高的检出率和检测精度 ,并且能适应不同类型的视频流。

面向图像场景转换的改进型生成对抗网络

设计了新的生成器网络、判决器网络以及新的损失函数,用于图像场景转换.首先,生成器网络采用了带跨层连接结构的深度卷积神经网络,其中,多个跨层连接以实现图像结构信息的共享;而判决器网络采用了多尺度全域卷积网络,多尺度判决器可以区分不同尺寸下的真实和生成图像.同时,对于损失函数,该算法借鉴其他算法提出了4种损失函数的组合,并通过实验对比证明了新损失函数的有效性,包括GAN损失、L_(1)损失、VGG损失、FM损失.从实验结果显示,该算法能够实现多种转换,且转换后图像的细节保留较为完整,生成图像较为真实,明显消除了块效应.

“微”观微博:场景转换对社会行为的影响研究——基于梅洛维茨媒介情境论的视角

微博场景是由微博技术和社会行为共同塑造的,而微博场景的前后台转换和信息流动模式息息相关,本文以梅洛维茨的媒介情境论为视角,以参与式观察法为研究方法探究微博中的场景转换对社会行为的影响。通过描述微博场景的特点,阐述微博场景中的人际交互模式,沿两条路线——信息流动模式和场景转换以及场景转换与社会行为转变来论析信息流动模式、场景转换及行为改变的关系。文章指出规避微博场景中的角色冲突和表达限制,研究出适于微博场景的规则是必要的。

场景转换在沙画动画中的运用研究

场景转换在诸多影视剧作品和二维动画作品中都是不可或缺的一个重要环节。本文以分析影视剧作品的剧情转换为切入点,结合沙画动画场景转换的特点与表现方式,从沙画动画划分镜头设计的角度去探讨场景转换在沙画动画作品中是如何设计并呈现的。

基于场景转换检测的混合差错掩盖方法

提出了一种基于场景转换检测的混合差错掩盖法。该方法通过场景转换检测,充分利用时域信息重建图像,并将场景转换检测中收集的信息用于局部运动的判断,以便将时域掩盖法引入I帧,而在发生场景转换时,使用权值随距离自动调整的空域掩盖法。仿真实验表明,该方法在满足实时视频要求的条件下,可有效地恢复视频差错与抑制视频差错的扩散,取得较好的差错掩盖效果。

基于灰度直方图的场景转换的检测算法

提出了一种基于灰度直方图的场景转换检测算法,可以由灰度直方图的变化判断是否发生了场景转换。灰度直方图算法有效避免了直方图法的漏检问题和灰度图法的误检问题,同时采用双阈值法提高了检测效率。实验表明,该方法简单有效,且识别准确率较高。

试论场景转换与动画各元素的联系及应用

一个场景结束另一个场景开始之间的时刻叫作场景转换。每个场景转换都给编剧和导演提供了利用场景组接特性来传达故事信息的机会。场景可以在没有明确意图的情况下简单接在一起,也可以通过建构增加故事元素。动画场景转换在表现手法和运用方式上与电影和舞台剧等其他可视性艺术作品相比有所不同,它加入了更多虚拟与夸张元素和后期特效技术手法,使动画片中场景转换更加灵活多变。在丰富的场景转换形式下,更彰显场景转换对动画影片的作用,对动画影片叙事节奏的把握也起着十分重要的作用。

浅析场景转换在动画短片中的运用研究

在动画短片的创作中，场景转换的设计显得尤为重要，成功的场景转换不仅可使观众获取视觉上的享受，还能将其引入作品所表现的时空中。虽然动画片的场景转换设计要求具有合理性，但是绝对不能被动地服从自然，要利用故事设计线索创造动画的影像奇观。

改进生成对抗网络在场景图像转换中的应用

本文针对不同场景图像之间的转换问题,提出了一种改进的生成对抗网络模型,能够生成高质量的目标场景图像.在生成目标图像过程中存在因为向下采样而丢失原图像空间位置信息的现象,因此本文设计了一个包含跳跃连接和残差块的生成网络,通过在网络中加入多个跳跃连接部分,将图像的空间位置信息在网络中保持传递.同时为提高训练过程中生成图像在结构上的稳定性,引入SSIM图像结构相似指数,作为结构重建损失,以指导模型生成更优结构的目标图像.此外,为使得转换后的目标场景图像保留更多的色彩细节,加入了身份保持损失,明显增强了目标生成图像的色彩表现力.实验结果表明,本文所提的改进生成对抗网络模型能够在场景图像转换中得到有效地应用.

媒体平台化背景下对外传播的场景转换与素养重塑

基于历史发展等方面的原因,我国在国际舆论场中长期处于弱势,迫切需要提升我国媒体的对外传播力和国际影响力,对外传播媒体的平台化转型势在必行。我国对外传播媒体应依托海量用户资源和新兴媒介技术后发优势,通过传播渠道、媒介形态和文本样态等方面的场景转换,重构对外传播的内容生产机制和互动关系结构,重塑媒体从业者的职业素养,进而增强对外传播媒体的内在活力和外向竞争力。