中文
相关论文

相关论文: Generating Quizzes to Support Training on Quality …

200 篇论文

The need for space test professionals is growing rapidly, due to establishment of the US Space Force and the extremely rapid growth of the commercial space industry. The future of space test looks bright and complex; a better training…

Managing requirements on quality aspects is an important issue in the development of software systems. Difficulties arise from expressing them appropriately what in turn results from the difficulty of the concept of quality itself. Building…

软件工程 · 计算机科学 2016-11-07 Stefan Wagner , Florian Deissenboeck , Sebastian Winter

The use of question-based activities (QBAs) is wide-spread in education, traditionally forming an integral part of the learning and assessment process. In this paper, we design and evaluate an automated question generation tool for…

Generating high quality question-answer pairs is a hard but meaningful task. Although previous works have achieved great results on answer-aware question generation, it is difficult to apply them into practical application in the education…

计算与语言 · 计算机科学 2021-09-20 Fanyi Qu , Xin Jia , Yunfang Wu

Software quality assurance has been a heated topic for several decades. If factors that influence software quality can be identified, they may provide more insight for better software development management. More precise quality assurance…

软件工程 · 计算机科学 2015-07-27 Jie Xu , Danny Ho , Luiz Fernando Capretz

Agent-based models play an important role in simulating complex emergent phenomena and supporting critical decisions. In this context, a software fault may result in poorly informed decisions that lead to disastrous consequences. The…

软件工程 · 计算机科学 2021-03-19 Andrew G. Clark , Neil Walkinshaw , Robert M. Hierons

Aerospace manufacturing demands exceptionally high precision in technical parameters. The remarkable performance of Large Language Models (LLMs), such as GPT-4 and QWen, in Natural Language Processing has sparked industry interest in their…

计算与语言 · 计算机科学 2025-02-04 Beiming Liu , Zhizhuo Cui , Siteng Hu , Xiaohua Li , Haifeng Lin , Zhengxin Zhang

Planetary science space missions need high quality software ed efficient algorithms in order to extract innovative scientific results from flight data. Reliable and efficient software technologies are increasingly vital to improve and…

Risk and Quality (R&Q) assurance in highly regulated industries requires constant navigation of complex regulatory frameworks, with employees handling numerous daily queries demanding accurate policy interpretation. Traditional methods…

In education, open-ended quiz questions have become an important tool for assessing the knowledge of students. Yet, manually preparing such questions is a tedious task, and thus automatic question generation has been proposed as a possible…

计算与语言 · 计算机科学 2021-08-31 Kristiyan Vachev , Momchil Hardalov , Georgi Karadzhov , Georgi Georgiev , Ivan Koychev , Preslav Nakov

Inspired by widely-used techniques of causal modelling in risk, failure, and accident analysis, this work discusses a compositional framework for risk modelling. Risk models capture fragments of the space of risky events likely to occur…

软件工程 · 计算机科学 2025-03-21 Mario Gleirscher

Since the early 2000' years, the CubeSats have been growing and getting more and more "space" in the Space industry. Their short development schedule, low cost equipment and piggyback launches create a new way to access the space, provide…

软件工程 · 计算机科学 2021-02-25 Carlos Leandro Gomes Batista , Fátima Mattiello-Francisco

Recent question generation (QG) approaches often utilize the sequence-to-sequence framework (Seq2Seq) to optimize the log-likelihood of ground-truth questions using teacher forcing. However, this training objective is inconsistent with…

计算与语言 · 计算机科学 2020-11-03 Yuxi Xie , Liangming Pan , Dongzhe Wang , Min-Yen Kan , Yansong Feng

Requirements engineering (RE) in the space industry is inherently complex, demanding high precision, alignment with rigorous standards, and adaptability to mission-specific constraints. Smaller space organisations and new entrants often…

软件工程 · 计算机科学 2025-07-11 Chetan Arora , Fanyu Wang , Chakkrit Tantithamthavorn , Aldeida Aleti , Shaun Kenyon

Space agencies execute complex satellite operations that need to be supported by the technical knowledge contained in their extensive information systems. Knowledge bases (KB) are an effective way of storing and accessing such information…

人工智能 · 计算机科学 2023-06-01 Paul Darm , Antonio Valerio Miceli-Barone , Shay B. Cohen , Annalisa Riccardi

Well-calibrated model confidence scores can improve the usefulness of text generation models. For example, users can be prompted to review predictions with low confidence scores, to prevent models from returning bad or potentially dangerous…

计算与语言 · 计算机科学 2025-06-16 Lorenzo Jaime Yu Flores , Ori Ernst , Jackie Chi Kit Cheung

The European Space Agency (ESA) uses an engine to perform tests in the Ground Segment infrastructure, specially the Operational Simulator. This engine uses many different tools to ensure the development of regression testing infrastructure…

软件工程 · 计算机科学 2012-06-25 Ulisses Araujo Costa , Daniela da Cruz , Pedro Rangel Henriques

We present a safety verification framework for design-time and run-time assurance of learning-based components in aviation systems. Our proposed framework integrates two novel methodologies. From the design-time assurance perspective, we…

系统与控制 · 电气工程与系统科学 2022-05-17 Ali Baheri , Hao Ren , Benjamin Johnson , Pouria Razzaghi , Peng Wei

For safe and reliable deployment in the real world, autonomous agents must elicit appropriate levels of trust from human users. One method to build trust is to have agents assess and communicate their own competencies for performing given…

机器人学 · 计算机科学 2022-06-22 Aastha Acharya , Rebecca Russell , Nisar R. Ahmed

We introduce a novel method of generating synthetic question answering corpora by combining models of question generation and answer extraction, and by filtering the results to ensure roundtrip consistency. By pretraining on the resulting…

计算与语言 · 计算机科学 2019-06-14 Chris Alberti , Daniel Andor , Emily Pitler , Jacob Devlin , Michael Collins
‹ 上一页 1 2 3 10 下一页 ›