中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	Design and Analysis of Physical Simulation System for Satellite Rotating Panels 会议论文 OAI收割 2016 IEEE International Conference on Robotics and Biomimetics (ROBIO 2016), Qingdao, China, December 3-7, 2016 作者: Yin M(尹猛); He Y(贺云); Xu ZG(徐志刚); Liu Z(刘哲); Shao XD(邵晓东) 收藏 \| 浏览/下载：21/0 \| 提交时间：2016/12/21 Physical Simulation System Flexible satellite rotating panels Structure design Simulation verification
	The aircraft autopilot design of parameters changing in a wide range (EI CONFERENCE) 会议论文 OAI收割 2011 International Conference on Electric Information and Control Engineering, ICEICE 2011, April 15, 2011 - April 17, 2011, Wuhan, China Zhen D.; Yue Z. 收藏 \| 浏览/下载：28/0 \| 提交时间：2013/03/25 Autopilot is an important part of aircraft Under the action of the disturbance torque for the flight parameters of aircraft Changing in a wide range the range was about 16km on the basic of analyzing the typical trajectory the max height was about 5100m the trajectory of feature points were selected the deviation of lateral was about 12m taking pitch control loop for example the maximum angle of attack was about 3.6 a sub- PID autopilot was designed using classical control theory the maximum elevator deflection was less than 5 using single-mode Transient suppression method the maximum aileron deflection was less than 2 the overload due to control surface transition deflection was avoided when control parameters changing the maximum roll was less than 5 the verification was done by non-linear simulation. The result showed that: the phase margin of autopilot was greater than 30 the response of overload can accurately track the given overload instruction. An autopilot design method of aircraft of parameter changes in a wide range was provided. 2011 IEEE. the bandwidth was more than 14rad / s the settling time was less than 0.7s the maximum overshoot was 23.3%
	Control method research on wide flight envelope aerocraft (EI CONFERENCE) 会议论文 OAI收割 2nd Annual Conference on Electrical and Control Engineering, ICECE 2011, September 16, 2011 - September 18, 2011, Yichang, China 作者: Duan Z. 收藏 \| 浏览/下载：28/0 \| 提交时间：2013/03/25 The flying qualities of aerocraft was directly effected by the autopilot for the wide flight envelope aerocraft on the basic of analyzing the typical trajectory the three loop autopilots of roll stability pitch and yaw were designed using single-mode Transient suppression method the overload due to control surface transition deflection was avoided when control parameters changing the verification was done by non-linear simulation. The result showed that: Under the action of the disturbance torque the maximum roll was less than 5 the range of the aerocraft was from 13.5km to 22.4km the max height was about 5100m the max deviation of lateral was about 42m the maximum elevator deflection was less than 6.5 the control law was applicable within the effective range. An autopilot design method of wide flight envelope aerocraft was provided. 2011 IEEE.
	a mechanical approach for deriving algorithmic programs 会议论文 OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/06/13 MPAR algorithm correctness automatic algorithm design executable language program formal algorithm program derivation mechanical partition-and-recur approach problem specification software reliability formal specification program verification software rel
	Observability statement coverage based on dynamic factored use-definition chains for functional verification 期刊论文 OAI收割 JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2006, 卷号: 22, 期号: 3, 页码: 273-285 作者: Lv, Tao; Fan, Jian-Ping; Li, Xiao-Wei; Liu, Ling-Yi \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2019/12/16 design verification coverage metrics observability dynamic factored use-definition chains data-flow analysis
	An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文 iSwitch采集 Journal of computer science and technology, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者: Lu, W; Yang, XT; Lv, T; Li, XW 收藏 \| 浏览/下载：27/0 \| 提交时间：2019/05/10 Design verification Simulation Coverage metrics Observability Vector generation
	An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文 OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者: Lu, W; Yang, XT; Lv, T; Li, XW \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2019/12/16 design verification simulation coverage metrics observability vector generation
	An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage 期刊论文 OAI收割 Journal of Computer Science and Technology, 2005, 卷号: 20, 期号: 6, 页码: 875-884 作者: Tao Lv（吕涛）; Wei Lu(鲁巍); Xiao-Wei Li（李晓维）; Xiu-Tao Yang（杨修涛） \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2010/11/03 Design Verification Simulation Coverage Metrics Observability Vector Generation
	property-preserving subnet reductions for designing manufacturing systems with shared resources 期刊论文 OAI收割 THEORETICAL COMPUTER SCIENCE, 2005, 卷号: 332, 期号: 1-3, 页码: 461-485 Huang HJ; Jiao L; Cheung TY \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/28 manufacturing system petri net property-preserving reduction system design transformation verification