Zobrazeno 1 - 10
of 1 568
pro vyhledávání: '"Zhang, Zhenya"'
Autonomous driving systems (ADS) are safety-critical and require comprehensive testing before their deployment on public roads. While existing testing approaches primarily aim at the criticality of scenarios, they often overlook the diversity of the
Externí odkaz:
http://arxiv.org/abs/2409.10066
We present a bounded model checking algorithm for signal temporal logic (STL) that exploits mixed-integer linear programming (MILP). A key technical element is our novel MILP encoding of the STL semantics; it follows the idea of stable partitioning f
Externí odkaz:
http://arxiv.org/abs/2408.06983
Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy a specification in, e.g., Signal Temporal Logic (STL). The classic STL monitoring is performed by com
Externí odkaz:
http://arxiv.org/abs/2305.17754
Autor:
Lyu, Deyun, Song, Jiayang, Zhang, Zhenya, Wang, Zhijie, Zhang, Tianyi, Ma, Lei, Zhao, Jianjun
Cyber-Physical Systems (CPS) have been widely deployed in safety-critical domains such as transportation, power and energy. Recently, there comes an increasing demand in employing deep neural networks (DNNs) in CPS for more intelligent control and de
Externí odkaz:
http://arxiv.org/abs/2304.05617
Autor:
Zhang, Zhenya, Sekiguchi, Fumiya, Moriyama, Takahiro, Furuya, Shunsuke C., Sato, Masahiro, Satoh, Takuya, Mukai, Yu, Tanaka, Koichiro, Yamamoto, Takafumi, Kageyama, Hiroshi, Kanemitsu, Yoshihiko, Hirori, Hideki
Publikováno v:
Nature Communications 14, 1795 (2023)
The ability to drive a spin system to state far from the equilibrium is indispensable for investigating spin structures of antiferromagnets and their functional nonlinearities for spintronics. While optical methods have been considered for spin excit
Externí odkaz:
http://arxiv.org/abs/2303.16016
Autor:
Dong, Zeming, Hu, Qiang, Guo, Yuejun, Zhang, Zhenya, Cordy, Maxime, Papadakis, Mike, Traon, Yves Le, Zhao, Jianjun
The next era of program understanding is being propelled by the use of machine learning to solve software problems. Recent studies have shown surprising results of source code learning, which applies deep neural networks (DNNs) to various critical so
Externí odkaz:
http://arxiv.org/abs/2303.06808
Autor:
Dong, Zeming, Hu, Qiang, Zhang, Zhenya, Guo, Yuejun, Cordy, Maxime, Papadakis, Mike, Traon, Yves Le, Zhao, Jianjun
Graph neural network (GNN)-based graph learning has been popular in natural language and programming language processing, particularly in text and source code classification. Typically, GNNs are constructed by incorporating alternating layers which l
Externí odkaz:
http://arxiv.org/abs/2210.03123
Autor:
Dong, Zeming, Hu, Qiang, Guo, Yuejun, Cordy, Maxime, Papadakis, Mike, Zhang, Zhenya, Traon, Yves Le, Zhao, Jianjun
Inspired by the great success of Deep Neural Networks (DNNs) in natural language processing (NLP), DNNs have been increasingly applied in source code analysis and attracted significant attention from the software engineering community. Due to its dat
Externí odkaz:
http://arxiv.org/abs/2210.03003
Publikováno v:
Frontiers of Agricultural Science and Engineering, Vol 11, Iss 1, Pp 186-196 (2024)
● The pursuit of green development faces challenges of environmental impacts and low resource-use efficiency in fertilizer production.● Green intelligent fertilizers can be designed to harness the synergy among plants, soils, microorganisms, nutr
Externí odkaz:
https://doaj.org/article/d13ef4f92f3146ee9c175ee68adf75de
Autor:
Tang, Shuncheng, Zhang, Zhenya, Zhang, Yi, Zhou, Jixiang, Guo, Yan, Liu, Shuang, Guo, Shengjian, Li, Yan-Fu, Ma, Lei, Xue, Yinxing, Liu, Yang
Automated Driving Systems (ADS) have made great achievements in recent years thanks to the efforts from both academia and industry. A typical ADS is composed of multiple modules, including sensing, perception, planning, and control, which brings toge
Externí odkaz:
http://arxiv.org/abs/2206.05961