有机体
发表于 2025-3-28 15:28:39
https://doi.org/10.1007/978-981-15-9968-2Artificial Intelligence; Computational Intelligence; Soft Computing; Smart Grid; Renewable Energy
Kernel
发表于 2025-3-28 19:11:51
B. Vinoth Kumar,P. Sivakumar,K. VijayakumarPresents applications of intelligent techniques for smart grids and renewable energy systems.Discusses challenges of deployment of CI-based smart technologies.Serves as a reference for researchers and
敌意
发表于 2025-3-29 02:00:07
http://reply.papertrans.cn/47/4699/469870/469870_43.png
同时发生
发表于 2025-3-29 06:31:49
http://reply.papertrans.cn/47/4699/469870/469870_44.png
联合
发表于 2025-3-29 10:08:53
Modular Verification of Dynamic Properties for Reactive Systemsea we give the known BRP example (Bounded Retransmission Protocol) described with B. We then show that under some considerations we are able to decide whether a given property is false or true, or should have been established at a higher level of abstraction.