检索结果-内蒙古大学图书馆

Direct and efficient detection of quantum superposition

Physical Review A 2025年第5期111卷 L050402-L050402页

作者： Daniel Kun Teodor Strömberg Michele Spagnolo Borivoje Dakić Lee A. Rozema Philip Walther Institute of Science and Technology Austria Klosterneuburg Austria Christian Doppler Laboratory for Photonic Quantum Computer Faculty of Physics University of Vienna 1090 Vienna Austria

One of the most striking quantum phenomena is superposition, where one particle simultaneously inhabits different states. Most methods to verify coherent superposition are indirect, in that they require the distinct states to be recombined. Here, we adapt an xor game, in which a “test” photon is placed in a superposition of two orthogonal spatial modes, and each mode is sent to separated parties who perform local measurements on their modes without reinterfering the original modes. We show that by using a second identical “measurement” photon the parties are nonetheless able to verify if the test photon was placed in coherent superposition of the two spatial modes. We then turn this game into a resource-efficient verification scheme, obtaining a confidence that the particle is superposed which approaches unity exponentially fast. We demonstrate our scheme using a single photon, obtaining a 99% confidence that the particle is superposed with only 37 copies. Our work shows the utility of xor games to verify quantum resources, allowing us to efficiently detect quantum superposition without reinterfering the superposed modes.

关键词： Quantum interference phenomena

来源：评论

学校读者我要写书评

暂无评论

Towards Using Structural Abstraction for Model Checking 10

Towards Using Structural Abstraction for Model Checking

引用

10th International Conference on Dependable Systems and Their Applications, DSA 2023

作者： Luckeneder, Christoph Hoch, Ralph Kaindl, Hermann Vienna University of Technology Institute of Computer Technology Vienna Austria

ISBN: (纸本)9798350304770

Model checking is a method for formally verifying whether defined properties hold for a behavioral model of a system. With increasing complexity of these models, combinatorial explosion may arise. This problem can be addressed by a well-known approach to behavioral abstraction, employed, e.g., in CEGAR. These abstractions need to be over-approximations in the sense of enriching the behavior of the system, to ensure that correctness at the abstract level implies correctness of the original system. However, structural models, which the behaviors operate on, have not yet been considered when applying abstraction operations for model *** propose to use structural models as an essential part for model checking with abstraction operations. In this paper, we present an approach to systematically abstracting structural models, from which behavioral abstractions result, so that the ideas of CEGAR can be adapted for structural abstraction. We model structure using bigraphs, and propose abstraction operations on them. © 2023 IEEE.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Exploring Machine Learning for Faster Mapping and Scheduling of Automotive Applications on ADAS Platforms 23

Exploring Machine Learning for Faster Mapping and Scheduling...

引用

23rd IEEE International Conference on Machine Learning and Applications, ICMLA 2024

作者： Sterzinger, Rafael Koch, Wolfgang Hoch, Ralph Institute of Computer Technology Tu Wien Vienna Austria

ISBN: (纸本)9798350374889

In this work, we address the challenge of efficient task mapping and scheduling in Advanced Driver Assistance Systems (ADAS), which are becoming increasingly complex. For this, we explore Mixed-Integer Programming (MIP) combined with Machine Learning (ML) techniques as an alternative to previous work using heuristic algorithms such as simulated annealing or genetic algorithms. Our key contributions include: (1) A simplified MIP formulation of the problem with a novel load-balancing objective. (2) Employing Bayesian optimization to expedite the solving process by finding a better MIP solver configuration, reducing worst-case solving time by 65%. (3) ML-driven decision variable prediction via a Graph Convolutional Network, which is able to fix decision variables with an average precision of up to 77 %, allowing for better branching decisions during the solving process. Experimental results demonstrate the potential for faster solving times, highlighting the value of further integrating machine learning with MIP for advanced ADAS scheduling. © 2024 IEEE.

关键词： Advanced driver assistance systems

来源：评论

学校读者我要写书评

暂无评论

Secure Authentication in the Presence of Malicious Messages and Packet Reorders: Study on CAN Bus 15

Secure Authentication in the Presence of Malicious Messages ...

引用

15th IEEE Annual Computing and Communication Workshop and Conference, CCWC 2025

作者： Maragkou, Sofia Grammatikakis, Miltos Papatheodorou, Nikos Jantsch, Axel Institute of Computer Technology Vienna University of Technology Vienna Austria Hellenic Mediterranean University Ece Dept. Heraklion Greece

ISBN: (纸本)9798331507695

Message authentication is fundamental for securing modern automotive networks. Our work focuses on integrating buffering in existing authentication protocols to sustain the presence of malicious or corrupt messages, and arbitrary packet swaps in the in-vehicle network. The proposed extension applies to the popular vatiCAN protocol, and other CAN bus authentication protocols, which use separate messages for transferring packet information and authentication data. The proposed extension uses one or more, independent Finite State Machines (FSMs) at each receiver node to temporarily store and subsequently validate message pairs, i.e., a legitimate data packet L with its hashed-based message authentication code (HMAC) packet H. The proposed methodology is evaluated experimentally on a Raspberry Pi-based Electronic Control Unit (ECU) with CAN interfaces. We examine key design parameters, such as the LH swap rate, the malicious rate, and queue configuration options, such as the queue size and flush policy. Results show that the protocol extension improves authentication. When the queue size is below 5, the LH swap rate is up to 50%, and 50% of malicious packets are introduced, the validated packet rate is low (5%). However, if the queue size exceeds 20, the verified packet rate reaches 100%, regardless of other parameters. The increased queue size has a minimal effect on latency, which increases by a few ms on average, and on false positives, which remain below 10-9. Statistical models help evaluate queue size bounds for worst-case scenarios, strengthening our experimental findings. © 2025 IEEE.

关键词： Authentication Protocol

来源：评论

学校读者我要写书评

暂无评论

Method of PLC’s Dependability (Reliability and Cybersecurity) Ensuring in IIoT Systems

Method of PLC’s Dependability (Reliability and Cybersecurit...

引用

Future of Information and Communication Conference, FICC 2025

作者： Kolisnyk, Maryna Jantsch, Axel Department of Computer Systems Networks and Cybersecurity National Aerospace University "KhAI" Kharkiv Ukraine Institute of Computer Technology Vienna University of Technology "TU Wien" Vienna Austria

ISBN: (纸本)9783031853623

Industrial Internet of Things (IIoT) systems are actively and successfully implemented at enterprises. The variety of data transfer technologies and architectures used in IIoT, the large number of unreliable devices connected to a single Internet network, create risks of anomalies in the functioning of IIoT subsystems and the system as a whole due to their failures and successful cyber-attacks on them. One of the important hardware (HW) and software (SW) subsystems of IIoT is a large modular PLC, which can contain vulnerabilities in both SW and HW. This paper proposes a new method for ensuring the dependability (as reliability and cybersecurity) of a PLC with using of the large modular PLC architecture system analysis, an analysis of possible vulnerabilities of the PLC subsystem, the research of the PLC’s availability indices based on the mathematical apparatus of Markov processes, and the development of appropriate recommendations. This research is interdisciplinary and allows us to assess and ensure both cybersecurity and reliability of PLCs, and will enable manufacturers and operators to make correct and timely decisions. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Industrial internet of things (IIoT)

来源：评论

学校读者我要写书评

暂无评论

Modeling Energy Consumption of Industrial Processes with Seq2Seq Machine Learning 32

Modeling Energy Consumption of Industrial Processes with Seq...

引用

32nd IEEE International Symposium on Industrial Electronics, ISIE 2023

作者： Howind, Simon Sauter, Thilo Institute of Computer Technology TU Wien Vienna Austria

ISBN: (纸本)9798350399714

Energy considerations in production planning are gaining importance due to concerns over the climate change, but also because of the explosion of energy costs in the recent past. With increasing share of renewables, energy prices are changing over the day, and it thus seems evident to include the cost of energy as an optimization parameter in production planning. However, this requires to estimate the load profile of a given production plan, which in turn requires knowledge of the energy consumption of individual process steps. As the energy consumption of machines often depends on the concrete sequence of states, a straightforward modeling is not possible. In this paper, we investigate the use of machine learning to derive a black-box model from accessible energy measurement data and a known production plan. Preliminary results show that the Seq2Seq method is a promising candidate. © 2023 IEEE.

关键词： Energy utilization

来源：评论

学校读者我要写书评

暂无评论

Integrating Security into Industrial Control System Architecture Based on IEC 42010 29

Integrating Security into Industrial Control System Architec...

引用

29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024

作者： Hosseini, Ali M. Sauter, Thilo Kastner, Wolfgang Institute of Computer Technology Tu Wien Vienna Austria Danube Univ. Krems Wiener Neustadt Austria Institute of Computer Engineering Tu Wien Vienna Austria

ISBN: (纸本)9798350361230

Industrial Control Systems (ICS) are increasingly becoming targets for cybercriminals seeking ransom or aiming to cause disruptive chaos because of the potentially devastating impact of ICS malfunction. Following the security-by-design principle, security measures should be integrated into ICS system design as early as possible. System architecture design is one of the earliest activities in the system development life cycle that can play a key role in enhancing security. Hence, this paper proposes an architectural security framework based on IEC 42010, a standard for system architecture description, aiming at integrating security into system architecture. As part of this framework, an ontology is designed to formalize the system architecture described in SysML v2 (Systems Modelling Language version 2) to facilitate automatic reasoning about system design against specified security requirements and rules. To this end, the transformation rules from the textual notation of SysML v2 to OWL (Web Ontology Language) are specified. A use case is presented and analyzed that demonstrates the practicality of the proposed approach in adding security to the system architecture. © 2024 IEEE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Embodied Measurement: Tangible Interactions to Enhance the Validity of Self-Report Measures 25

Embodied Measurement: Tangible Interactions to Enhance the V...

引用

2025 CHI Conference on Human Factors in Computing Systems, CHI 2025

作者： Uhl, Jakob Carl Regal, Georg Koesten, Laura Oppermann, Michael Murtinger, Markus Tscheligi, Manfred Center for Technology Experience Austrian Institute of Technology GmbH Vienna Austria Paris Lodron University of Salzburg Salzburg Austria Faculty of Computer Science Univ. of Vienna Vienna Austria

ISBN: (纸本)9798400713941

This work introduces the concept of Embodied Measurement (EM), designed to improve the validity and inclusivity of cognitive load assessments by incorporating physical interactions that mirror mental effort. We implemented a haptic force-feedback turning knob as an alternative to traditional Likert-scale ratings and compared it with visual (mouse-based) and combined (haptic and visual) modalities. Participants completed a cognitive load task with varying difficulty levels using each modality, while biosignals such as heart rate variability, skin conductance, and pupil size were recorded to objectively assess cognitive load. In addition, qualitative feedback was gathered to explore participants' experiences with each input method. Our findings highlight the potential of EM to offer more tangible and intuitive ways of measuring cognitive load, with the combined modality providing the most comprehensive feedback. This study contributes to human-computer interaction (HCI) research by proposing new approaches for measuring cognitive and emotional effort through physical interaction. © 2025 Copyright held by the owner/author(s).

关键词： Cognitive load

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of Machine Learning-Based Surrogate Modeling Approaches for Multi-Body Dynamic Simulation in Railway Digital Twin Platform

Comparative Analysis of Machine Learning-Based Surrogate Mod...

引用

2024 IEEE International Conference on Industrial Engineering and Engineering Management, IEEM 2024

作者： Zhou, Shiyang Sogomonyan, Artur Ohanian, Artur Amminger, William Xia, Yuxi Grafinger, Manfred Institute of Engineering Design and Product Development Vienna University of Technology Lehargasse 6/307 Vienna1060 Austria Faculty of Computer Science University of Vienna Vienna Austria

ISBN: (纸本)9798350386097

Machine learning (ML)-based surrogate models offer a promising alternative for Multibody Dynamics (MBD) Simulation of railway vehicle-track dynamics systems. A well-built ML model can accurately and quickly predict the dynamic responses to various track irregularities, significantly reducing computation time and unifying integration interfaces of different vehicle-track systems. However, training effective surrogate models is a complex process, influenced by the specific needs of the analysis. Different algorithms and training sets might be required for different surrogate models, making it essential to research the impact factors for building these models. This paper presents a comparative analysis of ML-based surrogate modeling approaches tailored for MBD Model within a railway digital twin platform. The primary focus is evaluating the performance of various ML-based surrogate modeling approaches, as well as the influence of neural networks, training parameters, and data sources. By leveraging extensive simulation and measurement data, we assess the ability of these surrogate models to predict key performance indicators under varying operational conditions. This analysis provides valuable insights for railway engineers in selecting appropriate surrogate modeling approaches, ultimately contributing to the advancement of predictive maintenance and optimization in railway operations. © 2024 IEEE.

关键词： Predictive maintenance

来源：评论

学校读者我要写书评

暂无评论

Resilient Power Inverter Network: A Hardware-in-the-Loop Simulation Case Study 50

Resilient Power Inverter Network: A Hardware-in-the-Loop Sim...

引用

50th Annual Conference of the IEEE Industrial Electronics Society, IECON 2024

作者： Hassan, Kamil Vettoretti, Denis Selvaratnam, Daniel Sandberg, Henrik Andrén, Filip Pröstl School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden AIT Austrian Institute of Technology Vienna Austria

ISBN: (纸本)9781665464543

In this article, we study the voltage regulation problem for an inverter-interfaced power distribution network that is subject to possible adversarial injections and/or severe fault scenarios. Different from the current literature, our aim is not just to regulate the voltage levels on the gridline within the prescribed range, but also to provide a measure of reliability for the safe operation of the grid with respect to such adversarial events. In that respect, we propose the framework of resilient control design which ensures safe operation of the grid under nominal conditions (with regard to the given voltage regulation objective) and, additionally, offers theoretical guarantees of finite-time recovery following intermittent fault/ safety violations. To validate these claims, we test the proposed resilient controller on a dedicated testbed for power inverter networks and, through hardware-in-the-loop (HIL) simulation case studies, showcase the efficacy of the suggested control scheme. © 2024 IEEE.

关键词： Hardware-in-the-loop simulation

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：