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

6th IEEE International Conference on Artificial Intelligence in engineering and Technology, IICAIET 2024

作者： Li, Monica M.Q. Polytehcnique Montreal Department of Computer and Software Engineering Montreal Canada

ISBN: (纸本)9798350389692

In human machine interaction tasks, the quality of motion capture plays a critical role. Rokoko Motion Capture System (Rokoko) is a relatively economic motion capture device and has been utilized in various areas of motion-related research. In this study, we test the representative ability of the products captured by Rokoko and Microsoft Kinect v2 (Kinect). Three non-professional actors wore the Rokoko to do three kinds of activities: walking with normal velocity, jumping with vertical acceleration and rotation, by displaying different body functions. Motion data were recorded using these two devices simultaneously. We compared the pros and cons of the results of the captured motions by these two devices and provide suggestions and precautions using Rokoko Smartsuit Pro for motion capture activities for researchers. © 2024 IEEE.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Electromagnetic Transient Modeling of Power Electronics in Modelica, Accuracy and Performance Assessment 14th

Electromagnetic Transient Modeling of Power Electronics in M...

引用

14th International conference of the IMACS TC1 Committee, ELECTRIMACS 2022

作者： Masoom, A. Gholinezhad, J. Ould-Bachir, T. Mahseredjian, J. Electrical Engineering Department Polytechnique Montreal MontréalQC Canada Computer and Software Engineering Department Polytechnique Montreal MontréalQC Canada

ISBN: (纸本)9783031248368

This paper presents the Electromagnetic Transient (EMT) modeling and simulation of power electronics in Modelica, a declarative equation-based language. In this paper, modeling of switching components such as diodes, insulated-gate bipolar transistors (IGBT) and multi-level converters using ideal and nonideal components are investigated. A three-phase three-level and a single-phase two-level converter with an open-loop controller are simulated in Modelica and EMTP®. The accuracy and performance of simulations are compared using the variable and fixed-step solvers. Analytical solutions are used for verification of results as well. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Transients

来源：评论

学校读者我要写书评

暂无评论

The Bifurcation Method: White-Box Observation Perturbation Attacks on Reinforcement Learning Agents on a Cyber Physical System 23

The Bifurcation Method: White-Box Observation Perturbation A...

引用

23rd International Conference on Machine Learning and Cybernetics, ICMLC 2024

作者： Broda-Milian, Kiernan Dagdougui, Hanane Mallah, Ranwa Al Royal Military College of Canada Electrical and Computer Engineering Kingston Canada Polytechnique Montreal Computer and Software Engineering Quebec Canada

ISBN: (纸本)9798331528041

Components of cyber physical systems, which affect real-world processes, are often exposed to the internet. Replacing conventional control methods with Deep Reinforcement Learning (DRL) in energy systems is an active area of research, as these systems become increasingly complex with the advent of renewable energy sources and the desire to improve their efficiency. Artificial Neural Networks (ANN) are vulnerable to specific perturbations of their inputs or features, called adversarial examples. These perturbations are difficult to detect when properly regularized, but have significant effects on the ANN's output. Because DRL uses ANN to map optimal actions to observations, they are similarly vulnerable to adversarial examples. This work proposes a novel attack technique for continuous control using Group Difference Logits loss with a bifurcation layer. By combining aspects of targeted and untargeted attacks, the attack significantly increases the impact compared to an untargeted attack, with drastically smaller distortions than an optimally targeted attack. We demonstrate the impacts of powerful gradient-based attacks in a realistic smart energy environment, show how the impacts change with different DRL agents and training procedures, and use statistical and time-series analysis to evaluate attacks' stealth. The results show that adversarial attacks can have significant impacts on DRL controllers, and constraining an attack's perturbations makes it difficult to detect. However, certain DRL architectures are far more robust, and robust training methods can further reduce the impact. © 2024 IEEE.

关键词： Adversarial machine learning

来源：评论

学校读者我要写书评

暂无评论

AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes 49

AutoMESC: Automatic Framework for Mining and Classifying Eth...

引用

49th Euromicro Conference on software engineering and Advanced Applications, SEAA 2023

作者： Soud, Majd Qasse, Ilham Liebel, Grischa Hamdaqa, Mohammad Reykjavik University Department of Computer Science Reykjavik Iceland Polytechnique Montreal Department of Computer and Software Engineering Montreal Canada

ISBN: (纸本)9798350342352

Due to the risks associated with vulnerabilities in smart contracts, their security has gained significant attention in recent years. However, there is a lack of open datasets on smart contract vulnerabilities and their fixes that allows for data-driven research. Towards this end, we propose an automated framework for mining and classifying Ethereum's smart contract vulnerabilities and their corresponding fixes from GitHub and from the Common Vulnerabilities and Exposures (CVE) records in the National Vulnerability Database. We implemented the proposed method in a fully automated framework, which we call AutoMESC. AutoMESC uses seven of the most well-known smart contract security tools to classify and label the collected vulnerabilities based on vulnerability types. Furthermore, it collects metadata that can be used in data-intensive smart contract security research (e.g., vulnerability detection, vulnerability classification, severity prediction, and automated repair). We used AutoMESC to construct a sample dataset and made it publicly available. Currently, the dataset contains 6.7K smart contract vulnerability-fix pairs written in Solidity. We assess the quality of the constructed dataset in terms of accuracy, provenance, and relevance, and compare it with existing datasets. AutoMESC is designed to collect data continuously and keep the corresponding dataset up-to-date with newly discovered smart contract vulnerabilities and their fixes from GitHub and CVE records. © 2023 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Abstract Interpretation for PLONKish Circuits 34

Abstract Interpretation for PLONKish Circuits

引用

34th Annual International Conference on Collaborative Advances in software and Computing, CASCON 2024

作者： Soureshjani, Fatemeh Heidari Gorzny, Jan Polytechnique Montréal Computer Engineering and Software Engineering Department Canada Zircuit Canada

ISBN: (纸本)9798331504830

Zero-knowledge proof systems are becoming powerful tools in domains like blockchain networks. In this work, we improve abstract interpretation methods to sanity check PLONKish arithmetizations of computation, such as those used in the Halo2 zero-knowledge proof system. Our work aims to improve the accuracy of checks for unused gates, assigned but unconstrained values, and possibly under-constrained circuits, all of which may indicate a bug in the circuits. We show how copy constraints and arbitrary lookup functions can be used in abstract interpretation based analysis of these circuits. We are motivated to revisit this topic as these circuits, through their use in general purpose blockchain networks, may be responsible for the security of millions of dollars in cryptocurrency. © 2024 IEEE.

关键词： Blockchain

来源：评论

学校读者我要写书评

暂无评论

VESPER: Virtual-reality Exploration with Simultaneous Prospecting Extravehicular Robots 22

VESPER: Virtual-reality Exploration with Simultaneous Prospe...

引用

22nd IAA Symposium on Building Blocks for Future Space Exploration and Development at the 75th International Astronautical Congress, IAC 2024

作者： Ricard, Guillaume Beltrame, Giovanni Department of Computer and Software Engineering Polytechnique Montreal 2500 Chemin de Polytechnique MontrealQCH3T 1J4 Canada

ISBN: (纸本)9798331312251

Recent Moon missions have highlighted the feasibility and benefits of using smaller-form-factor robots for lunar exploration. As future exploration missions will likely involve more and more extravehicular activities (EVAs) for astronauts, relying on a swarm of versatile robot agents would enable them to uncover unknown terrain faster and determine the optimal regions of interest (ROI) for scientific objectives or resource collection. In-situ resource utilization (ISRU) being a critical component of human presence beyond Earth, maintaining situational awareness and driving the exploration efficiently are essential to achieve mission objectives. Human swarm interfaces (HSI) provide the necessary visualizations and tools to monitor swarm state and respond to faults or changes. While collaborative terrain-mapping software deployed on robots supports sparse connectivity and robust error handling (Lajoie et al., 2024), current HIS suites require additional attention from the operator in the event of environment changes (eg. ROI detection) or hardware failures. We implement VESPER, an HSI framework for robust virtual-reality (VR) exploration of extraterrestrial surfaces with autonomous swarms of heterogeneous robots. Providing an immersive visualization integrated with autonomous robotic platforms, VESPER enables intuitive navigation, real-time data visualization, and seamless interaction with remote environments to enhance mission efficiency. Building on common VR gestures, users may choose an overarching mission view or switch between robot-subjective perspectives to understand each agent's surroundings through mapped terrain data or direct camera feeds. The heads-up display can show informative overlays to monitor robot status (eg. battery level). Direct pointing interaction or game-like controller input allow for precise control of swarm or individual robot goals. Corrective actions can also be applied on the map to alter exploration behavior based on encountered haza

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Faithfulness Measurable Masked Language Models 41

Faithfulness Measurable Masked Language Models

引用

41st International Conference on Machine Learning, ICML 2024

作者： Madsen, Andreas Reddy, Siva Chandar, Sarath Mila Montreal Canada Computer Engineering and Software Engineering Department Polytechnique Montreal Montreal Canada Computer Science and Linguistics McGill University Montreal Canada Facebook CIFAR AI Canada Canada CIFAR AI Canada

A common approach to explaining NLP models is to use importance measures that express which tokens are important for a prediction. Unfortunately, such explanations are often wrong despite being persuasive. Therefore, it is essential to measure their faithfulness. One such metric is if tokens are truly important, then masking them should result in worse model performance. However, token masking introduces out-of-distribution issues, and existing solutions that address this are computationally expensive and employ proxy models. Furthermore, other metrics are very limited in scope. This work proposes an inherently faithfulness measurable model that addresses these challenges. This is achieved using a novel fine-tuning method that incorporates masking, such that masking tokens become in-distribution by design. This differs from existing approaches, which are completely model-agnostic but are inapplicable in practice. We demonstrate the generality of our approach by applying it to 16 different datasets and validate it using statistical in-distribution tests. The faithfulness is then measured with 9 different importance measures. Because masking is in-distribution, importance measures that themselves use masking become consistently more faithful. Additionally, because the model makes faithfulness cheap to measure, we can optimize explanations towards maximal faithfulness;thus, our model becomes indirectly inherently explainable. Copyright 2024 by the author(s)

关键词：

来源：评论

学校读者我要写书评

暂无评论

User trajectory prediction in mobile wireless networks using quantum reservoir computing

IET Quantum Communication

引用

IET Quantum Communication 2023年第3期4卷 125-135页

作者： Mlika, Zoubeir Cherkaoui, Soumaya Laprade, Jean Frédéric Corbeil-Letourneau, Simon Department of Electrical Engineering Polytechnique Montreal MontréalQC Canada Department of Computer and Software Engineering Polytechnique Montreal MontréalQC Canada Institut quantique Université de Sherbrooke SherbrookeQC Canada Thales Digital Solutions Saint-LaurentQC Canada

This paper applies a quantum machine learning technique to predict mobile users' trajectories in mobile wireless networks by using an approach called quantum reservoir computing (QRC). Mobile users' trajectories prediction belongs to the task of temporal information processing, and it is a mobility management problem that is essential for self-organising and autonomous 6G networks. Our aim is to accurately predict the future positions of mobile users in wireless networks using QRC. To do so, the authors use a real-world time series dataset to model mobile users' trajectories. The QRC approach has two components: reservoir computing (RC) and quantum computing (QC). In RC, the training is more computational-efficient than the training of simple recurrent neural networks since, in RC, only the weights of the output layer are trainable. The internal part of RC is what is called the reservoir. For the RC to perform well, the weights of the reservoir should be chosen carefully to create highly complex and non-linear dynamics. The QC is used to create such dynamical reservoir that maps the input time series into higher dimensional computational space composed of dynamical states. After obtaining the high-dimensional dynamical states, a simple linear regression is performed to train the output weights and, thus, the prediction of the mobile users' trajectories can be performed efficiently. In this study, we apply a QRC approach based on the Hamiltonian time evolution of a quantum system. The authors simulate the time evolution using IBM gate-based quantum computers, and they show in the experimental results that the use of QRC to predict the mobile users' trajectories with only a few qubits is efficient and can outperform the classical approaches such as the long short-term memory approach and the echo-state networks approach. © 2023 The Authors. IET Quantum Communication published by John Wiley & Sons Ltd on behalf of The Institution of engineering and Technology.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Identification of Out-of-Distribution Cases of CNN using Class-Based Surprise Adequacy 22

Identification of Out-of-Distribution Cases of CNN using Cla...

引用

1st International Conference on AI engineering - software engineering for AI, CAIN 2022

作者： Marhaba, Mira Merlo, Ettore Khomh, Foutse Antoniol, Giuliano Polytechnique Montreal Department of Computer and Software Engineering Montreal Canada

ISBN: (纸本)9781450392754

关键词： software reliability

来源：评论

学校读者我要写书评

暂无评论

A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools 1st

A Common Declarative Language for UML State Machine Represe...

引用

1st International Symposium on software Fault Prevention, Verification, and Validation, SFPVV 2024

作者： Jannatpour, Ali Constantinides, Constantinos Department of Computer Science and Software Engineering Concordia University Montreal Canada

ISBN: (纸本)9789819616206

Originally presented in previous work to capture the set of fundamental elements of the UML state machine specification, Common Declarative Language (CDL) provides a model that can aid in the validation and verification of requirements. In this paper we target two objectives: First, we extend CDL by addressing one of the advanced concepts of the UML state machine specification, namely the notion of orthogonality which allows complex machine behavior through parallel state configurations. Second, we complement previous work by focusing on how CDL can serve as a platform for the representation of a state machine, how the language can be deployed for a model transformation where the initial machine (containing composite and/or orthogonal states) can be flattened into a model whose formal definition we provide, and finally how the CDL can be deployed to support interoperability among text-to-UML drawing tools [11]. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：