检索结果-南通市图书馆

维普期刊数据库博看期刊

基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究

在线全文

学校读者我要写书评

暂无评论

基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究

作者：曹雅鑫西南交通大学

学位级别：硕士

随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供重要的行车控制信息,是高安全性、高可靠性的安全苛求系统。为了保证列控中心能够可靠地工作,必须对列控... 详细信息

随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供重要的行车控制信息,是高安全性、高可靠性的安全苛求系统。为了保证列控中心能够可靠地工作,必须对列控中心软件进行严格的功能测试,这意味着测试过程中须执行大量的测试用例。测试用例的质量对测试效果至关重要,当前测试用例生成方法大体分为人工设计和软件自动生成两种。轨道电路编码是列控中心主要功能之一,该功能逻辑复杂,人工设计测试用例的方式存在诸多不足,因此有必要研究轨道电路编码功能的自动化测试用例生成方法从而为列控中心自动化测试打下坚实基础。本文首先对列控中心的功能和结构进行了概述。详细介绍了列控中心轨道电路编码的基本原理。同时还介绍了 UML状态图的特点以及本文对使用UML状态图的约束,进而提出适用于轨道电路编码功能的UML状态图建模方法及测试用例生成方法。其次,本文详细分析了站内和区间轨道电路编码功能的特点,明确了该功能所涉及的建模对象,并且提出了轨道电路编码模型的复用方法。在此基础上从站内进路或区间线路以及他们的相关轨道区段两个层次建立轨道电路编码功能模型。为了根据模型自动产生测试用例,本文采用图覆盖与组合覆盖结合的方式产生测试用例的输入信息,即利用基于主路径覆盖准则的算法生成测试路径,之后再通过组合测试工具ACTS对测试路径中的变量进行组合覆盖。在产生测试用例的输入信息后,利用Antlr文法分析器对模型的转移条件进行分析并结合UML状态图的状态转移机制推算出测试用例的输出信息,从而实现基于UML状态图测试用例的自动生成。最后,本文设计并实现了测试用例自动生成工具。该工具可以根据轨道电路编码模型自动产生测试用例,为进一步研究列控系统自动化测试平台打下基础。

关键词：列控中心轨道电路编码 UML状态图测试用例

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

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国铁道科学 2017年第2期38卷 111-117页

作者：李耀张亚东郭进晏姗饶畅曹雅鑫西南交通大学信息科学与技术学院四川成都610031

针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上... 详细信息

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

关键词：铁路信号系统软件安全性能 SyncCharts建模马尔可夫决策过程

维普期刊数据库

CTCS-2至CTCS-3等级转换的研究及仿真

在线全文

学校读者我要写书评

暂无评论

铁路计算机应用 2016年第1期25卷 44-47页

作者：曹雅鑫西南交通大学信息科学与技术学院成都610031

分析CTCS-2级转换至CTCS-3级的具体流程以及转换过程中的车地信息交互。以西南交通大学CTCS-3级列控系统仿真平台为研究对象,针对该系统CTCS-2级至CTCS-3级等级转换的功能空缺,在车载子系统中增加等级转换控制模块,完善地面子系统相关功... 详细信息

分析CTCS-2级转换至CTCS-3级的具体流程以及转换过程中的车地信息交互。以西南交通大学CTCS-3级列控系统仿真平台为研究对象,针对该系统CTCS-2级至CTCS-3级等级转换的功能空缺,在车载子系统中增加等级转换控制模块,完善地面子系统相关功能,并对CTCS-2级至CTCS-3级的等级转换功能进行仿真测试。结果表明,该平台能够正确地完成CTCS-2级至CTCS-3级的等级转换,实现等级转换过程中超速防护功能及司机提示功能,并对等级转换过程中车地仿真消息进行实时记录和显示。

关键词： CTCS 等级转换仿真平台

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于趣味化教学优化小学英语课堂

新课程研究 2021年第28期 71-72页

作者：曹雅鑫甘肃省庆阳市镇原县临泾镇席沟圈明德小学

文章基于趣味化教学视角,分析趣味化教学内涵及其对英语教学的作用,并反思当前小学英语教学存在的问题,提出优化教学模式,构建英语课堂趣味化的策略,以促进学生的发展,推动英语教学发展进步。

关键词：小学英语趣味化教学教学作用问题表现优化措施

论我国收益权质押案件相关问题的司法裁判思路

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

赤子(上中旬) 2016年第23期 126-126页

作者：刘荣曹雅鑫熊莹西南交通大学公共管理与政法学院

收益权是既不同于物权也不同于债权、知识产权,更不同于行政收费权的一种新型权能。它同时包含了普通债权、知识产权、行政收费权出质时所产生的收益权部分的内容。近年来随着现实需要的增加,收益权质押越来越常见,由此引发的纠纷也在... 详细信息

收益权是既不同于物权也不同于债权、知识产权,更不同于行政收费权的一种新型权能。它同时包含了普通债权、知识产权、行政收费权出质时所产生的收益权部分的内容。近年来随着现实需要的增加,收益权质押越来越常见,由此引发的纠纷也在逐年增加,这些纠纷的解决对经济的发展、立法的完善和促进我国法律制度的革新有着重大的意义。

关键词：收益权质押收益权成立收益权效力收益权实现

环境规制会改变劳动力需求结构吗？——基于“大气十条”的理论分析与实证检验

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数量经济技术经济研究 2024年

作者：王群伟李振冉曹雅茹南京航空航天大学经济与管理学院

稳定的劳动力需求对于减轻环境规制可能引发的经济和社会负面影响至关重要。区别于已有研究中环境规制对所有企业劳动力需求影响的同质性假设，本文将企业分为受规制和非规制企业，将“大气十条”作为研究对象，从理论分析和实证检验两... 详细信息

稳定的劳动力需求对于减轻环境规制可能引发的经济和社会负面影响至关重要。区别于已有研究中环境规制对所有企业劳动力需求影响的同质性假设，本文将企业分为受规制和非规制企业，将“大气十条”作为研究对象，从理论分析和实证检验两个方面对比了环境规制对两类企业劳动力需求的动态影响，明晰了环境规制影响劳动力需求结构的作用机制。研究发现：环境规制会改变劳动力需求结构，并呈现出动态变化特征。短期内，受规制企业的劳动力需求降低，非规制企业的劳动力需求小幅度增长；长期内，受规制企业的劳动力需求恢复，非规制企业的劳动力需求大幅度持续增长。从机制来看：受规制企业劳动力需求短期内降低主要归因于生产规模缩小和生产设备升级，末端污染处理设备安装和生产规模恢复在长期内推动了劳动力需求的恢复；非规制企业劳动力需求增加的主要原因是生产规模扩张以及受规制企业淘汰劳动力的流入。另外，从员工技能水平、生产智能化水平和企业年龄的异质性角度考虑，环境规制对受规制和非规制企业劳动力需求的动态影响呈现出显著的差异。本文研究结果对环境规制实施过程中如何更好稳定就业、改善劳动力需求结构具有一定政策启示。

关键词： “大气十条” 环境规制劳动力需求结构政策调整

上海市区级房地产交易中心“一网通办”流程优化研究 ——以黄浦区为例

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

上海市区级房地产交易中心“一网通办”流程优化研究 ——以黄浦...

作者：曹雅婷上海师范大学

学位级别：硕士

在信息技术与互联网技术不断发展的当下,如何运用信息化手段推进我国经济与社会的全面发展已经成为了目前我国关注的焦点。近年来,国务院多次发布文件,提出运用信息化手段推动服务事项一网通办,深化“放管服改革”。上海市政府紧跟决策... 详细信息

在信息技术与互联网技术不断发展的当下,如何运用信息化手段推进我国经济与社会的全面发展已经成为了目前我国关注的焦点。近年来,国务院多次发布文件,提出运用信息化手段推动服务事项一网通办,深化“放管服改革”。上海市政府紧跟决策部署,以优化公共服务办事流程,提高办事效率,方便企业群众办事为目标,全面启动政务服务“一网通办”工作。上海市房地产交易中心,作为提供房地产相关政务服务的政府部门,对接“一网通办”的各项要求,积极推进房地产交易政务服务“一网通办”的建设与实施工作。自“一网通办”工作开展以来,上海市区级房地产交易中心以互联网信息技术为手段,将服务阵地扩展至线上,在“一网通办”总门户中陆续开通了房地产相关业务办理功能。各区级房地产交易中心在上海市房地产交易中心的统一领导下各自成立了“一网通办”线下综合服务窗口,通过线上线下相结合的方式,推进实现“数据多跑路,百姓跑一次”的服务理念,大大提升了房地产政务服务的服务质量与服务效率。然而由于目前上海市房地产交易中心“一网通办”的改革时间并不长,服务机制还不是特别成熟,目前整个操作流程中还存在着许多问题。在此背景下,笔者以黄浦区房地产交易中心为个例进行分析,设计了调查问卷,对前来交易中心办事的群众进行了调研。同时对交易中心“一网通办”线下综合服务窗口的办事人员进行了访谈,了解他们在实际操作过程中的体会与看法,获得了较为详实的数据。通过对这些数据进行整理与分析,笔者发现目前黄浦区房地产交易中心政务服务“一网通办”服务流程存在信息孤岛、线上线下整合不完善、平台功能不完善以及缺少监管机制等问题,结合目前黄浦区“一网通办”的现状,分析得出了导致这些问题的原因分别是,各部门对信息过于保护且信息管理模式不同、线上线下平台缺乏统一服务标准、平台顶层设计不足、“一网通办”上线时间较短,对流程监管关注较少等。根据目前存在的问题及其原因,笔者对上海市各区级房地产交易中心“一网通办”流程提出了相应的优化建议,包括促进数据资源共享、优化“一网通办”线上线下协调机制、完善平台顶层设计、健全监管机制等。从而帮助各区级房地产交易中心更好地开展“一网通办”相关工作,完善与其他政府部门的沟通协调机制,为企业群众提供更便捷高效地服务。同时对于上海和其他地方政府部门的政务服务改革具有一定的借鉴意义。

关键词：房地产交易中心 “一网通办” 政务服务改革服务流程

基于TiO2光热膜的设计及其界面太阳能驱动净化水性能的研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于TiO2光热膜的设计及其界面太阳能驱动净化水性能的研究

作者：曹雅丽曲阜师范大学

学位级别：硕士

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于多特征增强的手部姿态估计方法

计算机工程与应用 2024年第6期60卷 207-213页

作者：奉鑫鑫高曙武汉理工大学计算机与人工智能学院武汉430070

手部姿态估计是计算机视觉研究的重要方向之一,在人机交互、虚拟现实、机器人控制等应用领域发挥着重要作用。针对目前手部姿态估计存在特征表示方法单一性的问题,提出手部关键点连接关系特征构建方法与基于手部运动语义关系的关键点特... 详细信息

手部姿态估计是计算机视觉研究的重要方向之一,在人机交互、虚拟现实、机器人控制等应用领域发挥着重要作用。针对目前手部姿态估计存在特征表示方法单一性的问题,提出手部关键点连接关系特征构建方法与基于手部运动语义关系的关键点特征聚合增强方法,提高手部特征表达与信息共享能力;针对手部目标检测与图像分割等预处理方法中存在的遮挡性问题,设计手部轮廓特征提取方法,提高预处理效果;基于所提出的多特征表示与增强方法,构建了一个基于全卷积结构的深度学习神经网络模型,避免直接回归计算3D姿态信息导致的空间信息丢失问题,从而有效提高了3D手部姿态估计精度。在DO、ED、RHD等多个数据集上与SOTA模型相比,均取得了竞争性的效果,且平均AUC结果达到了93.3%,说明所提出的方法也具有较好普适性。

关键词： 3D手部姿态估计特征增强卷积神经网络全卷积神经网络

维普期刊数据库