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

On Radically Expanding the Landscape of Potential Applications for Automated-Proof Methods

SN computer Science 2021年第4期2卷 259页

作者： Uhlmann, Jeffrey Wang, Jie Department of Electrical Engineering and Computer Science University of Missouri 201 Naka Hall Columbia United States Laboratory for Analysis and Architecture of Systems French National Centre for Scientific Research Toulouse France

In this paper, we examine the potential of optimization-based computer-assisted proof methods to be applied much more widely than commonly recognized by engineers and computer scientists. More specifically, we contend that there are vast opportunities to derive valuable mathematical results and properties that may be narrow in scope, such as in highly specialized engineering control applications, that are presently overlooked, because they have characteristics atypical of those that are conventionally studied in the areas of pure and applied mathematics. As a concrete example, we demonstrate use of sum-of-squares (SOS) optimization for certifying polynomial nonnegativity as a part of a proposed dimension-pinning strategy to prove that the inverse of the relative gain array (RGA) of a d-dimensional positive-definite matrix is doubly stochastic for d≤ 4. However, it is not specifically this result and solution method that are of principal interest in this paper but rather how they illustrate the relevance of optimization-based proof techniques to engineering system design more broadly. We believe that our paper is the first to explicitly emphasize the fundamental distinction between methods that can be applied to prove results/properties over a fixed number of dimensions versus those that hold generally. The latter class of problems is the conventional domain of mathematicians, but the former is what we propose to be a fertile and largely unrecognized class of problems that are amenable to automated-proof technologies, e.g., as we demonstrate using our novel dimension-pinning approach. © 2021, The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd.

关键词： Automated proofs Automated software methods computer-aided system design computer-assisted proofs Dimension pinning Inverse relative gain array IRGA Relative gain array RGA SOS proofs Sum-of-squares optimization

来源：评论

学校读者我要写书评

暂无评论

Analysis and Design of Mobile Model for DTN

引用

Chinese Journal of Electronics 2023年第4期18卷 635-638页

作者： Zhiting Lin Yugui Qu Yusheng Ji Baohua Zhao Department of Computer Science University of Science and Technology of China Hefei China Province Key Laboratory of Software in Computing and Communication Hefei China Information Systems Architecture Science Research Division National Institute of Informatics Tokyo Japan

Delay tolerant networks may become unexpectedly partitioned due to node mobility or variation in signal strength. However, most widely used models in some relative works are generally very simplistic. In order to exploit intelligent forwarding algorithms, a novel nodal mobile model of delay tolerant networks is presented to map reality with more accuracy. And several approaches are introduced to analyze the network structure, such as n-cliques, n-clans, degree, closeness and betweenness. Our research results showed that the centralizations became smaller when the wireless connections were concerned. It meant that quite a number of nodes became potential relays because of the new structure of networks.

关键词： Wireless communication Analytical models Wireless sensor networks Protocols Social networking (online) Sensitivity analysis Social network theory

来源：评论

学校读者我要写书评

暂无评论

A Multi-Player Potential Game Approach for Sensor Network Localization with Noisy Measurements 63

A Multi-Player Potential Game Approach for Sensor Network Lo...

引用

63rd IEEE Conference on Decision and Control, CDC 2024

作者： Xu, Gehui Chen, Guanpu Fidan, Baris Hong, Yiguang Qi, Hongsheng Parisini, Thomas Johansson, Karl H. Kth Royal Institute of Technology Division of Decision and Control Systems School of Electrical Engineering and Computer Science Stockholm100 44 Sweden University of Waterloo Department of Mechanical and Mechatronics Engineering WaterlooONN2L 3G1 Canada Tongji University Department of Control Science and Engineering shanghai201804 China Shanghai Research Institute for Intelligent Autonomous Systems Shanghai201210 China Key Laboratory of Systems and Control Academy of Mathematics and Systems Science Beijing China University of Chinese Academy of Sciences School of Mathematical Sciences Beijing China Aalborg University Department of Electronic Systems Denmark Imperial College London Department of Electrical and Electronic Engineering LondonSW7 2AZ United Kingdom University of Trieste Department of Engineering and Architecture Italy

ISBN: (纸本)9798350316339

Sensor network localization (SNL) is a challenging problem due to its inherent non-convexity and the effects of noise in inter-node ranging measurements and anchor node position. We formulate a non-convex SNL problem as a multiplayer non-convex potential game and investigate the existence and uniqueness of a Nash equilibrium (NE) in both the ideal setting without measurement noise and the practical setting with measurement noise. We first show that the NE exists and is unique in the noiseless case, and corresponds to the precise network localization. Then, we study the SNL for the case with errors affecting the anchor node position and the inter-node distance measurements. Specifically, we establish that in case these errors are sufficiently small, the NE exists and is unique. It is shown that the NE is an approximate solution to the SNL problem, and that the position errors can be quantified accordingly. Based on these findings, we apply the results to case studies involving only inter-node distance measurement errors and only anchor position information inaccuracies. © 2024 IEEE.

关键词： Nash equilibrium

来源：评论

学校读者我要写书评

暂无评论

AgileWatts: An Energy-Efficient CPU Core Idle-State architecture for Latency-Sensitive Server Applications 22

AgileWatts: An Energy-Efficient CPU Core Idle-State Architec...

引用

Proceedings of the 55th Annual IEEE/ACM International Symposium on Microarchitecture

作者： Jawad Haj Yahya Haris Volos Davide B. Bartolini Georgia Antoniou Jeremie S. Kim Zhe Wang Kleovoulos Kalaitzidis Tom Rollet Zhirui Chen Ye Geng Onur Mutlu Yiannakis Sazeides Rivos Inc Mountain View California United States Computer Architecture Laboratory Department of Computer Science University of Cyprus Computing Systems Lab Huawei Zurich Research Center Department of Information Technology and Electrical Engineering ETH Zurich Switzerland

ISBN: (纸本)9781665462723

User-facing applications running in modern datacenters exhibit irregular request patterns and are implemented using a multitude of services with tight latency requirements (30--250μs). These characteristics render existing energy-conserving techniques ineffective when processors are idle due to the long transition time (order of 100μs) from a deep CPU core idle power state (C-state). While prior works propose management techniques to mitigate this inefficiency, we tackle it at its root with AgileWatts (AW): a new deep CPU core C-state architecture optimized for datacenter server processors targeting latency-sensitive *** drastically reduces the transition latency from deep CPU core idle power states while retaining most of their power savings based on three key ideas. First, AW eliminates the latency (several microseconds) of saving/restoring the core context when powering-off/-on the core in a deep idle state by i) implementing medium-grained power-gates, carefully distributed across the CPU core, and ii) retaining context in the power-ungated domain. Second, AW eliminates the flush latency (several tens of microseconds) of the L1/L2 caches when entering a deep idle state by keeping L1/L2 content power-ungated. A small control logic also remains ungated to serve cache coherence traffic. AW implements cache sleep-mode and leakage reduction for the power-ungated domain by lowering a core's voltage to the minimum operational level. Third, using a state-of-the-art power efficient all-digital phase-locked loop (ADPLL) clock generator, AW keeps the PLL active and locked during the idle state, cutting microseconds of wake-up latency at negligible power *** evaluation with an accurate industrial-grade simulator calibrated against an Intel Skylake server shows that AW reduces the energy consumption of Memcached by up to 71% (35% on average) with <1% end-to-end performance degradation. We observe similar trends for other evaluated services (MySQL and Kafka).

关键词：

来源：评论

学校读者我要写书评

暂无评论

A discussion regarding the application of the hertz contact theory on biological samples in afm nanoindentation experiments

引用

Micro and Nanosystems 2021年第1期13卷 42-48页

作者： Kontomaris, Stylianos Vasileios Stylianou, A. Nikita, K.S. Malamou, A. Mobile Radio Communications Laboratory School of Electrical and Computer Engineering National Technical University of Athens Athens Greece Faculty of Architecture Engineering & Built Environment Athens Metropolitan College Athens Greece Cancer Biophysics Laboratory Department of Mechanical and Manufacturing Engineering Faculty of Engineering University of Cyprus Nicosia Cyprus Radar Systems and Remote Sensing Lab of School Electrical & Computer Engineering National Technical University of Athens Athens Greece

Atomic Force Microscopy (AFM) Nanoindentation procedure regarding biological samples poses significant challenges with respect to the accuracy of the provided results. These challenges are related to the inhomogeneity of biological samples, various uncertainties in experimental methods and certain approximations regarding the theoretical analysis. The most commonly used theoretical model for data processing at the linear elastic regime regarding biological samples is the Hertz model. This paper focuses on the investigation of the resulting errors of the basic equation of the Hertz theory that depends on the ratio, indentation depth/indenter’s radius regarding the Young’s modulus calculation. Several examples in the literature that do not take into account the value of the ratio indentation depth/indenter’s radius are reported and the related errors are presented and discussed. In addition, an extended new equation is derived which takes into account the influence of the aforementioned ratio on the calculation of the Young’s modulus and can be easily used for calculations. Moreover, a rational explanation, regarding the extended differences of the Young’s modulus calculations using the same experimental results when these are processed using the Hertz model and the Oliver & Pharr analysis (which is the general model that applies for any axisymmetric indenter) is provided. In conclusion, the derived equation is further combined with equations which take into account the shape of the sample in order to provide a complete and reliable theoretical tool which can be generally applied in order to reduce the errors produced by the current methodology. © 2021 Bentham Science Publishers.

关键词： Nanoindentation

来源：评论

学校读者我要写书评

暂无评论

Global scale solar energy harnessing: An advanced intra-hourly diffuse solar irradiance predicting framework for solar energy projects

引用

Neural Computing and Applications 2024年第18期36卷 10585-10598页

作者： El-kenawy, El-Sayed M. Bailek, Nadjem Bouchouicha, Kada Zerouali, Bilel Hassan, Muhammed A. Kuriqi, Alban Jamil, Basharat Colak, Ilhami Khalil, Adel Ibrahim, Abdelhameed Department of Communications and Electronics Delta Higher Institute of Engineering and Technology Mansoura35111 Egypt Laboratory of Mathematics Modeling and Applications Department of Mathematics and Computer Science Faculty of Sciences and Technology Ahmed Draia University of Adrar Adrar01000 Algeria Energies and Materials Research Laboratory Faculty of Sciences and Technology University of Tamanghasset Tamanrasset10034 Algeria MEU Research Unit Middle East University Amman Jordan Adrar01000 Algeria Vegetal Chemistry-Water-Energy Laboratory Faculty of Civil Engineering and Architecture Department of Hydraulic Hassiba Benbouali University of Chlef Ouled Fares Chlef02180 Algeria Mechanical Power Engineering Department Faculty of Engineering Cairo University Giza12613 Egypt School of Architecture University of Waterloo 7 Melville St S CambridgeONN1S 2H4 Canada CERIS Instituto Superior Tecnico Universidade de Lisboa Lisbon Portugal Civil Engineering Department University for Business and Technology PristinaKosovo10000 High Temperature Processes Unit IMDEA Energy Institute Av. Ramón de La Sagra 3 Móstoles Madrid28935 Spain Faculty of Engineering and Architectures Nisantasi University Istanbul Turkey Computer Engineering and Control Systems Department Faculty of Engineering Mansoura University Mansoura35516 Egypt

Diffuse horizontal irradiance (DHI) forecasts are critical for adopting solar photovoltaic technology. Yet, they can lack reliability given the limited and uncertain meteorological data available for desert areas. This research develops a new sine cosine dipper throated optimization (SCDTO) technique, targeting DHI prediction even given such data constraints. SCDTO uniquely hybridizes sine cosine metaheuristics, adept at exploration, with dipper throat optimization, providing focused exploitation. This hybridization aims to create a robust ensemble model capable of delivering reliable DHI predictions despite climatic uncertainty. The ensemble model, employing various input combinations, was rigorously evaluated across multiple meteorological stations. The SCDTO algorithm exhibited remarkable performance improvements, yielding substantial reductions exceeding 93% in root mean squared error and 98% in mean absolute error at key stations in Morocco, including Tan-Tan, Zagora, Erfoud, and Oujda. Comparative analyses against established optimization algorithms consistently underscored the superior predictive capabilities of SCDTO. Visualizations, including box plots and histograms, demonstrated SCDTO’s efficacy in minimizing prediction errors, particularly for Tan-Tan, Zagora, and Erfoud stations. Also, statistical validation through one-way analysis of variance (ANOVA) further affirmed the significance of the proposed SCDTO method. Therefore, this hybrid metaheuristic optimization enables more accurate DHI predictions from limited meteorological data. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Solar energy

来源：评论

学校读者我要写书评

暂无评论

The DEVStone Metric: Performance Analysis of DEVS Simulation Engines

arXiv

引用

arXiv 2023年

作者： Cárdenas, Román Henares, Kevin Arroba, Patricia Risco-Martín, José L. Wainer, Gabriel A. Integrated Systems Laboratory Universidad Politécnica de Madrid Madrid Spain Dept. of Systems and Computer Engineering Carleton University OttawaON Canada Dpt. of Computer Architecture and Automation Universidad Complutense de Madrid Madrid Spain Center for Computational Simulation Universidad Politécnica de Madrid Madrid Spain

The DEVStone benchmark allows us to evaluate the performance of discrete-event simulators based on the DEVS formalism. It provides model sets with different characteristics, enabling the analysis of specific issues of simulation engines. However, this heterogeneity hinders the comparison of the results among studies, as the results obtained on each research work depend on the chosen subset of DEVStone models. We define the DEVStone metric based on the DEVStone synthetic benchmark and provide a mechanism for specifying objective ratings for DEVS-based simulators. This metric corresponds to the average number of times that a simulator can execute a selection of 12 DEVStone models in one minute. The variety of the chosen models ensures we measure different particularities provided by DEVStone. The proposed metric allows us to compare various simulators and to assess the impact of new features on their performance. We use the DEVStone metric to compare some popular DEVS-based simulators. © 2023, CC BY-SA.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

Is it necessary to calculate young’s modulus in afm nanoindentation experiments regarding biological samples?

引用

Micro and Nanosystems 2021年第1期13卷 3-8页

作者： Kontomaris, Stylianos-Vasileios Malamou, Anna Stylianou, Andreas Faculty of Architecture Engineering & Built Environment Athens Metropolitan College Athens Greece Radar Systems and Remote Sensing Lab School of Electrical & Computer Engineering National Technical University Athens Greece Cancer Biophysics Laboratory Department of Mechanical and Manufacturing Engineering Faculty of Engineering University of Cyprus Nicosia Cyprus

Background: The determination of the mechanical properties of biological samples using Atomic Force Microscopy (AFM) at the nanoscale is usually performed using basic models arising from the contact mechanics theory. In particular, the Hertz model is the most frequently used theoretical tool for data processing. However, the Hertz model requires several assumptions, such as homogeneous and isotropic samples and indenters with perfectly spherical or conical shapes. As it is widely known, none of these requirements are 100 % fulfilled for the case of indentation experiments at the nanoscale. As a result, significant errors arise in the Young’s modulus calculation. At the same time, an analytical model that could account complexities of soft biomaterials, such as nonlinear behavior, anisotropy, and heterogeneity, may be far-reaching. In addition, this hypothetical model would be ‘too difficult’ to be applied in real clinical activities since it would require a very heavy workload and highly specialized personnel. Objective: In this paper, a simple solution is provided to the aforementioned dead-end. A new approach is introduced in order to provide a simple and accurate method for mechanical characterization at the nanoscale. Method: The ratio of the work done by the indenter on the sample of interest to the work done by the indenter on a reference sample is introduced as a new physical quantity that does not require homogeneous, isotropic samples or perfect indenters. Results: The proposed approach provides an accurate solution from not only a physical perspective but also a simpler solution which does not require activities such as the determination of the cantilever’s spring constant and the dimensions of the AFM tip. Conclusion: It has been observed from this opinion paper that the solution aims to provide a significant opportunity to overcome the existing limitations provided by Hertzian mechanics and apply AFM techniques in real clinical activities. © 2021 Bentham

关键词： Indentation

来源：评论

学校读者我要写书评

暂无评论

Continual Reinforcement Learning for Digital Twin Synchronization Optimization

引用

IEEE Transactions on Mobile Computing 2025年

作者： Tong, Haonan Chen, Mingzhe Zhao, Jun Hu, Ye Yang, Zhaohui Liu, Yuchen Yin, Changchuan Beijing University of Posts and Telecommunications Beijing Key Laboratory of Network System Architecture and Convergence Beijing Advanced Information Network Laboratory Beijing China College of Computing and Data Science Singapore University of Miami Department of Electrical and Computer Engineering Frost Institute for Data Science and Computing Coral Gables33146 United States University of Miami Department of Industrial and Systems Engineering Coral Gables33146 United States Zhejiang University College of Information Science and Electronic Engineering Hangzhou310027 China North Carolina State University Department of Computer Science RaleighNC27695 United States Beijing Key Laboratory of Network System Architecture and Convergence China Beijing University of Posts and Telecommunications Beijing Advanced Information Network Laboratory Beijing100876 China

This article investigates the adaptive resource allocation scheme for digital twin (DT) synchronization optimization over dynamic wireless networks. In our considered model, a base station (BS) continuously collects factory physical object state data from wireless devices to build a real-time virtual DT system for factory event analysis. Due to continuous data transmission, maintaining DT synchronization must use extensive wireless resources. To address this issue, a subset of devices is selected to transmit their sensing data, and resource block (RB) allocation is optimized. This problem is formulated as a constrained Markov process (CMDP) problem that minimizes the long-term mismatch between the physical and virtual systems. To solve this CMDP, we first transform the problem into a dual problem that refines RB constraint impacts on device scheduling strategies. We then propose a continual reinforcement learning (CRL) algorithm to solve the dual problem. The CRL algorithm learns a stable policy across historical experiences for quick adaptation to dynamics in physical states and network capacity. Simulation results show that the CRL can adapt quickly to network capacity changes and reduce normalized root mean square error (NRMSE) between physical and virtual states by up to 55.2%, using the same RB number as traditional methods. © 2025 IEEE. All rights reserved.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

TAPEMAN: Towards an Optimal Data Gathering Mechanism in Wireless Sensor Networks

引用

Chinese Journal of Electronics 2023年第4期19卷 594-598页

作者： Yu Gu Yusheng Ji Hongyang Chen Baohua Zhao Department of Computer Science University of Science and Technology of China Hefei China State Key Laboratory of Networking and Switching Technology Beijing China Information Systems Architecture Science Research Division NII Tokyo Japan Institute of Industrial Science University of Tokyo Tokyo Japan

In this paper, we study the lifetime optimization problem using a mobile sink node in a storage-constrained wireless sensor network, and propose an optimal data gathering mechanism named (TAPEMAN) which runs in three steps: first a tight upper bound of the network lifetime is derived through analysis of energy consumption, then we generate a Traveling salesman problem (TSP) solution based on a 2-approximation $O(n^{2})$ algorithm. A judgment will be made about whether this solution is optimal. If the answer is yes, TAPEMAN terminates. If not, a novel data diffusion scheme is used to distribute data to neighboring nodes, in order to avoid data leaking. We prove that under some reasonable assumptions, our algorithm can achieve this upperbound. Simulation results demonstrate the efficiency of our proposed solution and substantiate the importance of using sink mobility for energy-constrained sensor networks.

关键词： Wireless communication Wireless sensor networks Energy consumption Upper bound Simulation Traveling salesman problems Delays

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：