57 research outputs found
Synchronous Programs Testing Language (SPTL)
National audienceSPTL is a testing language for synchronous software. The goal is to generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as profiles and scenarios. In this document we present an overview of the language with a simple example of a reactive system testing.SPTL est un langage de test pour les logiciels synchrones. L'objectif est de générer des séquences d'entrée de test en conformité avec les spécifications du fonctionnement externe du logiciel et avec des directives pour guider ces tests telles que des profils et des scénarios. Dans ce document, nous présentons un aperçu du langage avec un exemple simple d'un test d'un système réactif
Synchronous Programs Testing Language (SPTL)
International audienceSPTL is a language designed to test applications developed for synchronous controllers. It makes possible to provide a specification of the software external environment. This specification can then be processed to generate test input sequences guided by directives such as profiles of use and scenarios. We introduce a definition and an overview of the language through a simple example of a reactive system that we present in this paper
Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
National audienceCet ouvrage présente les actes des 14èmes journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'2015) qui se sont tenues à Bordeaux les 9 et 10 juin 2015
An Analysis of the Effect of Lecture Capture Initiatives on Student-Athletes at an NCAA Division I Institution
Student-athletes often miss class due to travel and competitions (Diersen, 2005; F. Wiseman, personal communication, September 30, 2010; Hosick, 2010; NCAA On-line, 2008; Rhatigan, 1984). Missing class is negatively associated with grades (Park & Kerr, 1990; Romer, 1993; Schmidt, 1983). Therefore, as classroom instruction time is replaced by athletic-related commitments, student-athletes may be negatively affected academically. As technological advancements continue to evolve, it is possible to mitigate the effects of missed class time. One such technology being employed in 2012 is lecture capture. This case study examined the academic effect of lecture capture on student-athletes at Big Time University using a mixed-method approach with an online questionnaire, individual interviews, and a focus group. Findings indicate that 52.7% (n=19) of student-athletes who participated in the questionnaire are accessing recorded lectures, 60% (n=18) reported lecture capture had made learning more enjoyable and 92.9% (n=39) reported that their grades had improved since having had access to recorded lectures. Additionally, participants reported preferring to have class recordings available, even if they choose not to watch them, as they provide a sense of security. Lastly, student-athletes reported to prefer physically being in the classroom and that recorded lectures should only be used as a supplement, not a replacement, for classroom lectures. Themes, implications, and areas for future research are discussed
Virginia Commonwealth University Graduate and Professional Programs Bulletin Courses
Listing of professional and graduate courses for 2013-2014
Recommended from our members
Exploiting phasor measurement units for enhanced transmission network operation and control
This thesis was submitted for the degree of Doctor of Engineering and awarded by Brunel UniversityIn order to achieve binding Government targets towards the decarbonisation of the electricity network, the GB power system is undergoing an unprecedented amount of change. A series of new technologies designed to integrate massive volumes of
renewable generation, predominantly in the form of offshore wind, asynchronously
connecting to the periphery of the transmission system, are transforming the requirements of the network. This displacement of traditional thermal generation is leading to a significant reduction in system inertia, thus making the task of system operation more challenging. It is therefore deemed necessary to develop tools and technologies that provide far greater insight into the state of the power system in real-time and give rise to methods for improving offline modelling practices through an enhanced understanding of the systems performance.
To that extent PMUs are seen as one of the key enablers of the Smart Grid, providing accurate time-synchronised measurements on the state of the power system, allowing the true dynamics of the power system to be captured and analysed. This thesis provides an analysis of the existing PMU deployment on the GB transmission system with a view to the future system monitoring requirements. A critical evaluation and comparison is also provided on the suitability of a University based Low Voltage PMU network to further enhance the visibility of the GB system. In addition a novel event detection algorithm based on Detrended Fluctuation Analysis is developed and demonstrated, designed to determine the
exact start time of a transmission event, as well as the suitability of such an event
for additional transmission system analysis, namely inertia estimation. Finally, a
reliable method for the estimation of total system inertia is proposed that includes
an estimate of the contribution from residual sources, of which there is currently
no visibility. The proposed method identifies the importance of regional inertia and its impact to the operation of the GB transmission system.Engineering and Physical Sciences Research Council (EPSRC) and National Grid
Virginia Commonwealth University Graduate and Professional Programs Bulletin Courses
Listing of professional and graduate courses for 2007-2008
Virginia Commonwealth University Graduate and Professional Programs Bulletin Courses
Listing of professional and graduate courses for 2007-2008
Virginia Commonwealth University Graduate and Professional Programs Bulletin Courses
Listing of professional and graduate courses for 2009-2010
Virginia Commonwealth University Graduate and Professional Programs Bulletin Courses
Listing of professional and graduate courses for 2009-2010
- …