QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 发表日期：2011    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Research on model reference sliding mode control in roll stabilization of aerocraft (EI CONFERENCE) 会议论文 2011 International Conference on Electric Information and Control Engineering, ICEICE 2011, April 15, 2011 - April 17, 2011, Wuhan, China Chu H.-R. 收藏  |  浏览/下载：25/0  |  提交时间：2013/03/25 Aimed at aerospace roll stabilization  control arithmetic based on model reference sliding mode variable structure theory and chattering reduction arithmetic are formulated. Correctness and validity of arithmetic are analyzed. With flight dynamics  the roll-loop mathematic model and reference model are established. Sliding hyperplane is deduced based on model reference sliding mode variable structure theory. Combing with reaching law  control law is derived  and stability of roll-loop is analyzed. Chattering of aileron instructions is alleviate by using boundary layer approach. Digital flying simulation result shows that variable structure control arithmetic realized roll stabilization control  the roll angle is less than 5.3 under powered flight  and that of unpowered flight is less than 0.5  respectively. The command fin angle is less than 1.5. High frequency chattering of fin command nearby the minimum velocity was trailed off by chattering reduction arithmetic. The sliding mode control arithmetic show good performance when aerodynamic coefficients varies 20%. The control arithmetic is easy to be implemented for its simplicity. 2011 IEEE.   The effectiveness of real-time embedded software testing (EI CONFERENCE) 会议论文 2011 9th International Conference on Reliability, Maintainability and Safety: Safety First, Reliability Primary, ICRMS'2011, June 12, 2011 - June 15, 2011, Guiyang, China Zhang B.; Shen X. 收藏  |  浏览/下载：28/0  |  提交时间：2013/03/25 Real-time embedded software is widely applied in the fields with high reliability and security like aviation and space flight etc. In those systems  software quality is of vital importance  and software testing  as a means of guaranteeing the quality of software  is gaining increasingly more attention. The effectiveness of software testing enables people to gain confidence in software correctness. The real-time and embedding features of embedded software lead to the particularity in real-time embedded software testing. On the basis of particularity analysis of embedded software testing  the author of this thesis further conducted research on the effective Software Testing  and proved that it is valid to adopt testing techniques and strategies through experiments. 2011 IEEE.   An Iterative Method for Generating Loop Invariants 会议论文 FRONTIERS IN ALGORITHMICS AND ALGORITHMIC ASPECTS IN INFORMATION AND MANAGEMENT, (FAW-AAIM 2011), 2011-01-01 作者:  Chen, Shikun;  Li, Zhoujun;  Song, Xiaoyu;  Li, Mengjun 收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06 program correctness  loop invariant  finite difference