(MU-CTL-01-12) Towards Model Driven Game Engineering in SimSYS: Requirements for the Agile Software Development Process Game

Software Engineering (SE) and Systems Engineering (Sys) are knowledge intensive, specialized, rapidly changing disciplines; their educational infrastructure faces significant challenges including the need to rapidly, widely, and cost effectively introduce new or revised course material; encourage the broad participation of students; address changing student motivations and attitudes; support undergraduate, graduate and lifelong learning; and incorporate the skills needed by industry. Games have a reputation for being fun and engaging; more importantly immersive, requiring deep thinking and complex problem solving. We believe educational games are essential in the next generation of e-learning tools. An extensible, freely available, engaging, problem-based game platform that provides students with an interactive simulated experience closely resembling the activities performed in a (real) industry development project would transform the SE/Sys education infrastructure. Our goal is to extend the state-of-the-art research in SE/Sys education by investigating a game development platform (GDP) from an interdisciplinary perspective (education, game research, and software/systems engineering). A meta-model has been proposed to provide a rigourous foundation that integrates the three disciplines. The GDP is intended to support the semi-automated development of collections of scripted games and their execution, where each game embodies a specific set of learning objectives. The games are scripted using a template based approach. The templates integrate three approaches: use cases; storyboards; and state machines (timed, concurrent, hierarchical state machines). The specification templates capture the structure of the game (Game, Acts, Scenes, Screens, Challenges), storyline, characters (player, non-player, external), graphics, music/sound effects, rules, and so on. The instantiated templates are (manually) transformed into XML game scripts that can be loaded into the SimSYS Game Play Engine. As a game is played, the game play events are logged; they are analyzed to automatically assess a player’s accomplishments and automatically adapt the game play script. Currently, we are manually defining a collection of games. The games are being used to ensure the GDP is flexible and reliable (i.e., the prototype can load and correctly run a variety of game scripts), the ontology is comprehensive, and the templates assist in defining well-organized, modular game scripts. In this report, we present the initial part of an Agile Software Development Process game (Act I, Scenes 1 and 2) that embodies learning objectives related to SE fundamentals (requirements, architecture, testing, process); planning with Gantt charts; working with budgets; and selecting a team for an agile development project. A student player is rewarded in the game by getting hired, scoring points, or getting promoted to lead a project. The game has a variety of settings including a classroom, job fair, and a work environment with meeting rooms, cubicles, and a water cooler station. The main non-player characters include a teacher, boss, and an evil peer. In the future, semi-automated support for creating new game scripts will be explored using a wizard interface. The templates will be formally defined, supporting automated transformation into XML game scripts that can be loaded into the SimSYS Game Engine. We also plan to explore transforming the requirements into a notation that can be imported into a commercial tool that supports Statechart simulation

Free-flight measurements of stagnation-point convective heat transfer at velocities to 41,000 ft/sec

Free flight measurements of stagnation point convective heat transfer in air at hypersonic speed

Genomic donor cassette sharing during VLRA and VLRC assembly in jawless vertebrates

Lampreys possess two T-like lymphocyte lineages that express either variable lymphocyte receptor (VLR) A or VLRC antigen receptors. VLRA+ and VLRC+ lymphocytes share many similarities with the two principal T-cell lineages of jawed vertebrates expressing the αβ and γδ T-cell receptors (TCRs). During the assembly of VLR genes, several types of genomic cassettes are inserted, in step-wise fashion, into incomplete germ-line genes to generate the mature forms of antigen receptor genes. Unexpectedly, the structurally variable components of VLRA and VLRC receptors often possess partially identical sequences; this phenomenon of module sharing between these two VLR isotypes occurs in both lampreys and hagfishes. By contrast, VLRA and VLRC molecules typically do not share their building blocks with the structurally analogous VLRB receptors that are expressed by B-like lymphocytes. Our studies reveal that VLRA and VLRC germ-line genes are situated in close proximity to each other in the lamprey genome and indicate the interspersed arrangement of isotype-specific and shared genomic donor cassettes; these features may facilitate the shared cassette use. The genomic structure of the VLRA/VLRC locus in lampreys is reminiscent of the interspersed nature of the TCRA/TCRD locus in jawed vertebrates that also allows the sharing of some variable gene segments during the recombinatorial assembly of TCR genes

Observation of narrow-band noise accompanying the breakdown of insulating states in high Landau levels

Recent magnetotransport experiments on high mobility two-dimensional electron systems have revealed many-body electron states unique to high Landau levels. Among these are re-entrant integer quantum Hall states which undergo sharp transitions to conduction above some threshold field. Here we report that these transitions are often accompanied by narrow- and broad-band noise with frequencies which are strongly dependent on the magnitude of the applied dc current.Comment: 4 pages, 3 figure

Selection of the lamprey VLRC antigen receptor repertoire

The alternative adaptive immune system of jawless vertebrates is based on different isotypes of variable lymphocyte receptors (VLRs) that are composed of leucine-rich repeats (LRRs) and expressed by distinct B- and T-like lymphocyte lineages. VLRB is expressed by B-like cells, whereas VLRA and VLRC are expressed by two T-like lineages that develop in the thymoid, a thymus-like structure in lamprey larvae. In each case, stepwise combinatorial insertions of different types of short donor LRR cassettes into incomplete germ-line genes are required to generate functional VLR gene assemblies. It is unknown, however, whether the diverse repertoires of VLRs that are expressed by peripheral blood lymphocytes are shaped by selection after their assembly. Here, we identify signatures of selection in the peripheral repertoire of VLRC antigen receptors that are clonally expressed by one of the T-like cell types in lampreys. Selection strongly favors VLRC molecules containing four internal variable leucine-rich repeat (LRRV) modules, although VLRC assemblies encoding five internal modules are initially equally frequent. In addition to the length selection, VLRC molecules in VLRC+ peripheral lymphocytes exhibit a distinct pattern of high entropy sites in the N-terminal LRR1 module, which is inserted next to the germ-line–encoded LRRNT module. This is evident in comparisons to VLRC gene assemblies found in the thymoid and to VLRC gene assemblies found in some VLRA+ cells. Our findings are the first indication to our knowledge that selection operates on a VLR repertoire and provide a framework to establish the mechanism by which this selection occurs during development of the VLRC+ lymphocyte lineage

Optical sum rules that relate to the potential energy of strongly correlated systems

A class of sum rules for inelastic light scattering is developed. We show that the first moment of the non-resonant response provides information about the potential energy in strongly correlated systems. The polarization dependence of the sum rules provide information about the electronic excitations in different regions of the Brillouin zone. We determine the sum rule for the Falicov-Kimball model, which possesses a metal-insulator transition, and compare our results to the light scattering experiments in SmB_6.Comment: (5 pages, 3 figures, typeset in ReVTeX

Eigenvalue Distributions for a Class of Covariance Matrices with Applications to Bienenstock-Cooper-Munro Neurons Under Noisy Conditions

We analyze the effects of noise correlations in the input to, or among, BCM neurons using the Wigner semicircular law to construct random, positive-definite symmetric correlation matrices and compute their eigenvalue distributions. In the finite dimensional case, we compare our analytic results with numerical simulations and show the effects of correlations on the lifetimes of synaptic strengths in various visual environments. These correlations can be due either to correlations in the noise from the input LGN neurons, or correlations in the variability of lateral connections in a network of neurons. In particular, we find that for fixed dimensionality, a large noise variance can give rise to long lifetimes of synaptic strengths. This may be of physiological significance.Comment: 7 pages, 7 figure

Database Search Strategies for Proteomic Data Sets Generated by Electron Capture Dissociation Mass Spectrometry

Large data sets of electron capture dissociation (ECD) mass spectra from proteomic experiments are rich in information; however, extracting that information in an optimal manner is not straightforward. Protein database search engines currently available are designed for low resolution CID data, from which Fourier transform ion cyclotron resonance (FT-ICR) ECD data differs significantly. ECD mass spectra contain both z-prime and z-dot fragment ions (and c-prime and c-dot); ECD mass spectra contain abundant peaks derived from neutral losses from charge-reduced precursor ions; FT-ICR ECD spectra are acquired with a larger precursor m/z isolation window than their low-resolution CID counterparts. Here, we consider three distinct stages of postacquisition analysis: (1) processing of ECD mass spectra prior to the database search; (2) the database search step itself and (3) postsearch processing of results. We demonstrate that each of these steps has an effect on the number of peptides identified, with the postsearch processing of results having the largest effect. We compare two commonly used search engines: Mascot and OMSSA. Using an ECD data set of modest size (3341 mass spectra) from a complex sample (mouse whole cell lysate), we demonstrate that search results can be improved from 630 identifications (19% identification success rate) to 1643 identifications (49% identification success rate). We focus in particular on improving identification rates for doubly charged precursors, which are typically low for ECD fragmentation. We compare our presearch processing algorithm with a similar algorithm recently developed for electron transfer dissociation (ETD) data