120,408 research outputs found
On the Generation of Medical Question-Answer Pairs
Question answering (QA) has achieved promising progress recently. However,
answering a question in real-world scenarios like the medical domain is still
challenging, due to the requirement of external knowledge and the insufficient
quantity of high-quality training data. In the light of these challenges, we
study the task of generating medical QA pairs in this paper. With the insight
that each medical question can be considered as a sample from the latent
distribution of questions given answers, we propose an automated medical QA
pair generation framework, consisting of an unsupervised key phrase detector
that explores unstructured material for validity, and a generator that involves
a multi-pass decoder to integrate structural knowledge for diversity. A series
of experiments have been conducted on a real-world dataset collected from the
National Medical Licensing Examination of China. Both automatic evaluation and
human annotation demonstrate the effectiveness of the proposed method. Further
investigation shows that, by incorporating the generated QA pairs for training,
significant improvement in terms of accuracy can be achieved for the
examination QA system.Comment: AAAI 202
Improving NDT with Automatic Test Case Generation
The model-driven development defi nes the software development process as a set of
iterations to create models and a set of transformations to obtain new models. From
this point of view, this paper presents the enhancement of a model- driven approach,
called navigational development techniques (NDT), by means of new models and
transformations in order to generate test cases. It also states some conclusions from
the research work and practical cases in which this approach was used.Ministerio de Ciencia e Innovación TIN2010-20057-C03-02Ministerio de Ciencia e Innovación TIN 2010-12312-
A Model-Driven approach for functional test case generation
Test phase is one of the most critical phases in software engineering life cycle to assure the final system quality. In this context, functional system test cases verify that the system under test fulfills its functional specification. Thus, these test cases are frequently designed from the different scenarios and alternatives depicted in functional requirements. The objective of this paper is to introduce a systematic process based on the Model-Driven paradigm to automate the generation of functional test cases from functional requirements. For this aim, a set of metamodels and transformations and also a specific language domain to use them is presented. The paper finishes stating learned lessons from the trenches as well as relevant future work and conclusions that draw new research lines in the test cases generation context.Ministerio de EconomÃa y Competitividad TIN2013-46928-C3-3-
Specification Patterns for Robotic Missions
Mobile and general-purpose robots increasingly support our everyday life,
requiring dependable robotics control software. Creating such software mainly
amounts to implementing their complex behaviors known as missions. Recognizing
the need, a large number of domain-specific specification languages has been
proposed. These, in addition to traditional logical languages, allow the use of
formally specified missions for synthesis, verification, simulation, or guiding
the implementation. For instance, the logical language LTL is commonly used by
experts to specify missions, as an input for planners, which synthesize the
behavior a robot should have. Unfortunately, domain-specific languages are
usually tied to specific robot models, while logical languages such as LTL are
difficult to use by non-experts. We present a catalog of 22 mission
specification patterns for mobile robots, together with tooling for
instantiating, composing, and compiling the patterns to create mission
specifications. The patterns provide solutions for recurrent specification
problems, each of which detailing the usage intent, known uses, relationships
to other patterns, and---most importantly---a template mission specification in
temporal logic. Our tooling produces specifications expressed in the LTL and
CTL temporal logics to be used by planners, simulators, or model checkers. The
patterns originate from 245 realistic textual mission requirements extracted
from the robotics literature, and they are evaluated upon a total of 441
real-world mission requirements and 1251 mission specifications. Five of these
reflect scenarios we defined with two well-known industrial partners developing
human-size robots. We validated our patterns' correctness with simulators and
two real robots
TURTLE: Four Weddings and a Tutorial
The paper discusses an educational case study of protocol modelling in TURTLE, a real-time UML profile supported by the open source toolkit TTool. The method associated with TURTLE is step by step illustrated with the connection set up and handover procedures defined for the Future Air navigation Systems. The paper covers the following methodological stages: requirement modeling, use-case driven and scenario based analysis, object-oriented design and rapid prototyping in Java. Emphasis is laid on the formal verification of analysis and design diagrams
Benefits of demand-side response in providing frequency response service in the future GB power system
The demand for ancillary service is expected to increase significantly in the future Great Britain (GB) electricity system due to high penetration of wind. In particular, the need for frequency response, required to deal with sudden frequency drops following a loss of generator, will increase because of the limited inertia capability of wind plants. This paper quantifies the requirements for primary frequency response and analyses the benefits of frequency response provision from demand-side response (DSR). The results show dramatic changes in frequency response requirements driven by high penetration of wind. Case studies carried out by using an advanced stochastic generation scheduling model suggest that the provision of frequency response from DSR could greatly reduce the system operation cost, wind curtailment, and carbon emissions in the future GB system characterized by high penetration of wind. Furthermore, the results demonstrate that the benefit of DSR shows significant diurnal and seasonal variation, whereas an even more rapid (instant) delivery of frequency response from DSR could provide significant additional value. Our studies also indicate that the competing technologies to DSR, namely battery storage, and more flexible generation could potentially reduce its value by up to 35%, still leaving significant room to deploy DSR as frequency response provider
- …