Dependability analysis of safety critical systems: Issues and challenges

R kamal Kaur, B Pandey, LK Singh - Annals of nuclear energy, 2018 - Elsevier
Safety critical systems progressively used in domains such as nuclear power, transport,
medical and information systems are often concerned with a formal process of dependability …

Assessment of the method of merging landing aircraft streams in the context of fuel consumption in the airspace

A Kwasiborska, J Skorupski - Sustainability, 2021 - mdpi.com
The most important directions in the field of sustainable development of air transport concern
increasing the capacity of airports and improving the global civil aviation system, improving …

Factors influencing charter flight departure delay

N Fernandes, S Moro, CJ Costa, M Aparicio - Research in Transportation …, 2020 - Elsevier
This study aims to identify the main factors leading to charter flight departure delay through
data mining. The data sample analysed consists of 5484 flights operated by a European …

A machine learning-based clustering approach to diagnose multi-component degradation of aircraft fuel systems

H Liu, Y Zhao, A Zaporowska, Z Skaf - Neural Computing and Applications, 2023 - Springer
Accurate fault diagnosis and prognosis can significantly reduce maintenance costs, increase
the safety and availability of engineering systems that have become increasingly complex. It …

Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets

SA Hussain, NA Khan, A Sadiq, F Ahmad - Neural Computing and …, 2018 - Springer
The broadcast storm problem causes redundancy, contention and collision of messages in a
network, particularly in vehicular ad hoc networks (VANETs) where number of participants …

Hybrid Approach for Minimizing Departure Air Traffic Delays Following Standard Instrument Departures

A Bikir, O Idrissi, K Mansouri, M Qbadou - Statistics, Optimization & …, 2024 - iapress.org
The efficient scheduling of departure air traffic persists as one of the most challenging
aspects of air traffic management in recent years. A proper sequencing enhances airport …

Formal and executable specification of random waypoint mobility model using timed coloured petri nets for WMN

N Akhtar Khan, F Ahmad… - Abstract and Applied …, 2014 - Wiley Online Library
The wireless mesh network (WMN) is an emerging and cost‐effective alternative paradigm
for the next generation wireless networks in many diverse applications. In the performance …

[PDF][PDF] 基于Any Logic 的机场加油车调度能力评估

冯君, 邹沛林, 路晓梅, 刘彦君 - 舰船电子工程, 2023 - jc.journal.cssc709.net
摘要机场地面车辆调度是机场运行管理的重要部分, 车辆调度目标在于以最优的调度方案,
保证调度时间花费最少, 调度车辆数目使用最小, 从而减少调度成本的开销. 国内大部分车辆调度 …

Eigen problem over max-plus algebra on determination of the T3 brand shuttlecock production schedule

A Permana, S Siswanto… - Numerical …, 2020 - journal.iaimnumetrolampung.ac.id
The production process is included in the Discrete Event System (DES). The DES
independent variable generally depends on the event, so an event is influenced by the …

[PDF][PDF] Basis for Deep Learning Model of Discrete Event System for Information Technology Course Design.

H Fu, Y Xie, JF Tu - Sensors & Materials, 2022 - pdfs.semanticscholar.org
The development of technologies is changing the traditional concept of teaching and
learning in classrooms. In particular, information technology (IT) courses are rapidly …