退出
我的积分:
中文文献批量获取
外文文献批量获取
孟开元; 王瑾; 彭寒; 曹庆年;
西安石油大学计算机学院;
西安航空学院计算机学院;
起落架; 形式化建模; EVENT-B; IUML-B; 精化;
机译:飞机起落架系统:使用Event-B进行工业系统建模的方法
机译:运行时Web服务补偿:使用基于Event-B提炼和证明的形式化方法进行形式化建模和验证
机译:在Event-B中建模起落架系统
机译:基于Event-B和Rodin平台的巡航控制系统的形式化建模
机译:用于起落架应用的半主动控制系统的建模,分析和测试
机译:基于强跟踪滤波器的飞机环境控制系统换热器故障诊断
机译:飞机起落架伸缩控制系统的诊断,预测和健康管理
机译:F-4飞机电液主动控制起落架电子控制系统
机译:改进了液压控制系统,特别是改进了用于飞机起落架的起落架的液压控制系统
机译:基于有限状态机的操作系统需求层形式化建模方法和装置
机译:飞机起落架自动制动控制系统的飞机电路-使用冗余计算机控制液压可控飞机轮的伺服阀
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。