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

arXiv 2024年

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one’s undergraduate studies, (3) demonstrate how to address successive "failures" through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Leveraging Predictive Maintenance for Photovoltaic systems 9th

Leveraging Predictive Maintenance for Photovoltaic Systems

引用

9th International Conference on Smart City Applications, SCA 2024

作者： Ledmaoui, Younes Raif, Mourad El Aroussi, Mohamed Saadane, Rachid Jakimi, Abdeslam Chehri, Abdellah Laboratory Engineering System Hassania School of Public Works Casablanca Morocco Software Engineering and Information Systems Engineering Team FST of Errachidia Moulay Ismail University Meknes Morocco Department of Mathematics and Computer Science Royal Military College of Canada KingstonONK7K 7B4 Canada

ISBN: (纸本)9783031886522

This paper introduces a novel edge device architecture designed to optimize solar energy management systems. It integrates cutting-edge functionalities such as generation prediction, maintenance alerts, and anomaly detection into a unified framework. Through the utilization of edge computing, the system enables real-time analysis and decision-making at the network’s edge. Leveraging machine learning algorithms and predictive models, these edge devices provide highly accurate energy generation forecasts, facilitating efficient energy utilization and strategic planning. Additionally, the architecture incorporates anomaly detection techniques to proactively identify deviations from normal operation, minimizing downtime and enabling timely maintenance interventions. The seamless integration of these features within the edge devices significantly enhances the overall efficiency, reliability, and performance of energy monitoring systems. By adopting this advanced edge device architecture, energy stakeholders can reap benefits such as improved energy management, reduced operational costs, and enhanced system reliability. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Battery management systems

来源：评论

学校读者我要写书评

暂无评论

Prediction of Solar Energy Production Using Low-Cost Data Logger and ANN Algorithm 9th

Prediction of Solar Energy Production Using Low-Cost Data L...

引用

9th International Conference on Smart City Applications, SCA 2024

作者： Raif, Mourad Ledmaoui, Younes El Aroussi, Mohamed Saadane, Rachid Jakimi, Abdeslam Chehri, Abdellah Laboratory Engineering System Hassania School of Public Works Casablanca Casablanca Morocco Software Engineering and Information Systems Engineering Team FST of Errachidia Moulay Ismail University Meknes Morocco Department of Mathematics and Computer Science Royal Military College of Canada KingstonONK7K 7B4 Canada

ISBN: (纸本)9783031886522

This article introduces a novel method for predicting solar energy production using an affordable data logger and the Artificial Neural Network (ANN) algorithm. The main goal of this research is to create a precise predictive model for solar energy output, addressing the critical need for accurate forecasting in the renewable energy industry. The study capitalizes on the accessibility and cost-efficiency of a low-cost data logger to collect detailed environmental and solar irradiance data. The ANN algorithm is utilized to analyze the collected dataset, providing a robust and effective approach for forecasting solar energy production. Extensive experiments demonstrate that the developed model achieves an impressive R2 score of 0.95, indicating a high degree of accuracy and reliability in predicting solar energy output. This significant R2 score highlights the proposed methodology’s effectiveness, demonstrating its potential for practical applications in solar energy planning and management. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： data logger Machine learning Photovoltaic prediction Renewable energy

来源：评论

学校读者我要写书评

暂无评论

Depth-Aware Multi-Modal Fusion for Generalized Zero-Shot Learning 22

Depth-Aware Multi-Modal Fusion for Generalized Zero-Shot Lea...

引用

22nd IEEE International Conference on Industrial Informatics, INDIN 2024

作者： Cao, Weipeng Yao, Xuyang Xu, Zhiwu Pan, Yinghui Sun, Yixuan Li, Dachuan Qiu, Bohua Wei, Muheng Shenzhen China National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Stony Brook University New York United States Research Institute of Trustworthy Autonomous Systems Southern University of Science and Technology Shenzhen China Department of Computer Science and Engineering Southern University of Science and Technology Shenzhen China ZhenDui Industry Artificial Intelligence Co. Ltd Shenzhen China Department of Automation Shanghai Jiao Tong University Shanghai China Key Laboratory of System Control and Information Processing Ministry of Education of China Shanghai China

ISBN: (纸本)9798331527471

Realizing Generalized Zero-Shot Learning (GZSL) based on large models is emerging as a prevailing trend. However, most existing methods merely regard large models as black boxes, solely leveraging the features output by the final layer while disregarding potential performance enhancements from other layers. Indeed, numerous researchers have visually depicted variations in the features learned across different layers of neural networks. Motivated by this observation, we propose a Vision Transformer (ViT)-based GZSL method named Depth-Aware Multi-Modal ViT (DAM2ViT), which exploits multi-level features of ViT. DAM2ViT incorporates a multi-modal interaction block to align semantic information of categories across multiple layers, thereby augmenting the model’s capacity to learn associations between visual and semantic spaces. Extensive experiments conducted on three benchmark datasets (i.e., CUB, SUN, AWA2) have showcased that DAM2ViT achieves competitive results compared to state-of-the-art methods. © 2024 IEEE.

关键词： Zero-shot learning

来源：评论

学校读者我要写书评

暂无评论

Prepartition: Load Balancing Approach for Virtual Machine Reservations in a Cloud Data Center

引用

Journal of computer science & Technology 2023年第4期38卷 773-792页

作者：田文洪徐敏贤周光耀吴逵须成忠 Rajkumar Buyya School of Information and Software Engineering University of Electronic Science and Technology of China Chengdu 610054China Yangtze Delta Region Institute(Huzhou) University of Electronic Science and Technology of ChinaHuzhou 313001China Institute of Advanced Computing and Digital Engineering Shenzhen Institute of Advanced TechnologyChinese Academy of SciencesShenzhen 518055China Department of Computer Science University of VictoriaVictoriaBCV8W 3P6Canada State Key Laboratory of Internet of Things for Smart City University of MacaoMacao 999078China School of Computing and Information Systems University of MelbourneMelbourne 3010Australia

Load balancing is vital for the efficient and long-term operation of cloud data *** virtualization,post(reactive)migration of virtual machines(VMs)after allocation is the traditional way for load balancing and consoli***,it is not easy for reactive migration to obtain predefined load balance objectives and it may interrupt services and bring ***,we provide a new approach,called Prepartition,for load *** partitions a VM request into a few sub-requests sequentially with start time,end time and capacity demands,and treats each sub-request as a regular VM *** this way,it can proactively set a bound for each VM request on each physical machine and makes the scheduler get ready before VM migration to obtain the predefined load balancing goal,which supports the resource allocation in a fine-grained *** with real-world trace and synthetic data show that our proposed approach with offline version(PrepartitionOff)scheduling has 10%–20%better performance than the existing load balancing baselines under several metrics,including average utilization,imbalance degree,makespan and Capacity_*** also extend Prepartition to online load *** results show that our proposed approach also outperforms state-of-the-art online algorithms.

关键词： cloud computing physical machine(PM) virtual machine(VM) reservation load balancing Prepartition

来源：评论

学校读者我要写书评

暂无评论

AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Vehicle Designs 37

AircraftVerse: A Large-Scale Multimodal Dataset of Aerial Ve...

引用

37th Conference on Neural Information Processing systems, NeurIPS 2023

作者： Cobb, Adam D. Roy, Anirban Elenius, Daniel Heim, F. Michael Swenson, Brian Whittington, Sydney Walker, James D. Bapty, Theodore Hite, Joseph Ramani, Karthik McComb, Christopher Jha, Susmit Computer Science Laboratory SRI International United States Mechanical Engineering Division Southwest Research Institute United States Intelligent Systems Division Southwest Research Institute United States Institute of Software Integrated Systems Vanderbilt University United States School of Mechanical Engineering Purdue University United States Department of Mechanical Engineering Carnegie Mellon University United States

ISBN: (纸本)9781713899921

We present AircraftVerse, a publicly available aerial vehicle design dataset. Aircraft design encompasses different physics domains and, hence, multiple modalities of representation. The evaluation of these cyber-physical system (CPS) designs requires the use of scientific analytical and simulation models ranging from computer-aided design tools for structural and manufacturing analysis, computational fluid dynamics tools for drag and lift computation, battery models for energy estimation, and simulation models for flight control and dynamics. AircraftVerse contains 27, 714 diverse air vehicle designs - the largest corpus of engineering designs with this level of complexity. Each design comprises the following artifacts: a symbolic design tree describing topology, propulsion subsystem, battery subsystem, and other design details;a STandard for the Exchange of Product (STEP) model data;a 3D CAD design using a stereolithography (STL) file format;a 3D point cloud for the shape of the design;and evaluation results from high fidelity state-of-the-art physics models that characterize performance metrics such as maximum flight distance and hover-time. We also present baseline surrogate models that use different modalities of design representation to predict design performance metrics, which we provide as part of our dataset release. Finally, we discuss the potential impact of this dataset on the use of learning in aircraft design and, more generally, in CPS. AircraftVerse is accompanied by a data card, and it is released under Creative Commons Attribution-ShareAlike (CC BY-SA) license. The dataset is hosted at https://***/record/6525446, baseline models and code at https://***/SRI-CSL/AircraftVerse, and the dataset description at https://***/. © 2023 Neural information processing systems foundation. All rights reserved.

关键词： computer aided logic design

来源：评论

学校读者我要写书评

暂无评论

An Adaptive Decision-Making Approach for Better Selection of Blockchain Platform for Health Insurance Frauds Detection with Smart Contracts: Development and Performance Evaluation 14

An Adaptive Decision-Making Approach for Better Selection of...

引用

14th International Conference on Ambient systems, Networks and Technologies Networks, ANT 2023 and The 6th International Conference on Emerging Data and Industry 4.0, EDI40 2023

作者： Kaafarani, Rima Ismail, Leila Zahwe, Oussama ICCS-Lab Computer Science Department American University of Culture and Education Beirut1507 Lebanon Laboratory School of Computing and Information Systems The University of Melbourne Melbourne Australia Laboratory Department of Computer Science and Software Engineering College of Information Technology United Arab Emirates University Abu Dhabi United Arab Emirates National Water and Energy Center United Arab Emirates University Abu Dhabi United Arab Emirates

Blockchain technology has piqued the interest of businesses of all types, while consistently improving and adapting to business requirements. Several blockchain platforms have emerged, making it challenging to select a suitable one for a specific type of business. This paper presents a classification of over one hundred blockchain platforms. We develop smart contracts for detecting healthcare insurance frauds using the top two blockchain platforms selected based on our proposed decision-making map approach which selects the top suitable platforms for healthcare insurance frauds detection application. Our classification shows that the largest percentage of platforms can be used for all types of application domains, the second biggest percentage for financial services, and a small number is to develop applications in specific domains. Our decision-making map and performance evaluations reveal that Hyperledger Fabric surpassed Neo in all metrics for detecting healthcare insurance frauds. © 2023 Elsevier B.V.. All rights reserved.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

RAT: A Refactoring-Aware Tool for Tracking Code History

RAT: A Refactoring-Aware Tool for Tracking Code History

引用

International Conference on software engineering - Companion, ICSE, Companion

作者： Feifei Niu Junqian Shao Chaofan Xu Christoph Mayr-Dorn Wesley K. G. Assunção Liguo Huang Chuanyi Li Jidong Ge Bin Luo Alexander Egyed State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Institute for Software Systems Engineering Johannes Kepler University Linz Austria Department of Computer Science North Carolina State University North Carolina USA Department of Computer Science and Engineering Southern Methodist University Dallas Texash USA

ISBN: (数字)9798400705021

ISBN: (纸本)9798350351781

History of code elements is essential for software maintenance tasks. However, code refactoring is one of the main causes that makes obtaining a consistent view on code evolution difficult as renaming or moving source code elements break such history. To this end, this paper presents RAT, a refactoring-aware tool for keeping track of code elements evolution across time, not just in terms of revisions but also in terms of refactoring. This is the first tool that enables fine-grained code element traceability of the whole repository. Empirical evaluation of leveraging our tool in three bug localization techniques relying on code history shows significant improvement in localization accuracy. Based on our findings, we believe that many of the state-of-the-art approaches using past source code data would benefit from our tool. Demo Tool: https://***/feifeiniu-se/RAT_Demo Demo Video: https://***/VI_xwUaIPp4

关键词： Location awareness software maintenance Codes Source coding computer bugs Maintenance engineering History

来源：评论

学校读者我要写书评

暂无评论

Towards Evidence-Based Cybersecurity Assessment of Programmable systems to Ensure the Protection of Critical IT Infrastructure 12

Towards Evidence-Based Cybersecurity Assessment of Programma...

引用

12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications, IDAACS 2023

作者： Illiashenko, Oleg Kharchenko, Vyacheslav Odarushchenko, Oleg National Aerospace University 'KhAI' Department of Computer Systems and Networks Kharkiv61070 Ukraine Institute of Information Science and Technologies 'Alessandro Faedo' - Isti Cnr Software Engineering & Dependable Computing Laboratory Pisa56124 Italy Research and Production Enterprise Rpc Radics Llc Kropyvnytskyi25009 Ukraine

ISBN: (纸本)9798350358056

The paper is devoted to developing scientific principles, methods, means, and information technology of model-oriented verification and evidence-based assessment using functional safety and cybersecurity cases for programmable systems of critical applications (PSCA). In particular, information and control systems important for the safety of nuclear power plants (NPPs), aerospace systems, railway domains, etc., developed using Field Programmable Gate Arrays (FPGAs) and hardware platforms are reviewed. The goal is to ensure the guaranteed completeness and reliability of its functional safety and cybersecurity assessment by developing and implementing a set of formal and semi-formal methods and tools that consider defects of different nature - physical, design, trojans, and vulnerabilities that can be attacked and lead to a fatal system failure, which results in damaging the critical IT infrastructure. The methods shown are based on integrating algebraic, tabular, graph models, and case assessment methodology. The methods are implemented as appropriate technologies for evidence-based verification and evaluation of PSCA. For formal methods, a prototype of a translator of Very High-Speed Integrated Circuits Hardware Description Language (VHDL) code is developed into an algebra of behaviors. It provides evidence-based verification and a framework and tools to design reports on assessing the cybersecurity and functional safety of programmable systems. © 2023 IEEE.

关键词： critical IT infrastructure cybersecurity FPGA functional safety programmable systems of critical applications

来源：评论

学校读者我要写书评

暂无评论

Towards a Deep Learning Pain-Level Detection Deployment at UAE for Patient-Centric-Pain Management and Diagnosis Support: Framework and Performance Evaluation 14

Towards a Deep Learning Pain-Level Detection Deployment at U...

引用

14th International Conference on Ambient systems, Networks and Technologies Networks, ANT 2023 and The 6th International Conference on Emerging Data and Industry 4.0, EDI40 2023

作者： Ismail, Leila Waseem, Muhammad Danish Lab School of Computing and Information Systems Faculty of Engineering and Information Technology The University of Melbourne Australia Research Laboratory Department of Computer Science and Software Engineering College of Information Technology United Arab Emirates University United Arab Emirates National Water and Energy Center United Arab Emirates University United Arab Emirates

The outbreak of the COVID-19 pandemic revealed the criticality of timely intervention in a situation exacerbated by a shortage in medical staff and equipment. Pain-level screening is the initial step toward identifying the severity of patient conditions. Automatic recognition of state and feelings help in identifying patient symptoms to take immediate adequate action and providing a patient-centric medical plan tailored to a patient's state. In this paper, we propose a framework for pain-level detection for deployment in the United Arab Emirates and assess its performance using the most used approaches in the literature. Our results show that a deployment of a pain-level deep learning detection framework is promising in identifying the pain level accurately. © 2023 Elsevier B.V.. All rights reserved.

关键词： computer vision

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：