中文
相关论文

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

200 篇论文

With an ever growing number of heterogeneous applicational services running on equally heterogeneous computational systems, the problem of resource management becomes more essential. Although current solutions consider some network and time…

分布式、并行与集群计算 · 计算机科学 2025-08-05 Rui Eduardo Lopes , Duarte Raposo , Pedro V. Teixeira , Susana Sargento

Searching for concealed threats within a surveillance region is an important role for military sensors. One prominent case is the search for a submarine by a helicopter deploying a dipping sonar in anti-submarine warfare. Another is the…

系统与控制 · 电气工程与系统科学 2023-12-14 Graham V. Weinberg

High-performance computing (HPC) storage systems become increasingly critical to scientific applications given the data-driven discovery paradigm shift. As a storage solution for large-scale HPC systems, dozens of applications share the…

分布式、并行与集群计算 · 计算机科学 2018-05-17 Neda Tavakoli , Dong Dai , John Jenkins , Philip Carns , Robert Ross , Yong Chen

Traditionally, applications that are used in large and small enterprises were deployed on "bare metal" servers installed with operating systems. Recently, the use of multiple virtual machines (VMs) on the same physical server was adopted…

密码学与安全 · 计算机科学 2021-11-24 Ann Yi Wong , Eyasu Getahun Chekole , Martin Ochoa , Jianying Zhou

This study focuses on the implementation of modern and intelligent logistics vehicles equipped with advanced tracking and security features. In response to the evolving landscape of logistics management, the proposed system integrates…

密码学与安全 · 计算机科学 2024-02-20 Iqtiar Md Siddique , Selim Molla , MD Rakib Hasan , Anamika Ahmed Siddique

The cross dock door design problem consists of deciding on the number and capacity of inbound and outbound doors for receiving product pallets from origin nodes and exiting them to destination nodes. The uncertainty, realized in scenarios,…

最优化与控制 · 数学 2024-03-07 Laureano F. Escudero , M. Araceli Garín , Aitziber Unzueta

Sensor-based sorting systems enable the physical separation of a material stream into two fractions. The sorting decision is based on the image data evaluation of the sensors used and is carried out using actuators. Various process…

机器学习 · 计算机科学 2025-10-24 Felix Kronenwett , Georg Maier , Thomas Längle

High-performance computing (HPC) systems and cloud data centers are converging, and containers are becoming the default method of portable software deployment. Yet, while containers simplify software management, they face significant…

分布式、并行与集群计算 · 计算机科学 2025-09-23 Marcin Copik , Eiman Alnuaimi , Alok Kamatar , Valerie Hayot-Sasson , Alberto Madonna , Todd Gamblin , Kyle Chard , Ian Foster , Torsten Hoefler

Intelligent driving systems aim to achieve a zero-collision mobility experience, requiring interdisciplinary efforts to enhance safety performance. This work focuses on risk identification, the process of identifying and analyzing risks…

计算机视觉与模式识别 · 计算机科学 2024-03-06 Chi-Hsi Kung , Chieh-Chi Yang , Pang-Yuan Pao , Shu-Wei Lu , Pin-Lun Chen , Hsin-Cheng Lu , Yi-Ting Chen

Aircraft conflict resolution is one of the major tasks of computer-aided air traffic management and represents a challenging optimization problem. Many models and methods have been proposed to assist trajectory regulation to avoid…

最优化与控制 · 数学 2025-06-11 Mercedes Pelegrin , Martina Cerulli

Stochastic process discovery is concerned with deriving a model capable of reproducing the stochastic character of observed executions of a given process, stored in a log. This leads to an optimisation problem in which the model's parameter…

形式语言与自动机理论 · 计算机科学 2025-05-01 Pierre Cry , Paolo Ballarini , András Horváth , Pascale Le Gall

Resource adequacy studies typically use standard metrics such as Loss of Load Expectation and Expected Energy Unserved to quantify the risk of supply shortfalls. This paper critiques present approaches to adequacy assessment and capacity…

应用统计 · 统计学 2023-09-13 Chris J. Dent , Nestor Sanchez , Aditi Shevni , Jim Q. Smith , Amy L. Wilson , Xuewen Yu

With the rapid advancement of devices requiring intensive computation, such as Internet of Things (IoT) devices, smart sensors, and wearable technology, the computational demands on individual platforms with limited resources have…

分布式、并行与集群计算 · 计算机科学 2024-11-26 Reza Zakerian , Hadi Gholami

Using large pre-trained models for image recognition tasks is becoming increasingly common owing to the well acknowledged success of recent models like vision transformers and other CNN-based models like VGG and Resnet. The high accuracy of…

计算机视觉与模式识别 · 计算机科学 2022-02-01 Xin Du , Benedicte Legastelois , Bhargavi Ganesh , Ajitha Rajan , Hana Chockler , Vaishak Belle , Stuart Anderson , Subramanian Ramamoorthy

Countries with access to large bodies of water often aim to protect their maritime transport by employing maritime surveillance systems. However, the number of available sensors (e.g., cameras) is typically small compared to the…

多智能体系统 · 计算机科学 2023-11-28 Bach Long Nguyen , Anh-Dzung Doan , Tat-Jun Chin , Christophe Guettier , Surabhi Gupta , Estelle Parra , Ian Reid , Markus Wagner

Smart shipping operations increasingly depend on collaborative AI, yet the underlying data are generated across vessels with uneven connectivity, limited backhaul, and clear commercial sensitivity. In such settings, server-coordinated FL…

Scenario generation is an effective data-driven method for solving chance-constrained optimization while ensuring desired risk guarantees with a finite number of samples. Crucial challenges in deploying this technique in the real world…

最优化与控制 · 数学 2024-01-04 Qian Zhang , Apurv Shukla , Le Xie

Freight transportation modeling often struggles with data limitations, especially in accurately representing complex supplier selection processes and their impact on network flows. This research addresses this critical gap by developing a…

最优化与控制 · 数学 2026-05-07 Abdelrahman Ismael , Taner Cokyasar

The autonomous systems need to decide how to react to the changes at runtime efficiently. The ability to rigorously analyze the environment and the system together is theoretically possible by the model-driven approaches; however, the model…

软件工程 · 计算机科学 2021-10-28 Melika Dastranj , Mehran Alidoost Nia , Mehdi Kargahi

Maritime transport is a pivotal logistics mode for the long-distance and bulk transportation of goods. However, the intricate planning involved in this mode is often hindered by uncertainties, including weather conditions, cargo diversity,…

机器学习 · 计算机科学 2024-09-24 Aniruddha Rajendra Rao , Haiyan Wang , Chetan Gupta