Zobrazeno 1 - 10
of 2 067
pro vyhledávání: '"LU, Shuai"'
This paper investigates inverse potential problems of wave equations with cubic nonlinearity. We develop a methodology for establishing stability estimates for inversion of lower order coefficients. The new ingredients of our approach include triline
Externí odkaz:
http://arxiv.org/abs/2501.00748
Bars are important in the secular evolution of galaxies. This study is aimed at exploring the reasons why some galaxies have bars at redshift $z=0$ while others do not. We use ellipse fitting to measure the properties and evolution of bars in the Ill
Externí odkaz:
http://arxiv.org/abs/2412.02255
Autor:
Saeed, Muhammad, Khalatbarisoltani, Arash, Deng, Zhongwei, Liu, Wenxue, Altaf, Faisal, Lu, Shuai, Hu, Xiaosong
Publikováno v:
IEEE/ASME Transactions on Mechatronics, early access, (09 October 2024)
The reliability, lower computational complexity, and ease of implementation of control observers make them one of the most promising methods for the state estimation of Li-ion batteries (LIBs) in commercial applications. To pave their way, this study
Externí odkaz:
http://arxiv.org/abs/2411.18867
Autor:
Chen, Tianyu, Lu, Shuai, Lu, Shan, Gong, Yeyun, Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yu, Hao, Duan, Nan, Cheng, Peng, Yang, Fan, Lahiri, Shuvendu K, Xie, Tao, Zhou, Lidong
Ensuring correctness is crucial for code generation. Formal verification offers a definitive assurance of correctness, but demands substantial human effort in proof construction and hence raises a pressing need for automation. The primary obstacle li
Externí odkaz:
http://arxiv.org/abs/2410.15756
Formal proofs are challenging to write even for experienced experts. Recent progress in Neural Theorem Proving (NTP) shows promise in expediting this process. However, the formal corpora available on the Internet are limited compared to the general t
Externí odkaz:
http://arxiv.org/abs/2410.15748
Relying heavily on the secure supply of natural gas, the modern clean electric power systems are prone to the gas disturbances induced by the inherent rupture and leakage faults. For the first time, this paper studies the cross-system propagation spe
Externí odkaz:
http://arxiv.org/abs/2410.09464
Autor:
Huang, Junjie, Guo, Daya, Wang, Chenglong, Gu, Jiazhen, Lu, Shuai, Inala, Jeevana Priya, Yan, Cong, Gao, Jianfeng, Duan, Nan, Lyu, Michael R.
Data wrangling, the process of preparing raw data for further analysis in computational notebooks, is a crucial yet time-consuming step in data science. Code generation has the potential to automate the data wrangling process to reduce analysts' over
Externí odkaz:
http://arxiv.org/abs/2409.13551
Autor:
Yang, Chenyuan, Li, Xuheng, Misu, Md Rakib Hossain, Yao, Jianan, Cui, Weidong, Gong, Yeyun, Hawblitzel, Chris, Lahiri, Shuvendu, Lorch, Jacob R., Lu, Shuai, Yang, Fan, Zhou, Ziqiao, Lu, Shan
Generative AI has shown its values for many software engineering tasks. Still in its infancy, large language model (LLM)-based proof generation lags behind LLM-based code generation. In this paper, we present AutoVerus. AutoVerus uses LLM to automati
Externí odkaz:
http://arxiv.org/abs/2409.13082
Autor:
Bian, Yuan, Du, Min, Debattista, Victor P., Nelson, Dylan, Norris, Mark A., Ho, Luis C., Lu, Shuai, Cen, Renyue, Ma, Shuo, Ge, Chong, Fang, Taotao, Li, Hui
Most galaxies follow well-defined scaling relations of metallicity and stellar mass; however, some outliers at the low mass end of the observed galaxy population exhibit unusually high metallicity for their mass. Understanding how these objects get t
Externí odkaz:
http://arxiv.org/abs/2409.05229
The coordinated dispatch of power and gas in the electricity-gas integrated energy system (EG-IES) is fundamental for ensuring operational security. However, the gas dynamics in the natural gas system (NGS) are governed by the nonlinear partial diffe
Externí odkaz:
http://arxiv.org/abs/2409.01222