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

IEEE International Conference on Requirements engineering

作者： Tom Yaacov Achiya Elyasaf Gera Weiss Computer Science Department Ben-Gurion University of the Negev Software and Information Systems Engineering Department Ben-Gurion University of the Negev

ISBN: (数字)9798350395112

ISBN: (纸本)9798350395129

One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as “don't do X after Y.” The existing BP protocol, however, allows only the enforcement of safety requirements and does not support the execution of liveness properties such as “do X at least three times.” To model liveness requirements in BP directly and independently, we propose idioms for tagging states with “must-finish;’ indicating that tasks are yet to be completed. We show that this idiom allows a direct specification of known requirements patterns from the literature. We also offer semantics and two execution mechanisms, one based on a translation to Büchi automata and the other based on a Markov decision process (MDP). The latter approach offers the possibility of utilizing deep reinforcement learning (DRL) algorithms, which bear the potential to handle large software systems effectively. This paper presents a qualitative and quantitative assessment of the proposed approach using a proof-of-concept tool. A formal analysis of the MDP-based execution mechanism is given in an appendix.

关键词： Protocols software algorithms Semantics Tagging Programming software systems Safety

来源：评论

学校读者我要写书评

暂无评论

Development of Microcontroller-Based Pure Sine Wave Inverter with Overload and Overheating Protection 17

Development of Microcontroller-Based Pure Sine Wave Inverter...

引用

17th IEEE International Conference on Advanced Trends in Radioelectronics, Telecommunications and computer engineering, TCSET 2024

作者： Holovatyy, Andriy Lobur, Mykhaylo Holovata, Sofia Lukaszewicz, Andrzej Nowakowski, Marek Kolesnyk, Kostyantyn Lviv Polytechnic National University Department of Computer-Aided Design Systems Lviv Ukraine Ukrainian National Forestry University Department of Software Engineering Lviv Ukraine Bialystok University of Technology Department of Machinery Design and Operation Bialystok Poland Military Institute of Armoured and Automotive Technology Development Department Sulejowek Poland Lviv Polytechnic National University Department of Computera-Aided Design Systems Lviv Ukraine

ISBN: (纸本)9798331520564

In the paper, hardware and software of the Arduino based pure sine wave inverter with overload and overheating protection have been developed. The inverter constantly monitors the consumption current, the battery voltage, the temperature of the power switches (radiator) and, if their parameters are normal, forms a sinusoidal voltage of 230 V, 50 Hz at the output of the inverter, similar to the network voltage. The inverter provides the display of information on the LCD screen about current and power consumption, battery voltage, temperature of the inverter power switches, as well as display of emergency icons when the permissible operating parameters are exceeded. The inverter generates sound and visual warning messages with LED indicators and buzzer. The inverter can be used as a lightweight low-power 100 W network inverter with sine-wave voltage for autonomous power supply of low-power electronics. © 2024 IEEE.

关键词： Microcontrollers

来源：评论

学校读者我要写书评

暂无评论

Pretrained Model with CNN for Lung Cancer Identification and Classification 7

Pretrained Model with CNN for Lung Cancer Identification and...

引用

7th International Conference on Pattern Recognition and Artificial Intelligence, PRAI 2024

作者： Kanwal, Shaista Ali, Sajid Alahmadi, Tahani Jaser Assam, Muhammad Ansari, Ghulam Jillani Bhatti, Uzair Aslam University of Education Department of Information Sciences Lahore Pakistan College of Computer and Information Sciences Princess Nourah Bint Abdulrahman University Department of Information Systems P.O. Box 84428 Riyadh Saudi Arabia University of Science and Technology Department of Software Engineering KPK Bannu Pakistan School of Information and Communication Engineering Hainan University China

ISBN: (纸本)9798350350890

Lung cancer impacts both genders, and its early detection is key to lowering death rates. Current deep learning techniques for automated identification and classification of lung carcinoma face issues with interpretability, data variability handling, and broader applicability. In our research, we propose a novel method that merges a convolutional neural network (CNN) with a streamlined RESNET18 framework. This approach is designed for lung cancer detection and categorization from CT scans, involving image preprocessing like resizing and rescaling. It effectively differentiates between healthy and cancerous tissues, further classifying them as either Normal, Benign, or Malignant, including variants such as adenocarcinoma and squamous cell carcinoma. Our CNN+RESNET18 model boasts an impressive 99% accuracy, supporting radiologists in the intricate task of image analysis, reducing risks of incorrect or delayed diagnosis, and fostering prompt treatment for improved patient outcomes. © 2024 IEEE.

关键词： Lung cancer

来源：评论

学校读者我要写书评

暂无评论

Hyper-Heuristic Strategy for Input-Output-Based Interaction Testing

Hyper-Heuristic Strategy for Input-Output-Based Interaction ...

引用

Innovative Manufacturing, Mechatronics and Materials Forum, iM3F 2020

作者： Din, Fakhrud Zamli, Kamal Z. Faculty of Computer Systems and Software Engineering Universiti Malaysia Pahang Kuantan Pahang26300 Malaysia Department of Computer Science & IT University of Malakand Lower Dir District KPK Pakistan

ISBN: (纸本)9789813345966

software testing aims at exploring faults within software in order to ensure it meets all necessary specifications. Test case design strategies play key role in software testing. Classical test case design strategies, however, do not sufficiently include support for exploration of faults due to interaction between parameter values. New strategies known as t-way strategies (where t expresses interaction strength) have been developed for finding interaction faults. However, existing t-way strategies for input-output-based relationship (IOR) interaction testing mostly adopt greedy algorithms which often generate poor quality test data. Therefore, this paper presents the design of a new IOR test suite generation strategy called IOR_HH based on the exponential Monte Carlo with counter (EMCQ) hyper-heuristic. EMCQ is a parameter free hyper-heuristic which works as controller of the three implemented low-level meta-heuristic operators, namely crossover, peer learning and global pollination in the proposed IOR_HH strategy. Experimental results demonstrate the impact of the proposed strategy against existing computational strategies for IOR interaction testing. © 2022, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

QoS Prediction Model of Cloud Services Based on Deep Learning

引用

IEEE/CAA Journal of Automatica Sinica 2022年第3期9卷 564-566页

作者： WenJun Huang PeiYun Zhang YuTong Chen MengChu Zhou Yusuf Al-Turki Abdullah Abusorrah Nanjing University of Information Science&Technology School of Computer and SoftwareNanjingChina IEEE New Jersey Institute of Technology Helen and John C.Hartmann Department of Electrical and Computer EngineeringNewarkUSA Center of Research Excellence in Renewable Energy and Power Systems Department of Electrical and Computer EngineeringFaculty of Engineeringand K.A.CARE Energy Research and Innovation CenterKing Abdulaziz UniversityJeddah 21589Saudi Arabia

Dear editor,This letter presents a deep learning-based prediction model for the quality-of-service(QoS)of cloud ***,to improve the QoS prediction accuracy of cloud services,a new QoS prediction model is proposed,which is based on multi-staged multi-metric feature fusion with individual *** multi-metric features include global,local,and individual *** results show that the proposed model can provide more accurate QoS prediction results of cloud services than several state-of-the-art methods.

关键词： services Services individual

来源：评论

学校读者我要写书评

暂无评论

Enhancing Retrieval Augmented Generation systems Using AI Models and Graph Databases

Enhancing Retrieval Augmented Generation Systems Using AI Mo...

引用

Emerging Smart Computing and Informatics (ESCI), Conference on

作者： Souvik Mukherjee Soosan Shabnam Sara Hasan D. Ajitha Department of Computer Science and Engineering Vellore Institute of Technology Vellore India Department of Software Systems School of Computer Science and Engineering (SCOPE) Vellore Institute of Technology Vellore Tamil Nadu India

ISBN: (数字)9798331515683

ISBN: (纸本)9798331515690

This paper outlines the process of generating a Neo4j graph database powered by Language Models (LLMs). The primary goal is to extract structured information from unstructured data, including user profiles, paper briefs, and Slack messages, and convert them into Cypher queries. The data is then ingested into Neo4j to build a graph database that captures relationships between users, paper, technologies, and messages. A pipeline was developed to automate the process, ensuring accurate entity and relationship extraction using predefined templates. This approach allows for efficient data representation and supports consultancy in managing large datasets by generating insightful visualizations and querying capabilities.

关键词： Ciphers Accuracy Databases Pipelines Retrieval augmented generation Loading Data visualization Transforms Paper technology Data mining

来源：评论

学校读者我要写书评

暂无评论

Maize Crop Yield Prediction Using Machine Learning Regression Approach 5th

Maize Crop Yield Prediction Using Machine Learning Regressio...

引用

5th International Conference on Advances in Distributed Computing and Machine Learning, ICADCML 2024

作者： Bedane, Tarikwa Tesfa Kebede, Kidistie Bizuneh Mohapatra, Sudhir Kumar Das, Tapan Kumar Tripathy, Asis Kumar Department of Software Engineering Addis Ababa Science and Technology University Addis Ababa Ethiopia Agricultural Transformation Institute Addis Ababa Ethiopia Faculty of Emerging Technologies Sri Sri University Cuttack India School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore India

ISBN: (纸本)9789819735228

Given maize’s significant role as a staple crop, it becomes imperative to carry out precise crop yield prediction to ensure food security. This research employs machine learning algorithms to analyze historical data related to maize crop yields, with the aim of developing a predictive model. The outcome of this study can serve as a valuable tool for pre-harvest planning and measuring crop production per unit of land area. The dataset utilized in this research spans from 2010 to 2021 and was sourced from Ethiopia’s Central Statistical Agency. Three machine learning regression algorithms—Logistic Regression, XGBoost, and Random Forest—were employed to design the predictive model. After data preparation and preprocessing, a total of 436,358 records were used for model development. The models were further trained with reduced features using principal component analysis (PCA). The experimental results demonstrate that the Random Forest algorithm, trained with a reduced number of features through PCA, yielded superior performance, with a lower error rate and a high R2 score of 0.98. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Smart Diagnostic System for Early Detection and Prediction of Polycystic Ovary Syndrome

Smart Diagnostic System for Early Detection and Prediction o...

引用

2023 International Conference on computer Communication and Informatics, ICCCI 2023

作者： Harish, K.P. Dhivyanchali, M.N. Devi, K.Nirmala Krishnamoorthy, N. Dhana Sree, R. Dharanidharan, R. Kongu Engineering College Department of Computer Science & Engineering Erode India Swamy Vivekanandha Medical College Hospital and Research Institute Elayampalayam Tamilnadu Tiruchengode637 205 India Vellore Institute of Technology Vellore Campus School of Information Technology and Engineering Department of Software Systems and Engineering Tamilnadu 632014 India

ISBN: (纸本)9798350348217

PCOS are the serious condition which affects female ovaries during their reproductive age of 15 to 45. This disease affects 5 to 10% of reproductive-age females. Although it is difficult to fully resolve this issue,the PCOS affected women can be mitigated through proper exercise, by taking proper nutritious diet and maintaining the healthy BMI. Until they take a pregnancy test, the majority of women are unaware of the disease. The clinical dataset has the 541 instances and 45 attributes of unbalanced classes of 0 and 1 (no and yes) which has 364 instances of 0 (no) class and 177 instances of 1 (yes) class. Preprocessing is done for the unbalanced dataset by filling the null values and changing the datatype of all attributes to numeric datatypes. The unbalanced dataset is balanced by the balancing techniques of SMOTE and Random Over Sampling. Comparing the both balanced techniques through the accuracy the random oversampling gives the *** supervised learning algorithms are Decision tree, KNN,Random Forest,AdaBoost, Logistic regression,Gradient boosting, cat boosting, XGBoosting, Linear SVM, Radial SVM, Linear discriminant analysis and Quadratic discriminant analysis are *** supervised learning algorithms are trained and tested by splitting the dataset to 70% for training and 30% for testing. The ensemble stacking techniques are used by implementing the all models at the cross validation of *** xgboost gives the accuracy of 96% for the balanced dataset. © 2023 IEEE.

关键词： Adaptive boosting

来源：评论

学校读者我要写书评

暂无评论

Security Aspects of Container Orchestration in Kubernetes Environments

Security Aspects of Container Orchestration in Kubernetes En...

引用

International Symposium on INFOTEH-JAHORINA (INFOTEH)

作者： Sava Stanišić Milan Vesković Olga Ristić Borislav Đorđević Department of Computer and Software Engineering Faculty of Technical Sciences Čačak Republic of Serbia IMP Computer Systems Mihajlo Pupin Institute Belgrade Republic of Serbia

ISBN: (数字)9798331515799

ISBN: (纸本)9798331515805

Security is one of the key challenges in container orchestration, especially in complex environments. This paper explores the security aspects of implementing containerized applications using Docker within a Kubernetes cluster. The first part of the paper describes Docker, Kubernetes, and various ways of applying them within DevOps methodology. It then presents potential vulnerabilities during the implementation of these technologies, as well as vulnerabilities specific to Docker and Kubernetes. Subsequently, some solutions for securing a Kubernetes environment are described.

关键词： DevOps Scalability Organizations Containers Stability analysis Malware Complexity theory Security Object recognition Resilience

来源：评论

学校读者我要写书评

暂无评论

Bluetooth Vulnerabilities and Security

Bluetooth Vulnerabilities and Security

引用

Emerging Smart Computing and Informatics (ESCI), Conference on

作者： Mareeswari V Vijayan R Ashish Shukla Department of Software and Systems Engineering School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore India Department of Information Technology School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore India Master of Computer Applications School of Computer Science Engineering and Information Systems (SCORE) Vellore Institute of Technology (VIT) Vellore India

ISBN: (数字)9798331515683

ISBN: (纸本)9798331515690

Bluetooth technology, which facilitates wireless communication between Billions of devices including smartphones, tablets, laptops, and Internet of Thing (IoT) devices, is a cornerstone of modern connectivity. Its importance lies in its ability to enable seamless data exchange and interaction across a wide range of applications, from personal gadgets to complex industrial systems. Despite its widespread adoption, Bluetooth is not immune to critical security vulnerabilities. Issues like Bluetooth Low Energy (BLE) vulnerabilities and denial-of-service (DoS) attacks can overwhelm devices with excessive traffic, while BLE Forced Connection can lead to unauthorized access, and eavesdropping exposes sensitive data being exchanged. We have discussed these vulnerabilities in detail, examining their mechanisms, potential impacts, and various implementation aspects. Additionally, we have added demonstrations to illustrate how these attacks can be executed and the potential consequences. To prevent these threats, we explored essential measures, including regular firmware updates, secure pairing protocols, and careful management of Bluetooth settings. Adopting best practices like disabling Bluetooth when not in use and monitoring connected devices can further enhance security, ensuring the reliable and safe operation of the vast and growing ecosystem of Bluetooth-enabled devices.

关键词： Wireless communication Ethics Protocols Ecosystems Denial-of-service attack Security Internet of Things Bluetooth Low Energy Microprogramming Guidelines

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：