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

Proceedings of the tenth SIGCSE technical symposium on computer science education

作者： A. J. Adams John Maniotes Information Systems and Computer Programming Department Purdue University Calumet Campus Hammond Indiana

ISBN: (纸本)9781450374316

It is the intent of this paper to describe an implementation of a curriculum compatable with the ACM “Curriculum Recommendations and Guide-lines for the Community and Junior College Career Program in computer programming” (also known as the “Little Report”). In order to facilitate comparisons among curricula, this paper follows the “format” developed by members of the ACM C3S-CAJC working group.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of Safety-Related Intrusion Detection for an Industrial Robotic Arm

Implementation of Safety-Related Intrusion Detection for an ...

引用

2025 International Conference on Control, Automation, and Instrumentation, IC2AI 2025

作者： Haydar, Georgio Abou Telawi, Samer Borcsok, Josef Architecture and System Programming University of Kassel Department of Computer Kassel Germany

ISBN: (纸本)9798331529604

Ensuring the safety of human workers collaborating with industrial robots is paramount. This research work presents a novel approach by developing a safety-related intruder detection system for the operational zones of industrial robots, following the IEC 61508 standard and adopting the related redundant architecture. The hardware integrates light curtains and radar sensors in a dual-layer configuration, while the software utilizes a safety system-on-chip to implement real-time diagnostics and fault tolerance. Protecting employees and ensuring a smooth and safe work environment are significant concerns for all companies. As a result, numerous standards and regulations have been established to provide safe collaboration between humans and machines. However, despite these measures, accidents continue to occur, resulting in varying degrees of injuries. The proposed system is depicted through a comprehensive schematic, emphasizing the integration of safety measures within the robotic environment. The detailed prototype demonstrates practical application, show-casing the system's ability to detect intrusions, initiate emergency responses, and transition to fail-safe states during component failures. This research work advances safety protocols in human-robot collaboration within industrial settings, fostering a safe working environment through a well-defined safety framework. © 2025 IEEE.

关键词： Industrial robots

来源：评论

学校读者我要写书评

暂无评论

LLM-based code generation and system migration in language-driven engineering

引用

International Journal on Software Tools for Technology Transfer 2025年 1-11页

作者： Busch, Daniel Bainczyk, Alexander Smyth, Steven Steffen, Bernhard Department of Computer Science Chair for Programming Systems TU Dortmund University Dortmund44227 Germany

This paper illustrates the power of extending Language Driven Engineering (LDE) with Domain-Specific Natural Languages (DSNLs) through a case study on two levels. Both cases benefit from the characteristic decomposition feature of LDE, resulting in tasks tailored to the application of domain-specific languages, here with a focus on the application of DSNLs supported by LLM-based code generation. In the first case study, we show how DSNL-supported LDE facilitates the development of point-and-click adventures, whereas the second case study focuses on migration: We demonstrate how the entire LDE scenario for point-and-click adventure games can be migrated to output TypeScript instead of JavaScript using LLM-based code generation exclusively, without manually writing any code. This migration not only infers the required types, but also preserves an important property of the original LDE scenario: generated web applications can be automatically validated by design via automata learning and subsequent model checking. Even better, this property can be exploited to automatically validate the correctness of the migration by learning so-called difference automata that characterize the behavioral differences between the generated JavaScript-based and Type-Script-based applications. © The Author(s) 2025.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

An Improved Numerical Solution of Modified Regularized Long Wave Equation by Quartic Trigonometric B-Spline

引用

International Journal of Applied and Computational Mathematics 2025年第2期11卷 1-17页

作者： Kırlı, Emre Mersin, Mehmet Ali Department of Mathematics Aksaray University Aksaray 68000 Türkiye Computer Programming Aksaray University Aksaray 68000 Türkiye

This study presents the application of a numerical method specifically designed to solve the Modified Regularized Long Wave equation, a crucial model in the analysis of non-linear wave dynamics. The proposed method employs a Quartic Trigonometric B-spline approach for spatial discretization, which ensures smooth and accurate interpolation across the spatial domain, while temporal integration is conducted using the well-established fourth-order Runge–Kutta (RK4) scheme, known for its stability and precision. To evaluate the performance of the method, it is applied to three test problems: the propagation of a single solitary wave, the interaction between two and three solitary waves. The invariant quantities are computed for all test cases. To ensure the stability of the method, a stability analysis is performed through the computation of eigenvalues. The results demonstrate that the proposed method achieves a high degree of accuracy in preserving the invariant properties and produces minimal error, highlighting its efficiency and reliability. © The Author(s), under exclusive licence to Springer Nature India Private Limited 2025.

关键词： Modified regularized long wave Quartic trigonometric B-spline Runge Kutta Solitary wave

来源：评论

学校读者我要写书评

暂无评论

A fault-tolerant scheduling strategy through proactive and clustering techniques for scientific workflows in cloud computing

引用

Soft Computing 2025年第2期29卷 755-781页

作者： Farhood, Suha Mubdir Khorsand, Reihaneh Hussein, Nashwan Jasim Ramezanpour, Mohammadreza Branch Islamic Azad University Isfahan Iran Department of Programming Collage of Information Technology University of Babylon Hillah Iraq Department of Computer Engineering Mobarakeh Branch Islamic Azad University Mobarakeh Isfahan Iran

Cloud computing offers solutions for various scientific and business applications. Large-scale scientific applications, which are organized as scientific workflows, are carried out using cloud computing. However, the higher failure rates in cloud computing can be attributed to the numerous servers and components dealing with intense workloads. This study presents a fault-tolerant scheduling approach using proactive and clustering methods for scientific workflows in cloud computing. Initially, the task clustering issue is addressed by consolidating multiple short-duration tasks into a single job to improve the runtime performance of workflow executions. Subsequently, an automated workflow scheduling strategy is outlined with four key stages: monitoring, analysis, planning, and execution. During monitoring, clustered jobs and the capacities of available cloud resources are observed. In the analysis phase, the accuracy of failure prediction is enhanced by employing the Group Method of Data Handling (GMDH) neural network prior to any faults or failures. The planning stage introduces a novel hybrid multi-objective algorithm, MOPSO-aSA, based on MOPSO and adaptive simulated annealing (SA), to streamline workflow scheduling in error-prone execution environments. Moreover, the reliability of application execution is maintained through re-clustering and migration techniques following any faults or failures. Finally, based on the experimental findings, it is evident that the proposed strategy surpasses other methods in terms of makespan, total cost, energy consumption, and failure rate. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2025.

关键词： Simulated annealing

来源：评论

学校读者我要写书评

暂无评论

Analyzing a Transportation Problem with Reliability Under the Shadowed Environment

引用

Operations Research Forum 2025年第2期6卷 1-38页

作者： Bera, Raj Kumar Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore India

The concept of reliability is crucial in assessing the ability of a transportation network to provide the continuity in operation. Because of this, in the recent transportation business, sources are being pressurized to deliver items reliably and cost-effectively. In such a direction, a classical transportation problem has been modified to a reliable transportation problem by incorporating the transportation reliability along with cost. Also, the main objective of this study is to minimize the cost and maximize the reliability of the proposed problem simultaneously. Here, the transportation reliability has been considered based on the deterioration of items and failure of the transportation mode. It is noted that both the cost and reliability of each path are assigned through negotiation at the beginning of the business; therefore, both data are uncertain. Also, to properly cover the uncertainty, the model has been formulated under the shadowed environment. To solve the proposed model, various methodologies are developed such as a weighted-based de-shadowed procedure to convert the uncertain model into an equivalent deterministic model, a weighted sum method to convert the multi-objective model into a single objective model, the lingo solver to find the optimal result, and a method to find the most efficient pareto optimal result. To justify the impact and significance of the proposed model in the real world, some numerical studies have been done. The variation of results due to uncertainty has been presented. In addition, the effect of negotiation on the uncertainty has been discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementation of Safety-Related Intrusion Detection for an Industrial Robotic Arm

Implementation of Safety-Related Intrusion Detection for an ...

引用

Control, Automation, and Instrumentation (IC2AI), International Conference on

作者： Georgio Abou Haydar Samer Telawi Josef Börcsök Department of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (数字)9798331529604

ISBN: (纸本)9798331529611

关键词： Service robots Intrusion detection Prototypes Human-robot interaction Industrial robots Manipulators Safety System-on-chip IEC Standards Standards

来源：评论

学校读者我要写书评

暂无评论

Improving the accuracy of soil texture determination using pH and electro conductivity values with ultrasound penetration-based digital soil texture analyzer

引用

PeerJ computer Science 2025年 11卷 e2663-e2663页

作者： Kilinc, Emre Orhan, Umut Computer Programming/Patnos Vocational High School Agri İbrahim Cecen University Agri Turkey Computer Engineering/Faculty of Engineering Cukurova University Adana Turkey

Soil texture analysis is critical for advancing agricultural productivity, ensuring environmental sustainability, and maintaining ecosystem balance. Traditional sedimentation-based methods, such as the hydrometer technique, are fast and practical but prone to inaccuracies due to the effects of water-soluble substances. This study focuses on the practical framework of integrating pH (potential of hydrogen) and EC (electrical conductivity), as indicators of dissolved substances that influence soil texture estimation. Using the Ultrasound Penetration-based Digital Soil Texture Analyzer (USTA), this research combined ultrasound time series data with pH and EC measurements to predict sand, silt, and clay ratios through machine learning methods—support vector regression (SVR), Random Forest (RF), and multi-layer perceptron neural network (MLPNN). Simulations showed that RF yielded the best results, improving R2 values to 0.52, 0.33, and 0.31 for sand, silt, and clay, respectively. The enhanced model performance demonstrates the viability of integrating pH and EC with advanced machine learning techniques to improve soil texture analysis accuracy. These findings suggest that automated systems like USTA, with modular pH and EC sensors, can provide cost-effective, efficient alternatives to traditional methods, offering practical implications for soil management and agricultural optimization. © 2025 Kilinc and Orhan

关键词： Multilayer neural networks

来源：评论

学校读者我要写书评

暂无评论

Academic Fraud Detection in Online Exams with DNN's Multilayer Model

Academic Fraud Detection in Online Exams with DNN's Multilay...

引用

International Symposium on Digital Forensic and Security (ISDFS)

作者： Bahaddin Erdem Murat Karabatak Department of Computer Programming Bitlis Eren University Bitlis Turkey Department of Software Engineering Firat University Elaziğ Turkey

ISBN: (数字)9798331509934

ISBN: (纸本)9798331509941

This study aims to reveal the best deep learning models that are improved and optimized by predicting undesirable behavior patterns using a dataset consisting of artificial and real exam data of students taking online distance education courses in an online environment through the distance education system. Using online exam data of 129 students, the researchers conducted analysis with two different scenarios to determine the best prediction performance through regression and classification models. The model we proposed was determined as a four-layer DNN with 80.4% test performance in detecting students who “cheated” from undesirable behavior patterns, which was performed with K-10, K-5 and K-3 cross-validation. The results prove that students' online distance education exam data can be easily applied to the DNN model. The models presented in the study provide a roadmap for educational institutions to evaluate their online examination practices and develop more effective strategies for academic honesty.

关键词： Deep learning Analytical models Digital forensics Predictive models Nonhomogeneous media Data models Educational courses Fraud Security

来源：评论

学校读者我要写书评

暂无评论

Educational Research Trends of the Use of Gaze Learning Data Through Topic Modeling and Scientometric Analysis 1st

Educational Research Trends of the Use of Gaze Learning D...

引用

1st International workshop on AI for Research, AI4Research 2024 and 4th International workshop on Democracy and AI, DemocrAI 2024, held in conjunction with 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024

作者： Lee, Jungmin Shin, Huigon Yoo, YoungJoon Choi, Jongwon Kim, Mi Song Department of Advanced Imaging GSAIM Chung-Ang University Seoul Korea Republic of Computer Programming and Analysis School of Information Technology Fanshawe College London Canada Department of Artificial Intelligence Chung-Ang University Seoul Korea Republic of Curriculum Studies Western University London Canada

ISBN: (纸本)9789819795352

Multimodal learning analytics have become increasingly important in enabling a deeper understanding of teaching and learning in educational research. However, in comparison to other multimodal learning data, there is a limited understanding of the trends within gaze learning data. To address this challenge, this study aims to identify latent topics in gaze learning data through topic modeling and scientometric analysis. We analyzed the abstracts of 573 peer-reviewed and conference proceeding papers that used gaze learning data, written in English, and published between 2008 and February 2024. The findings are as follows. First, three main topics were identified through topic modeling analysis: (learning analytics, multimodal learning, and inclusive learning). Second, the scientometric analysis revealed the structure in which diverse clusters in cited references and institutions are connected around the emerging topics. Based on these findings, the study would provide insights into research directions in both educational research and applications using gaze learning data. © The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2025.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：