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

An infrastructure software perspective toward computation offloading between executable specifications and foundation models

引用

science China(Information sciences) 2025年第4期68卷 380-382页

作者： Dezhi RAN Mengzhou WU Yuan CAO Assaf MARRON David HAREL Tao XIE Key Laboratory of High Confidence Software Technologies (PKU) Ministry of Education School of Computer SciencePeking University School of Electronics Engineering and Computer Science Peking University Department of Computer Science and Applied Mathematics Weizmann Institute of Science

Foundation models(FMs) [1] have revolutionized software development and become the core components of large software systems. This paradigm shift, however, demands fundamental re-imagining of software engineering theories and methodologies [2]. Instead of replacing existing software modules implemented by symbolic logic, incorporating FMs' capabilities to build software systems requires entirely new modules that leverage the unique capabilities of ***, while FMs excel at handling uncertainty, recognizing patterns, and processing unstructured data, we need new engineering theories that support the paradigm shift from explicitly programming and maintaining user-defined symbolic logic to creating rich, expressive requirements that FMs can accurately perceive and implement.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Feature-oriented Digital Twins for Life Cycle Phases Using the Example of Reliable Museum Analytics 8th

Feature-oriented Digital Twins for Life Cycle Phases Using t...

引用

8th International Symposium on Reliability Engineering and Risk Management, ISRERM 2022

作者： Luther, W. Auer, E. Sacher, D. Baloian, N. Department of Computer Science and Applied Cognitive Science University of Duisburg-Essen Germany Electrical Engineering and Computer Science Wismar University of Applied Sciences Germany Department of Computer Science University of Chile Santiago Chile

ISBN: (纸本)9789811851841

In this paper, we consider partial, feature-oriented digital twins of several virtual museums and formulate an approach to assessing them from the viewpoint of their reliability. Although the formulation specifically concerns the chosen application, it can be extended to any kind of feature-oriented digital twin. The features of a virtual museum that define its scope and focus fit into three broad categories: content, communication and collaboration. Moreover, any virtual museum needs to be risk-informed, that is, seek to support the communication and perception of different types of risks from a variety of threat categories. At the same time, appropriate algorithms should identify and analyze different types of risks for museums’ buildings, visitors, exhibitions, and pieces of art with the help of sensor data, operating rules and standards, in this way supporting stakeholders’ decision making. Using comprehensible quality criteria and their metrics, formal assessment can be carried out with the help of formulated requirements, ground truth data and related standards from the involved professional associations. Additionally, empirical assessment based on user surveys can be conducted during the museum’s lifetime. Aside from various realizations or interactive learning systems, the use cases we base our analysis on are a joint project with the Museo de Arte Contemporâneo (MAC, Santiago de Chile);a digital representation of largely destroyed works by German-Jewish sculptor Leopold Fleischhacker, a joint project initiated by the Salomon Ludwig Steinheim-Institute in Essen, presented onsite at the Düsseldorf Memorial to the Victims of Persecution;and the virtual Khachkar Museum dedicated to endangered Armenian cross stones in cooperation with the American University of Armenia. © 2022 ISRERM Organizers. Published by Research Publishing, Singapore.

关键词： Risk assessment

来源：评论

学校读者我要写书评

暂无评论

Context-aware reinforcement learning for cooling operation of data centers with an Aquifer Thermal Energy Storage

引用

Energy and AI 2024年第3期17卷 233-246页

作者： Lukas Leindals Peter Grønning Dominik Franjo Dominković Rune Grønborg Junker Department of Applied Mathematics and Computer Science Technical University of DenmarkDenmark

Data centers are often equipped with multiple cooling units. Here, an aquifer thermal energy storage (ATES) system has shown to be efficient. However, the usage of hot and cold-water wells in the ATES must be balanced for legal and environmental reasons. Reinforcement Learning has been proven to be a useful tool for optimizing the cooling operation at data centers. Nonetheless, since cooling demand changes continuously, balancing the ATES usage on a yearly basis imposes an additional challenge in the form of a delayed reward. To overcome this, we formulate a return decomposition, Cool-RUDDER, which relies on simple domain knowledge and needs no training. We trained a proximal policy optimization agent to keep server temperatures steady while minimizing operational costs. Comparing the Cool-RUDDER reward signal to other ATES-associated rewards, all models kept the server temperatures steady at around 30 °C. An optimal ATES balance was defined to be 0% and a yearly imbalance of −4.9% with a confidence interval of [−6.2, −3.8]% was achieved for the Cool 2.0 reward. This outperformed a baseline ATES-associated reward of 0 at −16.3% with a confidence interval of [−17.1, −15.4]% and all other ATES-associated rewards. However, the improved ATES balance comes with a higher energy consumption cost of 12.5% when comparing the relative cost of the Cool 2.0 reward to the zero reward, resulting in a trade-off. Moreover, the method comes with limited requirements and is applicable to any long-term problem satisfying a linear state-transition system.

关键词： Data centers ATES Smart energy systems Reinforcement learning Delayed rewards

来源：评论

学校读者我要写书评

暂无评论

Quantum spin systems: Toroidal classification and geometric duality

引用

Physical Review B 2024年第14期110卷 L140403页

作者： Vahid Azimi-Mousolou Anders Bergman Anna Delin Olle Eriksson Manuel Pereiro Danny Thonig Erik Sjöqvist Department of Applied Mathematics and Computer Science Faculty of Mathematics and Statistics Department of Physics and Astronomy Department of Applied Physics School of Engineering Sciences (SeRC) Wallenberg Initiative Materials Science for Sustainability (WISE) Wallenberg Initiative Materials Science WISE School of Science and Technology

We demonstrate a toroidal classification for quantum spin systems, revealing an intrinsic geometric duality within this structure. Through our classification and duality, we reveal that various bipartite quantum features in magnon systems can manifest equivalently in both bipartite ferromagnetic and antiferromagnetic materials, based upon the availability of relevant Hamiltonian parameters. Additionally, the results highlight the antiferromagnetic regime as an ultrafast dual counterpart to the ferromagnetic regime, both exhibiting identical capabilities for quantum spintronics and technological applications. Concrete illustrations are provided, demonstrating how splitting and squeezing types of two-mode magnon quantum correlations can be realized across ferro- and antiferromagnetic regimes.

关键词： Magnons Quantum correlations in quantum information Quantum information processing Quantum information theory Spintronics

来源：评论

学校读者我要写书评

暂无评论

Early Parkinson's Disease Detection and Classification using Machine Learning and Neutrosophic Sets

引用

Neutrosophic Sets and Systems 2025年 82卷 873-886页

作者： Oudah, Hasan H. Metwaly, Ahmed A. Eassa, Mohamed Abdelhafeez, Ahmed Nagm, Ahmad M. Salama, Ahmed S. College of Arts Department of Journalism Ahl Al Bayt University Karbala Iraq Department of Computer Science Faculty of Computers and Informatics Zagazig University Zagazig44519 Egypt Computer Science Department Faculty of Information System and Computer Science October 6 University Giza12585 Egypt Applied Science Research Center Applied Science Private University Amman Jordan Department of Computer Engineering and Electronics Cairo Higher Institute for Engineering Computer Science and Management New Cairo Egypt

Optimizing therapy and rehabilitation for Parkinson's disease (PD) requires early identification and precise evaluation of the illness's course. However, there is disagreement about the best way to use gait analysis to categorize the severity of motor symptoms and identify early-stage Parkinson's disease. The precision of machine learning (ML) models in identifying early and intermediate stages of Parkinson's disease was assessed in this study. Six ML models are used in this study for the prediction of PD. Different metrics are used to evaluate ML models such as accuracy, precision, recall, f1-score, and AUC score. Then we propose a multi-criteria decision-making methodology (MCDM) to evaluate the ML models and select the best one. Two MCDM methods are used such as CRITIC method to compute the criteria weights and the TOPSIS method to rank the alternatives. These methods are used under the bipolar neutrosophic sets (BNSs) to deal with uncertainty information. The results show the support vector machine is the best ML model for the prediction of PD. © 2025, University of New Mexico. All rights reserved.

关键词： Neurodegenerative diseases

来源：评论

学校读者我要写书评

暂无评论

DP-ARTS: Dynamic Prioritization for Adaptive Resource Allocation and Task Scheduling in Cloud Computing

IAENG International Journal of Computer Science

引用

IAENG International Journal of computer science 2025年第3期52卷 793-807页

作者： BEN ALLA, Hicham BEN ALLA, Said EZZATI, Abdellah Computer Science Mathematics and Computer Science Department Science and Technical Faculty Hassan 1 University Settat Morocco Embedded Systems and Computer Science National School of Applied Sciences of Berrechid Hassan 1 University Settat Morocco

Efficient task scheduling and resource allocation are essential for optimizing performance in cloud computing environments. The presence of priority constraints necessitates advanced solutions capable of addressing the increased complexity in the task scheduling process and resource allocation management. In this paper, we propose a novel approach, Dynamic Prioritization and Adaptive Resource Allocation and Task Scheduling (DP-ARTS), to tackle these challenges by integrating dynamic task prioritization with adaptive resource allocation and scheduling strategies. Our approach introduces a scoring mechanism to prioritize tasks based on deadlines, resource requirements, and other critical characteristics. Furthermore, we utilize K-means clustering to group Virtual Machines (VMs) according to their capabilities, facilitating more efficient task-to-VM mapping. Through simulations conducted with real-world workload traces in the CloudSim toolkit, DP-ARTS demonstrates superior performance in reducing makespan and energy consumption, while also improving resource utilization and load balancing compared to existing solutions. © (2025), (International Association of Engineers). All rights reserved.

关键词： K-means clustering

来源：评论

学校读者我要写书评

暂无评论

Enhanced MADM Strategy with Heptapartitioned Neutrosophic Distance Metrics

引用

Neutrosophic Sets and Systems 2025年 78卷 74-96页

作者： Eassa, Mohamed Myvizhi, M. Elkholy, Mohamed Abdelhafeez, Ahmed Elbehiery, Hussam Computer Science Department Faculty of Information System and Computer Science October 6 University Giza12585 Egypt Applied Science Research Center Applied Science Private University Amman Jordan Department of Mathematics KPR Institute of Engineering and Technology Tamilnadu Coimbatore India Faculty of Computer Science& Engineering Alamein International University Egypt

In this work, a novel methodological approach to multi-attribute decision-making problems is developed and the notion of Heptapartitioned Neutrosophic Set Distance Measures (HNSDM) is introduced. By averaging the Penta-Partitioned Neutrosophic Distance Measures under particular conditional criteria, the suggested technique ranks the options. Additionally, we explore the fundamental characteristics of HNSDM and provide several illustrative theorems. The Heptapartitioned Neutrosophic Set Distance Measures are formulated based on the Hepta Neutrosophic Set. Lastly, a practical numerical example is provided to illustrate the efficacy of the suggested methodology. © 2025, University of New Mexico. All rights reserved.

关键词： Heptapartitioned Neutrosophic set Heptapartitioned Neutrosophic set and MADM strategy Heptapartitioned set Neutrosophic sine distance measure

来源：评论

学校读者我要写书评

暂无评论

Evolutionary optimization of Yagi–Uda antenna design using grey wolf optimizer

引用

Neural Computing and Applications 2025年第6期37卷 4155-4183页

作者： Braik, Malik Sheta, Alaa Aljahdali, Sultan El-Hefnawi, Fatma Al-Hiary, Heba Elashmawi, Walaa H. Computer Science Department Al-Balqa Applied University Salt Jordan Department of Computer Science Southern Connecticut State University New HavenCT United States Computer Science Department Taif University Taif Saudi Arabia Microwave Department Electronics Research Institute Giza Egypt Department of Computer Information System Al-Balqa Applied University Salt Jordan Department of Computer Science Faculty of Computers & Informatics Suez Canal University Ismailia Egypt Department of Computer Science Faculty of Computer Science Misr International University Cairo Egypt

Meta-heuristic optimization algorithms have become widely used due to their outstanding features, such as gradient-free mechanisms, high flexibility, and great potential for avoiding local optimal solutions. This research explored the grey wolf optimizer (GWO) to find the ideal configuration for a six-element Yagi–Uda antenna. The GWO algorithm adjusted the lengths of the antenna wires and the spacings between them. The goal was to maximize the antenna’s ability to transmit signals (throughput gain). Optimal antenna selection relies on various parameters, including gain, bandwidth, impedance matching, frequency, side-lobe levels, etc. The optimization of a six-element Yagi–Uda antenna presents a challenging engineering design problem due to its multimodal and nonlinear nature. Achieving optimal performance hinges on the intricate interplay between the lengths of the constituent elements and the spacing configurations. To this end, a multiobjective function was adopted to design this antenna. The performance of several meta-heuristic algorithms, including genetic algorithms, biogeography-based optimization, simulated annealing, and grey wolf optimizer, was compared. The GWO-based approach has performed better than its competitors. This optimized antenna design based on GWO reported a gain of 14.21 decibel. Therefore, the GWO-based method optimizes antennas that can be further investigated for other antenna design problems. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2024.

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of naive vehicular named data networks

引用

International Journal of Wireless and Mobile Computing 2025年第3期28卷 234-244页

作者： Nithin Rao, R. Sharma, Rinki Department of Computer Science and Engineering Ramaiah University of Applied Sciences Karnataka Bangalore India

Vehicular Named Data Networks (VNDN) is a content centric approach for vehicle networks. The fundamental principle of addressing the content rather than the host, suits vehicular environment. There are numerous challenges such as interest/data flooding, routing, naming schemes, channel constraints and security, among others. The proposed work aims to analyse the behaviour of the naive VNDN under diverse scenarios, which is crucial for devising effective forwarding, caching and security strategies to enhance VNDN’s performance. In this paper, the naive VNDN architecture is implemented and its performance is evaluated by considering the metrics such as Throughput, Packet Delivery Ratio (PDR), Interest Satisfaction Delay (ISD), Interest Satisfaction Ratio (ISR), Copies of Data Packets Processed (CDPP) and Hop Count Difference (HCD). These metrics are tested against varying vehicle speed, network size and interests generated by each vehicle in the network. The simulation results provide insights that should be considered while developing the forwarding strategies and caching mechanisms that will improve the performance of VNDN. Copyright © 2025 Inderscience Enterprises Ltd.

关键词： caching content forwarding data packets delay naming timestamp

来源：评论

学校读者我要写书评

暂无评论

Privacy-Aware Federated Learning Framework for IoT Security Using Chameleon Swarm Optimization and Self-Attentive Variational Autoencoder

引用

computer Modeling in Engineering & sciences 2025年第4期143卷 849-873页

作者： Saad Alahmari Abdulwhab Alkharashi Department of Computer Science Applied CollegeNorthern Border UniversityArar91431Saudi Arabia Department of Computer Science College of Computing and InformaticsSaudi Electronic UniversityRiyadh11673Saudi Arabia

The Internet of Things(IoT)is emerging as an innovative phenomenon concerned with the development of numerous vital *** the development of IoT devices,huge amounts of information,including users’private data,are *** systems face major security and data privacy challenges owing to their integral features such as scalability,resource constraints,and *** challenges are intensified by the fact that IoT technology frequently gathers and conveys complex data,creating an attractive opportunity for *** address these challenges,artificial intelligence(AI)techniques,such as machine learning(ML)and deep learning(DL),are utilized to build an intrusion detection system(IDS)that helps to secure IoT *** learning(FL)is a decentralized technique that can help to improve information privacy and performance by training the IDS on discrete linked *** delivers an effectual tool to defend user confidentiality,mainly in the field of IoT,where IoT devices often obtain privacy-sensitive personal *** study develops a Privacy-Enhanced Federated Learning for Intrusion Detection using the Chameleon Swarm Algorithm and Artificial Intelligence(PEFLID-CSAAI)*** main aim of the PEFLID-CSAAI method is to recognize the existence of attack behavior in IoT ***,the PEFLIDCSAAI technique involves data preprocessing using Z-score normalization to transformthe input data into a beneficial ***,the PEFLID-CSAAI method uses the Osprey Optimization Algorithm(OOA)for the feature selection(FS)*** the classification of intrusion detection attacks,the Self-Attentive Variational Autoencoder(SA-VAE)technique can be ***,the Chameleon Swarm Algorithm(CSA)is applied for the hyperparameter finetuning process that is involved in the SA-VAE model.A wide range of experiments were conducted to validate the execution of the PEFLID-CSAAI *** simulated outcomes demonstrated that the PEFLID-CSAAI

关键词： Federated learning internet of things artificial intelligence chameleon swarm algorithm intrusion detection system healthcare IoT devices

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：