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

Layout Decomposition via Boolean Satisfiability

IEEE Transactions on computer-Aided Design of Integrated Circuits and Systems 2025年第3期44卷 1112-1125页

作者： Liu, Hongduo Liao, Peiyu Zou, Mengchuan Pang, Bowen Li, Xijun Yuan, Mingxuan Ho, Tsung-Yi Yu, Bei The Chinese University of Hong Kong Department of Computer Science and Engineering Hong Kong Hong Kong Huawei Noah's Ark Lab Hong Kong Hong Kong Institute of Software Chinese Academy of Sciences State Key Laboratory of Computer Science Beijing100190 China

Multiple patterning lithography (MPL) has been introduced in the integrated circuits manufacturing industry to enhance feature density as the technology node advances. A crucial step of MPL is assigning layout features to different masks, namely layout decomposition. Exact algorithms like integer linear programming (ILP) can solve layout decomposition to optimality but lack scalability for dense patterns. Relaxation algorithms (e.g., linear programming and semi-definite programming) and heuristics (e.g., exact cover) are capable of handling large cases at the cost of inferior solution quality. These methods rely on different mathematical solvers and expert-designed heuristics to offer a balance between solution quality and computational efficiency. In this article, we propose a unified layout decomposition framework comprising three algorithms: 1) satisfiability (SAT)-exact;2) SAT-bilevel;and 3) SAT-fast, all leveraging the capabilities of Boolean SAT solvers. The SAT-exact ensures optimality, but with faster convergence than ILP, SAT-bilevel addresses the decomposition as a bilevel optimization problem for rapid near-optimal solutions, and SAT-fast handles very large layouts in an incremental manner. Experimental results demonstrate our framework's superiority over existing state-of-the-art methods in terms of solution quality and runtime. © 2024 IEEE.

关键词： Integer linear programming

来源：评论

学校读者我要写书评

暂无评论

Optimizing auditory brainstem response detection through NSGA-II guided feature selection

引用

Neural Computing and Applications 2025年第15期37卷 8925-8943页

作者： Majidpour, Jafar Hassanzadeh, Hiwa Khezri, Edris Arabi, Hossein Department of Software Engineering University of Raparin Kurdistan Region Rania Iraq Department of Computer Science University of Raparin Kurdistan Region Rania Iraq Department of Computer Engineering Islamic Azad University Boukan Branch Boukan Iran Division of Nuclear Medicine and Molecular Imaging Department of Medical Imaging Geneva University Hospital Geneva1211 Switzerland

Hearing-impaired people undergo auditory brainstem response (ABR) testing to assess their peripheral auditory nerve system. Audiologists apply diagnostic labels to ABR data using reference-based indicators such as peak latency, waveform shape, amplitude, and others. ABR test scoring errors may invalidate auditory nerve system integrity results. Machine learning, especially deep learning, may reduce human error in ABR analysis. This work offers a complete methodology to handle ABR analysis problems. First, extract ABR test images from PDF reports to create a dataset. The next step uses Elastic Distortion approach to create high-quality ABR images while conserving data. ResNet-50 deep learning extracts ABR image characteristics in the third phase. The fourth step finds the most relevant features using a trainable multi-objective non-dominated sorting genetic algorithm II optimizer. Finally, ABR images are classified using machine learning algorithms. The proposed model achieved significant performance metrics: an accuracy of 99.46%, precision of 99.33%, specificity of 99.57%, sensitivity of 99.57%, F1-score of 99.43%, and a mean squared error of 0.0054 when using a support vector machine classifier with both augmented and original images. These findings demonstrate the effectiveness of trainable feature selection and high-quality ABR images in improving ABR analysis accuracy. © The Author(s), under exclusive licence to Springer-Verlag London Ltd., part of Springer Nature 2025.

关键词： Mean square error

来源：评论

学校读者我要写书评

暂无评论

Enhancing Performance of Machine Learning Models in Healthcare: An Analytical Framework for Assessing and Improving Data Quality 5th

Enhancing Performance of Machine Learning Models in Healthca...

引用

5th International Conference on Advances in Information Communication Technology and Computing, AICTC 2024

作者： Al-Hgaish, Areen Atan, Rodziah Yaakob, Razali Osman, Mohd Hafeez Department of Software Engineering and Information Systems Faculty of Computer Science and Information Technology Universiti Putra Malaysia Serdang44330 Malaysia Department of Computer Science Faculty of Computer Science and Information Technology Universiti Putra Malaysia Serdang44330 Malaysia

ISBN: (纸本)9789819761050

The utilization of Data-Driven Machine Learning (DDML) models in the healthcare sector poses unique challenges due to the crucial nature of clinical decision-making and its impact on patient outcomes. A primary concern in this domain is the data quality that forms the basis for these models, which is essential for their effectiveness. While numerous studies are dedicated to leveraging Machine Learning (ML) to enhance patient care, a substantial gap exists in understanding and evaluating the quality of training data before training ML models. This issue is exacerbated by the lack of well-defined standards to ensure that data characteristics align with the specific goals of ML in healthcare. To address this, our study introduces a conceptual three-dimensional framework focusing on data accuracy, completeness, and consistency aimed at assessing and improving the quality of training data. This framework is designed to enhance the performance, predictability, and interpretability of healthcare-specific ML models and reduce biases, thus bridging current research gaps and laying the groundwork for future developments in ML-driven healthcare systems. This paper presents the initial step for our proposed Data Quality Framework (DQF), which addresses the three dimensions mentioned above. It discusses its potential implications and applications in healthcare data, and its main goal is to provide a comprehensive overview of the proposed DQF, illustrating its significance in advancing healthcare data quality and ultimately improving patient outcomes. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Data accuracy

来源：评论

学校读者我要写书评

暂无评论

Controllable chaos in the coupled waveguide-optomechanical system with phase shifter

引用

science China(Physics,Mechanics & Astronomy) 2025年第4期68卷 26-34页

作者： Deng-Wei Zhang Pei-Qi Qin Li-Li Zheng Zhi-Ming Zhan Xin-You Lü Department of Mathematics and Physics Luoyang Institute of Science and TechnologyLuoyang 471023China School of Computer and Information Engineering School of SoftwareLuoyang Institute of Science and TechnologyLuoyang 471023China School of Artificial Intelligence Jianghan UniversityWuhan 430056China School of Physics Huazhong University of Science and TechnologyWuhan 430074China

We theoretically investigate chaotic dynamics in an optomechanical system composed of a whispering-gallery-mode(WGM)microresonator and a *** find that tuning the optical phase using a phase shifter and modifying the coupling strength via a unidirectional waveguide(IWG)can induce chaotic *** underlying reason for this phenomenon is that adjusting the phase and coupling strength via the phase shifter and IWG bring the system close to an exceptional point(EP),where field localization dynamically enhances the optomechanical nonlinearity,leading to the generation of chaotic *** addition,due to the sensitivity of chaos to phase in the vicinity of the EP,we propose a theoretical scheme to measure the optical phase perturbations using *** work may offer an alternative approach to chaos generation with current experimental technology and provide theoretical guidance for optical signal processing and chaotic secure communication.

关键词： cavity optomechanics chaos exceptional point

来源：评论

学校读者我要写书评

暂无评论

Structure learning of Bayesian networks using sparrow optimization algorithm

International Journal of Systematic Innovation

引用

International Journal of Systematic Innovation 2025年第2期9卷 14-25页

作者： Kareem, Shahab Wahhab Awla, Hoshang Qasim Mohammed, Amin Salih Department of Technical Information Systems Engineering Erbil Technical Engineering College Erbil Polytechnic University Erbil Iraq Department of Computer Technical Engineering Al-Qalam University College Kirkuk Iraq Department of Computer Science Faculty of Science Soran University Soran Iraq Department of Software and Informatics Salahaddin University Erbil Iraq

Bayesian networks are powerful analytical models in machine learning, used to represent probabilistic relationships among variables and create learning structures. These networks are made up of parameters that show conditional probabilities and a structure that shows how random variables interact with each other. The structure is shown by a directed acyclic graph. Despite the NP-hard nature of learning Bayesian network structures, there has been significant progress in improving the accuracy of approximation solutions. The main focus is on score-based search strategies, which make use of functions to evaluate network models and identify structures with high scores. This study is significantly focused on structure learning Bayesian networks using the Bayesian Dirichlet equivalent uniform scoring function and metaheuristic search strategies. To this end, this paper presents the sparrow optimization algorithm (SOA), a new metaheuristic algorithm derived from the foraging behavior of sparrows. SOA performs a concurrent optimization in the solution space by simultaneously performing a local and global search that leads to the discovery of near-optimal structures. The results from our experiments on several benchmark datasets show that SOA yields overall better performance than SA and greedy search algorithms. In particular, it is claimed that by applying the proposed approach of SOA, the convergence speed is significantly higher compared with the existing ones;F1 score is 0.35 and 0.05 for the Hamming distance with better results. Given these results, signed operators prove to be very efficient in SOA’s Bayesian network structure learning as a concept, especially for real-world use. © (2024), (Society of Sytematic Innovation). All Rights Reserved.

关键词： Bayesian Network Global and Local Search Search and Score Sparrow Search Optimization Algorithm Structure Learning

来源：评论

学校读者我要写书评

暂无评论

Lightweight and Roubust Key Agreement for Securing IIoT-Driven Flexible Manufacturing Systems

引用

IEEE Internet of Things Journal 2025年第11期12卷 17197-17209页

作者： Hammad, Muhammad Badshah, Akhtar Almeer, Mohammed A. Waqas, Muhammad Song, Houbing Chen, Sheng Han, Zhu GIK Institute of Engineering Sciences and Technology Faculty of Mechanical Engineering Topi23640 Pakistan University of Malakand Department of Software Engineering Dir Lower18800 Pakistan University of Bahrain Computer Engineering Department College of Information Technology 32038 Bahrain University of Greenwich Faculty of Engineering and Science Centre for Sustainable Cybersecurity United Kingdom Edith Cowan University School of Engineering PerthWA6027 Australia Department of Information Systems BaltimoreMD United States University of Southampton School of Electronics and Computer Science SouthamptonSO17 1BJ United Kingdom University of Houston Department of Electrical and Computer Engineering HoustonTX77004 United States Kyung Hee University Department of Computer Science and Engineering Seoul446-701 Korea Republic of

The ever-evolving Internet of Things (IoT) has ushered in a new era of intelligent manufacturing across multiple industries. However, the security and privacy of real-time data transmitted over the public channel of the industrial IoT (IIoT) remain formidable challenges. Existing lightweight protocols often omit one or more critical security features, such as anonymity and untraceability, and are susceptible to threats like desynchronization attacks. Additionally, they struggle to achieve an optimal balance between robust security and performance efficiency. To bridge these gaps, we introduce a new lightweight key agreement security scheme that guarantees secure access to the IIoT-enabled flexible manufacturing system (FMS). The strength of our scheme lies in its utilization of the authenticated encryption with associative data (AEAD) primitive, AEGIS, along with hash functions and physical unclonable functions, which secure the IIoT ecosystem. Additionally, our scheme offers flexibility in the form of the addition of new machines, password updates, and revocation in cases of theft or loss. A comprehensive security analysis demonstrates the efficacy of the proposed scheme in thwarting various attacks. The formal analysis, based on the Real-Or-Random (RoR) model, ensures session key indistinguishability, while the informal analysis highlights its resilience against known attacks. The comparative assessment demonstrate that the proposed scheme consistently outperforms the benchmark schemes across multiple dimensions, including security and functionality features, computational and communication overheads, and runtime efficiency. Specifically, the proposed scheme achieves peak performance enhancements of 77.55%, 44.73%, and 69.6% in computational overhead, runtime overhead, and communication overhead, respectively, underscoring its substantial performance advantages. © 2025 IEEE.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

The Impact of Blockchain Technology for Evaluation of Electronic Medical Certification

引用

SN computer science 2025年第5期6卷 1-14页

作者： Azam Zia, M. Anwar, Munazza Mehmood, Faisal Razzaq, Abdul Asif, Muhammad Department of Computer Science University of Agriculture Faisalabad Punjab Faisalabad 38000 Pakistan Department of Civil and Transportation Engineering Shenzhen University Shenzhen 518060 China Computer Science Muhammad Nawaz Shareef University of Agriculture Punjab Multan 59300 Pakistan Department of Computer and Software Engineering Information Technology University (ITU) Punjab Lahore Pakistan

Evaluation of Electronic Medical Certification (EMC) is integral to today's healthcare systems since they are a consolidated database of individual patients' medical histories. Security measures and privacy issues are standard in electronic medical certification. Incompatible systems make sharing data across healthcare providers difficult, which may lead to data breaches and a lack of patient authority over their medical data. Blockchain has become essential for real-world corporate applications where confidentiality of information is paramount. The handling of security in medical records through a decentralized peer-to-peer network might be revolutionized by blockchain technology and improving the protection of the interchange of healthcare records. This study proposes a lightweight flask framework-based blockchain strategy to store and display patient status and transaction log information about their disease diagnosis. In a potential Blockchain system, the diseased patients act as assets, and their records contain any prior illnesses as blocks. The report analyzes a lot of national and international EHR standards. It identifies which of these interoperability needs to be addressed, discusses the interoperability challenges in but also outlines the standards. Current blockchain-based EHR frameworks. Without the suggested has the requirement for centralized systems. By using this framework, the healthcare industry can be provided safer ways to while also providing the exchange of health information. It offers features of immutability, security, and user control over stored records. This work contributes to an understanding of what potential Blockchain technology has offered an interoperable application in the EHR frameworks. Meet the blockchain-based EHR framework. Multiple national and international EHR standards. © The Author(s), under exclusive licence to Springer Nature Singapore Pte Ltd. 2025.

关键词： Blockchain Cryptography Decentralized Electronic medical certification (EMC) Transaction

来源：评论

学校读者我要写书评

暂无评论

Scene and Aerial Image Classification Based on Advanced Deep Learning Technique 8th

Scene and Aerial Image Classification Based on Advanced Deep...

引用

8th World Conference on Smart Trends in Systems Security and Sustainability, WorldS4 2024

作者： Mehmood, Maryam Hussain, Farhan Ijaz, Asad Department of Computer and Software Engineering National University of Sciences and Technology Islamabad44000 Pakistan Department of Software Engineering National University of Modern Languages Islamabad Pakistan Department of Mechanical Engineering Mirpur University of Science and Technology MUST AJK Mirpur Pakistan

ISBN: (纸本)9789819786947

Classifying scenes and aerial imagery is a critical component in applications such as land-use analysis, land cover mapping, and remote sensing technologies. Numerous existing models leverage Convolutional Neural Networks for classification, but they often involve intricate designs with a vast number of parameters, necessitating extensive computational power and prolonged training periods. This paper introduces a refined strategy employing a pre-trained EfficientNet B0 framework. Modification of parameters and layers through careful fine-tuning has resulted in notable enhancements in the model's classification precision. The superiority of EfficientNet B0 over comparative CNN architectures was confirmed by testing with three disparate datasets, particularly within the sphere of remote sensing imagery. The EfficientNet B0's superior performance is credited to its optimal structure that strikes a balance between model complexity and efficiency. Effective fine-tuning coupled with judicious computational resource allocation yields substantial accuracy in categorization. Moreover, its adaptability to assimilate remote sensing data exemplifies its widespread applicability. This study accentuates the significance of refining prevailing deep learning models to cater to specified objectives. Tailoring pre-trained models such as EfficientNet B0 enables marked advancements in classification precision, circumventing the necessity for intricate systems or significant computational demands. This methodology is promising for elevating both the proficiency and impact of scene and aerial image classification across a range of fields, with particular implications for remote sensing endeavors. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

A Novel Lightweight IoT Intrusion Detection Model Based on Self-knowledge Distillation

引用

IEEE Internet of Things Journal 2025年第11期12卷 16912-16930页

作者： Wang, Zhendong Zhou, Renqiang Yang, Shuxin He, Daojing Chan, Sammy Jiangxi University of Science and Technology School of Information Engineering Ganzhou341000 China Nanchang University Software Engineering Institute Nanchang330047 China Harbin Institute of Technology School of Computer Science and Technology Shenzhen518055 China City University of Hong Kong Department of Electrical Engineering Hong Kong

The Internet of Things (IoT) environment contains many different types of devices, each with different functionalities, communication protocols, and security capabilities, which makes the IoT a complex challenge for security protection. Therefore, network intrusion detection (NID) is needed to detect intrusions in the network to secure the IoT. In recent years, deep learning-based intrusion detection systems have achieved excellent results, but they tend to require high computational resources and storage space, which is not feasible for most IoT devices. In this paper, we propose a lightweight intrusion detection model based on self-knowledge distillation, namely TBCLNN, which improves the detection accuracy while also reducing the number of model parameters and computational cost. Specifically, we use the binary Harris Hawk optimization algorithm for dimensionality reduction of traffic features. We use lightweight convolution, such as Tied Block Convolution (TBC), to design lightweight neural network models with residual and inverse residual structures. Moreover, we propose an improved self-knowledge distillation loss function to solve the sample imbalance problem and compensate for the performance degradation caused by lightweight neural networks. The multiclassification accuracy of our proposed method exceeds 99% on all three publicly available IoT datasets. The experimental results show that our method has a small model size and requires only low computational resources, making it suitable for resource-constrained IoT intrusion detection. © 2014 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

IsoTGAN: Spatial and Geometrical Constraints at GAN and Transformer for 3D Contour Generation 17th

IsoTGAN: Spatial and Geometrical Constraints at GAN and Tr...

引用

17th Asian Conference on computer Vision, ACCV 2024

作者： Phuong, Thao Nguyen Duy, Vinh Nguyen Sakaino, Hidetomo FPT Consulting Japan FPT Software Minato Japan Department of Computer Science and Communications Engineering Waseda University Shinjuku Japan

ISBN: (纸本)9789819626434

Image generation in 2D and 3D has become an active research topic in Deep Learning. Single or multiple input images with non-orthogonal views are used for another shape and texture with different viewing angles. On the other hand, computer-Aided Design (CAD) relies on handling-based 3D generation, i.e., isometric view images, from three orthographic view line drawings in 2D. However, since unique viewing pairs of such 2D and 3D images are required to train, SOTA models are insufficient to generate desirable images. More spatial and geometrical constraints remain undone due to less corresponding image features between images. This paper proposes IsoTGAN with a GAN-based generator with the Transformer in its generator, where three images of an object’s front, side, and top view are input. The encoder is trained by the spatial and geometrical relation among three view images. A novel Gaussian Enhanced Euclidean attention mechanism and a geometry-constrained loss function are also proposed for further local image feature enhancement. Extensive experiments on the SPARE3D dataset demonstrate that the proposed IsoTGAN outperforms State-of-the-art (SOTA) models, i.e., DINO, regarding local and global image feature accuracy. This helps generate 3D isometric view images in auto-CAD system. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： 3D generation attention CAD GAN Isometric view Transformer

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：