QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 PRECISE CONTROL OF ANGULAR DISPLACEMENT WITH FUZZY SELF-TUNING PID TECHNOLOGY 会议论文 作者:  Wang, Yinghua;  Song, Xiaohui;  Zhang, Jingyuan;  Xiao, Dan;  Jiang, Weihua 收藏  |  浏览/下载：5/0  |  提交时间：2019/12/10 servo motor  self-tuning PID  fuzzy control  angular displacement   人工重力联合运动锻炼方案对抗头低位卧床肺功能变化 会议论文 2011年空间生命与生命起源暨航天医学工程学术研讨会, 中国陕西西安, 2011-05-13 作者:  郭英华;  郭娜;  刘长庭;  王俊锋;  孙喜庆 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 模拟失重  肺功能变化  联合运动  卧位  人肺  深吸气量  氧饱和度  最大通气量  潮气量  对比分析   generating polynomial invariants with discoverer and qepcad 会议论文 Symposium on Formal Methods and Hybrid Real-Time Systems held in Honour of Dines Bjorner/Zhou Chaochen, Macao, PEOPLES R CHINA, SEP 24-25, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun 收藏  |  浏览/下载：10/0  |  提交时间：2011/06/29 program verification  invariant generation  polynomial programs  semi-algebraic systems  quantifier elimination  DISCOVERER  QEPCAD   discovering non-linear ranking functions by solving semi-algebraic systems 会议论文 4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macao, PEOPLES R CHINA, SEP 26-28, Chen Yinghua; Xia Bican; Yang Lu; Zhan Naijun; Zhou Chaochen 收藏  |  浏览/下载：11/0  |  提交时间：2011/06/29 Algebra  Calculations  Difference equations  Polynomial approximation   Generating polynomial invariants with DISCOVERER and QEPCAD (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, China, September 24, 2007 - September 27, 2007 作者:  Chen, Yinghua[1];  Xia, Bican[1];  Yang, Lu[2];  Zhan, Naijun[3] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/17 Algorithms  Computational complexity  Computer programming  Problem solving