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

Enabling Real-time Computing and Transmission Services in Large-Scale LEO Satellite Networks

IEEE Transactions on Vehicular Technology 2025年

作者： Guo, Binquan Zhang, Zhou Atapattu, Saman Pan, Miao Yan, Ye Xiong, Zehui Li, Hongyan Xidian University State Key Laboratory of Integrated Services Networks Xi'an710071 China Tianjin300457 China Singapore University of Technology and Design Pillar of Information Systems Technology and Design 487372 Singapore Hunan University College of Computer Science and Electronic Engineering Changsha410012 China University School of Engineering MelbourneVIC3000 Australia University of Houston Department of Electrical and Computer Engineering HoustonTX77204 United States Tianjin Artificial Intelligence Innovation Center Tianjin300387 China

Enhanced by onboard computing resources and inter-satellite links (ISLs), large-scale satellite networks (SNs) can supplement terrestrial networks, facilitating real-time edge computing and transmission in remote areas at low latency. This capability benefits applications such as real-time remote object tracking, vehicular edge computing, and environmental monitoring. However, different from terrestrial vehicular networks, satellite mobility and the intermittent nature of ISLs often render many computing satellites inaccessible, necessitating efficient scheduling scheme for joint computing and communication resource allocation. To meet this requirement, we investigate joint computing and transmission strategy for real-time computing applications over SNs to reduce end-to-end delays. We formulate the real-time computing and transmission problem over time-varying SNs as an integer linear programming problem. The mathematical optimization method has an exponential time complexity of O(2|L⫟| . (4 |V⫟| + 4∣ L⫟|)2|L∣) in the worst case, which grows rapidly with the growth of network sizes. Here, |V⫟| and |L⫟| denote the number of nodes and links, respectively, within the time window {\tau }. Resorting to the designed k-shortest path-based method yields a worst-case complexity of O(|V⫟|! . |V⫟|3). While efficient under common scenarios, its running time is still relatively unstable and may become tens of times longer when computing resources become scarce. To enhance efficiency, we further design a graph-based algorithm that leverages the solution space's unique structure, thereby achieving optimal solutions with polynomial time complexity O(3|L⫟| + (2\log |V⫟|+1) |V⫟|). Extensive evaluations conducted on the world's largest Starlink system validate the efficacy of the designed methods and highlight their potential synergy. © 1967-2012 IEEE.

关键词： Satellite links

来源：评论

学校读者我要写书评

暂无评论

Geometric theory on large-scale and local determination of density dependence of a recovering large carnivore population

arXiv

引用

arXiv 2023年

作者： Shen, Yunyi Olson, Erik R. Van Deelen, Timothy R. Laboratory for Information and Decision Systems Department of Electrical Engineering and Computer Science Massachusetts Institute of Technology United States Department of Environmental Sciences Northland College United States Department of Forest and Wildlife Ecology University of Wisconsin–Madison United States

Density-dependent population growth is a feature of large carnivores like wolves (Canis lupus), with mechanisms typically attributed to resource (e.g. prey) limitation. Such mechanisms are local phenomena and rely on individuals having access to information, such as prey availability at their location. Using over four decades of wolf population and range expansion data from Wisconsin (USA) wolves, we found that the population not only exhibited density dependence locally but also at landscape scale. Superficially, one may consider space as yet another limiting resource to explain landscape-scale density dependence. However, this view poses an information puzzle: most individuals do not have access to global information such as range-wide habitat availability as they would for local prey availability. How would the population "know" when to slow their range expansion? To understand observed large-scale spatial density dependence, we propose a reaction-diffusion model, first introduced by Fisher and Kolmogorov, with a "travelling wave" solution, wherein the population expands from a core range that quickly achieves local carrying capacity. Early-stage acceleration and later-stage deceleration of population growth can be explained by early elongation of an expanding frontier and a later collision of the expanding frontier with a habitat boundary. Such a process does not require individuals to have global density information. We illustrate our proposal with simulations and spatial visualizations of wolf recolonization in the western Great Lakes region over time relative to habitat suitability. We further synthesize previous studies on wolf habitat selection in the western Great Lakes region and argue that the habitat boundary appeared to be driven by spatial variation in mortality, likely associated with human use of the landscape. © 2023, CC BY-SA.

关键词： Lakes

来源：评论

学校读者我要写书评

暂无评论

Learning Eco-Driving Strategies at Signalized Intersections

arXiv

引用

arXiv 2022年

作者： Jayawardana, Vindula Wu, Cathy MIT Laboratory for Information & Decision Systems Department of Electrical Engineering and Computer Science CambridgeMA02139 United States Laboratory for Information & Decision Systems Department of Civil and Environmental Engineering Institute of Data Systems and Society CambridgeMA02139 United States

Signalized intersections in arterial roads result in persistent vehicle idling and excess accelerations, contributing to fuel consumption and CO2 emissions. There has thus been a line of work studying eco-driving control strategies to reduce fuel consumption and emission levels at intersections. However, methods to devise effective control strategies across a variety of traffic settings remain elusive. In this paper, we propose a reinforcement learning (RL) approach to learn effective eco-driving control strategies. We analyze the potential impact of a learned strategy on fuel consumption, CO2 emission, and travel time and compare with naturalistic driving and model-based baselines. We further demonstrate the generalizability of the learned policies under mixed traffic scenarios. Simulation results indicate that scenarios with 100% penetration of connected autonomous vehicles (CAV) may yield as high as 18% reduction in fuel consumption and 25% reduction in CO2 emission levels while even improving travel speed by 20%. Furthermore, results indicate that even 25% CAV penetration can bring at least 50% of the total fuel and emission reduction benefits. Copyright © 2022, The Authors. All rights reserved.

关键词： Travel time

来源：评论

学校读者我要写书评

暂无评论

Long Duration Battery Sizing, Siting, and Operation Under Wildfire Risk Using Progressive Hedging

arXiv

引用

arXiv 2024年

作者： Piansky, Ryan Stinchfield, Georgia Kody, Alyssa Molzahn, Daniel K. Watson, Jean-Paul School of Electrical and Computer Engineering Georgia Institute of Technology AtlantaGA United States Department of Chemical Engineering Carnegie Mellon University PittsburghPA United States Energy Systems and Infrastructure Analysis Argonne National Laboratory LemontIL United States Lawrence Livermore National Laboratory LivermoreCA United States

Battery sizing and siting problems are computationally challenging due to the need to make long-term planning decisions that are cognizant of short-term operational decisions. This paper considers sizing, siting, and operating batteries in a power grid to maximize their benefits, including price arbitrage and load shed mitigation, during both normal operations and periods with high wildfire ignition risk. We formulate a multi-scenario optimization problem for long duration battery storage while considering the possibility of load shedding during Public Safety Power Shutoff (PSPS) events that de-energize lines to mitigate severe wildfire ignition risk. To enable a computationally scalable solution of this problem with many scenarios of wildfire risk and power injection variability, we develop a customized temporal decomposition method based on a progressive hedging framework. Extending traditional progressive hedging techniques, we consider coupling in both placement variables across all scenarios and state-of-charge variables at temporal boundaries. This enforces consistency across scenarios while enabling parallel computations despite both spatial and temporal coupling. The proposed decomposition facilitates efficient and scalable modeling of a full year of hourly operational decisions to inform the sizing and siting of batteries. With this decomposition, we model a year of hourly operational decisions to inform optimal battery placement for a 240-bus WECC model in under 70 minutes of wall-clock time. Copyright © 2024, The Authors. All rights reserved.

关键词： Charging (batteries)

来源：评论

学校读者我要写书评

暂无评论

On modal observers for beyond rigid body H∞ control in high-precision mechatronics*

On modal observers for beyond rigid body H∞ control in high...

引用

IEEE Conference on Decision and Control

作者： Yorick Broens Hans Butler Roland Tóth Department of Electrical Engineering Eindhoven University of Technology Eindhoven The Netherlands ASML Veldhoven The Netherlands Systems and Control Laboratory Institute for Computer Science and Control Hungary

ISBN: (数字)9781665467612

ISBN: (纸本)9781665467629

The ever increasing need for performance results in increasingly rigorous demands on throughput and positioning accuracy of high-precision motion systems, which often suffer from position dependent effects that originate from relative actuation and sensing of the moving-body. Due to the highly stiff mechanical design, such systems are typically controlled using rigid body control design approaches. Nonetheless, the presence of position dependent flexible dynamics severely limits attainable position tracking performance. This paper presents two extensions of the conventional rigid body control framework towards active control of position dependent flexible dynamics. Additionally, a novel control design approach is presented, which allows for shaping of the full closed-loop system by means of structured H ∞ co-design. The effectiveness of the approach is validated through simulation using a high-fidelity model of a state-of-the-art moving-magnet planar actuator.

关键词： Linear systems Mechatronics Costs Control design Tracking Dynamics Observers

来源：评论

学校读者我要写书评

暂无评论

LPV sequential loop closing for high-precision motion systems

arXiv

引用

arXiv 2022年

作者： Broens, Yorick Butler, Hans Tóth, Roland The Department of Electrical Engineering Eindhoven University of Technology Eindhoven Netherlands ASML Veldhoven Netherlands The Systems and Control Laboratory Institute for Computer Science and Control Hungary

Increasingly stringent throughput requirements in the industry necessitate the need for lightweight design of high-precision motion systems to allow for high accelerations, while still achieving accurate positioning of the moving-body. The presence of position dependent dynamics in such motion systems severely limits achievable position tracking performance using conventional sequential loop closing (SLC) control design strategies. This paper presents a novel extension of the conventional SLC design framework towards linear-parameter-varying systems, which allows to circumvent limitations that are introduced by position dependent effects in high-precision motion systems. Advantages of the proposed control design approach are demonstrated in simulation using a high-fidelity model of a moving-magnet planar actuator system, which exhibits position dependency in both actuation and *** Codes 93-06 © 2022, CC BY.

关键词： Linear systems

来源：评论

学校读者我要写书评

暂无评论

Channel Estimation for Massive MIMO-OFDM: Simplified Information Geometry Approach

Channel Estimation for Massive MIMO-OFDM: Simplified Informa...

引用

IEEE Conference on Vehicular Technology (VTC)

作者： Jiyuan Yang Yan Chen An-An Lu Wen Zhong Xiqi Gao Xiaohu You Xiang-Gen Xia Dirk Slock National Mobile Communications Research Laboratory Southeast University Nanjing China Purple Mountain Laboratories Nanjing China Department of Electrical and Computer Engineering University of Delaware Newark DE USA Department of Communication Systems EURECOM Biot France

In this paper, we investigate the channel estimation for massive multiple-input multiple-output orthogonal frequency division multiplexing (MIMO-OFDM) systems. We revisit the information geometry approach (IGA) for massive MIMO-OFDM channel estimation. By using the constant magnitude property of the entries of the measurement matrix and the asymptotic analysis, we find that the second-order natural parameters (SONPs) of the distributions on all the auxiliary manifolds (AMs) are equivalent to each other at each iteration of IGA, and the first-order natural parameters (FONPs) of the distributions on all the AMs are asymptotically equivalent to each other at the fixed point. Motivated by these results, we simplify the iterative process of IGA and propose a simplified IGA for massive MIMO-OFDM channel estimation. It is proved that at the fixed point, the a posteriori mean obtained by the simplified IGA is asymptotically optimal. The simplified IGA allows efficient implementation with fast Fourier transformation (FFT). Simulations confirm that the simplified IGA can achieve near the optimal performance with low complexity in a limited number of iterations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling and Analysis of a Coupled SIS Bi-Virus Model

arXiv

引用

arXiv 2022年

作者： Gracy, Sebin Paré, Philip E. Liu, Ji Sandberg, Henrik Beck, Carolyn L. Johansson, Karl Henrik Başar, Tamer Department of Electrical Engineering and Computer Science South Dakota School of Mines and Technology SD United States School of Electrical and Computer Engineering Purdue University IN United States Department of Electrical and Computer Engineering Stony Brook University United States Division of Decision and Control Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology and Digital Futures Stockholm Sweden Coordinated Science Laboratory University of Illinois at Urbana-Champaign United States

The paper deals with the setting where two viruses (say virus 1 and virus 2) coexist in a population, and they are not necessarily mutually exclusive, in the sense that infection due to one virus does not preclude the possibility of simultaneous infection due to the other. We develop a coupled bi-virus susceptible-infected-susceptible (SIS) model from a 4n-state Markov process, where n is the number of agents (i.e., individuals or subpopulation) in the population. We identify a sufficient condition for both viruses to eventually die out, and a sufficient condition for the existence, uniqueness and asymptotic stability of the endemic equilibrium of each virus. We establish a sufficient condition and multiple necessary conditions for local exponential convergence to the boundary equilibrium (i.e., one virus persists, the other one dies out) of each virus. Under mild assumptions on the healing rate, we show that there cannot exist a coexisting equilibrium where for each node there is a nonzero fraction infected only by virus 1;a nonzero fraction infected only by virus 2;but no fraction that is infected by both viruses 1 and 2. Likewise, assuming that healing rates are strictly positive, a coexisting equilibrium where for each node there is a nonzero fraction infected by both viruses 1 and 2, but no fraction is infected only by virus 1 (resp. virus 2) does not exist. Further, we provide a necessary condition for the existence of certain other kinds of coexisting equilibria. We show that, unlike the competitive bivirus model, the coupled bivirus model is not monotone. Finally, we illustrate our theoretical findings using an extensive set of simulations. © 2022, CC0.

关键词： Coronavirus

来源：评论

学校读者我要写书评

暂无评论

TRACKING THE TOPOLOGY OF NEURAL MANIFOLDS ACROSS POPULATIONS

arXiv

引用

arXiv 2025年

作者： Yoon, Iris H.R. Henselman-Petrusek, Gregory Yu, Yiyi Ghrist, Robert Smith, Spencer Lavere Giusti, Chad Department of Mathematics and Computer Science Wesleyan University 265 Church Street MiddletownCT06459 United States Pacific Northwest National Laboratory 902 Battelle Boulevard RichlandWA99352 United States Department of Electrical and Computer Engineering University of California Santa Barbara Santa BarbaraCA93106 United States Department of Mathematics and Electrical & Systems Engineering University of Pennsylvania PhiladelphiaPA19104 United States Department of Mathematics Oregon State University 2000 SW Campus Way CorvallisOR97331 United States

Neural manifolds summarize the intrinsic structure of the information encoded by a population of neurons. Advances in experimental techniques have made simultaneous recordings from multiple brain regions increasingly commonplace, raising the possibility of studying how these manifolds relate across populations. However, when the manifolds are nonlinear and possibly code for multiple unknown variables, it is challenging to extract robust and falsifiable information about their relationships. We introduce a framework, called the method of analogous cycles, for matching topological features of neural manifolds using only observed dissimilarity matrices within and between neural populations. We demonstrate via analysis of simulations and in vivo experimental data that this method can be used to correctly identify multiple shared circular coordinate systems across both stimuli and inferred neural manifolds. Conversely, the method rejects matching features that are not intrinsic to one of the systems. Further, as this method is deterministic and does not rely on dimensionality reduction or optimization methods, it is amenable to direct mathematical investigation and interpretation in terms of the underlying neural activity. We thus propose the method of analogous cycles as a suitable foundation for a theory of cross-population analysis via neural manifolds. © 2025, CC BY-NC-ND.

关键词： Dimensionality reduction

来源：评论

学校读者我要写书评

暂无评论

Interpretable Machine Learning Models for Modal Split Prediction in Transportation systems

arXiv

引用

arXiv 2022年

作者： Brenner, Aron Wu, Manxi Amin, Saurabh Laboratory for Information and Decision Systems The Massachusetts Institute of Technology United States Department of Electrical Engineering and Computer Sciences The University of California at Berkeley United States

Modal split prediction in transportation networks has the potential to support network operators in managing traffic congestion and improving transit service reliability. We focus on the problem of hourly prediction of the fraction of travelers choosing one mode of transportation over another using high-dimensional travel time data. We use logistic regression as base model and employ various regularization techniques for variable selection to prevent overfitting and resolve multicollinearity issues. Importantly, we interpret the prediction accuracy results with respect to the inherent variability of modal splits and travelers’ aggregate responsiveness to changes in travel time. By visualizing model parameters, we conclude that the subset of segments found important for predictive accuracy changes from hour-to-hour and include segments that are topologically central and/or highly congested. We apply our approach to the San Francisco Bay Area freeway and rapid transit network and demonstrate superior prediction accuracy and interpretability of our method compared to pre-specified variable selection methods. Copyright © 2022, The Authors. All rights reserved.

关键词： Forecasting

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：