Zobrazeno 1 - 10
of 230
pro vyhledávání: '"Yang Mengfei"'
Publikováno v:
International Journal of Aerospace Engineering, Vol 2023 (2023)
An on-board autonomous task planning system is designed and implemented in this article, aiming at the problem that the current remote sensing satellite needs complex instruction support to perform tasks and depends on the ground system too much. The
Externí odkaz:
https://doaj.org/article/c90f0feab4ef4b27a7b695599ca1135d
Satellite Mission Instruction Sequence Generation Algorithm Using a Flexible Weighted Directed Graph
Publikováno v:
International Journal of Aerospace Engineering, Vol 2021 (2021)
A satellite mission instruction generation algorithm based on a flexible weighted directed graph has been proposed. This algorithm can sort the instruction into sequence according to the instruction execution relationship with constraints, which can
Externí odkaz:
https://doaj.org/article/64f192a4f41d4da59eed030954c055ca
Recent statements about the impressive capabilities of large language models (LLMs) are usually supported by evaluating on open-access benchmarks. Considering the vast size and wide-ranging sources of LLMs' training data, it could explicitly or impli
Externí odkaz:
http://arxiv.org/abs/2402.15938
Autor:
Li, Jia, Li, Ge, Zhao, Yunfei, Li, Yongmin, Jin, Zhi, Zhu, Hao, Liu, Huanyu, Liu, Kaibo, Wang, Lecheng, Fang, Zheng, Wang, Lanshen, Ding, Jiazheng, Zhang, Xuanming, Dong, Yihong, Zhu, Yuqi, Gu, Bin, Yang, Mengfei
How to evaluate Large Language Models (LLMs) in code generation is an open question. Many benchmarks have been proposed but are inconsistent with practical software projects, e.g., unreal program distributions, insufficient dependencies, and small-sc
Externí odkaz:
http://arxiv.org/abs/2401.06401
Publikováno v:
E3S Web of Conferences, Vol 158, p 06003 (2020)
Meteorological factors are one of the natural factors, which affect ecosystem services value (ESV). Influence of meteorological factors was studied in Beijing-Tianjin-Hebei region using ordinary least square (OLS) with geographical weighted regressio
Externí odkaz:
https://doaj.org/article/d21b821cccf749d5af65eecf3c69cbf5
Controller synthesis, including reset controller, feedback controller, and switching logic controller, provides an essential mechanism to guarantee the correctness and reliability of hybrid systems in a correct-by-construction manner. Unfortunately,
Externí odkaz:
http://arxiv.org/abs/2309.05906
Autor:
Su, Han, Zhu, Jiyu, Feng, Shenghua, Bai, Yunjun, Gu, Bin, Liu, Jiang, Yang, Mengfei, Zhan, Naijun
A reset controller plays a crucial role in designing hybrid systems. It restricts the initial set and redefines the reset map associated with discrete transitions, in order to guarantee the system to achieve its objective. Reset controller synthesis,
Externí odkaz:
http://arxiv.org/abs/2309.05908
Autor:
Feng, Jincao, Miao, Weikai, Zheng, Hanyue, Huang, Yihao, Li, Jianwen, Wang, Zheng, Su, Ting, Gu, Bin, Pu, Geguang, Yang, Mengfei, He, Jifeng
Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The industrial engineers are suffering from the lack of automated engineering m
Externí odkaz:
http://arxiv.org/abs/2306.01260
Publikováno v:
In Expert Systems With Applications 1 December 2024 255 Part B