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

A STUDY ON INTERIOR Γ-HYPERFILTERS IN ORDERED Γ-SEMIHYPERGROUPS

UPB Scientific Bulletin, Series A: Applied Mathematics and Physics 2022年第1期84卷 71-80页

作者： Chen, C. Kosari, S. Omidi, S. Davvaz, B. Akhoundi, M. Institute of Software School of Electronics Engineering and Computer Sciences Peking University Beijing100871 China Institute of Computing Science and Technology Guangzhou University Guangzhou510006 China Ministry of Education Iran Department of Education in Tehran Tehran Iran Department of Mathematics Yazd University Yazd Iran Clinical Research Development Unit of Rouhani Hospital Babol University of Medical Sciences Babol Iran

In this paper, interior Γ-hyperfilters of ordered Γ-semihypergroups are de- fined and various types of them are studied. Results related to productional ordered Γ- semihypergroups were investigated. Moreover, we investigate some properties of the in- verse images of strong interior Γ-hyperfilters in ordered Γ-semihypergroups. Finally, we discuss the relationship between two fundamental notions of ordered Γ-semihypergroup, the several types of interior Γ-hyperfilters and the (completely) prime interior Γ-hyperideals. © 2022, Politechnica University of Bucharest. All rights reserved.

关键词： (completely) prime I-Γ-hyperfilter Ordered Γ-semihypergroup Strong I-Γ-hyperfilter Weak I-Γ-hyperfilter

来源：评论

学校读者我要写书评

暂无评论

HealthEdge: A Machine Learning-Based Smart Healthcare Framework for Prediction of Type 2 Diabetes in an Integrated IoT, Edge, and Cloud computing System 14

HealthEdge: A Machine Learning-Based Smart Healthcare Framew...

引用

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

作者： Hennebelle, Alain Materwala, Huned Ismail, Leila 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 Lab School of Computing and Information Systems The University of Melbourne Australia

Diabetes Mellitus has no permanent cure to date and is one of the leading causes of death globally. The alarming increase in diabetes calls for the need to take precautionary measures to avoid/predict the occurrence of diabetes. This paper proposes HealthEdge, a machine learning-based smart healthcare framework for type 2 diabetes prediction in an integrated IoT-edge-cloud computing system. Numerical experiments and comparative analysis were carried out between the two most used machine learning algorithms in the literature, Random Forest (RF) and Logistic Regression (LR), using two real-life diabetes datasets. The results show that RF predicts diabetes with 6% more accuracy on average compared to LR. © 2023 Elsevier B.V.. All rights reserved.

关键词： Edge computing

来源：评论

学校读者我要写书评

暂无评论

Orchestrating Sustainable and Service-Differentiable Satellite Networking: A Federated Cross-Orbit Approach

Orchestrating Sustainable and Service-Differentiable Satelli...

引用

International Workshop on Quality of Service

作者： Yi Ching Chou Long Chen Feng Wang Hengzhi Wang Xiaoqiang Ma Sami Ma Jiangchuan Liu School of Computing Science Simon Fraser University Canada Department of Computer and Information Science The University of Mississippi USA College of Computer Science and Software Engineering Shenzhen University China Department of CSIS Douglas College Canada

ISBN: (数字)9798350350128

ISBN: (纸本)9798350350135

Satellite networks are believed to become an indispensable component in the forthcoming 6G network and beyond. The surging demands attract numerous satellite network operators into this market to compete, yet also cooperate via resource sharing for cost and performance improvement, which is similar to the growth trajectory of how the Internet becomes the network of networks. Hence, we envision a federated network of satellite networks (shortened as federated satellite network) in this paper, where satellite network operators will eventually federate with each other to achieve a win-win situation. However, the yet-to-come federated satellite network faces two unique challenges: sustainability and dynamic topology. As such, we propose a sustainable and service-differentiable framework named Federated Cross-orbit Satellite Network (FCSN). Different from most existing solutions which focused on the Internet or simple cooperation among satellites, the FCSN orchestrates network resources in the dynamic topology to improve sustainability, through service-differentiable offloading in the resource-limited scenario. We formulate the sustainability-oriented federated offloading problem based on the utility and cost models tailored for the FCSN and propose an efficient hardware-budget constrained auction algorithm with a bounded approximation ratio. Finally, we design a truthful and rational payment scheme to motivate the construction of the FCSN. Extensive simulation results based on real-world deployments show that our solution significantly improves sustainability and delay, making it one step further toward the vision of the federated network of satellite networks.

关键词： Satellites Costs Network topology Simulation Approximation algorithms Topology Internet

来源：评论

学校读者我要写书评

暂无评论

A Systematic Literature Review on Large Language Models for Automated Program Repair

arXiv

引用

arXiv 2024年

作者： Zhang, Quanjun Fang, Chunrong Xie, Yang Ma, Yuxiang Sun, Weisong Yang, Yun Chen, Zhenyu State Key Laboratory for Novel Software Technology Nanjing University China School of Computer Science and Engineering Nanyang Technological University Singapore Department of Computing Technologies Swinburne University of Technology Australia

Automated Program Repair (APR) attempts to patch software bugs and reduce manual debugging efforts. Very recently, with the advances in Large Language Models (LLMs), a rapidly increasing number of APR techniques have been proposed, significantly facilitating software development and maintenance and demonstrating remarkable performance. However, due to ongoing explorations in the LLM-based APR field, it is challenging for researchers to understand the current achievements, challenges, and potential opportunities. This work provides the first systematic literature review to summarize the applications of LLMs in APR between 2020 and 2024. We analyze 127 relevant papers from LLMs, APR and their integration perspectives. First, we categorize existing popular LLMs that are applied to support APR and outline three types of utilization strategies for their deployment. Besides, we detail some specific repair scenarios that benefit from LLMs, e.g., semantic bugs and security vulnerabilities. Furthermore, we discuss several critical aspects of integrating LLMs into APR research, e.g., input forms and open science. Finally, we highlight a set of challenges remaining to be investigated and the potential guidelines for future research. Overall, our paper provides a systematic overview of the research landscape to the APR community, helping researchers gain a comprehensive understanding of achievements and promote future research. Our artifacts are publicly available at the GitHub repository: https://***/iSEngLab/AwesomeLLM4APR. © 2024, CC BY.

关键词： Repair

来源：评论

学校读者我要写书评

暂无评论

PET: Multi-agent Independent PPO-based Automatic ECN Tuning for High-Speed Data Center Networks

arXiv

引用

arXiv 2024年

作者： Cheng, Kai Wang, Ting Du, Xiao Du, Shuyi Cai, Haibin The Engineering Research Center of Software/Hardware Co-design Technology and Application Ministry of Education The Shanghai Key Laboratory of Trustworthy Computing Software Engineering Institute East China Normal University Shanghai200050 China The Department of Houston International Institute Dalian Maritime University Liaoning Dalian116026 China

Explicit Congestion Notification (ECN)-based congestion control schemes have been widely adopted in high-speed data center networks (DCNs), where the ECN marking threshold plays a determinant role in guaranteeing a packet lossless DCN. However, existing approaches either employ static settings with immutable thresholds that cannot be dynamically self-adjusted to adapt to network dynamics, or fail to take into account many-to-one traffic patterns and different requirements of different types of traffic, resulting in relatively poor performance. To address these problems, this paper proposes a novel learning-based automatic ECN tuning scheme, named PET, based on the multi-agent Independent Proximal Policy Optimization (IPPO) algorithm. PET dynamically adjusts ECN thresholds by fully considering pivotal congestion-contributing factors, including queue length, output data rate, output rate of ECN-marked packets, current ECN threshold, the extent of incast, and the ratio of mice and elephant flows. PET adopts the Decentralized Training and Decentralized Execution (DTDE) paradigm and combines offline and online training to accommodate network dynamics. PET is also fair and readily deployable with commodity hardware. Comprehensive experimental results demonstrate that, compared with state-of-the-art static schemes and the learning-based automatic scheme, our PET achieves better performance in terms of flow completion time, convergence rate, queue length variance, and system robustness. © 2024, CC BY.

关键词： Mammals

来源：评论

学校读者我要写书评

暂无评论

Towards Enhanced Verification in Process Mining: A Ctmc-Based Probabilistic Model Checking Approach

SSRN

引用

SSRN 2024年

作者： Mangi, Fawad Ali Su, Guoxin Zhang, Minjie Liu, Li School of Computing and Information Technology University of Wollongong Wollongong2522 Australia Department of Computer Systems Engineering Mehran University of Engineering and Technology Sindh Jamshoro76062 Pakistan School of Big Data and Software Engineering Chongqing University Chongqing400030 China

Process mining is a rapidly growing research field that uses data science techniques to analyse business processes and extract insights about their performance, efficiency, and compliance. The process mining approach begins with process discovery, which involves creating process models based on event logs;and depending on the type of models discovered, the correctness of models needs to be guaranteed. Verification is paramount to ensure the accuracy and reliability of discovered process models in process mining, the current research lacks to model the stochastic nature of process mining models. This paper introduces a novel technique for verification of process mining models, leveraging continuous time Markov chain (CTMC) model of probabilistic model checking technique. The proposed method aims to address the inherent uncertainties and dynamic nature of real-world processes, providing a more robust and comprehensive verification framework compared to traditional methods. The technique employs CTMC to represent the stochastic behavior of processes, allowing for the incorporation of time and probability in the analysis of process models. This approach enables the evaluation of process models under various conditions and scenarios, considering the probabilistic aspects and temporal characteristics inherent in business processes. The paper presents a detailed methodology of the proposed technique, illustrating its application through a case study of loan application process performed in a financial institution, and empirical evaluations. © 2024, The Authors. All rights reserved.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

software Practice in Small software Companies: Development Context Constraints on Process Adoption. 22

Software Practice in Small Software Companies: Development C...

引用

Proceedings of the 2022 European Symposium on software engineering

作者： Micheal Tuape Victoria Hasheela-Mufeti Petrus Iiyambo Anna Kayanda Sharon Mensah Jussi Kasurinen Department of Software Engineering Lappeenranta-Lahti University of Technology Finland Dept of Computing Maths and Statistical Sciences University of Namibia Namibia Dept of Information Systems College of Business Education Tanzania Software Department B-Systems Limited Ghana

ISBN: (纸本)9781450397308

Small software companies (SSCs) interact with the immediate environment, exposing them to challenges that force the organization to undertake adjustments if it must survive and remain in business. These adjustments result into counterproductive practices and changes that create complexities in process adoption. This cross-sectional survey investigates the occurrences around the customer in the development context that affect the adoption of process in SSCs. To answer the research questions, we conducted a survey on 115 respondents and found out that although customer engagement has a significant relationship with reducing rework, inadequacies in the engagement due to the customer's lack of knowledge of software processes, triggers unstructured and ad-hoc methods in SSCs. The main contribution of this paper is a customer engagement framework that seeks to transform software processes by focusing on the customer as a pillar of achieving purpose and value to reduce development effort and time.

关键词： Small software Companies software processes software Development Context

来源：评论

学校读者我要写书评

暂无评论

Speech-Forensics: Towards Comprehensive Synthetic Speech Dataset Establishment and Analysis

arXiv

引用

arXiv 2024年

作者： Ji, Zhoulin Lin, Chenhao Wang, Hang Shen, Chao School of Software Engineering Xi’an Jiaotong University China School of Cyber Science and Engineering Xi’an Jiaotong University China School of Automation Science and Engineering Xi’an Jiaotong University China Department of Computing The Hong Kong Polytechnic University Hong Kong

Detecting synthetic from real speech is increasingly crucial due to the risks of misinformation and identity impersonation. While various datasets for synthetic speech analysis have been developed, they often focus on specific areas, limiting their utility for comprehensive research. To fill this gap, we propose the Speech-Forensics dataset by extensively covering authentic, synthetic, and partially forged speech samples that include multiple segments synthesized by different high-quality algorithms. Moreover, we propose a TEmporal Speech LocalizaTion network, called TEST, aiming at simultaneously performing authenticity detection, multiple fake segments localization, and synthesis algorithms recognition, without any complex post-processing. TEST effectively integrates LSTM and Transformer to extract more powerful temporal speech representations and utilizes dense prediction on multi-scale pyramid features to estimate the synthetic spans. Our model achieves an average mAP of 83.55% and an EER of 5.25% at the utterance level. At the segment level, it attains an EER of 1.07% and a 92.19% F1 score. These results highlight the model’s robust capability for a comprehensive analysis of synthetic speech, offering a promising avenue for future research and practical applications in this field. Copyright © 2024, The Authors. All rights reserved.

关键词： Spatio-temporal data

来源：评论

学校读者我要写书评

暂无评论

UNDERSTANDING USERS’ UX NEEDS THROUGH THE LENSES OF PSYCHOLOGICAL NEEDS THEORIES: USERS’ EXPECTATIONS AND FELT EXPERIENCES 16

UNDERSTANDING USERS’ UX NEEDS THROUGH THE LENSES OF PSYCHOL...

引用

16th International Conference on Interfaces and Human Computer Interaction, IHCI 2022, and 15th International Conference on Game and Entertainment Technologies 2022, GET 2022 - Held at the 16th Multi Conference on Computer Science and Information Systems, MCCSIS 2022

作者： Mkpojiogu, Emmanuel O.C. Okeke-Uzodike, Obianuju E. Omopariola, Victor School of Computing Universiti Utara Malaysia UUM Sintok06010 Malaysia Department of Software Engineering Veritas University Abuja Nigeria Department of Applied Management Durban University of Technology KwaZulu-Natal Pietermaritzburg South Africa Department of Computer and Information Technology Veritas University Abuja Nigeria

ISBN: (纸本)9789898704405

The purpose of this study was to conduct a literature review in order to gather material that would serve to underpin and support a link between UX requirements and psychological theories. In the paper, relevant sources from extant literature were accessed and synthesized. The outcome revealed that psychological theories support user experience needs. UX needs as psychological needs are fully supported by psychological theories. In the light of this, the search for ways to meet these needs should be done using psychological needs fulfillment strategies. Further studies will investigate ways of meeting these user experience needs and how these needs can be modeled for UX design and evaluation. © 2022 International Conference on Interfaces and Human Computer Interaction

关键词： Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

Aligning Academic with Industrial Needs: Investigating DevOps 24

Aligning Academic with Industrial Needs: Investigating DevOp...

引用

Proceedings of the 28th International Conference on Evaluation and Assessment in software engineering

作者： Saima Rafi Muhammad Azeem Akbar Sajjad Mahmood School of Computing Engineering and the Built Environment Edinburgh Napier University Edinburgh United Kingdom Software Engineering LUT University Finland Information and Computer Science Department King Fahd University of Petroleum and Minerals Dhahran Saudi Arabia

ISBN: (纸本)9798400717017

Over recent years, DevOps has gained more attention within the software industry, owing to its pivotal role in facilitating continuous software delivery. The significant demand for DevOps practitioners necessitates substantial adjustments in conventional software engineering courses in higher educational institutions. Recent studies have highlighted DevOps principles, challenges, best practices, and tools to facilitate continuous delivery and deployment pipelines from an industrial perspective. As numerous universities are now introducing courses related to DevOps for students majoring in software engineering and computer science, this high demand for DevOps practitioners requires non-trivial adjustments in traditional software engineering courses and educational methodologies, including practices for teaching DevOps, training in DevOps, the level to which DevOps is currently taught and applied to measure the gap between teaching practices compared to industrial requirements. Our vision paper aims to highlight the crucial need for updated policies and tools to improve DevOps training in higher education, providing guidelines. By aligning academic curricula with industry standards, we can ensure students are better equipped for the demands of the workforce, fostering a seamless transition from academia to industry and promoting innovation in software engineering practices.

关键词： Challenges DevOps Guidelines Industry Practices Teaching

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：