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

arXiv 2025年

作者： Cui, Bohan Yu, Xinyi Giua, Alessandro Yin, Xiang Department of Automation Key Laboratory of System Control and Information Processing Shanghai Jiao Tong University Shanghai200240 China Thomas Lord Department of Computer Science University of Southern California Los AngelesCA90089 United States Department of Electrical and Electronic Engineering University of Cagliari Cagliari09123 Italy

In this paper, we investigate the control synthesis problem for Signal Temporal Logic (STL) specifications in the presence of uncontrollable agents. Existing works mainly address this problem in a robust control setting by assuming the uncontrollable agents are adversarial and accounting for the worst-case scenario. While this approach ensures safety, it can be overly conservative in scenarios where uncontrollable agents have their own objectives that are not entirely opposed to the system’s goals. Motivated by this limitation, we propose a new framework for STL control synthesis within the Stackelberg game setting. Specifically, we assume that the system controller, acting as the leader, first commits to a plan, after which the uncontrollable agents, acting as followers, take a best response based on the committed plan and their own objectives. Our goal is to synthesize a control sequence for the leader such that, for any rational followers producing a best response, the leader’s STL task is guaranteed to be satisfied. We present an effective solution to this problem by transforming it into a single-stage optimization problem and leveraging counterexample guided synthesis techniques. We demonstrate that the proposed approach is sound and identify conditions under which it is optimal. Simulation results are also provided to illustrate the effectiveness of the proposed framework. © 2025, CC BY.

关键词： Control system synthesis

来源：评论

学校读者我要写书评

暂无评论

Efficient Module-Lattice-based Certificateless Online/Offline Signcryption Scheme for Internet of Medical Things

引用

IEEE Internet of Things Journal 2025年

作者： Bai, Ye He, Debiao Yang, Zhichao Luo, Min Peng, Cong Wuhan University Key Laboratory of Aerospace Information Security and Trusted Computing Ministry of Education School of Cyber Science and Engineering Wuhan430072 China Wuhan University School of Cyber Science and Engineering Wuhan430072 China Qilu University of Technology Shandong Academy of Sciences Key Laboratory of Computing Power Network and Information Security Ministry of Education Shandong Computer Science Center Jinan250014 China Naval University of Engineering Department of Information Security Wuhan430000 China Shandong Fundamental Research Center for Computer Science Shandong Provincial Key Laboratory of Industrial Network and Information System Security Jinan250014 China

The Internet of Medical Things (IoMT) has achieved remote diagnosis and real-time health monitoring through intelligent sensor devices and Internet of Things (IoT) technology, providing great convenience for analyzing medical conditions between doctors and patients. However, sensitive information such as patient medical data may face security challenges such as data leakage and abuse during transmission in the IoMT. To ensure the confidentiality and unforgeability of medical data transmission, scholars have proposed many cryptographic schemes. With the development of quantum computers, schemes based on traditional cryptographic primitives have become insecure. Existing cryptographic schemes for IoMT cannot simultaneously meet the security requirements of high communication performance, low computational overhead, and resistance to quantum attacks. Therefore, we propose an efficient module-lattice-based certificateless online/offline signcryption (MLCLOOSC) scheme resistant to quantum attacks while meeting the confidentiality and unforgeability requirements under Type I and Type II attacks. Compared with five recent CLOOSC schemes, theoretical analysis, and experimental test results show that the proposed scheme outperforms the other five schemes regarding computational and communication costs and security. Therefore, our scheme is more suitable for application in IoMT scenarios. © 2014 IEEE.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Preferences for Using Canva Apps as a Presentation Media Creation Tool Among Gen Z Students: SEM Analysis with TAM and UTAUT2 Approaches

Preferences for Using Canva Apps as a Presentation Media Cre...

引用

International Seminar on Intelligent Technology and Its Applications (ISITIA)

作者： Fairuz Iqbal Maulana Dian Lestari Agung Purnomo Rahman Arifuddin Vandha Pradwiyasma Widartha Puput Dani Prasetyo Adi Computer Science Department School of Computer Science Bina Nusantara University Jakarta Indonesia Faculty of Medicine Airlangga Surabaya 60132 Indonesia Surabaya Indonesia Entrepreneurship Department BINUS Business School Undergraduate Program Bina Nusantara University Jakarta Indonesia Department of Electrical Engineering University of Merdeka Malang Malang Indonesia Information System of Industrial Engineering Faculty Telkom University Bandung Indonesia Research Center for Telecommunication National Research and Innovation Agency (BRIN) Bandung Indonesia

ISBN: (数字)9798350378573

ISBN: (纸本)9798350378580

The purpose of this study is to find out what makes Generation Z students accept and use Canva as a tool for making presentation materials. The conceptual framework of this study is the combination of "Technology Acceptance Model (TAM)" and the "Unified Theory of Acceptance and Use of Technology (UTAUT2)". "Structural Equation Modeling (SEM)" used for data analyzation. This research aims to understand the dynamics of Canva acceptance among students. The findings show that enjoyment, fun, and pleasure in using Canva, combined with its creative tools and design-centric approach, significantly resonate with Gen Z's preference for aesthetics. This research highlights that Canva is favored by students for creating engaging presentations.

关键词： Seminars Analytical models Technology acceptance model Accuracy Numerical analysis Media Mathematical models

来源：评论

学校读者我要写书评

暂无评论

A Mobile Cloud Architecture for M-Commerce Business Application’s Execution Performance

A Mobile Cloud Architecture for M-Commerce Business Applicat...

引用

International Conference on Advanced Technologies for Signal and Image Processing (ATSIP)

作者： Sadaf Yasmin Swati Mishra Asharul Islam Rashid Hussain Faculty of Management Suresh Gyan Vihar University Jaipur India Department of Information System College of Computer Science King Khalid University Abha K.S.A Moti Babu Instute of Technology Bihar Engineering University Bihar India

ISBN: (数字)9798350351484

ISBN: (纸本)9798350351491

Many researchers have come up with different ways to build a business model architecture for efficient services to run m-commerce applications. The framework for developing mobile commerce applications needs to change at the same time as the IT expansion and business transformation. We are pursuing a theoretical business framework to find an optimal solution for the seamless service-oriented m-commerce application performance. In this approach, we identify the components of m -commerce applications that could reduce mobility barriers and improve application execution time and device energy efficiency. This led us to propose a framework for m-commerce application performance that uses the Mobile Cloud Computing (MCC) solutions. This plan focuses on making the application run faster and use less energy, and making it easier for users to move around. We help mobile commerce application developers make smart RDMCA (Resource-Demanding M-commerce Applications) that provide good services for mobile commerce businesses and consumers. A theoretical proposed business framework is being set up to find an optimal solution for service-oriented m -commerce application performance. In this way, we find the important parts of the m -commerce system (signal range determiner) that help make the application run faster, use less energy, and make it easier to move around. We think that improving this framework will help mobile commerce app developers to make RDMCA’s that provide good services for both mobile commerce enterprises and end users.

关键词： Performance evaluation Cloud computing Energy consumption Image processing computer architecture Energy efficiency Computational efficiency

来源：评论

学校读者我要写书评

暂无评论

Inner-approximate Reachability Computation via Zonotopic Boundary Analysis

arXiv

引用

arXiv 2024年

作者： Ren, Dejin Liang, Zhen Wu, Chenyu Ding, Jianqiang Wu, Taoran Xue, Bai Key Laboratory of System Software Chinese Academy of Sciences State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing China University of Chinese Academy of Sciences Beijing China College of Computer Science and Technology National University of Defense Technology Changsha China Department of Electrical Engineering and Automation Aalto University Espoo Finland

Inner-approximate reachability analysis involves calculating subsets of reachable sets, known as inner-approximations. This analysis is crucial in the fields of dynamic systems analysis and control theory as it provides a reliable estimation of the set of states that a system can reach from given initial states at a specific time instant. In this paper, we study the inner-approximate reachability analysis problem based on the set-boundary reachability method for systems modelled by ordinary differential equations, in which the computed inner-approximations are represented with zonotopes. The set-boundary reachability method computes an inner-approximation by excluding states reached from the initial set’s boundary. The effectiveness of this method is highly dependent on the efficient extraction of the exact boundary of the initial set. To address this, we propose methods leveraging boundary and tiling matrices that can efficiently extract and refine the exact boundary of the initial set represented by zonotopes. Additionally, we enhance the exclusion strategy by contracting the outer-approximations in a flexible way, which allows for the computation of less conservative inner-approximations. To evaluate the proposed method, we compare it with state-of-the-art methods against a series of benchmarks. The numerical results demonstrate that our method is not only efficient but also accurate in computing inner-approximations. Copyright © 2024, The Authors. All rights reserved.

关键词： Ordinary differential equations

来源：评论

学校读者我要写书评

暂无评论

An End-to-End Deep-Learning-Based Indirect Time-of-Flight Image Signal Processor

An End-to-End Deep-Learning-Based Indirect Time-of-Flight Im...

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Annan Xiong Yuzhong Jiao Xuejiao Liu Manto Yung Xianghong Hu Luhong Liang Jie Yuan Mansun Chan Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Hong Kong SAR AI Chip Center for Emerging Smart System (ACCESS) Hong Kong SAR School of Integrated Circuits Guangdong University of Technology Guangzhou China

ISBN: (数字)9798350330991

ISBN: (纸本)9798350331004

Indirect time-of-flight (iToF) is one of the most straightforward approaches to capture 3D images. However, due to the nature of the iToF camera, it is still challenging to get reliable and accurate depth images from the raw data in the image signal processor (ISP) pipeline due to environmental issues. Previous iToF ISP works mainly focus on the traditional pipeline, such as filters and depth calculation. In this work, we present an end-to-end deep-learning-based iToF ISP. The proposed iToF ISP system can generate real-time depth images with deep-learning-based noise reduction and multipath interference (MPI) reduction. With the mixed-bit convolutional neural network (CNN) with 96.5 % sparsity and the mixed-bit sparse accelerator, the CNN is accelerated by 2.78× and negligible mean average error (MAE) loss has been achieved on the FLAT dataset using the proposed ISP pipeline.

关键词： Deep learning Accuracy Filters Pipelines Interference Cameras Real-time systems

来源：评论

学校读者我要写书评

暂无评论

Power-to-Liquid fuel export potential from Chile to Europe on the pathway to carbon neutrality

Power-to-Liquid fuel export potential from Chile to Europe o...

引用

23rd Wind & Solar Integration Workshop (WIW 2024)

作者： Lukas Jansen Estefanía Duque Pérez Benedikt Häckner Maximilian Pfennig Fraunhofer Institute of Energy Economics and Energy System Technology IEE Joseph-Beuys-Str. 8 34117 Kassel Germany Department of Electrical Engineering and Computer Science University of Kassel Wilhelmshöher Allee 73 34121 Kassel Germany

ISBN: (数字)9781837242122

Power-to-Liquid (PtL) fuels will be vital in achieving carbon neutrality. This study uses a energy system optimization model to analyze the market-based export potential of PtL fuels from Chile on the path to 2050. The sector-integrated energy system model minimizes the of capacity expansion in five-year steps. Our analysis shows that under the assumptions made, Chile is able to phase out the use of fossil resources and significantly export Fischer-Tropsch fuels in 2030, 2040 and 2050 at competitive marginal costs. The study focuses on the impact of export volumes, CO2 budgets, and expansion limits for 2030, 2040, and 2050. The model results show that the production of PtL enables the connection of level 1 renewable resources in remote, off-grid regions in Chile to global demand centres. The achievable export volumes and corresponding costs are discussed from a European perspective. Finally, it is presented that the necessary expansion rates for Chile’s wind and solar power plants must be significantly higher than historical values in all cases.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DVI-SLAM: A Dual Visual Inertial SLAM Network

DVI-SLAM: A Dual Visual Inertial SLAM Network

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Xiongfeng Peng Zhihua Liu Weiming Li Ping Tan Soon Yong Cho Qiang Wang SAIT-China Lab Samsung R&D Institute China Beijing China Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology China Multimedia System TU Samsung Advanced Institute of Technology South Korea

ISBN: (数字)9798350384574

ISBN: (纸本)9798350384581

Recent deep learning based visual simultaneous localization and mapping (SLAM) methods have made significant progress. However, how to make full use of visual information as well as better integrate with inertial measurement unit (IMU) in visual SLAM has potential research value. This paper proposes a novel deep SLAM network with dual visual factors. The basic idea is to integrate both photometric factor and re-projection factor into the end-to-end differentiable structure through multi-factor data association module. We show that the proposed network dynamically learns and adjusts the confidence maps of both visual factors and it can be further extended to include the IMU factors as well. Extensive experiments validate that our proposed method significantly outperforms the state-of-the-art methods on several public datasets, including TartanAir, EuRoC and ETH3D-SLAM. Specifically, when dynamically fusing the three factors together, the absolute trajectory error for both monocular and stereo configurations on EuRoC dataset has reduced by 45.3% and 36.2% respectively.

关键词： Deep learning Visualization Simultaneous localization and mapping Measurement units Inertial navigation Trajectory Robotics and automation

来源：评论

学校读者我要写书评

暂无评论

A Cloud-Based Offloading Process for MCommerce Application’s Performance in Cloud Environment

A Cloud-Based Offloading Process for MCommerce Application’...

引用

International Conference on Advanced Technologies for Signal and Image Processing (ATSIP)

ISBN: (数字)9798350351484

ISBN: (纸本)9798350351491

An interest in cloud computing is transforming and developing information technology continuously for business and personal needs. Most e-commerce companies are migrating and converting services and applications for the rich resources provided through cloud platforms. This is a new business era that helps change the cloud. A process, state, or concept is defined as transformation. Through a dynamic process, it shows the technological transformation as the world changes and adapts to external and internal forces. Companies invest their capital in developing IT infrastructure, maintaining, and updating hardware, and software, and improving their services. The cloud-based transformation is an excellent method for establishing a fresh service-oriented, value-effective, adaptable, and adaptable technologies. Switching from the IT infrastructure to services as a pay-per-use business model is done using the IT service model. The latest trends in cloud computing technology and next-generation models are rented. Moreover, m-commerce applications are based on mobile execution performance, which is the major concern of e-commerce industries. As we know, there are three major obstacles of mobile devices natures: (1) Resource constraint device (2) Client mobility and (3) High energy consumption, moreover this is the major m-commerce applications performance challenges. When doing complicated computer work, the device battery will run out quickly and need to be charged again and again. We want to provide an overview of the concept, process, and research area of offloading computation for the energy efficiency of smartphones. The issues and challenges in computing offloading for mobile cloud environments are discussed.

关键词： Performance evaluation Cloud computing Adaptation models Computational modeling Companies Switches Software

来源：评论

学校读者我要写书评

暂无评论

A Thermal-Aware Scheduling Algorithm for Reducing Thermal Risks in DAG-Based Applications in Cyber-Physical systems 2nd

A Thermal-Aware Scheduling Algorithm for Reducing Thermal R...

引用

2nd International Conference on Ubiquitous Security, UbiSec 2022

作者： Ali, Irfan Shehzad, Muhammad Naeem Bashir, Qaisar Elahi, Haroon Awais, Muhammad Naeem Geman, Oana Liu, Pin Department of Computer System Engineering Institute of Business Administration Sukkar Sukkur65200 Pakistan Department of Electrical and Computer Engineering COMSATS University Islamabad Lahore Campus Lahore54000 Pakistan Intel Corporation AustinTX78746 United States Department of Computing Science Umeå University Umeå9036 Sweden Department of Computers Electronics and Automation Stefan Cel Mare University of Suceava Suceava720229 Romania School of Computer Science and Engineering Central South University Changsha410083 China

ISBN: (纸本)9789819902712

Directed Acyclic Graph (DAG)-based scheduling applications are critical to resource allocation in the Cloud, Edge, and Fog layers of cyber-physical systems (CPS). However, thermal anomalies in DVFS-enabled homogeneous multiprocessor systems (HMSS) may be exploited by malicious applications posing risks to the availability of the underlying CPS. This can negatively affect the trustworthiness of CPS. This paper proposes an algorithm to address the thermal risks in DVFS-enabled HMSS for periodic DAG-based applications. It also improves the current list scheduling-based Depth-First and Breadth-First techniques without violating the timing constraints of the system. We test the algorithm using standard benchmarks and synthetic applications in a simulation setup. The results show a reduction in the temperature peaks by up to 30%, average temperature by up to 22%, temperature variations up to 3 times, and temperature spatial gradients by up to 4 times as compared to the conventional Depth-First Scheduling algorithms. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Cyber Physical system

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：