机构

• 软件研究所 [2]
• 长春光学精密机械与物... [1]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [3]

发表日期

• 2012 [1]
• 2010 [2]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Recent development of passive dynamic walking (EI CONFERENCE) 会议论文  OAI收割 2011 International Conference on Energy, Environment and Sustainable Development, ICEESD 2011, October 21, 2011 - October 23, 2011, Shanghai, China 作者:  Zhang P. 收藏  |  浏览/下载：29/0  |  提交时间：2013/03/25 The focus of this paper is a review on the recent development of passive dynamic walking. Passive dynamic walkers are introduced  from the simple rimless wheel to the recently developed real two legged machines. Control strategies necessary to improve the stability and robustness of locomotion of passive dynamic walkers  such as the hybrid geometric approach and the virtual constraints  are discussed briefly. Finally  the unresolved problems in the field of passive dynamic walking are summarized and directions of further developments are discussed. (2012) Trans Tech Publications  Switzerland.   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   a hypervisor-based secure storage scheme 会议论文  OAI收割 2nd International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC 2010, Wuhan, Hubei, April 24, Dan Wang; Dengguo Feng   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/03/31 Xen hypervisor  data security  hypervisor-based secure storage scheme  property-based sealing solutions  trusted platform module  virtual machines  virtual platform  security of data  virtual reality