中文
相关论文

相关论文: Automated Checking and Visualization of Interlocks…

200 篇论文

The control system of the 1.5 MeV FEL injector is built on the base of ported EPICS. It uses low-cost hardware: personal computers with the processor Intel x86 and CAMAC equipment produced by our institute. At present time, the distributed…

加速器物理 · 物理学 2011-01-20 T. V. Salikova , A. A. Kondakov , G. Ya. Kurkin , A. D. Oreshkov , M. A. Scheglov , A. G. Tribendis

Programmable Logic Controllers (PLCs) are widely used in industrial automation to control physical systems. As PLC applications become increasingly complex, ensuring their correctness is crucial. Existing formal verification techniques…

编程语言 · 计算机科学 2025-07-22 Jaeseo Lee , Kyungmin Bae

Cyber-physical systems (CPS) are composed of various embedded subsystems and require specialized software, firmware, and hardware to coordinate with the rest of the system. These multiple levels of integration expose attack surfaces which…

密码学与安全 · 计算机科学 2018-12-11 Smitha Gautham , Georgios Bakirtzis , Matthew T. Leccadito , Robert H. Klenke , Carl R. Elks

Internal continuous discharge can rapidly damage high-current ion sources and their extraction systems composed of several electrodes at high voltage. To prevent this continuous discharge inside the extraction system, a rapid prototype…

加速器物理 · 物理学 2018-03-26 R. Ichimiya , A. Jokinen , A. Marqueta , B. Bolzon

Iterative learning control (ILC) is a control strategy for repetitive tasks wherein information from previous runs is leveraged to improve future performance. Optimization-based ILC (OB-ILC) is a powerful design framework for constrained…

系统与控制 · 电气工程与系统科学 2022-05-27 Dominic Liao-McPherson , Efe C. Balta , Alisa Rupenyan , John Lygeros

Integrated sensing and communication (ISAC) systems have emerged as a promising solution to improve spectrum efficiency and enable functional convergence. However, ensuring secure information transmission while maintaining high-quality…

信号处理 · 电气工程与系统科学 2025-12-12 Yufei Wang , Qiang Li , Hongli Liu , Ying Zhang , Jingran Lin

Integrated Sensing and Communication (ISAC) is emerging as a cornerstone technology for forthcoming 6G systems, significantly improving spectrum and energy efficiency. However, the commercial viability of ISAC hinges on addressing critical…

In this paper, we investigate the sensing-aided physical layer security (PLS) towards Integrated Sensing and Communication (ISAC) systems. A well-known limitation of PLS is the need to have information about potential eavesdroppers (Eves).…

信号处理 · 电气工程与系统科学 2022-10-18 Nanchi Su , Fan Liu , Christos Masouros

Industrial automation systems (IASs) are commonly developed using the languages defined by the IEC 61131 standard and are executed on PLCs. In this paper, a system-based approach for the development of IASs is adopted. A framework is…

软件工程 · 计算机科学 2014-07-09 Kleanthis Thramboulidis

This article describes concepts and mechanisms used in porting of EPICS (Experimental Physical and Industrial Control System) codes to platform of operating system UNIX. Without destruction of EPICS architecture, new features of EPICS…

高能物理 - 理论 · 物理学 2007-05-23 T. V. Salikova

Detector control systems (DCS) include the read out, control and supervision of hardware devices as well as the monitoring of external systems like cooling system and the processing of control data. The implementation of such a system in…

仪器与探测器 · 物理学 2009-11-11 Martin Imhaeuser , Karl-Heinz Becks , Tobias Henss , Susanne Kersten , Peter Maettig , Joachim Schultes

Although the circulatory system functions as a continuous source of physiological data, contemporary diagnostics remain bound to intermittent, time-delayed assessments. To resolve this, we present a framework for ubiquitous hematological…

医学物理 · 物理学 2026-02-27 Fatih E. Bilgen , Ozgur B. Akan

In uplink integrated sensing and communication (ISAC) systems, pilot signal design is crucial for enabling accurate channel estimation and reliable radar sensing. In orthogonal frequency-division multiple access (OFDMA)-based frameworks,…

信号处理 · 电气工程与系统科学 2025-08-05 Ahmet Sacid Sümer , Ebubekir Memişoğlu , Hüseyin Arslan

In this paper, we propose an enhanced preamble based media access control mechanism (E-PMAC), which can be applied in power line communication (PLC) network for Industrial Internet of Things (IIoT). We introduce detailed technologies used…

信号处理 · 电气工程与系统科学 2022-03-23 Kai Song , Biqian Feng , Yongpeng Wu , Wenjun Zhang

The sixth generation of wireless networks defined several key performance indicators (KPIs) for assessing its networks, mainly in terms of reliability, coverage, and sensing. In this regard, remarkable attention has been paid recently to…

新兴技术 · 计算机科学 2025-05-09 Waqas Aman , El-Mehdi Illi , Marwa Qaraqe , Saif Al-Kuwari

For an unattended telescopes in Antarctic, the remote operation, autonomous observation and control are essential. An EPICS (Experimental Physics and Industrial Control System) and RTS2(Remote Telescope System, 2nd Version) based autonomous…

天体物理仪器与方法 · 物理学 2015-11-24 Guang-Yu Zhang , Jian Wang , Peng-Yi Tang , Ming-Hao Jia , Jie Chen , Shu-Cheng Dong , Fengxin Jiang , Wen-Qing Wu , Jia-Jing Liu , Hong-Fei Zhang

PIP-II is an 800 MeV superconducting RF linear accelerator under development at Fermilab. As the new first stage in our accelerator chain, it will deliver high-power beam to multiple experiments simultaneously and thus drive Fermilab's…

加速器物理 · 物理学 2024-01-30 Dennis J. Nicklaus , Pierrick Hanlet , Charles King , Daniel McArthur , Richard Neswold

Industrial Control Systems (ICS) rely on sensor feedback to keep safety-critical processes within operational limits. This research presents a hardware-root-of-trust that embeds a Physically Unclonable Function (PUF) at the measurement…

密码学与安全 · 计算机科学 2026-01-27 Ahmed Oun , Rishabh Das , Clay Hess , Aakriti Barat , Savas Kaya

An important component of EPICS (Experimental Physics and Industrial Control System) is iocCore, which is the core software in the IOC (input/output controller) front-end processors. At ICALEPCS 1999 a paper was presented describing plans…

仪器与探测器 · 物理学 2007-05-23 M. R. Kraimer , J. B. Anderson , J. O. Hill , W. E. Norum