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

arXiv 2023年

作者： Seibert, Vasiliy Institute for Software and Systems Engineering TU-Clausthal Clausthal-Zellerfeld38678 Germany

Several approaches have been presented, which aim to extract models from natural language specifications. These approaches have inherent weaknesses for they assume an initial problem understanding that is perfect, and they leave no room for feedback. Motivated by real-world collaboration settings between requirements engineers and customers, this paper proposes an interaction blueprint that aims for dialogue based, computer aided software requirements analysis. Compared to mere model extraction approaches, this interaction blueprint encourages individuality, creativity and genuine compromise. A simplistic Experiment was conducted to showcase the general idea. This paper discusses the experiment as well as the proposed interaction blueprint and argues, that advancements in natural language processing and generative AI might lead to significant progress in a foreseeable future. However, for that, there is a need to move away from a magical black box expectation and instead moving towards a dialogue based approach that recognizes the individuality that is an undeniable part of requirements engineering. © 2023, CC BY.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

A Comparison of Deep Learning and Machine Learning Methods for Water Quality Prediction

A Comparison of Deep Learning and Machine Learning Methods f...

引用

Intelligent Data Communication Technologies and Internet of Things (IDCIoT), International Conference on

作者： N. Srinivasa Gupta B. Valarmathi Ishaan Hiwanj Department of Manufacturing Engineering School of Mechanical Engineering Vellore Institute of Technology Vellore Tamil Nadu India Department of Software and Systems Engineering School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore Tamil Nadu India Department of Information Technology School of Computer Science Engineering and Information Systems Vellore Institute of Technology Vellore Tamil Nadu India

ISBN: (数字)9798331527549

ISBN: (纸本)9798331527556

Predicting water quality is essential to preserving human health and environmental sustain ability. Traditional water quality assessment methods often face scalability and real-time monitoring limitations. With accuracies of 62%, 72 %, 83 %, 69%, 63 %, 66%, 71 %, 63 %, and 64%, respectively, the current techniques utilized were Logistic Regression, Decision Trees, Random Forest Regressor, Extreme Gradient Boosting, Naive Bayes, K-nearest neighbors, Support Vector Machine, AdaBoost, and Bagging [9]. This study addresses these challenges by leveraging Adaptive Synthetic Sampling (ADASYN) to balance the dataset and evaluating model performance on datasets of 5,000 and 10,000 entries per class. A robust dataset obtained from Kaggle was used, with five models - Long Short-Term Memory (LSTM), Feed Forward Neural Network (FFNN), Categorical Boosting (CatBoost), Extreme Gradient Boosting (XGBoost), and Random Forest - evaluated and compared. The proposed methods demonstrate significant improvements in accuracy, with XGBoost achieving the highest accuracy of 95.53%, followed by Random Forest at 93.98%. This work underscores the importance of advanced machine learning techniques in addressing the limitations of traditional methods, enhancing accuracy, scalability, and adaptability in water quality prediction. These findings contribute to advancing environmental monitoring and management practices with reliable, data-driven insights.

关键词： Support vector machines Adaptation models Accuracy Scalability Water quality Boosting Reliability Random forests Long short term memory Regression tree analysis

来源：评论

学校读者我要写书评

暂无评论

Platoon Trajectory Reconstruction with Conflict Resolution Using Semidefinite Relaxation

Platoon Trajectory Reconstruction with Conflict Resolution U...

引用

International Conference on Intelligent Transportation

作者： Junyi Ji Yanbing Wang William Barbour Daniel B. Work Department of Civil and Environmental Engineering Institute for Software Integrated Systems Vanderbilt University

The quality of trajectory data plays a crucial role in the investigation of microscopic traffic flow. However, the challenge of effectively and automatically eliminating false positive collisions from the measured data still remains an unsolved problem. Firstly, this paper formulates the problem of reconstructing multi-vehicle trajectories as a nonconvex quadratic constraint quadratic programming (QCQP) problem. Subsequently, it derives the equivalent semidefinite programming (SDP) problem and develops a semidefinite relaxation technique to e·fficiently obtain the global minimum of the relaxed problem. We then apply a randomization method to obtain a feasible near-optimal solution to the original problem. The proposed approach is validated through experiments conducted on the NGSIM I–80 camera 6 lane 5 data, and the results of these experiments demonstrate that the unreasonable vehicle dynamics are removed and the platoon inconsistency decreased from 0.622% to 0.268% in the experimental data.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Connected Dependability Cage Approach for Safe Automated Driving

arXiv

引用

arXiv 2023年

作者： Aniculaesei, Adina Aslam, Iqra Bamal, Daniel Helsch, Felix Vorwald, Andreas Zhang, Meng Rausch, Andreas Institute for Software and Systems Engineering TU Clausthal Clausthal-Zellerfeld38678 Germany

Automated driving systems can be helpful in a wide range of societal challenges, e.g., mobility-on-demand and transportation logistics for last-mile delivery, by aiding the vehicle driver or taking over the responsibility for the dynamic driving task partially or completely. Ensuring the safety of automated driving systems is no trivial task, even more so for those systems of SAE Level 3 or above. To achieve this, mechanisms are needed that can continuously monitor the system’s operating conditions, also denoted as the system’s operational design domain. This paper presents a safety concept for automated driving systems which uses a combination of onboard runtime monitoring via connected dependability cage and off-board runtime monitoring via a remote command control center, to continuously monitor the system’s ODD. On one side, the connected dependability cage fulfills a double functionality: (1) to monitor continuously the operational design domain of the automated driving system, and (2) to transfer the responsibility in a smooth and safe manner between the automated driving system and the off-board remote safety driver, who is present in the remote command control center. On the other side, the remote command control center enables the remote safety driver the monitoring and takeover of the vehicle’s control. We evaluate our safety concept for automated driving systems in a lab environment and on a test field track and report on results and lessons learned. © 2023, CC BY.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Mid infrared optical parametric oscillation and comb generation in whispering gallery resonators

Mid infrared optical parametric oscillation and comb generat...

引用

Mid-Infrared Coherent Sources, MICS 2024 - Part of Optica High-Brightness Sources and Light-Driven Interactions Congress

作者： Breunig, Ingo Laboratory for Optical Systems Department of Microsystems Engineering - IMTEK University of Freiburg Georges-Köhler-Allee 102 Freiburg79110 Germany Fraunhofer Institute for Physical Measurement Techniques IPM Georges-Köhler-Allee 301 Freiburg79110 Germany

Optical parametric oscillators (OPOs) emit narrow-linewidth light that is widely tunable in wavelength. In particular in the mid infrared, they are of prime interest because a single device can cover the entire wavelength range between 3 and 5 μm. Their realizations based on whispering gallery resonators (WGRs) provide a small footprint and ultra-low pump thresholds. We demonstrate millimeter-sized WGR based OPOs pumped with compact diode lasers operating at 1.55 μm wavelength. The parametric oscillation is tunable between 2.3 and 5.1 μm wavelength with milliwatt output powers. Tuning is achieved by changing the temperature of the resonator or by varying the pump wavelength. Operating the OPO at the point of degeneracy enables to generate THz-wide frequency combs centered around 3.1 μm wavelength. Our results show that whispering gallery resonators made of non-oxide materials can be the key component for realizing miniaturized wavelength-flexible sources for coherent mid infrared light. © 2024 The Author(s).

关键词： Optical parametric oscillators

来源：评论

学校读者我要写书评

暂无评论

Improving the Educational Value of Operating systems

Improving the Educational Value of Operating Systems

引用

Roedunet International Conference (RoEduNet)

作者： Cezar Sava Răzvan Deaconescu Martin Kröning Antonello Monti Dinu Turcanu Computer Science and Engineering Department POLITEHNICA of Bucharest Bucharest Romania Institute for Automation of Complex Power Systems RWTH Aachen University Aachen Germany Fraunhofer Center Digital Energy Fraunhofer FIT Aachen Germany Department of Software Engineering and Automatics Technical University of Moldova Chişinău Moldova

ISBN: (数字)9798331540388

ISBN: (纸本)9798331540395

Educational operating systems are crucial for facilitating learning in the digital age, as they exist at the intersection of technology and education. While their technical role is well understood, improving their educational value requires enhancing traditional approaches. This paper explores ways to enrich educational operating systems not just through technological advancement, but also by integrating pedagogical principles. In an ever-changing world, the need for an adaptive and responsive educational operating system to meet diverse student needs is crucial. Through case studies, we analyze how design, interactivity, and accessibility can transform these systems into effective and appealing learning environments. We propose a series of recommendations for the future development of educational operating systems, focusing on enhancing the learning experience and promoting student autonomy, thereby offering a fresh perspective on how technology and education can blend harmoniously and efficiently.

关键词： Adaptive systems Operating systems Education Focusing Transforms Information age

来源：评论

学校读者我要写书评

暂无评论

Adiabatic frequency conversion in a lithium niobate microresonator for FMCW-LiDAR 26

Adiabatic frequency conversion in a lithium niobate microres...

引用

Laser Resonators, Microresonators, and Beam Control XXVI 2024

作者： Mrokon, Alexander Oehler, Johanna Breunig, Ingo Laboratory for Optical Systems Department of Microsystems Engineering - IMTEK University of Freiburg Georges-Köhler-Allee 102 Freiburg79110 Germany Fraunhofer Institute for Physical Measurement Techniques IPM Georges-Köhler-Allee 301 Freiburg79110 Germany

ISBN: (纸本)9781510670020

Adiabatic frequency conversion (AFC) in microresonators is independent of the intensity of laser light, and it is free from phase matching restrictions. It even allows for changing the frequency of single photons. The AFC has been experimentally investigated for more than a decade in different configurations. However, despite of some impressive proof-of-concept demonstrations, adiabatic frequency converters remain relatively obscure compared to their nonlinear-optical counterparts. So far, adiabatic frequency converters for applications were a curiosity due to lack of experimental investigation. We demonstrate linear frequency chirps between 0 and 690 MHz around 1.5 µm wavelength generated by electro-optically driven AFC. This is achieved by applying linear voltage chirps between 0 and 20 V on a 300-µm-thick whispering gallery resonator made of lithium niobate with 1.2 mm major radius. The frequency chirps have less than 2 % rms deviation from perfect linearity at chirp times as low as 130 ns. We apply these chirps for frequency-modulated continuous-wave LiDAR as a proof for a practical application of AFC. We successfully determine distances between 0 and 6 m. The distance resolution is of the order of 10 cm and just limited by the chirp bandwidth. Our proof-of-concept demonstration shows that laser light from adiabatic frequency converters is useful for applications. The performance of the AFC-based FMCW LiDAR system can be improved by integrating the resonator on a chip since the same voltage provides higher electric fields. Here, electro-optically-induced frequency shifts of 10 GHz and more have already been demonstrated. This would increase the distance resolution by more than one order of magnitude. © 2024 SPIE.

关键词： Phase matching

来源：评论

学校读者我要写书评

暂无评论

Taming Cross-Tool Traceability in the Wild

Taming Cross-Tool Traceability in the Wild

引用

IEEE International Conference on Requirements engineering

作者： Cosmina Cristina Raţiu Christoph Mayr-Dorn Wesley K. G. Assunção Alexander Egyed Institute of Software Systems Engineering Johannes Kepler University Linz Linz Austria

Along the process of engineering a safety-critical system, software engineers produce various artifacts, ranging from requirements and change requests to source code and test cases. In order to aid the development of the system and to adhere to the complex safety regulations and standards in place, engineers are often required to maintain bidirectional and consistent traceability between the produced artifacts. However, such artifacts are rarely maintained in one single tool. Because of that, the cross-tool bidirectional traces have to frequently be manually maintained, which can easily become a very time-consuming or infeasible task. Through interviews and observations at our industry partners in regulated domains, we observed that a number of different strategies are used to deal with this challenge. The use of naming conventions, querying, or URL links is observed in the industry. However, they have their shortcomings and hinder engineers from realizing the full potential that traceability can offer. Knowing the challenges in the industry, we explored existing literature. A range of approaches in the literature aims at dealing with traceability, but often they are context-specific and not easily transferable into practice. Given this gap between the state-of-the-art and industry needs, we performed interviews with our industry partners and analyzed tertiary studies from the literature to obtain a better understanding of what traceability properties are needed to unleash the potential of traces. We identified properties that represent the shared challenges between the related work and the industry requirements: discoverability, type checks, flexibility, navigability, and extensibility. While each property is addressed by a subset of the available solutions, we propose a novel traceability approach to support all of them in a single tool.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Multi-robot Cooperation for Assembly: Automated Planning and Optimization 16th

Multi-robot Cooperation for Assembly: Automated Planning and...

引用

16th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2019

作者： Nägele, Ludwig Schierl, Andreas Hoffmann, Alwin Reif, Wolfgang Institute for Software and Systems Engineering University of Augsburg Augsburg86159 Germany

ISBN: (纸本)9783030631925

In the field of industry 4.0 and smart factories of the future, dynamic teams of robots will play an important role in the manufacturing of custom-tailored products with small lot sizes. Especially the planning for such multi-functional robot cells forms a key challenge, finding appropriate tasks for cooperating robots to perform efficient production. In this paper, we present two approaches for automated planning of assembly programs for multiple robots that separate between domain and automation level. While one uses a decomposition approach with plan-space planning and explicit decomposition rules, the other considers heuristic searching in state space. Both approaches are evaluated with different planning problems in the blocks world domain (i.e., LEGO® DUPLO®). The evaluation shows that both approaches outperform the results achieved with classical planning based on state-space search such as A∗. Furthermore, a concept for post-processing programs to optimize execution time by dependency-based interleaving of robot tasks is introduced that fully integrates into both planning approaches. © 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Industrial robots

来源：评论

学校读者我要写书评

暂无评论

Towards Packaging Unit Detection for Automated Palletizing Tasks

Towards Packaging Unit Detection for Automated Palletizing T...

引用

IEEE/RSJ International Conference on Intelligent Robots and systems (IROS)

作者： Markus Völk Kilian Kleeberger Werner Kraus Richard Bormann Department of Robot and Assistive Systems Fraunhofer Institute for Manufacturing Engineering and Automation IPA Stuttgart

For various automated palletizing tasks, the detection of packaging units is a crucial step preceding the actual handling of the packaging units by an industrial robot. We propose an approach to this challenging problem that is fully trained on synthetically generated data and can be robustly applied to arbitrary real world packaging units without further training or setup effort. The proposed approach is able to handle sparse and low quality sensor data, can exploit prior knowledge if available and generalizes well to a wide range of products and application scenarios. To demonstrate the practical use of our approach, we conduct an extensive evaluation on real-world data with a wide range of different retail products. Further, we integrated our approach in a lab demonstrator and a commercial solution will be marketed through an industrial partner.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：