This paper mainly studies stability and optimal control for networked controlsystems with the real-time setup of time-driven sensor, event-driven controller and actuator, and with the assumption that network-induced ...
详细信息
ISBN:
(纸本)0780382730
This paper mainly studies stability and optimal control for networked controlsystems with the real-time setup of time-driven sensor, event-driven controller and actuator, and with the assumption that network-induced delay is no longer than certain known times of sampling period. The modeling of this class of networked controlsystems is given. Then, preliminary stochastic stability analysis of it is presented. Finally, based on stochastic optimal control theory an LQG control scheme is provided. Much work needs to be continued for future research.
Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (LLMs) for automatically resolving soft...
详细信息
Bug fixing holds significant importance in software development and maintenance. Recent research has made substantial strides in exploring the potential of large language models (LLMs) for automatically resolving software bugs. However, a noticeable gap in existing approaches lies in the oversight of collaborative facets intrinsic to bug resolution, treating the process as a single-stage endeavor. Moreover, most approaches solely take the buggy code snippet as input for LLMs during the patch generation stage. To mitigate the aforementioned limitations, we introduce a novel stage-wise framework named PATCH. Specifically, we first augment the buggy code snippet with corresponding dependence context and intent information to better guide LLMs in generating the correct candidate patches. Additionally, by taking inspiration from bug management practices, we decompose the bug-fixing task into four distinct stages: bug reporting, bug diagnosis, patch generation, and patch verification. These stages are performed interactively by LLMs, aiming to simulate the collaborative behavior of programmers during the resolution of software bugs. By harnessing these collective contributions, PATCH effectively enhances the bug-fixing capability of LLMs. We implement PATCH by employing the powerful dialogue-based LLM ChatGPT. Our evaluation on the widely used bug-fixing benchmark BFP demonstrates that PATCH has achieved better performance than state-of-the-art LLMs.
This book constitutes the refereed proceedings of the International Conference for Smart Health, ICSH 2014, held in Beijing, China, in July 2014. The 21 papers presented together with 4 extended abstracts were careful...
详细信息
ISBN:
(数字)9783319084169
ISBN:
(纸本)9783319084152
This book constitutes the refereed proceedings of the International Conference for Smart Health, ICSH 2014, held in Beijing, China, in July 2014. The 21 papers presented together with 4 extended abstracts were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on information sharing, integrating and extraction; health data analysis and management; clinical and medical data mining; and clinical practice and medical monitoring.
This book constitutes the refereed proceedings of the 6th International Conference on Brain Inspired Cognitive systems, BICS 2013, held in Beijing, China in June 2013. The 45 high-quality papers presented were careful...
详细信息
ISBN:
(数字)9783642387869
ISBN:
(纸本)9783642387852
This book constitutes the refereed proceedings of the 6th International Conference on Brain Inspired Cognitive systems, BICS 2013, held in Beijing, China in June 2013. The 45 high-quality papers presented were carefully reviewed and selected from 68 submissions. BICS 2013 aims to provide a high-level international forum for scientists, engineers, and educators to present the state of the art of brain inspired cognitive systems research and applications in diverse fields.
暂无评论