中文
相关论文

相关论文: Modelling and Analysing Cargo Screening Processes:…

200 篇论文

Mixed-criticality real-time scheduling has been developed to improve resource utilization while guaranteeing safe execution of critical applications. These studies use optimistic resource reservation for all the applications to improve…

操作系统 · 计算机科学 2020-04-07 Xiaozhe Gu , Arvind Easwaran , Kieu-My Phan , Insik Shin

Decision making and requirements scoping occupy central roles in helping to develop products that are demanded by the customers and ensuring company strategies are accurately realized in product scope. Many companies experience continuous…

软件工程 · 计算机科学 2016-11-15 Krzysztof Wnuk , Markus Borg , Sardar Muhammad Sulaman

Modern security operation centers (SOCs) rely on operators and a tapestry of logging and alerting tools with large scale collection and query abilities. SOC investigations are tedious as they rely on manual efforts to query diverse data…

Accurate maneuvering estimation is essential to establish autonomous berthing control. The system-based mathematical model is widely used to estimate the ship's maneuver. Commonly, the system parameters of the mathematical model are…

系统与控制 · 电气工程与系统科学 2021-11-12 Yoshiki Miyauchi , Atsuo Maki , Naoya Umeda , Dimas M. Rachman , Youhei Akimoto

Conventional Bayesian estimation requires an accurate stochastic model of a system. However, this requirement is not always met in many practical cases where the system is not completely known or may differ from the assumed model. For such…

信号处理 · 电气工程与系统科学 2023-04-05 Ranjeet Kumar Tiwari , Shovan Bhaumik

In recent years, maritime traffic has increased, especially in seaborne trade. To ensure safety, security, and environmental protection, various systems have been deployed, often combining data for improved effectiveness. One key…

信号处理 · 电气工程与系统科学 2024-01-26 Yassir Zardoua , Bilal Sebbar , Moussab Chbeine , Abdelali Astito , Mohammed Boulaala

Bolting operations are critical in industrial assembly and in the maintenance of scientific facilities, requiring high precision and robustness to faults. Although robotic solutions have the potential to improve operational safety and…

机器人学 · 计算机科学 2025-11-14 Lorenzo Pagliara , Violeta Redondo , Enrico Ferrentino , Manuel Ferre , Pasquale Chiacchio

Scenario-based testing is a promising method to develop, verify and validate automated driving systems (ADS) since pure on-road testing seems inefficient for complex traffic environments. A major challenge for this approach is the provision…

软件工程 · 计算机科学 2024-04-22 Michael Schuldes , Christoph Glasmacher , Lutz Eckstein

Onboard autonomy technologies such as planning and scheduling, identification of scientific targets, and content-based data summarization, will lead to exciting new space science missions. However, the challenge of operating missions with…

Containerization is a virtualization technique that allows one to create and run executables consistently on any infrastructure. Compared to virtual machines, containers are lighter since they do not bundle a (guest) operating system but…

软件工程 · 计算机科学 2023-03-08 Luciano Baresi , Giovanni Quattrocchi , Nicholas Rasi

Configuring a storage system to better serve an application is a challenging task complicated by a multidimensional, discrete configuration space and the high cost of space exploration (e.g., by running the application with different…

分布式、并行与集群计算 · 计算机科学 2013-06-11 Lauro Beltrão Costa , Abmar Barros , Samer Al-Kiswany , Hao Yang , Emalayan Vairavanathan , Matei Ripeanu

We consider a distribution logistics scenario where a shipping operator, managing a limited amount of resources, receives a stream of collection requests, issued by a set of customers along a booking time-horizon, that are referred to a…

最优化与控制 · 数学 2023-07-04 Giovanni Giallombardo , Francesca Guerriero , Giovanna Miglionico

Control tasks with safety requirements under high levels of model uncertainty are increasingly common. Machine learning techniques are frequently used to address such tasks, typically by leveraging model error bounds to specify robust…

机器人学 · 计算机科学 2025-06-13 Alexandre Capone , Ryan Cosner , Aaaron Ames , Sandra Hirche

Container terminals, pivotal nodes in the network of empty container movement, hold significant potential for enhancing operational efficiency within terminal depots through effective collaboration between transporters and terminal…

系统与控制 · 电气工程与系统科学 2025-03-18 Arthur Cartel Foahom Gouabou , Mohammed Al-Kharaz , Faouzi Hakimi , Tarek Khaled , Kenza Amzil

Operators performing high-stakes, safety-critical tasks - such as air traffic controllers, surgeons, or mission control personnel - must maintain exceptional cognitive performance under variable and often stressful conditions. This paper…

The use of drones in logistics is gaining more and more interest, and drones are becoming a more viable and common way of distributing parcels in an urban environment. As a consequence, there is a flourishing production of articles in the…

离散数学 · 计算机科学 2021-07-29 Mauro Dell'Amico , Roberto Montemanni , Stefano Novellani

A submarine's sonar team is responsible for detecting, localising and classifying targets using information provided by the platform's sensor suite. The information used to make these assessments is typically uncertain and/or incomplete and…

人工智能 · 计算机科学 2013-02-08 Todd Michael Mansell

As cloud computing continues to advance and become an integral part of modern IT infrastructure, container security has emerged as a critical factor in ensuring the smooth operation of cloud-native applications. An attacker can attack the…

密码学与安全 · 计算机科学 2025-09-22 Kai Tan , Dongyang Zhan , Lin Ye , Hongli Zhang , Binxing Fang , Zhihong Tian

Sustaining high fidelity and high throughput of perception tasks over vision sensor streams on edge devices remains a formidable challenge, especially given the continuing increase in image sizes (e.g., generated by 4K cameras) and…

多媒体 · 计算机科学 2023-05-08 Ila Gokarn , Hemanth Sabella , Yigong Hu , Tarek Abdelzaher , Archan Misra

This report covers an intelligent decision support system (IDSS), which handles an efficient and effective way to rapidly inspect containerized cargos for defection. Defection is either cargo exposure to radiation, physical damages such as…

人工智能 · 计算机科学 2015-06-16 Philip B. Alipour , Matteus Magnusson , Martin W. Olsson , Nooshin H. Ghasemi , Lawrence Henesey