Scientific and Technical Aerospace Reports Volume 39 April 6, 2001

consider two specific issues in applying AR to the analysis of pretreatment options. They examine how to combine quantitative
and qualitative evidence to infer the acceptability of a process result using the example of cesium content in low-level waste. They
then demonstrate the use of simple physical models to structure expert elicitation and to produce inferences consistent with a problem
involving waste particle size effects.
NTIS
Radioactive Wastes; Contamination
60
COMPUTER OPERATIONS AND HARDWARE
�������� �������� ��� �������� ��������� �������� ��� ���� ����������� ��� ���������� ��� �� ����������� ��� ���������� �����
�������� ��� �������� ������ ��� �� ������������ ���������� ������������ ��� ���������
20010024112 Texas Univ., Austin, TX USA
Development of a Tool for Assessing the Degree of Automation and Integration on Capital Projects
Welch, Keith A., Texas Univ., USA; Jan. 11, 1999; 122p; In English
Report No.(s): AD-A359873; FY99-70; No Copyright; Avail: CASI; A06, Hardcopy; A02, Microfiche
The goal of the Fully Integrated and Automated Project Processes (FIAPP) research thrust at the University of Texas at Austin
is to improve the industry through better utilization of integration and automation technologies. This thesis describes the first step
toward that goal: development of a survey with which to measure both the degree of technology use on projects and the implications
of such usage on project outcomes. Also included in this report, is guidance for future researchers who wish to develop similar
surveys or gather similar data.
DTIC
Technology Utilization; Automata Theory; Surveys; Project Management
61
COMPUTER PROGRAMMING AND SOFTWARE
�������� �������� ������������ �������� ��������� ��������� ����������� ��� �������� ������������� ����� �������� ��� ��������
�������� ������� �� �������� ������������� ��� ���� ��� ���������� ���������
20010022506 Institute for Computer Applications in Science and Engineering, Hampton, VA USA
Saturation: An efficient iteration strategy for symbolic state-space generation Final Report
Ciardo, Gianfranco, College of William and Mary, USA; Luettgen, Gerald, Sheffield Univ., UK; Siminiceanu, Radu, College of
William and Mary, USA; February 2001; 21p; In English
Contract(s)/Grant(s): NAS1-97046; NAG1-2168; RTOP 505-90-52-01
Report No.(s): NASA/CR-2001-210663; ICASE-2001-5; No Copyright; Avail: CASI; A03, Hardcopy; A01, Microfiche
This paper presents a novel algorithm for generating state spaces of asynchronous systems using Multi-valued Decision Diagrams.
In contrast to related work, the next-state function of a system is not encoded as a single Boolean function, but as crossproducts
of integer functions. This permits the application of various iteration strategies to build a system’s state space. In
particular, this paper introduces a new elegant strategy, called saturation, and implements it in the tool SMART. On top of usually
performing several orders of magnitude faster than existing BDD-based state-space generators, the algorithm’s required peak
memory is often close to the nal memory needed for storing the overall state spaces.
Author
Iteration; Saturation; Algorithms
20010022747 National Inst. of Standards and Technology, Manufacturing Systems Integration Div., Gaithersburg, MD USA
Internet Commerce for Manufacturing Data Staging
Nell, J. G.; Parks, C. H.; Nov. 08, 2000; 32p; In English
Report No.(s): PB2001-100538; NISTIR-6578; No Copyright; Avail: National Technical Information Service (NTIS)
This paper describes work done by the National Institute of Standards and Technology (NIST) under the Internet Commerce
for Manufacturing (ICM) project. A task of this project is to model selected business processes and data flows within and across
trading partners involved in the manufacturing of electronic-printed-circuit boards and assemblies. The ICM work toward developing
message and data transfer in a printed-circuit-assembly-supply chain requires accurate knowledge of the process events,
249