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

IEEE Conference on Decision and Control

作者： Patrick J.W. Koelewijn Roland Tóth Siep Weiland Control Systems Group Faculty of Electrical Engineering Eindhoven University of Technology MB Eindhoven The Netherlands Systems and Control Laboratory Institute for Computer Science and Control Budapest Hungary

ISBN: (纸本)9781665436601

Unlike for Linear Time-Invariant (LTI) systems, for nonlinear systems, there exists no general framework for systematic convex controller design which incorporates performance shaping. The Linear Parameter-Varying (LPV) framework sought to bridge this gap by extending convex LTI synthesis results such that they could be applied to nonlinear systems. However, recent literature has shown that naive application of the LPV framework can fail to guarantee the desired asymptotic stability guarantees for nonlinear systems. Incremental dissipativity theory has been successfully used in the literature to overcome these issues for Continuous-Time (CT) systems. However, so far no solution has been proposed for output-feedback based incremental control for the Discrete-Time (DT) case. Using recent results on convex analysis of incremental dissipativity for DT nonlinear systems, in this paper, we propose a convex output-feedback controller synthesis method to ensure closed-loop incremental dissipativity of DT nonlinear systems via the LPV framework. The proposed method is applied on a simulation example, demonstrating improved stability and performance properties compared to a standard LPV controller design.

关键词： Linear systems Bridges Asymptotic stability Systematics Conferences Control systems Stability analysis

来源：评论

学校读者我要写书评

暂无评论

Learning to Control Linear systems can be Hard

arXiv

引用

arXiv 2022年

作者： Tsiamis, Anastasios Ziemann, Ingvar Morari, Manfred Matni, Nikolai Pappas, George J. Automatic Control Laboratory ETH Zurich Switzerland School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Sweden Department of Electrical and Systems Engineering University of Pennsylvania United States

In this paper, we study the statistical difficulty of learning to control linear systems. We focus on two standard benchmarks, the sample complexity of stabilization, and the regret of the online learning of the Linear Quadratic Regulator (LQR). Prior results state that the statistical difficulty for both benchmarks scales polynomially with the system state dimension up to system-theoretic quantities. However, this does not reveal the whole picture. By utilizing minimax lower bounds for both benchmarks, we prove that there exist non-trivial classes of systems for which learning complexity scales dramatically, i.e. exponentially, with the system dimension. This situation arises in the case of underactuated systems, i.e. systems with fewer inputs than states. Such systems are structurally difficult to control and their system theoretic quantities can scale exponentially with the system dimension dominating learning complexity. Under some additional structural assumptions (bounding systems away from uncontrollability), we provide qualitatively matching upper bounds. We prove that learning complexity can be at most exponential with the controllability index of the system, that is the degree of underactuation. Copyright © 2022, The Authors. All rights reserved.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Algorithms for determining semantic relations of formal concepts by cognitive machine learning based on concept algebra

Algorithms for determining semantic relations of formal conc...

引用

IEEE International Conference on Cognitive Informatics

作者： Mehrdad Valipour Yingxu Wang Omar A. Zatarain Marina L. Gavrilova Denotational Mathematics Software Science and Cognitive Systems Dept. of Electrical and Computer Engineering University of Calgary Calgary Alberta Canada Information Systems Lab Packard Dept. of Electrical Engineering Stanford University Stanford CA USA

ISBN: (纸本)9781509038473

It is recognized that the semantic space of knowledge is a hierarchical concept network. This paper presents theories and algorithms of hierarchical concept classification by quantitative semantic relations via machine learning based on concept algebra. The equivalence between formal concepts are analyzed by an Algorithm of Concept Equivalence Analysis (ACEA), which quantitatively determines the semantic similarity of an arbitrary pair of formal concepts. This leads to the development of the Algorithm of Relational Semantic Classification (ARSC) for hierarchically classify any given concept in the semantic space of knowledge. Experiments applying Algorithms ACEA and ARSC on 20 formal concepts are successfully conducted, which encouragingly demonstrate the deep machine understanding of semantic relations and their quantitative weights beyond human perspectives on knowledge learning and natural language processing.

关键词： Writing Instruments Decision support systems Ink Animals Handheld computers Lead

来源：评论

学校读者我要写书评

暂无评论

Experiences from the first delivery of a new immersive software engineering course: mathematical foundations and data analytics

Experiences from the first delivery of a new immersive softw...

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Florenc Demrozi Marina Marchisio Tiziana Margaria Matteo Sacchet Department of Electrical Engineering and Computer Science University of Stavanger Norway Department of Computer Science and Information Systems University of Limerick Ireland Department of Molecular Biotechnology and Health Sciences University of Turin Italy

According to data from the US Bureau of Labor Statistics, the number of job postings for software engineers has steadily increased over the past few years and is expected to grow by 22% from 2019 to 2029. This paper presents the pedagogical experience within the new Immersive Software engineering (ISE) program concerning mathematical foundations and data analytics topics. These topics were designed to cover essential mathematical concepts such as calculus, linear algebra, probability, and statistics and their integration within data analytic tools and techniques such as time-series forecasting, data cleaning, data visualization, and introduction to pattern recognition. In addition, hands-on projects and real-world applications were incorporated throughout the course to provide students with practical experience in these areas. We reflect on the first delivery of the ISE course, which provided students with a new innovative blended learning environment, and how it will be further developed towards Open Educational Resources (OER) components and refined to respond to the rapidly evolving needs of the software engineering industry.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Bitplane coding for correlations exploitation in wireless sensor networks

Bitplane coding for correlations exploitation in wireless se...

引用

IEEE International Conference on Communications (ICC)

作者： Caimu Tang C.S. Raghavendra Department of Computer Science University of Southern California Los Angeles CA USA Department of Electrical Engineering Department of Computer Science Systems University of Southern Califomia Los Angeles CA USA

In this paper, we propose a compression scheme called spatial set-partitioning in hierarchical trees which exploits the spatial and temporal correlations present in sensor data. This scheme allows progressive transmission and provides scalability in adapting to the underlying correlation structure of sensed data. It uses flexible Slepian-Wolf coding based on low density parity-check codes. Two different decoding schemes are proposed for different types of resource constrained sensor nodes. This scheme outperforms known codecs by a large margin of decibel in terms of the signal-to-noise ratio. This scheme has O(n) complexity for encoding and O(nlog(n)) complexity for decoding using message passing, where n is the codeword length. Experiments and simulation results with field data sets demonstrate the viability of our proposed scheme to wireless sensor networks.

关键词： Intelligent networks Wireless sensor networks Decoding Encoding Parity check codes Costs computer science Sensor systems Scalability Codecs

来源：评论

学校读者我要写书评

暂无评论

Dynamic scheduling issues in SMT architectures

Dynamic scheduling issues in SMT architectures

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： Chulho Shin Seong-Won Lee J.-L. Gaudiot Samsung Electronics Corporation System Design Technology Laboratory Department of Electrical Engineering-Systems University of Southern California USA Department of Electrical Engineering and Computer Science University of California Irvine USA

Simultaneous multithreading (SMT) attempts to attain higher processor utilization by allowing instructions from multiple independent threads to coexist in a processor and compete for shared resources. Previous studies have shown, however, that its throughput may be limited by the number of threads. A reason is that a fixed thread scheduling policy cannot be optimal for the varying mixes of threads it may face in an SMT processor. Our adaptive dynamic thread scheduling (ADTS) was previously proposed to achieve higher utilization by allowing a detector thread to make use of wasted pipeline slots with nominal hardware and software costs. The detector thread adaptively switches between various fetch policies. Our previous study showed that a single fixed thread scheduling policy presents much room (some 30%) for improvement compared to an oracle-scheduled case. In this paper, we take a closer look at ADTS. We implemented the functional model of the ADTS and its software architecture to evaluate various heuristics for determining a better fetch policy for a next scheduling quantum. We report that performance could be improved by as much as 25%.

关键词： Dynamic scheduling Surface-mount technology Yarn Processor scheduling Detectors Multithreading Throughput Face detection Adaptive scheduling Pipelines

来源：评论

学校读者我要写书评

暂无评论

Parametric duality and kernelization: Lower bounds and upper bounds on kernel size

Parametric duality and kernelization: Lower bounds and upper...

引用

22nd Annual Symposium on Theoretical Aspects of computer science, STACS 2005

作者： Chen, Jianer Fernau, Henning Kanj, Iyad A. Xia, Ge Department of Computer Science Texas A and M University College Station TX 77843-3112 United States University of Newcastle School of Electrical Engineering and Computer Science University Drive Callaghan NSW 2308 Australia Universität Tübingen Wilhelm-Schickard-Institut für Informatik Sand 13 D-72076 Tübingen Germany School of Computer Science Telecommunications and Information Systems DePaul University 243 S. Wabash Avenue Chicago IL 60604-2301 United States

We develop new techniques to derive lower bounds on the kernel size for certain parameterized problems. For example, we show that unless P = NP, PLANAR VERTEX COVER does not have a problem kernel of size smaller than 4k/3, and PLANAR INDEPENDENT SET and PLANAR DOMINATING SET do not have kernels of size smaller than 2k. We derive an upper bound of 67k on the problem kernel for PLANAR DOMINATING SET improving the previous 335k upper bound by Alber et al. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Enhancing 3D Human Pose Estimation Amidst Severe Occlusion with Dual Transformer Fusion

arXiv

引用

arXiv 2024年

作者： Ghafoor, Mehwish Mahmood, Arif Bilal, Muhammad Department of Computer Science Information Technology University Lahore Pakistan Center of Excellence in Intelligent Engineering Systems Department of Electrical and Computer Engineering Faculty of Engineering King Abdulaziz University Jeddah21589 Saudi Arabia

In the field of 3D Human Pose Estimation from monocular videos, the presence of diverse occlusion types presents a formidable challenge. Prior research has made progress by harnessing spatial and temporal cues to infer 3D poses from 2D joint observations. This paper introduces a Dual Transformer Fusion (DTF) algorithm, a novel approach to obtain a holistic 3D pose estimation, even in the presence of severe occlusions. Confronting the issue of occlusion-induced missing joint data, we propose a temporal interpolation-based occlusion guidance mechanism. To enable precise 3D Human Pose Estimation, our approach leverages the innovative DTF architecture, which first generates a pair of intermediate views. Each intermediate-view undergoes spatial refinement through a self-refinement schema. Subsequently, these intermediate-views are fused to yield the final 3D human pose estimation. The entire system is end-to-end trainable. Through extensive experiments conducted on the Human3.6M and MPI-INF-3DHP datasets, our method’s performance is rigorously evaluated. Notably, our approach outperforms existing state-of-the-art methods on both datasets, yielding substantial improvements. The code is available here: https://***/MehwishG/DTF. © 2024, CC BY-NC-ND.

关键词： 3D modeling

来源：评论

学校读者我要写书评

暂无评论

Biological Influence of Low-Frequency Electromagnetic Field Exposition Based on Selected Cell Death Markers 15

Biological Influence of Low-Frequency Electromagnetic Field ...

引用

15th International Conference Elektro, ELEKTRO 2024

作者： Cichorowski, Robert Kocikowska, Olga Bajtos, Marek Radil, Roman Janousek, Ladislav De Carrillo, Daria Gendosz Student, Sebastian Silesian University of Technology Faculty of Automatic Control Electronics and Computer Science Gliwice Poland Faculty of Automatic Control Electronics and Computer Science Department of Engineering and Systems Biology Gliwice Poland Silesian University of Medicine Faculty of Medical Sciences Department of Physiology Katowice Poland Faculty of Electrical Engineering and Informational Technology Department of Electromagnetic and Biomedical Engineering Žilina Slovakia Silesian University of Medicine Faculty of Medical Sciences in Zabrze Department of Histology Zabrze Poland Silesian University of Technology Biotechnology Center Gliwice Poland

ISBN: (纸本)9798350372359

This work presents the results of the examination of the HeLa cell line exposure on the ELF-EMF (extremely low-frequency electromagnetic field). In particular, the relationship between ELF-EMF exposition time and cell death. The examination of cell death hallmarks were examined by estimation levels of selected proteins - FACL4 (a protein that is a part of the ferroptosis pathway) and CK18 (Cytokeratin related to necrosis and apoptosis pathways) in the proposed model of workers exposed to ELF-EMF week. © 2024 IEEE.

关键词： Electromagnetic fields

来源：评论

学校读者我要写书评

暂无评论

Quantized Feedback Stabilization of Hybrid Impulsive Control systems

Quantized Feedback Stabilization of Hybrid Impulsive Control...

引用

Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference

作者： Zhichun Yang Yiguang Hong Zhong-Ping Jiang Xiaoli Wang Chongqing Key Lab of Operations Research and System Engineering Department of Mathematics and Computer ScienceChongqing Normal University Institute of Systems Science Chinese Academy of Sciences Key Laboratory of Systems and Control Institute of Systems ScienceChinese Academy of Sciences Dept.of Electrical & Computer Engineering Polytechnic Institute of New York University

In this paper,we consider the feedback stabilization problem of impulsive linear control systems with quantized input signals and quantized output *** concepts including quasi-invariant sets and attracting sets for hybrid impulsive quantized systems are *** on these concepts and the analysis of related dynamic properties,we propose hybrid quantized control schemes to stabilize the considered impulsive systems via state and output feedback.

关键词： quantization impulsive systems hybrid control stabilization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：