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

DeepOCL:A deep neural network for Object Constraint Language generation from unrestricted nature language

CAAI Transactions on Intelligence technology 2024年第1期9卷 250-263页

作者： Yilong Yang Yibo Liu Tianshu Bao Weiru Wang Nan Niu Yongfeng Yin School of Software Beihang UniversityBeijingChina College of Computer Science and Technology Guizhou UniversityGuiyangGuizhouChina Faculty of Information Technology Beijing University of TechnologyBeijingChina Department of Electrical Engineering and Computer Sciences University of CincinnatiCincinnatiOhioUSA

Object Constraint Language(OCL)is one kind of lightweight formal specification,which is widely used for software verification and validation in NASA and Object Management Group *** OCL provides a simple expressive syntax,it is hard for the developers to write correctly due to lacking knowledge of the mathematical foundations of the first-order logic,which is approximately half accurate at the first stage of devel-opment.A deep neural network named DeepOCL is proposed,which takes the unre-stricted natural language as inputs and automatically outputs the best-scored OCL candidates without requiring a domain conceptual model that is compulsively required in existing rule-based generation *** demonstrate the validity of our proposed approach,ablation experiments were conducted on a new sentence-aligned dataset named *** experiments show that the proposed DeepOCL can achieve state of the art for OCL statement generation,scored 74.30 on BLEU,and greatly outperformed experienced developers by 35.19%.The proposed approach is the first deep learning approach to generate the OCL expression from the natural *** can be further developed as a CASE tool for the software industry.

关键词： deep learning OCL software engineering

来源：评论

学校读者我要写书评

暂无评论

Applying SVR-PPSO, SVR-SSO, and SVR-BBO to estimate california bearing capacity of stabilized pond ash using admixtures

引用

Journal of Intelligent and Fuzzy Systems 2024年第4期46卷 8311-8327页

作者： Teng, Wei Li, Yan Sun, Hongxing Chen, Haojie School of Computer Science and Software Engineering University of Science and Technology Liaoning Liaoning Anshan China School of Electronic and Information Engineering University of Science and Technology Liaoning Liaoning Anshan China School of Information Technology Nanchang Vocational University Jiangxi Nanchang China School of Intelligent Construction Luzhou Vocational and Technical College Sichuan Luzhou China

In the present study, three hybrid models include support vector regression-salp swarm optimization (SVR-SSO), support vector regression-biogeography-based (SVR-BBO), and support vector regression-phasor particle swarm optimization (SVR- PPSO) was applied to forecast pond ash's CBR value modified with lime sludge (LS) and lime (LI). In the developed models, five variables were selected as inputs. It can result that the developed integrated models have R2 bigger than 0.9952. It means the agreement between observed and forecasted values by hybrid models is mainly similar to represent the highest accuracy. In both the training and testing stages, PSO-SVR results from better performance than the BBO-SVR model, with R2, RMSE, MAE, and PI equal to 0.9983, 0.6439, 0.3181, and 0.0081 for training data, and 0.9975, 0.7319, 0.4135, and 0.0141 for testing data, respectively. So, by considering the OBJ index, the OBJ value for PSO-SVR is 12.966, lower than BBO-SVR at 16.9957. Therefore, the PSO-SVR model outperforms another model to estimate the CBR of pond ash modified with LI and LS, consequently being recognized as the proposed model that makes it to be used for practical applications. © 2024 - IOS Press. All rights reserved.

关键词： Lime

来源：评论

学校读者我要写书评

暂无评论

Feature Preserving Parameterization for Quadrilateral Mesh Generation Based on Ricci Flow and Cross Field

引用

Computer Modeling in engineering & Sciences 2023年第10期137卷 843-857页

作者： Na Lei Ping Zhang Xiaopeng Zheng Yiming Zhu Zhongxuan Luo International School of Information Science and Engineering Dalian University of TechnologyDalian116000China School of Mathematical Sciences Dalian University of TechnologyDalian116000China School of Software Technology Dalian University of TechnologyDalian116000China

We propose a newmethod to generate surface quadrilateralmesh by calculating a globally defined parameterization with feature *** the field of quadrilateral generation with features,the cross field methods are wellknown because of their superior performance in feature *** methods based on metrics are popular due to their sound theoretical basis,especially the Ricci flow *** cross field methods’major part,the Poisson equation,is challenging to solve in three dimensions *** it comes to cases with a large number of elements,the computational costs are expensive while the methods based on metrics are on the *** addition,an appropriate initial value plays a positive role in the solution of the Poisson equation,and this initial value can be obtained from the Ricci flow *** we combine the methods based on metric with the cross field *** use the discrete dynamic Ricci flow algorithm to generate an initial value for the Poisson equation,which speeds up the solution of the equation and ensures the convergence of the *** experiments show that our method is effective in generating a quadrilateral mesh for models with features,and the quality of the quadrilateral mesh is reliable.

关键词： Quadrilateral mesh feature preserving Ricci flow cross field

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Spatial Correlation Module for Classification of Multi-Label Ocular Diseases Using Color Fundus Images

引用

Computers, Materials & Continua 2023年第7期76卷 133-150页

作者： Ali Haider Khan Hassaan Malik Wajeeha Khalil Sayyid Kamran Hussain Tayyaba Anees Muzammil Hussain Department of Software Engineering Faculty of Computer SciencesLahore Garrison UniversityLahorePakistan Department of Computer Science School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan Department of Computer Science&Information Technology University of Engineering and Technology(UET)PeshawarPakistan Department of Computer Science TIMES InstituteMultan60000Pakistan Department of Software Engineering School of Systems and TechnologyUniversity of Management and TechnologyLahore54000Pakistan

To prevent irreversible damage to one’s eyesight,ocular diseases(ODs)need to be recognized and treated *** fundus imaging(CFI)is a screening technology that is both effective and *** to CFIs,the early stages of the disease are characterized by a paucity of observable symptoms,which necessitates the prompt creation of automated and robust diagnostic *** traditional research focuses on image-level diagnostics that attend to the left and right eyes in isolation without making use of pertinent correlation data between the two sets of *** addition,they usually only target one or a few different kinds of eye diseases at the same *** this study,we design a patient-level multi-label OD(PLML_ODs)classification model that is based on a spatial correlation network(SCNet).This model takes into consideration the relevance of patient-level diagnosis combining bilateral eyes and multi-label ODs ***_ODs is made up of three parts:a backbone convolutional neural network(CNN)for feature extraction i.e.,DenseNet-169,a SCNet for feature correlation,and a classifier for the development of classification *** DenseNet-169 is responsible for retrieving two separate sets of attributes,one from each of the left and right *** then,the SCNet will record the correlations between the two feature sets on a pixel-by-pixel *** the attributes have been analyzed,they are integrated to provide a representation at the patient *** the whole process of ODs categorization,the patient-level representation will be *** efficacy of the PLML_ODs is examined using a soft margin loss on a dataset that is readily accessible to the public,and the results reveal that the classification performance is significantly improved when compared to several baseline approaches.

关键词： Ocular disease multi-label spatial correlation CNN eye disease

来源：评论

学校读者我要写书评

暂无评论

Low-repair array codes based on nested structures 4

Low-repair array codes based on nested structures

引用

4th International Symposium on Artificial Intelligence and Intelligent Manufacturing, AIIM 2024

作者： Huang, Juan Tang, Jinghua Tang, Dan Cai, Hongliang Yu, Hongzhou School of Software Engineering Chengdu University of Information Technology Sichuan Province Engineering Technology Research Center of Support Software of lnformatization Application Sichuan Provincial Big Data Technical Service Center Chengdu China

ISBN: (纸本)9798331541729

To address the problem of low repair efficiency of single- and double-disk of localized horizontal array code, this paper retains the original advantages of horizontal array code, transforms it on the basis of RDP 2D array code, and proposes a 2D array code model based on nested structure - NRDP (Nested Rows Diagonal Parity Code). The overall layout of the NRDP code is the same as that of the RDP code. However, when deploying data columns, the NRDP code deploys the RDP code of one prime number level smaller as a whole in the data columns of the NRDP code, forming a nested relationship. The increased redundant data reduce the repair overhead and error recovery time. Through theoretical analysis, NRDP has good compiled code complexity, improves the problem of uneven reading and writing during disk repair, and reduces the total amount of data that needs to be read during single- and double-disk failures, improving the success rate of single- and double-disk repair. The experimental results show that compared with RDP, LRRDP, and DRDP, NRDP can save 7.03%-30.01% of the single-disk failure repair time and 14.79%-26.51% of the dual-disk repair time. © 2024 IEEE.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

A novel image encryption algorithm based on new one-dimensional chaos and DNA coding

引用

Multimedia Tools and Applications 2024年第36期83卷 84275-84297页

作者： Feng, Sijia Zhao, Maochang Liu, Zhaobin Li, Yuanyu Tianjin public emergency early warning information release center Tianjin Meteorology Information Center Tianjin300074 China School of Information Science & amp Technology Dalian Maritime University Dalian116026 China School of Computer Science and Software Engineering University of Science and Technology Liaoning Anshan114051 China

This paper introduces a new one-dimensional chaotic system and a new image encryption algorithm. Firstly, the new chaotic system is analyzed. The bifurcation diagram and Lyapunov exponent show that the system has strong chaotic characteristics and is suitable for the field of image encryption. The chaotic sequence generated by the system is used in image encryption, scrambled according to its sequence value, and several sequences required for DNA coding operation are generated. The encrypted image is obtained by encoding, decoding, and diffusion operation according to the sequence. The initial values and parameters of system are generated by Hash algorithm based on plain image, so it has strong sensitivity and can effectively resist attacks such as selective plaintext attack. Experimental results show that the algorithm has high security and robustness, and can resist common attacks. © The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature 2024.

关键词： Chaotic systems

来源：评论

学校读者我要写书评

暂无评论

Empirical Study on Mispronunciation Detection for Tajweed Rules during Quran Recitation 6

Empirical Study on Mispronunciation Detection for Tajweed Ru...

引用

6th International Conference on Computing and Informatics, ICCI 2024

作者： Alsahafí, Yousef S. Asad, Muhammad Department of Information technology Computing and Information technology Khulis College University of Jeddah Jeddah Saudi Arabia Department of Computer and Software Engineering College of Electrical and Mechanical Engineering National University of Science and Technology Islamabad Pakistan

ISBN: (纸本)9798350373875

This paper presents an extensive empirical study aiming to identify the optimal combination of feature extraction techniques and machine learning algorithms, including deep learning, for automated mispronunciation detection during Quran recitation. Three feature extraction methods-Mel-Frequency Cepstral Coefficients (MFCC), Spectrogram, and Kaldi pitch - are systematically evaluated in conjunction with a diverse set of classifiers, including Gradient Boosting (GB), Support Vector Machines (SVM), Logistic Regression (LR), Random Forest (RF), Artificial Neural Network (ANN), Convolutional Neural Networks (CNN), and Long Short-Term Memory (LSTM) networks. The study leverages the QDAT dataset, comprising 1500 audio samples from 150 readers, with metadata specifying age, gender, and three distinct rules for mispronunciation detection. Experimental results demonstrate that the integration of MFCC with deep learning classifiers consistently achieves the highest performance across multiple evaluation metrics. Model robustness is validated using receiver operator characteristic curves (ROC) and accuracy metrics. © 2024 IEEE.

关键词： Speech recognition

来源：评论

学校读者我要写书评

暂无评论

A Cross Attention Transformer-Mixed Feedback Video Recommendation Algorithm Based on DIEN

引用

Computers, Materials & Continua 2025年第1期82卷 977-996页

作者： Jianwei Zhang Zhishang Zhao Zengyu Cai Yuan Feng Liang Zhu Yahui Sun College of Software Engineering Zhengzhou University of Light IndustryZhengzhou450000China Faculty of Information Engineering Xuchang Vocational Technical CollegeXuchang461000China College of Computer Science and Technology Zhengzhou University of Light IndustryZhengzhou450000China College of Electronics and Information Zhengzhou University of Light IndustryZhengzhou450000China

The rapid development of short video platforms poses new challenges for traditional recommendation *** systems typically depend on two types of user behavior feedback to construct user interest profiles:explicit feedback(interactive behavior),which significantly influences users’short-term interests,and implicit feedback(viewing time),which substantially affects their long-term ***,the previous model fails to distinguish between these two feedback methods,leading it to predict only the overall preferences of users based on extensive historical behavior ***,it cannot differentiate between users’long-term and shortterm interests,resulting in low accuracy in describing users’interest states and predicting the evolution of their *** paper introduces a video recommendationmodel calledCAT-MFRec(CrossAttention Transformer-Mixed Feedback Recommendation)designed to differentiate between explicit and implicit user feedback within the DIEN(Deep Interest Evolution Network)*** study emphasizes the separate learning of the two types of behavioral feedback,effectively integrating them through the cross-attention ***,it leverages the long sequence dependence capabilities of Transformer technology to accurately construct user interest profiles and predict the evolution of user *** results indicate that CAT-MF Rec significantly outperforms existing recommendation methods across various performance *** advancement offers new theoretical and practical insights for the development of video recommendations,particularly in addressing complex and dynamic user behavior patterns.

关键词： Video recommendation user interest cross-attention transformer

来源：评论

学校读者我要写书评

暂无评论

Reliable Task Offloading for 6G-Based IoT Applications

引用

Computers, Materials & Continua 2025年第2期82卷 2255-2274页

作者： Usman Mahmood Malik Muhammad Awais Javed Ahmad Naseem Alvi Mohammed Alkhathami Department of Computer Software Engineering National University of Science and Technology(NUST)Islamabad44000Pakistan Department of Electrical and Computer Engineering COMSATS University IslamabadIslamabad45550Pakistan Information Systems Department College of Computer and Information SciencesImam Mohammad Ibn Saud Islamic University(IMSIU)Riyadh11432Saudi Arabia

Fog computing is a key enabling technology of 6G systems as it provides quick and reliable computing,and data storage services which are required for several 6G *** Intelligence(AI)algorithms will be an integral part of 6G systems and efficient task offloading techniques using fog computing will improve their performance and *** this paper,the focus is on the scenario of Partial Offloading of a Task to Multiple Helpers(POMH)in which larger tasks are divided into smaller subtasks and processed in parallel,hence expediting task ***,using POMH presents challenges such as breaking tasks into subtasks and scaling these subtasks based on many interdependent factors to ensure that all subtasks of a task finish simultaneously,preventing resource ***,applying matching theory to POMH scenarios results in dynamic preference profiles of helping devices due to changing subtask sizes,resulting in a difficult-to-solve,externalities *** paper introduces a novel many-to-one matching-based algorithm,designed to address the externalities problem and optimize resource allocation within POMH ***,we propose a new time-efficient preference profiling technique that further enhances time optimization in POMH *** performance of the proposed technique is thoroughly evaluated in comparison to alternate baseline schemes,revealing many advantages of the proposed *** simulation findings indisputably show that the proposed matching-based offloading technique outperforms existing methodologies in the literature,yielding a remarkable 52 reduction in task latency,particularly under high workloads.

关键词： 6G IoT task offloading fog computing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：