退出
我的积分:
中文文献批量获取
外文文献批量获取
石正璞; 崔敏; 谢果君; 陈钢;
南京航空航天大学计算机科学与技术学院;
形式化验证; 定理证明; 多旋翼飞行器; 飞行控制系统; 推进系统; Coq; OCaml;
机译:使用旋翼飞机飞行试验验证旋翼飞机在自动旋转中的数学模型
机译:Coq中可编程逻辑控制器计时器的形式化和验证
机译:通过STS协议的形式化和验证比较Cafe OBJ和Coq
机译:大型民用旋翼飞机(LCTR2)旋翼飞机推进和驱动系统的研究和子系统优化
机译:旋翼航空器具有可变旋翼速度指令的集成飞行/推进控制。
机译:2002-2008年挪威北部的空中救护飞行。辅助固定翼(FW)的运行次数增加旋翼(RW)运输工具的使用更多
机译:VTOL无人机旋翼直升机旋翼推进系统的推力控制机理
机译:在UH-60和其他旋翼飞机的未来模型中使用线控飞线技术
机译:旋翼飞机装有反扭矩的尾旋翼,选择性地为旋翼飞机提供升力和平移推进力
机译:带有反扭矩后旋翼的旋翼飞行器,选择性地参与旋翼飞行器的升起和平移推进
机译:与旋翼飞机的旋翼反向旋转,以抵抗旋翼飞机平移中的升力和推进力所涉及的扭矩
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。