陈邦兴
- 作品数：28 被引量：85H指数：5
- 供职机构：同济大学电子与信息工程学院更多>>
- 发文基金：国家自然科学基金铁道部科技研究开发计划“十一五”国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术交通运输工程电子电信电气工程更多>>
- 基于场景的测试用例设计方法研究被引量：12
- 2011年
- 传统的场景法是确定测试用例的重要方法,然而为了取消多余或等效的测试用例,需要在确定了所有测试用例之后对测试用例进行复审和验证,针对该问题,提出一种基于场景优化的方法,按照优化规则,对场景进行优化之后可以为更系统更有效地设计测试用例提供条件和基础。最后结合XML语言的特点对测试用例进行描述,并成功的将其应用到CTCS列控系统设备——临时限速服务器系统的安全性测试中,证明了该方法的有效性。
- 潘建勇陈邦兴
- 关键词：测试用例安全性测试
- 基于Petri网的联锁软件测评仿真建模被引量：5
- 2009年
- 车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例。该模型有助于提高铁路联锁软件测试系统的安全性与精确性。
- 宫杰陈邦兴
- 关键词：联锁软件测试PETRI网
- 基于模型检测的安全分析技术在轨交信号系统的应用
- 2014年
- 轨道交通系统作为大容量公共交通运输工具,其安全性直接关系到广大乘客的生命安全,而安全分析是保障系统安全的必要手段.传统的安全分析技术,极大地依赖于分析人员的技能和经验,使得结果不够完备,甚至错误.本文提出了一种基于模型检测的安全分析新技术,并研发了集FTA和FMEA于一体的安全分析工具,通过遍历系统全部可达状态,自动识别导致某顶事件发生的最小割集,并以轨道交通的信号系统为例,说明此方法的过程及可行性.
- 徐美芳陈邦兴于小飞
- 关键词：轨道交通信号系统
- 含过程和控制库所的层次化Petri网模型及应用被引量：7
- 2005年
- 引入一种含过程和控制库所的Petri网模型,增强了Petri网的表述能力,扩展了Petri网的应用范围,并以铁路车站信号联锁逻辑中的进路控制为背景,较详细地给出了该类Petri网模型的实际应用。
- 陈邦兴吴芳美
- 关键词：PETRI网计算机联锁
- 区间自动闭塞系统安全性测试系统仿真建模
- 2003年
- 铁路区间自动闭塞系统的可靠性和安全性的测试与评估是铁路安全控制领域广为关注的焦点 ,开发区间自动闭塞系统可靠性和安全性自动测试与评估平台是解决这一问题的有效途径 .因此 ,结合作者正在参加研究开发的区间自动闭塞系统可靠性和安全性自动测试与评估平台 ,介绍了铁路区间自动闭塞系统的基本原理 ,抽象出铁路区间自动闭塞系统面向对象模型 ,详尽阐述了利用轨道作为传输通道的仿真模型中所采用的仿真技术 ,并给出了自动闭塞系统可靠性和安全性自动测试与评估平台的总体设计框图 .
- 陈邦兴吴芳美
- 关键词：自动闭塞系统安全性仿真建模
- CBTC线路仿真系统的站场图设计与实现被引量：2
- 2013年
- 介绍了CBTC(基于通信的列车控制)仿真测试系统的整体结构。阐述了其中线路仿真系统的结构和组成。从线路仿真的结构和功能等方面对站场图进行分析和设计,再利用CAD(计算机辅助设计软件)技术、XML(可扩展标记语言)技术以及C#双缓冲绘图技术对站场图进行绘制、保存以及生成。
- 饶康康陈邦兴徐中伟梅萌
- 《多媒体技术及应用》课程教学改革与实践创新被引量：1
- 2012年
- 《多媒体技术及应用》课程是一门理论性强与实际应用结合紧密,具有多学科交叉特点的综合性课程。基于应用型人材培养模式,精简课程理论知识,强化多媒体作品开发技能的训练,引导式拓宽设计思路、建立兴趣平台进而提高学生实践创新能力。根据人材培养目标从教学内容、教学方法、考核方式等方面进行一系列改革,并以"竞赛专题"为载体,激发学生兴趣,培养具有创新思维、实践操作能力强的应用型人材。
- 张婷陈邦兴
- 关键词：多媒体技术教学改革
- 铁路信号控制逻辑的有色Petri网描述方法被引量：4
- 2001年
- 铁路信号逻辑控制关系的形式化描述对实现铁路信号设备计算机控制系统的研制开发具有十分重要的意义.形式化的描述不但可以便于计算机实现具体的逻辑控制,同时也可以提高计算机程序的可靠性.对这些逻辑关系精确地描述之关键在于选择恰当的描述语言.本文利用有色Petri网的特点结合一些铁路信号设备的变化规律给出了相应的有色Petri网描述,并针对一种简化的区间自动闭塞的控制逻辑介绍了用有色Petri网建模的基本方法和有色Petri网模型的分析过程.
- 陈邦兴吴芳美
- 关键词：铁路信号有色PETRI网
- 基于Event-B的一种联锁逻辑的形式化建模研究
- 2013年
- 铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利用自动机模型和形式化语言对车站的一种信号联锁逻辑进行建模研究,并通过逐步精化的方法扩展联锁功能,依赖不变式技术形式化地保证了该模型的安全性。所建模型通过Rodin平台的验证,结果表明它们是安全的。
- 沈啸陈邦兴唐晨
- 关键词：形式化建模EVENT-B
- 基于MAS的VOBC仿真测试系统研究与设计
- 2014年
- 首先针对VOBC仿真系统的需求特点设计系统,将整个系统分成不同Agent,并用MAS体系结构组织系统.然后,分别介绍每个Agent的设计要点,并以PCA为例,用形式化方法进行建模.之后,以VMA和LSA之间为例,简要介绍用KQML语言的通信方法.最后,使用高级语言C#来实现系统设计.
- 朱海鹰陈邦兴祝玉军
- 关键词：仿真系统CBTCMAS形式化
