Scientific and Technical Aerospace Reports Volume 38 July 28, 2000

More documents

Recommendations

Info

eceived on February 12, 1999 from the 24 agencies that make up the Federal Chief Information Officers (CIO) Council. It also summarizes data from 44 small and independent agencies. NTIS Progress; Congressional Reports; Computer Programs; Checkout; Program Verification (Computers); Software Reliability; Software Engineering 20000064915 Office of Management and Budget, Washington, DC USA Progress on Year 2000 Conversion, 9th Quarterly Report (U.S. Office of Management and Budget) Jun. 15, 1999; 62p; In English Report No.(s): PB2000-106048; No Copyright; Avail: CASI; A04, Hardcopy; A01, Microfiche This report is the ninth in a series of quarterly reports to Congress on the Administrations progress in fixing the year 2000 (Y2K) computer problem in Federal agencies. This report summarizes data received on May 14, 1999 from the 24 agencies that make up the Federal Chief Information Officers (CIO) Council. It also summarizes data from 46 small and independent agencies. The Office of Management and Budget (OMB) has requested that all small and independent agencies report on their status each quarter until all of their systems are fixed. NTIS Progress; Congressional Reports; Computer Programs; Checkout; Program Verification (Computers); Software Reliability 20000065616 Institute for Human Factors TNO, Soesterberg, Netherlands Structural Development of CBT-Using Templates: Specification Final Report Gestructureerde Ontwikkeling van Computer Ondersteund Onderwijs Met Behulp van Templates: Specificatie Boot, E. W., Institute for Human Factors TNO, Netherlands; vanRooij, J. C. G. M., Institute for Human Factors TNO, Netherlands; Jan. 26, 2000; 86p; In Dutch; Original contains color illustrations Contract(s)/Grant(s): A99/KL/307; TNO Proj. 790.1 Report No.(s): TD-00-0107; TM-00-A004; Copyright; Avail: Issuing Activity TNO-HFRI has been asked to assist in structuring the development of Computer Based Training (CBT) by the Training Centers (OCa) of the Royal Netherlands Army (RNLA). This project is a cooperative effort of Staff Training Command Royal Netherlands Army (St-COKL), the ExpertiseCentre (KC) and MediaCentre (MC) of the Institute of Leadership, Media and Training (ILMO), and the CBT user-group. It should result into a kind of CBT development that fits CBT-developers and is both effective (in terms of delivering qualitatively sound CBT) as well as efficient (high production in short time). This should promote the application of CBT within the OCa. The project consists of a number of phases. In the first phase, an analysis has been conducted (Boot and Van Rooij 199a), which indicated that there are a number of problems. First, there is a concrete need for support in the actual development of CBT. For this end, a ’building-block method’ using templates is proposed. Second, the relation between policy and the actual process of CBT development should be improved. For this end, a design method is proposed, This prescribes a systematic, structured approach of CBT development, by means of the template-based building-block method, and translate ST- COKL- and ILMO policies into concrete guidelines for CBT developers of the first echelon. This report describes the activities within the second phase. In this phase, the recommendations of the first phase are elaborated, and the first set of templates and the design method are specified. It is concluded that if the resulting specifications of the templates and the design method are implemented, they can meet the signaled needs. Finally, recommendations are formulated concerning CBT development within the RNLA in general, and continuation of the template project in particular. Author Computer Assisted Instruction; Training Devices; Multimedia; Education; Training Analysis 20000065617 Institute for Human Factors TNO, Soesterberg, Netherlands Structured Development of Computer-Based Training Using Templates: Analysis Final Report Gestructureerde Ontwikkeling van Computer-Ondersteund Onderwijs met Behulp van Templates: Analyse Boot, E. W., Institute for Human Factors TNO, Netherlands; vanRooij, J. C. G. M., Institute for Human Factors TNO, Netherlands; Oct. 20, 1999; 44p; In Dutch; Original contains color illustrations Contract(s)/Grant(s): A98/KL/330; TNO Proj. 730.1 Report No.(s): TD-99-0357; TM-99-A068; Copyright; Avail: Issuing Activity In the context of structuring and supporting the development of Computer Based Training (CBT) by the Training Centres (OCai of the Royal Netherlands Army (RNLA), a needs analysis is conducted in order to investigate how this development process can be improved. On the basis of this assessment, the need for support of the development process based on templates is formulated. CBT is an increasingly used training instrument within the OCa, in order to contribute to their missions. In this, each OCa 170
has his own responsibility, while the Staff Training Command Royal Netherlands Army (St-COKL) has a supervisory role with respect to overall policy beyond the responsibilities of the OCa. Also, the OCa are supported and advised by the Institute for Leadership, Media and Training (ILMO) of the RNLA. The outcomes of the assessment indicate that there are a number of problems. Among the CBT-developers within the OCa, there is a wide range of experience and expertise. Many are Subject Matter Experts JSME’S) in a certain domain, with knowledge of conventional classroom didactics but with limited multimedia and programming skills. This causes problems in the developing of (more complex kinds of) CBT. Another problem is that there is no clear relation between ST-COKL and ILMO policies about standardization and quality control and the actual CBT development projects within the OCa. It is stated by St-COKL and ILMO that the process of CBT-development should become more structured and efficient. This should eventually lead to a better and higher production and application of CBT. On the basis of the identified needs, a number of recommendations are formulated. 1. Concrete support of CBT-development is recommended by means of the development of CBT-templates and a development method. The purpose is standardizing the development process and promoting more efficient and effective production and application of CBT. 2. Enforcement of the relationship between policy and work floor is recommended by means of the development of a manual, that prescribes a systematic and structured approach of CBT-development and translates and implements ST-COKL and ILMO policies within the OCa. These recommendations, established in close corporation with ST-COKL, ILMO and the CBT-developers, should lead to a kind of CBT development that better accommodates the real needs of the CBT-developers and will result into qualitatively better CBT. This should promote a wide range of applications of CBT within the OCa. It is proposed to evaluate the results of the elaboration of the recommendations by means of a CBT pilotproject. In this project, a CBT-developer will develop a representative CBT by means of the CBT-templates, the development method and the manual. Based on evaluations of both the development process and the resulting CBT, the templates, method and manual can be improved. Author Computer Assisted Instruction; Training Devices; Multimedia; Training Analysis 20000065623 Carnegie-Mellon Univ., School of Computer Science, Pittsburgh, PA USA Partial Order Reduction for Verification of Timed Systems Minea, Marius; Dec. 1999; 129p; In English Contract(s)/Grant(s): DABT63-96-C-0071; NSF-CCR95-05472 Report No.(s): AD-A377110; CMU-CS-00-102; No Copyright; Avail: CASI; A07, Hardcopy; A02, Microfiche This dissertation presents solutions for the application of partial order methods to the verification of timed systems, with the purpose of reducing the size of the explored state space. Timed systems, which rely on timing information to operate correctly pose special difficulties for automatic verification. Not only does the size of their state space grow exponentially with the number of components as in any concurrent system, but some of the history of past transitions becomes part of the timed state. This hinders the use of partial order reduction, a technique which is applicable if different transition interleavings lead to the same state. We have given a partial order reduction, algorithm for systems described as networks of timed automata, which preserves formulas in a timed extension of linear temporal logic. The algorithm is based on a modified local-time semantics, which allows individual automata to execute independently except for synchronization transitions. More generally we have investigated the application of partial order reduction, in a continuous-time model whose semantics is defined in terms of timed traces. We show how to separate the causal dependence of transitions from their time ordering due to concurrency and how this leads to the application of partial order reduction. As particular instances of this framework we obtain improved algorithms for timed event/level structures and time Petri nets, as well as our algorithm for timed automata. We have evaluated the performance of our partial order reduction approach on several timed automata benchmarks. The resulting reduction in state space stems from two sources: the local-time model reduces the number of generated time regions, while the partial order techniques applied from the domain of untimed systems reduce the explored control state space. DTIC Program Verification (Computers); Petri Nets; Concurrent Engineering; Systems Analysis 20000065645 Joint Inst. for Nuclear Research, Flerov Lab. of Nuclear Reactions, Dubna, USSR PC based code for visual control of spectrometry information Tsyganov, Y.; Dec. 31, 1998; 11p; In Russian; In English Report No.(s): DE99-607984; JINR-R-10-98-20; No Copyright; Avail: Department of Energy Information Bridge PC based code for Windows 95 to provide monitoring of the experiments at the Dubna gas-filled recoil separator is described. It is coded in C++ (Borland Builder v.1.0.). Examples of application in heavy ion-induced nuclear reactions are presented. NTIS Coding; Visual Control; Spectroscopy; Software Engineering 171
Page 1 and 2:
Scientific and Technical Aerospace
Page 3 and 4:
Introduction Scientific and Technic
Page 5 and 6:
Subject Divisions Table of Contents
Page 7 and 8:
ground equipment and systems. For a
Page 9 and 10:
Subject Categories of the Division
Page 11 and 12:
48 Oceanography 139 Includes the ph
Page 13 and 14:
72 Atomic and Molecular Physics 191
Page 15 and 16:
Document Availability Information T
Page 17 and 18:
Avail: NASA Public Document Rooms.
Page 19 and 20:
NASA CASI Price Tables — Effectiv
Page 21 and 22:
ALABAMA AUBURN UNIV. AT MONTGOMERY
Page 23 and 24:
��
Page 25 and 26:
20000061433 Pisa Univ., Dipartiment
Page 27 and 28:
English; 34th; 34th Thermophysics C
Page 29 and 30:
ciency of the generated derivative
Page 31 and 32:
20000063509 NASA Glenn Research Cen
Page 33 and 34:
05 AIRCRAFT DESIGN, TESTING AND PER
Page 35 and 36:
A long tradition of aerodynamic des
Page 37 and 38:
sonic and transonic cases will be p
Page 39 and 40:
20000061449 British Aerospace Publi
Page 41 and 42:
20000064593 NASA Langley Research C
Page 43 and 44:
performance required for a proposed
Page 45 and 46:
ment cost and create better product
Page 47 and 48:
tion (NPSS), is focused on the inte
Page 49 and 50:
surface measurement techniques used
Page 51 and 52:
with emphasis on the search for lin
Page 53 and 54:
20000063520 NASA Kennedy Space Cent
Page 55 and 56:
primary issues for it’s adaptatio
Page 57 and 58:
Footage shows the night vertical ta
Page 59 and 60:
Page 61 and 62:
necessary for ignition modeling, or
Page 63 and 64:
engine lifetime, and high power ope
Page 65 and 66:
24 COMPOSITE MATERIALS ��
Page 67 and 68:
ments. For the screening of liner m
Page 69 and 70:
formation of a neutral, fluorescent
Page 71 and 72:
20000065655 Ames Lab., IA USA Funda
Page 73 and 74:
This is a second Triennial Conferen
Page 75 and 76:
of completely charged PSSNa solutio
Page 77 and 78:
20000064100 NASA Langley Research C
Page 79 and 80:
Spacecraft in low Earth orbit (LEO)
Page 81 and 82:
Pressure gradients, i.e. pressure h
Page 83 and 84:
agreed that the NO(sub x) levels co
Page 85 and 86:
tectural approach to extending the
Page 87 and 88:
20000064078 Physics and Electronics
Page 89 and 90:
20000064925 Institute for Human Fac
Page 91 and 92:
20000066607 Institute for Human Fac
Page 93 and 94:
20000062455 National Inst. of Stand
Page 95 and 96:
Added Analysis (Risk Reduction); 6)
Page 97 and 98:
shipboard electrical power generati
Page 99 and 100:
20000067664 Jet Propulsion Lab., Ca
Page 101 and 102:
other, The theoretical framework go
Page 103 and 104:
figures compare the lift and pitchi
Page 105 and 106:
ment phase demonstrate desired feat
Page 107 and 108:
esolution mode with resolving power
Page 109 and 110:
to track 1% or 0.5% changes was hig
Page 111 and 112:
20000067643 NASA Marshall Space Fli
Page 113 and 114:
37 MECHANICAL ENGINEERING ��
Page 115 and 116:
solver based on overset grid techno
Page 117 and 118:
20000067659 NASA Marshall Space Fli
Page 119 and 120:
20000064621 Rensselaer Polytechnic
Page 121 and 122:
that for a specific example of a be
Page 123 and 124:
km x 1000 km). As with the nearly c
Page 125 and 126:
20000064527 Analytical Imaging and
Page 127 and 128:
20000064533 Austin State Univ., Dep
Page 129 and 130:
20000064539 California Univ., Inst.
Page 131 and 132:
Page 133 and 134:
in Yellowstone National Park. We ar
Page 135 and 136:
terns of community hysteresis based
Page 137 and 138:
Page 139 and 140:
tion model (DEM) fitting to the sca
Page 141 and 142: The Carolina slate belt is a 10- to
Page 143 and 144: 20000063373 Los Alamos National Lab
Page 145 and 146: 20000064912 New Energy and Industri
Page 147 and 148: and discusses the issues and resear
Page 149 and 150: The objective of this study was to
Page 151 and 152: distributions with engine test resu
Page 153 and 154: 7.6, while the 1926 events appear t
Page 155 and 156: We investigate the compositional di
Page 157 and 158: Flight Center, USA; Moore, T. E., N
Page 159 and 160: This report presents the Applied Me
Page 161 and 162: in Goa, India, by 3 - 4 days. Wind
Page 163 and 164: 51 LIFE SCIENCES (GENERAL) Includes
Page 165 and 166: 20000062717 Joint Inst. for Nuclear
Page 167 and 168: 20000064015 Institute for Human Fac
Page 169 and 170: during 50% (SD 4%) of the breathing
Page 171 and 172: 20000064711 Massachusetts Inst. of
Page 173 and 174: The analysis of this smaller data s
Page 175 and 176: vided a functional helmet mount. Th
Page 177 and 178: 61 COMPUTER PROGRAMMING AND SOFTWAR
Page 179 and 180: The goal of multi-image classificat
Page 181 and 182: 20000063526 Defence Science and Tec
Page 183 and 184: 85 dB amplifier design evolved by o
Page 185 and 186: 20000064594 New Mexico Univ., Elect
Page 187 and 188: 20000064615 NASA Ames Research Cent
Page 189 and 190: declarations with a pattern recogni
Page 191: containing point where interpolatio
Page 195 and 196: the people, documents and projects
Page 197 and 198: and experimental technology, many o
Page 199 and 200: tems. In particular this applicatio
Page 201 and 202: Over the past decade, high performa
Page 203 and 204: expensive than a single analysis. I
Page 205 and 206: 20000064726 Carnegie-Mellon Univ.,
Page 207 and 208: 20000064099 Teledyne Brown Engineer
Page 209 and 210: 20000066597 Geophysical Observatory
Page 211 and 212: 20000065633 Institute TNO of Applie
Page 213 and 214: important conclusion is that for su
Page 215 and 216: est frame of the string. The modifi
Page 217 and 218: isotopes. The method and program we
Page 219 and 220: A detailed study is undertaken, usi
Page 221 and 222: 20000063497 Kaiser Electro-Optics,
Page 223 and 224: delivers 60% of the x-ray flux from
Page 225 and 226: 76 SOLID-STATE PHYSICS ��
Page 227 and 228: 20000064660 Abdus Salam Internation
Page 229 and 230: 20000067648 NASA Marshall Space Fli
Page 231 and 232: 20000064703 Institute of Atomic Ene
Page 233 and 234: The BRST approach is applied to the
Page 235 and 236: 20000067671 Hampton Univ., VA USA A
Page 237 and 238: 82 DOCUMENTATION AND INFORMATION SC
Page 239 and 240: ecoming almost too cumbersome to be
Page 241 and 242: physical world. These are the two p
Page 243 and 244:
with WFPC2 data. Tests of HSTphot
Page 245 and 246:
A brief description is given of the
Page 247 and 248:
20000064070 NASA Ames Research Cent
Page 249 and 250:
gas, show variations that have rema
Page 251 and 252:
egy, called Power In that would all
Page 253 and 254:
Page 255 and 256:
20000064089 Smithsonian Astrophysic
Page 257 and 258:
A ABERRATION, 143, 198 ABRASION, 22
Page 259 and 260:
COMPRESSIBLE FLOW, 83 COMPRESSION L
Page 261 and 262:
FATIGUE (MATERIALS), 50, 93, 96 FAT
Page 263 and 264:
LASING, 90 LATE STARS, 224 LATITUDE
Page 265 and 266:
PATCH ANTENNAS, 74 PATHOLOGY, 98 PA
Page 267 and 268:
SPACE PLATFORMS, 38 SPACE PROBES, 2
Page 269 and 270:
WIND PROFILES, 137 WIND TUNNEL TEST
Page 271 and 272:
Brown, Andy, 38 Brown, April S., 20
Page 273 and 274:
Grosvenor, C. A., 70 Grosvenor, J.
Page 275 and 276:
Lu, Gui-Ying, 50 Lugg, Desmond J.,
Page 277 and 278:
Robertson, Tony, 39 Robinson, Jeffr
Page 279:
Warner, J. D., 63 Warren, James, 16
show all

Scientific and Technical Aerospace Reports Volume 38 July 28, 2000

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?