中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
计算技术研究所 [3]
长春光学精密机械与物... [2]
软件研究所 [2]
中国科学院大学 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [8]
iSwitch采集 [1]
内容类型
期刊论文 [5]
会议论文 [4]
发表日期
2016 [1]
2011 [2]
2008 [1]
2006 [1]
2005 [4]
学科主题
Computer S... [1]
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
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
收藏
  |  
浏览/下载:26/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