Zobrazeno 1 - 10
of 1 163
pro vyhledávání: '"hybrid automaton"'
Publikováno v:
Frontiers in Marine Science, Vol 10 (2023)
Uncertainties in port handling efficiency can cause port delays in the liner shipping system. Furthermore, policies on carbon emission reduction, such as EEXI standards, restrict the potential for speed optimization in liner shipping operations. Trad
Externí odkaz:
https://doaj.org/article/c02f62d7b0f347a081903f19d9c784a2
Autor:
Fahrenberg, Uli
Publikováno v:
Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 03:1-03:16 (2022)
We introduce a new formalism of higher-dimensional timed automata, based on Pratt and van Glabbeek’s higher-dimensional automata and Alur and Dill’s timed automata. We prove that their reachability is PSPACE-complete and can be decided using zone
Externí odkaz:
https://doaj.org/article/ee34da38eb9a4486abfd504881a63662
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Peng Li, Fan Zhang, Yi Yang, Xiyuan Ma, Senjing Yao, Ping Yang, Zhuoli Zhao, Chun Sing Lai, Loi Lei Lai
Publikováno v:
Frontiers in Energy Research, Vol 10 (2022)
To fully reveal the interplay of the cyber system and physical system in the microgrid, this paper proposes a generic hierarchical modeling framework for cyber-physical integration modeling of microgrid, including two layers: physical device layer an
Externí odkaz:
https://doaj.org/article/d00f391381b440c0b3b5552db02d2e9a
Publikováno v:
IEEE Access, Vol 9, Pp 51029-51049 (2021)
Flaring has always been an inseparable part of oil production and exploration. Previously, waste gas collected from different parts of facilities was released for safety or operational reasons and combusted on top of a flare stack since there was not
Externí odkaz:
https://doaj.org/article/b71ba876762f4e7f8c560ac87e8d95cb
Autor:
Thomas Baar, Horst Schulte
Publikováno v:
Моделирование и анализ информационных систем, Vol 26, Iss 4, Pp 488-501 (2019)
During the climb flight of big passenger airplanes, the airplane’s vertical movement, i.e. its pitch angle, results from the elevator deflection angle chosen by the pilot. If the pitch angle becomes too large, the airplane is in danger of an airflo
Externí odkaz:
https://doaj.org/article/a23fa7225bc44c07ab3be3ebc4a5c6a3
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.