公共文化服务平台

徐凯: 作品数：15 被引量：21H指数：3; 供职机构：西安交通大学更多>>; 发文基金：国家自然科学基金更多>>; 相关领域：机械工程交通运输工程社会学自动化与计算机技术更多>>

合作作者

一种超临界二氧化碳透平压缩装置: 本发明提供的一种超临界二氧化碳透平压缩装置，包括主轴，所述主轴上一体式结构设置有压缩机叶轮，所述主轴的输入端一侧安装有透平叶轮，所述透平叶轮与压缩机叶轮背向布置；本发明能够有效缩短转子长度，提高转子一阶临界转速至额定转速...; 白博峰张旭李煜喆岳梁媛李嘉琦张恩搏徐凯冯彦力

开放式电气集中车站控制台记录分析系统: 梁晋高振华尚春阳殷咸青周好斌韩维彬张世华徐凯刘建民殷勤策龚原斌党海斌白顺来田建平; 该系统通过采集车站电气集中控制台上的电气信号，记录整个控制台的操作过程及运行状态，并语音提示或警示室内外的工作人员，同时将所采集的数据存入非丢失存储器中，通过计算机就地或远程读取记录分析仪内部数据，从而进行实时监视或回放...; 关键词：; 关键词：车站控制系统

基于模型检测的机电系统FMEA研究被引量：11: 2016年; 失效模式与影响分析(Failure modes and effects analysis,FMEA)是一种重要的设计评审和可靠性评估手段,但传统FMEA是非形式化的,分析烦琐且容易出错。将形式化技术引入机电系统FMEA,提出基于模型检测的机电系统FMEA方法。基于机电系统中的状态和事件,研究机电系统行为过程的形式化建模,针对单元失效建立面向FMEA的系统形式化模型;基于计算树逻辑(Computation tree logic,CTL)对机电系统的潜在故障进行形式化规约,并以潜在故障的否定命题构建待验证的系统行为属性;借助于模型检测工具遍历系统状态空间来检验系统是否满足行为属性,从而辨识系统单元失效与系统潜在故障之间的关系,实现基于模型检测的机电系统FMEA;将上述方法应用到数控机床进给系统,通过模型检测成功辨识出限位开关失效所导致的系统故障,验证了该方法的可行性。; 杨培林徐凯薛冲冲贾焕如; 关键词：FMEA 机电系统

利用形式化方法的机电系统概率失效模式及影响分析被引量：5: 2018年; 针对传统的失效模式及影响分析中依靠领域专家分析判断系统单元失效与系统故障之间的关系,分析烦琐、容易出错且难以计算故障概率的问题,将形式化技术引入机电系统失效模式及影响分析中,提出了基于概率模型检测的机电系统概率失效模式及影响分析方法。基于机电系统中的状态变迁,研究了机电系统行为过程的随机模型及其形式化表达,建立了面向概率失效模式及影响分析的系统形式化随机模型;基于连续随机逻辑对系统的潜在故障进行了形式化规约,构建了潜在故障的概率形式化规约表达式;利用概率模型检测器对系统的随机模型和潜在故障进行形式化验证,从而辨识单元失效与系统潜在故障之间的关系,并自动计算单元失效所导致的系统故障概率,提高了失效模式与影响分析的准确性和效率。该方法不仅可以借助概率模型检测迅速准确地识别单元失效与系统潜在故障之间的因果关系,还可以自动计算系统故障概率。将该方法应用于数控机床进给系统,成功辨识出了限位开关失效所导致的系统故障并计算出了故障概率,从而验证了方法的可行性。; 杨培林侯翌徐凯贾焕如; 关键词：机电系统概率模型检测

一种基于Petri网的复杂机电系统可靠性建模方法: 本发明公开了一种基于Petri网的复杂机电系统可靠性建模方法，首先根据复杂机电系统运行过程中各部件状态变化的时序关系，建立复杂机电系统运行过程的Petri网模型；然后在复杂机电系统运行过程的Petri网模型基础上，加入各...; 杨培林薛冲冲徐凯; 文献传递

一种基于模型检测技术的复杂机电系统可靠性评估方法: 本发明公开了一种基于模型检测技术的复杂机电系统可靠性评估方法，通过对复杂机电系统进行可靠性分析形式化建模以及可靠性要求的形式化表达，利用模型检测工具由计算机自动判断系统是否满足预期设定的可靠性指标并且求解系统可靠度以及各...; 杨培林徐凯薛冲冲; 文献传递

基于IDEF的复杂机电系统状态解析被引量：5: 2015年; 利用功能-行为-状态建模思想,提出了基于IDEF的复杂机电系统状态解析方法。首先利用IDEF0建立复杂机电系统功能结构的形式化表达,然后基于功能-行为映射关系并根据行为之间的时序、逻辑关系利用IDEF3建立复杂机电系统行为过程的形式化表达,最后将系统行为过程形式化表达模型中的行为单元的行为映射为状态,形成复杂机电系统的状态变迁网络。基于状态变迁网络,可以获得复杂机电系统行为过程中的状变迁序列,进而实现复杂机电系统的状态解析。; 杨培林徐凯薛冲冲侯瑞双; 关键词：复杂机电系统 IDEF

基于概率模型检测的机电系统动态可靠性评价被引量：2: 2019年; 为克服传统动态可靠性分析方法的不足,提出基于概率模型检测的机电系统动态可靠性评价方法。介绍了概率模型检测的概念及概率模型检测工具PRISM。用形式化建模语言描述系统单元的状态变迁过程,建立了机电系统的形式化模型。利用连续随机逻辑对机电系统可靠性评价指标进行形式化描述,建立了可靠性指标的规约表达式,借助概率模型检测工具自动解算可靠性指标,实现了基于概率模型检测的机电系统动态可靠性评价。所提方法建模过程简单,能有效提高机电系统动态可靠性分析的效率。; 侯翌杨培林徐凯刘青樊娟妮; 关键词：概率模型检测机电系统