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

Model-based joint bit allocation between geometry and color for video-based 3d point cloud compression

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Liu, Qi Yuan, Hui Hou, Junhui Hamzaoui, Raouf Su, Honglei School of Information Science and Engineering Shandong University Qingdao266237 China Shenzhen Research Institute of Shandong University Shenzhen518057 China School of Control Science and Engineering Shandong University Ji’nan250061 China Department of Computer Science City University of Hong Kong Hong Kong School of Engineering and Sustainable Development De Montfort University Leicester United Kingdom School of Electronic Information Qingdao University Qingdao266071 China

Rate distortion optimization plays a very important role in image/video coding. But for 3D point cloud, this problem has not been investigated. In this paper, the rate and distortion characteristics of 3D point cloud are investigated in detail, and a typical and challenging rate distortion optimization problem is solved for 3D point cloud. Specifically, since the quality of the reconstructed 3D point cloud depends on both the geometry and color distortions, we first propose analytical rate and distortion models for the geometry and color information in video-based 3D point cloud compression platform, and then solve the joint bit allocation problem for geometry and color based on the derived models. To maximize the reconstructed quality of 3D point cloud, the bit allocation problem is formulated as a constrained optimization problem and solved by an interior point method. Experimental results show that the rate-distortion performance of the proposed solution is close to that obtained with exhaustive search but at only 0.68% of its time complexity. Moreover, the proposed rate and distortion models can also be used for the other rate-distortion optimization problems (such as prediction mode decision) and rate control technologies for 3D point cloud coding in the future. Copyright © 2020, The Authors. All rights reserved.

关键词： Signal distortion

Existence theorem of finite krasner hyperfields

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Tsafack, Surdive Atamewoue Amassayoga, Ogadoa Onasanya, Babatunde O. Feng, Yuming School of Three Gorges Artificial Intelligence Chongqing Three Gorges University Chongqing404100 China Department of Mathematics Higher Teacher Training College University of Yaounde 1 Cameroon Department of Mathematics Faculty of Science University of Yaounde 1 Cameroon Key Laboratory of Intelligent Information Processing and Control Chongqing Three China Gorges University Chongqing404100 China Department of Mathematics Uni-versity of Ibadan Nigeria School of Computer Science and Engineering Chongqing Three Gorges University China

关键词： Algebra

Correction: PDMATLAB2D: A Peridynamics MATLAB Two-dimensional Code

学校读者我要写书评

暂无评论

Journal of Peridynamics and Nonlocal Modeling 2024年第3期6卷 530-530页

作者： Seleson, Pablo Pasetto, Marco John, Yohan Trageser, Jeremy Reeve, Samuel Temple Computer Science and Mathematics Division Oak Ridge National Laboratory Oak Ridge USA Department of Mechanical and Aerospace Engineering University of California San Diego La Jolla USA George W. Woodruff School of Mechanical Engineering Georgia Institute of Technology Atlanta USA Center for Control Dynamical Systems and Computation University of California at Santa Barbara Harold Frank Hall Room 5119 Santa Barbara USA Engineering Sciences Center Sandia National Laboratories Albuquerque USA Computational Sciences and Engineering Division Oak Ridge National Laboratory Oak Ridge USA

Robust Policy Iteration for Continuous-time Linear Quadratic Regulation

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Pang, Bo Bian, Tao Jiang, Zhong-Ping Control and Networks Lab Department of Electrical and Computer Engineering Tandon School of Engineering New York University 370 Jay Street BrooklynNY11201 United States Bank of America Merrill Lynch One Bryant Park New YorkNY10036 United States

This paper studies the robustness of policy iteration in the context of continuous-time infinite-horizon linear quadratic regulation (LQR) problem. It is shown that Kleinman’s policy iteration algorithm is inherently robust to small disturbances and enjoys local input-to-state stability in the sense of Sontag. More precisely, whenever the disturbance-induced input term in each iteration is bounded and small, the solutions of the policy iteration algorithm are also bounded and enter a small neighborhood of the optimal solution of the LQR problem. Based on this result, an off-policy data-driven policy iteration algorithm for the LQR problem is shown to be robust when the system dynamics are subjected to small additive unknown bounded disturbances. The theoretical results are validated by a numerical example. Copyright © 2020, The Authors. All rights reserved.

关键词： Continuous time systems

Distributed Learning Model Predictive control for Linear Systems*

学校读者我要写书评

暂无评论

arXiv 2020年

作者： Stürz, Yvonne R. Zhu, Edward L. Rosolia, Ugo Johansson, Karl H. Borrelli, Francesco Model Predictive Control Laboratory University of California BerkeleyCA94709 United States Department of Mechanical and Civil Engineering California Institute of Technology PasadenaCA91125 United States School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Stockholm Sweden

This paper presents a distributed learning model predictive control (DLMPC) scheme for distributed linear time invariant systems with coupled dynamics and state constraints. The proposed solution method is based on an online distributed optimization scheme with nearest-neighbor communication. If the control task is iterative and data from previous feasible iterations are available, local data are exploited by the subsystems in order to construct the local terminal set and terminal cost, which guarantee recursive feasibility and asymptotic stability, as well as performance improvement over iterations. In case a first feasible trajectory is difficult to obtain, or the task is non-iterative, we further propose an algorithm that efficiently explores the state-space and generates the data required for the construction of the terminal cost and terminal constraint in the MPC problem in a safe and distributed way. In contrast to other distributed MPC schemes which use structured positive invariant sets, the proposed approach involves a control invariant set as the terminal set, on which we do not impose any distributed structure. The proposed iterative scheme converges to the global optimal solution of the underlying infinite horizon optimal control problem under mild conditions. Numerical experiments demonstrate the effectiveness of the proposed DLMPC scheme. Copyright © 2020, The Authors. All rights reserved.

关键词： Model predictive control

A formal modeling and verification framework for flash translation layer algorithms 1

学校读者我要写书评

暂无评论

5th International Symposium on Dependable Software engineering: Theories, Tools, and Applications, SETTA 2019

作者： Qiao, Lei Li, Shaofeng Yang, Hua Yang, Mengfei Beijing Institute of Control Engineering Beijing100089 China Chinese Academy of Space Technology Beijing100094 China School of Computer Science and Technology Xidian University Xian710071 China The State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100094 China

ISBN: (数字)9783030355401

ISBN: (纸本)9783030355395

Flash translation layer (FTL) is a part of software running on the NAND flash memory, which is ubiquitous in various devices. FTL algorithm hides the complexity of NAND flash characteristics and provides a simple and standard interface like magnetic disks. In this paper, we present a general and abstract formal model for FTL algorithms, define their functional correctness as refinement, and propose a verification framework. We demonstrate its use by verifying a classic FTL algorithm BAST. Our entire development has been formalized in the proof assistant Coq. © Springer Nature Switzerland AG 2019.

关键词： Formal verification

Investigation of the hyperchaos and control in the fractional order financial system with profit margin

学校读者我要写书评

暂无评论

Partial Differential Equations in Applied Mathematics 2024年 9卷

作者： Johansyah, Muhamad Deni Sambas, Aceng Qureshi, Sania Zheng, Song Abed-Elhameed, Tarek M. Vaidyanathan, Sundarapandian Sulaiman, Ibrahim Mohammed Department of Mathematics Faculty of Informatics and Computing Universiti Sultan Zainal Abidin Campus Besut Terengganu 22200 Malaysia Department of Mechanical Engineering Universitas Muhammadiyah Tasikmalaya Tamansari Gobras Tasikmalaya 46196 Indonesia Department of Computer Science and Mathematics Lebanese American University Beirut 13-5053 Lebanon Department of Mathematics Near East University Mersin 99138 Turkey Department of Basic Sciences and Related Studies Mehran University of Engineering and Technology Jamshoro 72060 Pakistan School of Data Science Zhejiang University of Finance and Economics Hangzhou 310018 China Institute of Mathematics and Interdisciplinary Sciences Zhejiang University of Finance and Economics 310018 China Department of Mathematics Faculty of Science Assiut University Assiut 71516 Egypt Centre for Control Systems Vel Tech University Avadi Tamil Nadu Chennai 600062 India Institute of Strategic Industrial Decision Modelling School of Quantitative Sciences Universiti Utara Malaysia Sintok Bukit Kayu Hitam Kedah 06010 Malaysia Faculty of Education and Arts Sohar University Sohar 311 Oman

This research study proposes a novel hyperchaotic finance system with profit margin and then utilizes the Adomian Decomposition Method (ADM) to tackle the solution of the associated Caputo-derivative based fractional-order hyperchaotic finance system with profit margin. Numerical simulations and analyses, such as the evaluation of Lyapunov exponents (LE), the creation of bifurcation diagrams (BD), the complexity analysis (CA), and the 0-1 test, are used to get a full picture of the system. The results of our study demonstrate the occurrence of periodic, chaotic, and hyperchaotic dynamics in the system. Furthermore, the overall criteria for the existence and the uniqueness of the exact solutions for Caputo fractional-order models are presented. In addition, we present a control methodology for the fractional-order hyperchaotic financial system utilizing the Laplace transform and linear feedback control. Significantly, our research showcases a noteworthy correlation between the analytical results and numerical simulations, emphasizing the soundness and effectiveness of our methodology. © 2024 The Author(s)

关键词： Chaotic system Financial system Fractional order Hyperchaos

Coalition game based user association for mmWave mobile relay systems in rail traffic scenarios

学校读者我要写书评

暂无评论

arXiv 2021年

作者： Chen, Chen Niu, Yong Mao, Shiwen Zhang, Xiaodan Han, Zhu Ai, Bo Gao, Meilin Xiao, Huahua Wang, Ning The State Key Laboratory of Rail Traffic Control and Safety Beijing Jiaotong University Beijing100044 China The Frontiers Science Center for Smart High-Speed Railway System Beijing Jiaotong University Beijing100044 China The National Mobile Communications Research Laboratory Southeast University Nanjing211189 China The Department of Electrical and Computer Engineering Auburn University AuburnAL36849-5201 United States The School of Management Shenzhen Institute of Information Technology Shenzhen518172 China The Department of Electrical and Computer Engineering The University of Houston HoustonTX77004 United States The Department of Computer Science and Engineering Kyung Hee University Seoul446-701 Korea Republic of The Beijing Engineering Research Center of High-Speed Railway Broadband Mobile Communications Beijing Jiaotong University Beijing100044 China The Tsinghua Space Center Tsinghua University Beijing100091 China The ZTE Corporation State Key Laboratory of Mobile Network Mobile Multimedia Technology Shenzhen518057 China The School of Information Engineering Zhengzhou University Zhengzhou450001 China

Rail transportation, especially, high-speed rails (HSR), is an important infrastructure for the development of national economy and the promotion of passenger experience. Due to the large bandwidth, millimeter wave (mmWave) communication is regarded as a promising technology to meet the demand of high data rates. However, since mmWave communication has the characteristic of high attenuation, mobile relay (MR) is considered in this paper. Also, full-duplex (FD) communications have been proposed to improve the spectral efficiency. However, because of the high speed, as well as the problem of penetration loss, passengers on the train have a poor quality of service. Consequently, an effective user association scheme for HSR in mmWave band is necessary. In this paper, we investigate the user association optimization problem in mmWave mobile relay systems where the MRs operate in the FD mode. To maximize the system capacity, we propose a cooperative user association approach based on coalition formation game, and develop a coalition formation algorithm to solve the challenging NP-hard problem. We also prove the convergence and Nash-stable property of the proposed algorithm. Extensive simulations are done to show the system performance of the proposed scheme under various network settings. It is demonstrated that the proposed distributed low complexity scheme achieves a near-optimal performance and outperforms two baseline schemes in terms of average system throughput. Copyright © 2021, The Authors. All rights reserved.

关键词： Game theory

Ultra-Short Term Power Load Prediction Based on Gated Cycle Neural Network and XGBoost Models

学校读者我要写书评

暂无评论

Journal of Physics: Conference Series 2021年第1期2026卷

作者： Xiaojin Li Yueyang Huang Yuanbo Shi College of Computer Communication and Engineering Liaoning Shihua University Fushun 113001 Liaoning China School of Information and Control Engineering Liaoning Shihua University Fushun 113001 Liaoning China

Load forecasting is an important guarantee for power system design, planning and operation. In order to further improve the accuracy of power load forecasting, a combined forecasting model based on gating recurrent neural network (GRU) and limit gradient lifting (XGBoost) is proposed. Firstly, according to the load data and the input structure of GRU and XGBoost models, the data are preprocessed, and the preprocessed data are input into the corresponding model respectively. Then, the model is weighted by entropy weight method to obtain the predicted value of the final combination model. Finally, the first mock exam is used to compare the combination forecasting model with the common forecasting models. The results show that the proposed method can effectively combine the advantages of the two models, and take into account the continuous time series and discontinuous feature variables, which is more accurate than the single model and the common forecasting models.

关键词：