Recent progress in VSTOL technology

Progress in vertical and short takeoff and landing (V/STOL) aircraft technology, in particular, during the 1970 to 1980 period at Ames Research Center is discussed. Although only two kinds of V/STOL aircraft (the helicopter and the British direct lift Harrier) have achieved operational maturity, understanding of the technology has vastly improved during this 10 year period. To pursue an aggressive R and D program at a reasonable cost, it was decided to conduct extensive large scale testing in wind tunnel and flight simulation facilities, to develop low cost research aircraft using modified airframes or engines, and to involve other agencies and industry contractors in joint technical and funding arrangements. The STOL investigations include exploring STOL performance using the rotating cylinder flap concept, the augmentor wing, upon initiation of the Quiet Short Haul Research Aircraft program, the upper surface blown flap concept. The VTOL investigations were conducted using a tilt rotor aircraft, resulting in the XV-15 tilt rotor research aircraft. Direct jet lift is now being considered for application to future supersonic fighter aircraft

SJSU ERFA News, Spring 2012

Volume 25, Number

"Blowin' in the Wind"

open1noThe title of this article may suggest that it constitutes a tribute to the recent Nobel Prize in Literature and a sweet remembrance of bour 20s for those of us who are now in our 60s. That could be the case. After all, scientists and technicians live in a diversified and interconnected world where culture, art, and civil actions are interdependent with technology. However, regardless of my esteem for Mr. Bob Dylan, this column deals with exploiting wind for energy, a longterm challenge to humanity, much longer than the time cannon balls flew.openGuarnieri, MassimoGuarnieri, Massim

A Semantic Framework for Test Coverage (Extended Version)

Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test cases with maximal impact at minimum cost. Existing coverage criteria for test suites are usually defined in terms of syntactic characteristics of the implementation under test or its specification. Typical black-box coverage metrics are state and transition coverage of the specification. White-box testing often considers statement, condition and path coverage. A disadvantage of this syntactic approach is that different coverage figures are assigned to systems that are behaviorally equivalent, but syntactically different. Moreover, those coverage metrics do not take into account that certain failures are more severe than others, and that more testing effort should be devoted to uncover the most important bugs, while less critical system parts can be tested less thoroughly. This paper introduces a semantic approach to test coverage. Our starting point is a weighted fault model, which assigns a weight to each potential error in an implementation. We define a framework to express coverage measures that express how well a test suite covers such a specification, taking into account the error weight. Since our notions are semantic, they are insensitive to replacing a specification by one with equivalent behaviour.We present several algorithms that, given a certain minimality criterion, compute a minimal test suite with maximal coverage. These algorithms work on a syntactic representation of weighted fault models as fault automata. They are based on existing and novel optimization\ud problems. Finally, we illustrate our approach by analyzing and comparing a number of test suites for a chat protocol

NoTube – making TV a medium for personalized interaction

In this paper, we introduce NoTube’s vision on deploying semantics in interactive TV context in order to contextualize distributed applications and lift them to a new level of service that provides context-dependent and personalized selection of TV content. Additionally, lifting content consumption from a single-user activity to a community-based experience in a connected multi-device environment is central to the project. Main research questions relate to (1) data integration and enrichment - how to achieve unified and simple access to dynamic, growing and distributed multimedia content of diverse formats? (2) user and context modeling - what is an appropriate framework for context modeling, incorporating task-, domain and device-specific viewpoints? (3) context-aware discovery of resources - how could rather fuzzy matchmaking between potentially infinite contexts and available media resources be achieved? (4) collaborative architecture for TV content personalization - how can the combined information about data, context and user be put at disposal of both content providers and end-users in the view of creating extremely personalized services under controlled privacy and security policies? Thus, with the grand challenge in mind - to put the TV viewer back in the driver's seat – we focus on TV content as a medium for personalized interaction between people based on a service architecture that caters for a variety of content metadata, delivery channels and rendering devices

Koka: Programming with Row Polymorphic Effect Types

We propose a programming model where effects are treated in a disciplined way, and where the potential side-effects of a function are apparent in its type signature. The type and effect of expressions can also be inferred automatically, and we describe a polymorphic type inference system based on Hindley-Milner style inference. A novel feature is that we support polymorphic effects through row-polymorphism using duplicate labels. Moreover, we show that our effects are not just syntactic labels but have a deep semantic connection to the program. For example, if an expression can be typed without an exn effect, then it will never throw an unhandled exception. Similar to Haskell's `runST` we show how we can safely encapsulate stateful operations. Through the state effect, we can also safely combine state with let-polymorphism without needing either imperative type variables or a syntactic value restriction. Finally, our system is implemented fully in a new language called Koka and has been used successfully on various small to medium-sized sample programs ranging from a Markdown processor to a tier-splitted chat application. You can try out Koka live at www.rise4fun.com/koka/tutorial.Comment: In Proceedings MSFP 2014, arXiv:1406.153

The Virtual University and Avatar Technology: E-learning Through Future Technology

E-learning gains increasingly importance in academic education. Beyond present distance learning technologies a new opportunity emerges by the use of advanced avatar technology. Virtual robots acting in an environment of a virtual campus offer opportunities of advanced learning experiences. Human Machine Interaction (HMI) and Artificial Intelligence (AI) can bridge time zones and ease professional constraints of mature students. Undergraduate students may use such technology to build up topics of their studies beyond taught lectures. Objectives of the paper are to research the options, extent and limitations of avatar technology for academic studies in under- and postgraduate courses and to discuss students' potential acceptance or rejection of interaction with AI. The research method is a case study based on Sir Tony Dyson's avatar technology iBot2000. Sir Tony is a worldwide acknowledged robot specialist, creator of Star Wars' R2D2, who developed in recent years the iBot2000 technology, intelligent avatars adaptable to different environments with the availability to speak up to eight different languages and capable to provide logic answers to questions asked. This technology underwent many prototypes with the latest specific goal to offer blended E-learning entering the field of the virtual 3-D university extending Web2.0 to Web3.0 (Dyson. 2009). Sir Tony included his vast experiences gained in his personal (teaching) work with children for which he received his knighthood. The data was mainly collected through interviews with Sir Tony Dyson, which helps discover the inventor’s view on why such technology is of advantage for academic studies. Based on interviews with Sir Tony, this research critically analyses the options, richness and restrictions, which avatar (iBot2000) technology may add to academic studies. The conclusion will discuss the opportunities, which avatar technology may be able to bring to learning and teaching activities, and the foreseeable limitations – the amount of resources required and the complexity to build a fully integrated virtual 3-D campus. Key Words: virtual learning, avatar technology, iBot2000, virtual universit