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

Modeling and Verification of Aircraft Takeoff Through Novel Quantum Nets

computers, Materials & Continua 2022年第8期72卷 3331-3348页

作者： Maryam Jamal Nazir Ahmad Zafar Atta-ur-Rahman Dhiaa Musleh Mohammed A.Gollapalli Sghaier Chabani School of Systems and Technology University of Management&Technology(UMT)C-II Block C 2 Phase 1 Johar TownLahore54770PunjabPakistan Department of Computer Science COMSATS University Islamabad–Sahiwal CampusSahiwal57000PunjabPakistan Department of Computer Science(CS) College of Computer Science and Information Technology(CCSIT)Imam Abdulrahman Bin Faisal University(IAU)Dammam31441Saudi Arabia Department of Computer Information System(CIS) College of Computer Science and Information Technology(CCSIT)Imam Abdulrahman Bin Faisal University(IAU)Dammam31441Saudi Arabia

The formal modeling and verification of aircraft takeoff is a challenge because it is a complex safety-critical *** task of aircraft takeoff is distributed amongst various computer-based controllers,however,with the growing malicious threats a secure communication between aircraft and controllers becomes highly *** research serves as a starting point for integration of BB84 quantum protocol with petri nets for secure modeling and verification of takeoff *** integrated model combines the BB84 quantum cryptographic protocol with powerful verification tool support offered by petri *** model certain important properties of BB84,a new variant of petri nets coined as Quantum Nets are proposed by defining their mathematical foundations and overall system dynamics,furthermore,some important system properties are also abstractly *** proposed QuantumNets are then applied for modeling of aircraft takeoff process by defining three quantum nets:namely aircraft,runway controller and gate *** authentication between quantum nets,the use of external places and transitions is demonstrated to describe the encryptiondecryption process of qubits ***,the developed takeoff quantum network is verified through simulation offered by colored petri-net(CPN)***,reachability tree(RT)analysis is also performed to have greater confidence in feasibility and correctness of the proposed aircraft takeoff model through the Quantum Nets.

关键词： Aircraft takeoff BB84 quantum cryptography petri-nets quantum nets formal modeling and verification

来源：评论

学校读者我要写书评

暂无评论

A Hybrid WSVM-Levy Approach for Energy-Efficient Manufacturing Using Big Data and IoT

引用

computers, Materials & Continua 2024年第12期81卷 4895-4914页

作者： Surbhi Bhatia Khan Mohammad Alojail Mahesh Thyluru Ramakrishna Hemant Sharma School of Science Engineering and EnvironmentUniversity of SalfordManchesterM68HDUK University Centre for Research and Development Chandigarh UniversityMohali140307India Management Information System Department College of Business AdministrationKing Saud UniversityRiyadh11495Saudi Arabia Department of Computer Science and Engineering JAIN(Deemed-to-be University)Bangalore560030India Department of Computer Science and Engineering IES College of TechnologyBhopal462044India

In Intelligent Manufacturing,Big Data and industrial information enable enterprises to closely monitor and respond to precise changes in both internal processes and external environmental factors,ensuring more informed decision-making and adaptive system *** also promotes decision making and provides scientific analysis to enhance the efficiency of the operation,cost reduction,maximizing the process of production and so *** methods are employed to enhance productivity,yet achieving sustainable manufacturing remains a complex challenge that requires careful *** study aims to develop a methodology for effective manufacturing sustainability by proposing a novel Hybrid Weighted Support Vector-based Lévy flight(HWS-LF)*** objective of the HWS-LF method is to improve the environmental,economic,and social aspects of manufacturing *** this approach,Support Vector Machines(SVM)are used to classify data points by identifying the optimal hyperplane to separate different classes,thereby supporting predictive maintenance and quality control in *** Forest is applied to boost efficiency,resource allocation,and production optimization.A Weighted Average Ensemble technique is employed to combine predictions from multiple models,assigning different weights to ensure an accurate system for evaluating manufacturing ***,Lévy flight Optimization is incorporated to enhance the performance of the HWS-LF method *** method’s effectiveness is assessed using various evaluation metrics,including accuracy,precision,recall,F1-score,and *** show that the proposed HWS-LF method outperforms other state-of-the-art techniques,demonstrating superior productivity and system performance.

关键词： Sustainable manufacturing support vector machine random forest levy flight optimization weighted average ensemble

来源：评论

学校读者我要写书评

暂无评论

Leaching Fraction (LF) of Irrigation Water for Saline Soils Using Machine Learning

引用

Intelligent Automation & Soft Computing 2023年第5期36卷 1915-1930页

作者： Rab Nawaz Bashir Imran Sarwar Bajwa Muhammad Waseem Iqbal Muhammad Usman Ashraf Ahmed Mohammed Alghamdi Adel ABahaddad Khalid Ali Almarhabi Department of Computer Science COMSATS University IslamabadVehari CampusPakistan Department of Computer Science and IT Islamia University BahawalpurPakistan Department of Software Engineering Superior University Lahore54000Pakistan Department of Computer Science GC Women UniversitySialkot53310Pakistan Department of Software Engineering College of Computer Science and EngineeringUniversity of Jeddah21493Saudi Arabia Department of Information System Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Department of Computer Science College of Computing in Al-QunfudahUmm Al-Qura UniversityMakkah24381Saudi Arabia

Soil salinity is a serious land degradation issue in *** is a major threat to agriculture *** irrigation water is applied to leach down the salts from the root zone of the plants in the form of a Leaching fraction(LF)of irrigation *** the leaching process to be effective,the LF of irriga-tion water needs to be adjusted according to the environmental conditions and soil salinity level in the form of Evapotranspiration(ET)*** relationship between environmental conditions and ET rate is hard to be deﬁned by a linear relationship and data-driven Machine learning(ML)based decisions are required to determine the calibrated Evapotranspiration(ETc)***-assisted ETc is pro-posed to adjust the LF according to the ETc and soil salinity level.A regression model is proposed to determine the ETc rate according to the prevailing tempera-ture,humidity,and sunshine,which would be used to determine the smart LF according to the ETc and soil salinity *** proposed model is trained and tested against the Blaney Criddle method of Reference evapotranspiration(ETo)*** validation of the model from the test dataset reveals the accu-racy of the ML model in terms of Root mean squared errors(RMSE)are 0.41,Mean absolute errors(MAE)are 0.34,and Mean squared errors(MSE)are 0.28 mm *** applications of the proposed solution in a real-time environ-ment show that the LF by the proposed solution is more effective in reducing the soil salinity as compared to the traditional process of leaching.

关键词： Leaching fraction saline soil evapotranspiration machine learning calibrated evapotranspiration artiﬁcial intelligence blaney criddle method

来源：评论

学校读者我要写书评

暂无评论

Position Measurement Based Slave Torque Feedback Control for Teleoperation systems With Time-Varying Communication Delays

引用

IEEE/CAA Journal of Automatica Sinica 2023年第2期10卷 388-402页

作者： Xian Yang Jing Yan Changchun Hua Xinping Guan the Institute of Information Science and Engineering Yanshan University the Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province Qinhuangdao 066004China IEEE the Institute of Electrical Engineering Yanshan UniversityQinhuangdao 066004China the Department of Automation Shanghai Jiao Tong UniversityShanghai 200240China

Bilateral teleoperation system is referred to as a promising technology to extend human actions and intelligence to manipulating objects *** the tracking control of teleoperation systems,velocity measurements are necessary to provide feedback ***,due to hardware technology and cost constraints,the velocity measurements are not always *** addition,the time-varying communication delay makes it challenging to achieve tracking *** paper provides a solution to the issue of real-time tracking for teleoperation systems,subjected to unavailable velocity signals and time-varying communication *** order to estimate the velocity information,immersion and invariance(I&I)technique is employed to develop an exponential stability velocity *** the proposed velocity observer,a linear relationship between position and observation state is constructed,through which the need of solving partial differential and certain integral equations can be ***,the mean value theorem is exploited to separate the observation error terms,and hence,all functions in our observer can be analytically *** the estimated velocity information,a slave-torque feedback control law is presented.A novel Lyapunov-Krasovskii functional is constructed to establish asymptotic tracking *** particular,the relationship between the controller design parameters and the allowable maximum delay values is ***,simulation and experimental results reveal that the proposed velocity observer and controller can guarantee that the observation errors and tracking error converge to zero.

关键词： Asymptotic stability bilateral teleoperation time-varying delay velocity observer

来源：评论

学校读者我要写书评

暂无评论

Intelligent Deep Convolutional Neural Network Based Object DetectionModel for Visually Challenged People

引用

computer systems Science & Engineering 2023年第9期46卷 3191-3207页

作者： S.Kiruthika Devi Amani Abdulrahman Albraikan Fahd N.Al-Wesabi Mohamed K.Nour Ahmed Ashour Anwer Mustafa Hilal Department of Computing Technology SRM Institute of Science and TechnologyIndia Department of Computer Sciences College of Computer and Information SciencesPrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Science College of Science&Art at MahayilKing Khalid UniversitySaudi Arabia Department of Computer Science College of Computing and Information SystemUmm Al-Qura UniversitySaudi Arabia Department of Engineering Mathematics and Physics Faculty of Engineering and TechnologyFuture University in EgyptNew Cairo11845Egypt Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharjSaudi Arabia

Artificial Intelligence(AI)and computer Vision(CV)advancements have led to many useful methodologies in recent years,particularly to help visually-challenged *** detection includes a variety of challenges,for example,handlingmultiple class images,images that get augmented when captured by a camera and so *** test images include all these variants as *** detection models alert them about their surroundings when they want to walk *** study compares four CNN-based pre-trainedmodels:ResidualNetwork(ResNet-50),Inception v3,DenseConvolutional Network(DenseNet-121),and SqueezeNet,predominantly used in image recognition *** on the analysis performed on these test images,the study infers that Inception V3 outperformed other pre-trained models in terms of accuracy and *** further improve the performance of the Inception v3 model,the thermal exchange optimization(TEO)algorithm is applied to tune the hyperparameters(number of epochs,batch size,and learning rate)showing the novelty of the *** accuracy was achieved owing to the inclusion of an auxiliary classifier as a regularizer,hyperparameter optimizer,and factorization ***,Inception V3 can handle images of different *** makes Inception V3 the optimum model for assisting visually challenged people in real-world communication when integrated with Internet of Things(IoT)-based devices.

关键词： Pre-trained models object detection visually challenged people deep learning Inception V3 DenseNet-121

来源：评论

学校读者我要写书评

暂无评论

Optimal Deep Hybrid Boltzmann Machine Based Arabic Corpus Classification Model

引用

computer systems Science & Engineering 2023年第9期46卷 2755-2772页

作者： Mesfer Al Duhayyim Badriyya B.Al-onazi Mohamed K.Nour Ayman Yafoz Amal S.Mehanna Ishfaq Yaseen Amgad Atta Abdelmageed Gouse Pasha Mohammed Department of Computer Science College of Computer Engineering and SciencesPrince Sattam bin Abdulaziz UniversityAl-Kharj16273Saudi Arabia Department of Language Preparation Arabic Language Teaching InstitutePrincess Nourah bint Abdulrahman UniversityP.O.Box 84428Riyadh11671Saudi Arabia Department of Computer Sciences College of Computing and Information SystemUmm Al-Qura UniversityMakkah 24211Saudi Arabia Department of Information Systems Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddahSaudi Arabia Department of Digital Media Faculty of Computers and Information TechnologyFuture University in EgyptNew Cairo11845Egypt Department of Computer and Self Development Preparatory Year DeanshipPrince Sattam bin Abdulaziz UniversityAlKharjSaudi Arabia

Natural Language Processing(NLP)for the Arabic language has gained much significance in recent *** most commonly-utilized NLP task is the‘Text Classification’*** main intention is to apply the Machine Learning(ML)approaches for automatically classifying the textual files into one or more pre-defined *** ML approaches,the first and foremost crucial step is identifying an appropriate large dataset to test and train the *** of the trending ML techniques,i.e.,Deep Learning(DL)technique needs huge volumes of different types of datasets for training to yield the best *** current study designs a new Dice Optimization with a Deep Hybrid Boltzmann Machinebased Arabic Corpus Classification(DODHBM-ACC)model in this *** presented DODHBM-ACC model primarily relies upon different stages of pre-processing and the word2vec word embedding *** Arabic text classification,the DHBM technique is *** technique is a hybrid version of the Deep Boltzmann Machine(DBM)and Deep Belief Network(DBN).It has the advantage of learning the decisive intention of the classification *** adjust the hyperparameters of the DHBM technique,the Dice Optimization Algorithm(DOA)is exploited in this *** experimental analysis was conducted to establish the superior performance of the proposed DODHBM-ACC *** outcomes inferred the better performance of the proposed DODHBM-ACC model over other recent approaches.

关键词： Arabic corpus text classification machine learning deep learning dice optimization

来源：评论

学校读者我要写书评

暂无评论

OSAP‐Loss:Efficient optimization of average precision via involving samples after positive ones towards remote sensing image retrieval

引用

CAAI Transactions on Intelligence technology 2023年第4期8卷 1191-1212页

作者： Xin Yuan Xin Xu Xiao Wang Kai Zhang Liang Liao Zheng Wang Chia‐Wen Lin School of Computer Science and Technology Wuhan University of Science and TechnologyWuhanChina Hubei Province Key Laboratory of Intelligent Information Processing and Real‐time Industrial System Wuhan University of Science and TechnologyWuhanChina Nanyang Technological University SingaporeSingapore School of Computer Science Wuhan UniversityWuhanChina Department of Electrical Engineering Industrial Technology Research InstituteNational Tsing Hua UniversityHsinchuChina

In existing remote sensing image retrieval(RSIR)datasets,the number of images among different classes varies dramatically,which leads to a severe class imbalance *** studies propose to train the model with the ranking‐based metric(e.g.,average precision[AP]),because AP is robust to class ***,current AP‐based methods overlook an important issue:only optimising samples ranking before each positive sample,which is limited by the definition of AP and is prone to local *** achieve global optimisation of AP,a novel method,namely Optimising Samples after positive ones&AP loss(OSAP‐Loss)is proposed in this ***,a novel superior ranking function is designed to make the AP loss differentiable while providing a tighter upper ***,a novel loss called Optimising Samples after Positive ones(OSP)loss is proposed to involve all positive and negative samples ranking after each positive one and to provide a more flexible optimisation strategy for each ***,a graphics processing unit memory‐free mechanism is developed to thoroughly address the non‐decomposability of AP *** experimental results on RSIR as well as conventional image retrieval datasets show the superiority and competitive performance of OSAP‐Loss compared to the state‐of‐the‐art.

关键词： computer vision image retrieval metric learning

来源：评论

学校读者我要写书评

暂无评论

Game-Theory Model of a Two-Level Hierarchical Game with Distributed Control 4

Game-Theory Model of a Two-Level Hierarchical Game with Dist...

引用

4th IEEE International Conference on Smart information systems and Technologies, SIST 2024

作者： Chernov, Serhii Titov, Serhii Chernova, Liudmyla Chernova, Liubava Chinibayeva, Tolganay Trushliakov, Eugeniy Department of Technology & Information System Management National Ship Building University named after Admiral Makarov Ukraine Mykolaiv Ukraine Computer Engineering Department International University of Information Technology Almaty Kazakhstan Department of Air Conditioning & Refrigeration Department National Ship Building University named after Admiral Makarov Ukraine Mykolaiv Ukraine

ISBN: (纸本)9798350374865

Synergic soundness of combining activities of competence points at managing a particular item being a player in a hierarchical game was confirmed as per the game and theoretical pattern. An arbitrary set comprising a couple of points of intelligence was studied as a bi-level hierarchical game. Authors have scrutinized all prerequisites for antagonism and game equilibrium, they have confirmed the efficiency of strategies of merger or cooperation of the player management centers in a system with distributed control. The thesis is exploring the elaborated methodology of investigating propositions raised by crew personnel towards precluding contradictory statuses within the phase of the crew foundation. The scrutinized procedure is built-up on fundamentals of the game and theory ideas. Controversies among multiple crew players basically emerge during the crew establishing period. For a program leader, the main assignment is to reveal a deviating status beforehand enough and to discover a path forward to solve the same for the benefit of every crew player and with no injury to the crew activities in the whole. A crew that was constituted towards fulfilment of a joint project frequently faces a position in which a couple of players involved in it form their deviating opinion about the concepts of the ultimate produce establishing. In that situation, either of the players possesses a vast knowledge in elaborating produces and activities of such kind in a series of crews belonging to their practical skills. © 2024 IEEE.

关键词： Efficiency

来源：评论

学校读者我要写书评

暂无评论

Simultaneous segmentation and classification of colon cancer polyp images using a dual branch multi-task learning network

引用

Mathematical Biosciences and Engineering 2024年第2期21卷 2024-2049页

作者： Li, Chenqian Liu, Jun Tang, Jinshan School of Computer Science and Technology Wuhan University of Science and Technology Wuhan430065 China Hubei Province Key Laboratory of Intelligent Information Processing and Real-Time Industrial System Wuhan430065 China Department of Health Administration and Policy College of Public Health George Mason University FairfaxVA22030 United States

Accurate classification and segmentation of polyps are two important tasks in the diagnosis and treatment of colorectal cancers. Existing models perform segmentation and classification separately and do not fully make use of the correlation between the two tasks. Furthermore, polyps exhibit random regions and varying shapes and sizes, and they often share similar boundaries and backgrounds. However, existing models fail to consider these factors and thus are not robust because of their inherent limitations. To address these issues, we developed a multi-task network that performs both segmentation and classification simultaneously and can cope with the aforementioned factors effectively. Our proposed network possesses a dual-branch structure, comprising a transformer branch and a convolutional neural network (CNN) branch. This approach enhances local details within the global representation, improving both local feature awareness and global contextual understanding, thus contributing to the improved preservation of polyp-related information. Additionally, we have designed a feature interaction module (FIM) aimed at bridging the semantic gap between the two branches and facilitating the integration of diverse semantic information from both branches. This integration enables the full capture of global context information and local details related to polyps. To prevent the loss of edge detail information crucial for polyp identification, we have introduced a reverse attention boundary enhancement (RABE) module to gradually enhance edge structures and detailed information within polyp regions. Finally, we conducted extensive experiments on five publicly available datasets to evaluate the performance of our method in both polyp segmentation and classification tasks. The experimental results confirm that our proposed method outperforms other state-of-the-art methods. ©2024 the Author(s), licensee AIMS Press.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Investigating the Effectiveness of Artificial Intelligence in Watermarking and Steganography for Digital Media Security 21

Investigating the Effectiveness of Artificial Intelligence i...

引用

21st International Multi-Conference on systems, Signals and Devices, SSD 2024

作者： Abdalwahid, Shadan M.J.A Hashim, Wassan Adnan Saeed, Mohammed Ganim Altaie, Sarmad A. Kareem, Shahab Wahhab Engineering College Erbil Polytechnic University Information System Engineering Dept. Erbil Iraq AIQAlam University College Medical Instruments Techniques Dept Kirkuk Iraq Dohuk Polytechnic University Department of Information Technology Dohuk Iraq University of Technology Computer Engineering Department Baghdad Iraq Erbil Technical Engineering College Erbil Polytechnic University Information System Engineering Dept. Erbil Iraq

ISBN: (纸本)9798350374131

Watermarking and Steganography are methods of embedding digital information within images or other media, such as text or audio, for the purpose of Copyright Protection or covert communication. This field of study is not recent and has been ongoing for several years, culminating in its current advanced stage. The utilization of Artificial Intelligence algorithms has played a pivotal role in revolutionizing various aspects, including security concerns and the precision of outcomes, as compared to traditional methods. This paper focuses on doing an in-depth analysis of cutting-edge research, techniques, and methodologies employed in the domain of Watermarking and Steganography, specifically in conjunction with Artificial Intelligence. By thoroughly examining and evaluating a collection of recent studies in this domain, we have scrutinized the outcomes of each study with respect to its research goal, the acquired results, the employed algorithm, and the research's robustness in terms of susceptibility to various forms of attacks and the technique of data embedding. Our findings indicate that the use of Artificial Intelligence algorithms has a substantial influence on enhancing result precision, system resilience, and establishing data ownership. Deep Neural Networks (DNN) are essential in Watermarking and Steganography due to their robustness, effectiveness, and accuracy. Novel methodologies and systems improve security, incorporation rates, precision of detection, and speed of convergence. Deep learning is being investigated in techniques such as data concealment, information hiding, and steganography to improve security. © 2024 IEEE.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：