CORC

在结果中检索

CORC

浏览/检索结果: 共17条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Fine-Grained Formal Specification and Analysis of Buddy Memory Allocation in Zephyr RTOS 会议论文
2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), 2019-01-01
作者:  Zhang Feng;  Zhao Yongwang;  Ma Dianfu;  Niu Wensheng
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30
Analysis of Five Clustering Algorithms in Quantitative Method Research 会议论文
2018 25TH ANNUAL INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING, 2018-01-01
作者:  Huang Fu;  Hou Hai-yan;  Hu Zhi-gang;  Wang Ya-jie
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/02
Regression Identification of Coincidental Correctness via Weighted Clustering 会议论文
作者:  Yang, Xiaoshuang;  Liu, Mengleng;  Cao, Ming;  Zhao, Lei;  Wang, Lina
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05
A Model based Simulation Verification Method for IMA Reconfiguration on System Level 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Li, Zelin;  Wang, Shihai;  Zhao, Tingdi
收藏  |  浏览/下载：6/0  |  提交时间：2020/01/06
Mesoscopic Traffic Simulation on CPU/GPU 会议论文
SIGSIM-PADS'14: PROCEEDINGS OF THE 2014 ACM CONFERENCE ON SIGSIM PRINCIPLES OF ADVANCED DISCRETE SIMULATION, 2014-01-01
作者:  Xu, Yan;  Tan, Gary;  Li, Xiaosong;  Song, Xiao
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Coincidental Correctness: An Interference or Interface to Successful Fault Localization? 会议论文
2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2013-01-01
作者:  Zheng, Zheng;  Gao, Yichao;  Hao, Peng;  Zhang, Zhenyu
收藏  |  浏览/下载：8/0  |  提交时间：2020/01/06
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
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
基于分布式交互仿真系统的控制面板评价方法研究 会议论文
'2006系统仿真技术及其应用学术交流会论文集, '2006系统仿真技术及其应用学术交流会, 中国安徽合肥, CNKI, 中国自动化学会系统仿真专业委员会、中国系统仿真学会仿真计算机与软件专业委员会
张烨烨; 王延斌; 廖可兵; 张伟; Yeye Zhang; Yanbin Wang; Kebing Liao; Wei Zhang
收藏  |  浏览/下载：2/0

©版权所有 ©2017 CSpace - Powered by CSpace