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

Timing and Resource Analysis of Emergency Response Process Using Petri Nets

IEEE Access 2025年 13卷 83361-83372页

作者： Zhao, Lin Li, Hongxia Wang, Jiacun Chen, Lei Xi’an University of Science and Technology College of Safety Science and Engineering Xi’an710054 China Xi’an University of Science and Technology College of Management Xi’an710054 China Monmouth University Department of Computer Science and Software Engineering West Long BranchNJ07764 United States

Emergency response is any systematic response to unexpected events that pose potential risk and/or damage to human life or property. Outbreak of virus, leak of poisonous chemicals, and terrorist attack are just a few examples. The goal of emergency response is to minimize the adverse impact of an incident to society and the environment. To guarantee the implementation of its handling procedure, adequate resources must be available. The success of emergency response also relies on the timeliness of related rescue actions. This paper presents resource-oriented timed workflow nets for the modeling and analysis of the resource requirements in responding to an emergency incident, as well as the time required to complete prescribed response tasks. This new model provides a formal basis for process designers and practitioners to examine the readiness and efficiency of their emergency plans. The presented algorithm can be applied to workflows with sequential, concurrent, decision-making and repetitive structures. A case study on chemical spill response is presented to illustrate the application of the proposed model. © 2013 IEEE.

关键词： Emergency services

来源：评论

学校读者我要写书评

暂无评论

Message Control for Blockchain Rewriting

引用

IEEE Transactions on Dependable and Secure Computing 2025年第3期22卷 1864-1876页

作者： Li, Yingjiu Sengupta, Binanda Tian, Yangguang Yuan, Jiaming Yuen, Tsz Hon School of Computer and Information Science University of Oregon EugeneOR United States School of Computer Science and Electronic Engineering University of Surrey Guilford Surrey United Kingdom Indian Institute of Engineering Science and Technology Shibpur India Department of Software Systems and Cybersecurity Monash University MelbourneVIC Australia

Blockchain rewriting is necessary for modifying illegal or messages included in blockchain transactions, while maintaining the consistency of subsequent blocks in the blockchain. However, arbitrary blockchain rewriting is not desirable as it defeats the purpose of blockchain rewriting. In this work, we propose a new security primitive named message-controlled chameleon hash (MCH) and apply it for message control in blockchain rewriting to ensure that no unspecified messages are generated from blockchain rewriting. The proposed MCH enables permitted parties to select candidate messages from designated message sets for blockchain rewriting at the message level. Our evaluation shows that the proposed MCH can be easily integrated into both permissioned and permissionless blockchains. © 2024 IEEE.

关键词： Smart contract

来源：评论

学校读者我要写书评

暂无评论

Performance Analysis of Machine Learning Based On Optimized Feature Selection for Type II Diabetes Mellitus

引用

Multimedia Tools and Applications 2025年第8期84卷 4945-4964页

作者： Bhat, Salliah Shafi Ansari, Gufran Ahmad Ansari, Mohd Dilshad B. S. Abdur Rahman Crescent Institute of Science and Technology Chennai48 India Department of Computer Science and Software Engineering University of Hail Hail55424 Saudi Arabia Department of Computer Science & Engineering SRM University Delhi-NCR Harayana Sonepat131029 India

Type 2 Diabetes Mellitus (T2DM) is a common chronic illness caused by variations in the secretion of insulin. T2DM will be treated early with the help of an early diagnosis reducing the risk of early death and controlling is course of illness. In this Paper Machine Learning Algorithms (MLA) for T2DM diagnosis are proposed. The major objective of this research is to assess use of MLA and its methods to forecast different illnesses at an initial stage. In this research, we examine most recent proposed strategies with some limitations and potential improvements for future work. The data is collected from Kaggle (University of California) *. Researchers highlight how important is to identify important features that enhance outcomes suggested by recent methods. Six MLA were used in this paper such as Logistic Regression (LR), Support Vector Machine (SVM), Naive Bayes (NB), Decision Tree (DT), Random Forest (RF) and K-Nearest Neighbour (KNN) were applied in Jupiter Notebook. Feature sets are selected using three feature selection methodologies such as information gain-based selection, correlation-based selection and sequential feature selection. On these feature subsets a variety of MLA are applied and optimal feature subset is chosen based on their performance. Finally a DT is suggested as the top model among the top six performances. The suggested method provides an improved performance label with an average accuracy of 96.10%. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Feature Selection

来源：评论

学校读者我要写书评

暂无评论

Enhancing Classification Algorithm Recommendation in Automated Machine Learning: A Meta-Learning Approach Using Multivariate Sparse Group Lasso

引用

computer Modeling in engineering & Sciences 2025年第2期142卷 1611-1636页

作者： Irfan Khan Xianchao Zhang Ramesh Kumar Ayyasamy Saadat M.Alhashmi Azizur Rahim School of Software Dalian University of TechnologyDalian116620China Faculty of Information and Communication Technology Universiti Tunku Abdul RahmanKampar31900Malaysia College of Computing and Informatics University of SharjahSharjah27272United Arab Emirates Department of Computer Systems Engineering University of Engineering and Applied SciencesSwat19200Pakistan

The rapid growth of machine learning(ML)across fields has intensified the challenge of selecting the right algorithm for specific tasks,known as the Algorithm Selection Problem(ASP).Traditional trial-and-error methods have become impractical due to their resource *** Machine Learning(AutoML)systems automate this process,but often neglect the group structures and sparsity in meta-features,leading to inefficiencies in algorithm recommendations for classification *** paper proposes a meta-learning approach using Multivariate Sparse Group Lasso(MSGL)to address these *** method models both within-group and across-group sparsity among meta-features to manage high-dimensional data and reduce multicollinearity across eight meta-feature *** Fast Iterative Shrinkage-Thresholding Algorithm(FISTA)with adaptive restart efficiently solves the non-smooth optimization *** validation on 145 classification datasets with 17 classification algorithms shows that our meta-learning method outperforms four state-of-the-art approaches,achieving 77.18%classification accuracy,86.07%recommendation accuracy and 88.83%normalized discounted cumulative gain.

关键词： Meta-learning machine learning automated machine learning classification meta-features

来源：评论

学校读者我要写书评

暂无评论

Early Diabetic Retinopathy Cyber-Physical Detection System Using Attention-Guided Deep CNN Fusion

引用

IEEE Transactions on Network Science and engineering 2025年第3期12卷 1898-1910页

作者： Hossain, M. Shamim Shorfuzzaman, Mohammad King Saud University Research Chair of Pervasive and Mobile Computing Department of Software Engineering College of Computer and Information Sciences Riyadh12372 Saudi Arabia Taif University Department of Computer Science College of Computers and Information Technology Taif21944 Saudi Arabia

Diabetic retinopathy is the most common and severe eye complication of diabetes, and it can cause vision loss or even blindness due to retina damage. Automatic and faster detection of various DR stages is crucial and can benefit both patients and ophthalmologists. With the ubiquity of measurement devices and growing processing power, cyber-physical characterization is becoming an enabler technology in many disciplines. This paper proposes a cyber-physical system (CPS) framework that will aid clinicians in establishing an early diagnosis of DR. Particularly;we present a component-based CPS architecture to use a deep learning-based predictive model deployed on the cloud for effective DR diagnosis and incorporate medical devices. To this end, a deep learning-based explainable CNN fusion model has been introduced in the proposed framework for automatic screening and interpretation of DR stages using digital fundus images. We extract salient features using various fine-tuned CNN models in conjunction with an attention network, and we use a locally connected layer to calculate the weighted contribution of these networks. We measure the performance of our approach using a public dataset comprising fundus images of five different categories. Experimental results demonstrate the proposed approach's effectiveness for faster and more accurate detection of various DR stages. © 2013 IEEE.

关键词： Biomedical equipment

来源：评论

学校读者我要写书评

暂无评论

A Package Level Regression Test Selection Approach for Java software Systems

引用

IEEE Access 2025年 13卷 87848-87861页

作者： Al-Refai, Mohammed Hammad, Mahmoud M. Faculty of Computer and Information Technology Computer Science Department Jordan university of science and technology P.O. Box 3030 Irbid 22110 Jordan Ajman University Department of Information Technology Faculty of Engineering and Information Technology Ajman United Arab Emirates Jordan University of Science and Technology Faculty of Computer and Information Technology Software Engineering Department P.O. Box 3030 Irbid 22110 Jordan

Regression testing of software systems is an important and critical activity but can be expensive and resource-intensive. An approach to enhance its efficiency is Regression Test Selection (RTS), which selectively re-executes a subset of relevant tests that are impacted by code modifications. Previous studies on static and dynamic RTS for Java software have shown that selecting tests at the class level is more effective than using finer granularities like methods or statements. Nevertheless, RTS at the package level, which is a coarser granularity than class level, has not been thoroughly investigated or evaluated for Java projects. To address this gap, we propose PKRTS, a static package-level RTS approach that utilizes the structural dependencies of the software system under test to construct a package-level dependency graph. PKRTS analyzes dependencies in the graph and identifies relevant tests that can reach modified packages, i.e., packages containing altered classes. In contrast to conventional static RTS techniques, PKRTS implicitly considers dynamic dependencies, such as Java reflection and virtual method calls, among classes belonging to the same package by treating all those classes as a single cohesive node in the dependency graph. We evaluated PKRTS on 885 revisions of 9 open-source Java projects, with its performance compared to Ekstazi, a state-of-the-art dynamic class-level approach, and STARTS, a state-of-the-art static class-level approach. We used Ekstazi as the baseline to measure the safety and precision violations of PKRTS and STARTS. The results indicated that PKRTS outperformed static class-level RTS in terms of safety violation, which measures the extent to which relevant test cases are missed. PKRTS showed an average safety violation of 2.29%, while STARTS recorded 5.94%. Despite this, PKRTS demonstrated lower average precision violation than class-level RTS, as it selected a higher number of irrelevant test cases. The average reduction in te

关键词： Dynamic analysis Java software systems Package-level dependencies Regression test selection software testing Static analysis

来源：评论

学校读者我要写书评

暂无评论

Advancing Sentiment Analysis for Low-Resource Languages Using Fine-Tuned LLMs: A Case Study of Customer Reviews in Turkish Language

引用

IEEE Access 2025年 13卷 77382-77394页

作者： Kiziltepe, Rukiye Savran Ezin, Ercan Yentür, Ömer Basbrain, Arwa M. Karakus, Murat Ankara University Department of Software Engineering Ankara06100 Turkey Harran University Department of Computer Engineering Şanlıurfa63200 Turkey Software Solutions-Data Security and Data Management Kron Technology İstanbul34467 Turkey King Abdulaziz University Department of Computer Science Jeddah21589 Saudi Arabia

This study investigates the application of advanced fine-tuned Large Language Models (LLMs) for Turkish Sentiment Analysis (SA), focusing on e-commerce product reviews. Our research utilizes four open-source Turkish SA datasets: Turkish Sentiment Analysis version 1 (TRSAv1), Vitamins and Supplements Customer Review (VSCR), Turkish Sentiment Analysis Dataset (TSAD), and TR Customer Review (TRCR). While these datasets were initially labeled based on star ratings, we implemented a comprehensive relabeling process using state-of-the-art LLMs to enhance data quality. To ensure reliable annotations, we first conducted a comparative analysis of different LLMs using the Cohen’s Kappa agreement metric, which led to the selection of ChatGPT-4o-mini as the best-performing model for dataset annotation. Our methodology then focuses on evaluating the SA capabilities of leading instruction-tuned LLMs through a comparative analysis of zero-shot models and Low-Rank Adaptation (LoRA) fine-tuned LlaMA-3.2-1B-IT and Gemma-2-2B-IT models. Evaluations were conducted on both in-domain and out-domain test sets derived from the original star-ratings-based labels and the newly generated GPT labels. The results demonstrate that our fine-tuned models outperformed leading commercial LLMs by 6% in both in-domain and out-domain evaluations. Notably, models fine-tuned on GPT-generated labels achieved superior performance, with in-domain and out-domain F1-scores reaching 0.912 and 0.9184, respectively. These findings underscore the transformative potential of combining LLM relabeling with LoRA fine-tuning for optimizing SA, demonstrating robust performance across diverse datasets and domains. © 2013 IEEE.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

Migrant Resettlement by Evolutionary Multiobjective Optimization

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2025年第1期6卷 51-65页

作者： Liu, Dan-Xuan Gu, Yu-Ran Qian, Chao Mu, Xin Tang, Ke Nanjing University National Key Laboratory for Novel Software Technology School of Artificial Intelligence Nanjing210023 China Peng Cheng Laboratory Shenzhen518000 China Southern University of Science and Technology Department of Computer Science and Engineering Shenzhen518055 China

Migration has been a universal phenomenon, which brings opportunities as well as challenges for global development. As the number of migrants (e.g., refugees) increases rapidly, a key challenge faced by each country is the problem of migrant resettlement. This problem has attracted scientific research attention, from the perspective of maximizing the employment rate. Previous works mainly formulated migrant resettlement as an approximately submodular optimization problem subject to multiple matroid constraints and employed the greedy algorithm, whose performance, however, may be limited due to its greedy nature. In this article, we propose a new framework called migrant resettlement by evolutionary multiobjective optimization (MR-EMO), which reformulates migrant resettlement as a biobjective optimization problem that maximizes the expected number of employed migrants and minimizes the number of dispatched migrants simultaneously, and employs a multiobjective evolutionary algorithm (MOEA) to solve the biobjective problem. We implement MR-EMO using three MOEAs: the popular nondominated sorting genetic algorithm II (NSGA-II), MOEA based on decomposition (MOEA/D) as well as the theoretically grounded global simple evolutionary multiobjective optimizer (GSEMO). To further improve the performance of MR-EMO, we propose a specific MOEA, called GSEMO using matrix-swap mutation and repair mechanism (GSEMO-SR), which has a better ability to search for feasible solutions. We prove that MR-EMO using either GSEMO or GSEMO-SR can achieve better theoretical guarantees than the previous greedy algorithm. Experimental results under the interview and coordination migration models clearly show the superiority of MR-EMO (with either NSGA-II, MOEA/D, GSEMO or GSEMO-SR) over previous algorithms, and that using GSEMO-SR leads to the best performance of MR-EMO. © 2024 IEEE.

关键词： Multiobjective optimization

来源：评论

学校读者我要写书评

暂无评论

Invisible Warning Line: Efficient and Generic Regulation for Anonymous Cryptocurrencies

引用

IEEE Transactions on Dependable and Secure Computing 2025年第3期22卷 2022-2036页

作者： Gao, Rui Wan, Zhiguo Wang, Huaqun Luo, Shaoteng Nanjing University of Posts and Telecommunications College of Computer Jiangsu Cryptographic Technology Engineering Research Center Nanjing210023 China Zhejiang Lab Hangzhou310000 China UCAS School of Software Engineering Hangzhou Institute for Advanced Study Hangzhou310024 China

Decentralized finance based on blockchain has experienced rapid development. To safeguard the privacy of participants, decentralized anonymous payment (DAP) systems such as ZCash and Zether have emerged. These systems employ cryptographic techniques to conceal the trader addresses and payment amounts. However, this anonymity presents challenges in terms of regulation. To address this issue, we propose the Walsh-DAP (WDAP) scheme, an efficient and generic regulation scheme for decentralized anonymous payments that strikes a balance between regulation and privacy preservation. Our scheme introduces two regulation policies: first, users who have exceeded their spending limits within a certain period will be identified during the regulation process;second, the supervisor possesses the capability to trace any anonymous transaction. To implement regulation effectively, we have designed an innovative commitment scheme, Walsh commitment, which leverages the orthogonal properties of Walsh codes to achieve the features of aggregatability and extractability. The supervisor in WDAP only needs to deal with the aggregation result of the Walsh commitments instead of the huge amount of raw transactions information, which greatly increases the efficiency. In a DAP system with 256 users, 10 transactions per second and 30 days as a regulation period, we reduced the communication cost for regulation from 14 GB to 94.20 KB, and the computing cost from 1.6 × 105 s to 2.17s. Both improvement is of over five orders of magnitude. We formally discussed the security of the whole system, and verified its feasibility and practicability in the ZCash system. © 2004-2012 IEEE.

关键词： Decentralized finance

来源：评论

学校读者我要写书评

暂无评论

An empirical study of manual abstraction between class diagrams and code of open-source systems

引用

software and Systems Modeling 2025年 1-27页

作者： Zhang, Wenli Zhang, Weixing Strüber, Daniel Hebig, Regina Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg Gothenburg Sweden Department of Software Science Radboud University Nijmegen Netherlands Institute of Computer Science University of Rostock Rostock Germany

Models play a crucial role in software design, analysis, and supporting new maintainers. However, over time, the benefits of models can diminish as system implementations evolve without corresponding updates to the original models. Reverse engineering methods and tools can help maintain alignment between models and implementation code. Yet, automatically reverse-engineered models often lack abstraction and contain extensive details that hinder comprehension. Recent advancements in AI-based content generation suggest that we may soon see reverse engineering tools capable of human-grade abstraction. To guide the design and validation of such tools, we need a principled understanding of manual abstraction—a topic that has received limited attention in existing literature. In pursuit of this goal, our paper presents a multiple-case study of model-to-code differences, examining nine substantial open-source software projects obtained through repository mining. We manually matched source code from projects comprising 4983 classes, 26k attributes, and 54k operations to 523 model elements (including classes, attributes, operations, and relationships). These mappings precisely capture discrepancies between provided class diagram designs and actual implementation code. By analyzing these differences in detail, we derive a taxonomy of difference types and provide a well-organized list of cases corresponding to identified differences. Our findings have the potential to contribute to improved reverse engineering methods and tools, propose new mapping rules for model-to-code consistency checks, and offer guidelines to avoid over-abstraction and over-specification during the design process. © The Author(s) 2025.

关键词： Abstraction Modeling software design

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：