Expert system verification and validation study. ES V/V guidelines/workshop conference summary

The intent of the workshop was to start moving research on the verification and validation (V&V) of knowledge based systems (KBSs) in the direction of providing tangible 'products' that a KBS developer could use. In the near term research will focus on identifying the kinds of experiences encountered during KBS development of 'real' KBSs. These will be stored in a repository and will serve as the foundation for the rest of the activities described here. One specific approach to be pursued is 'benchmarking'. With this approach, a KBS developer can use either 'canned' KBSs with seeded errors or existing KBSs with known errors to evaluate a given tool's ability to satisfactorily identify errors

Expert system verification and validation guidelines/workshop task. Deliverable no. 1: ES V/V guidelines

The goals are to show that verifying and validating a software system is a required part of software development and has a direct impact on the software's design and structure. Workshop tasks are given in the areas of statistics, integration/system test, unit and architectural testing, and a traffic controller problem

Expert system verification and validation study

Five workshops on verification and validation (V&V) of expert systems (ES) where taught during this recent period of performance. Two key activities, previously performed under this contract, supported these recent workshops (1) Survey of state-of-the-practice of V&V of ES and (2) Development of workshop material and first class. The first activity involved performing an extensive survey of ES developers in order to answer several questions regarding the state-of-the-practice in V&V of ES. These questions related to the amount and type of V&V done and the successfulness of this V&V. The next key activity involved developing an intensive hands-on workshop in V&V of ES. This activity involved surveying a large number of V&V techniques, conventional as well as ES specific ones. In addition to explaining the techniques, we showed how each technique could be applied on a sample problem. References were included in the workshop material, and cross referenced to techniques, so that students would know where to go to find additional information about each technique. In addition to teaching specific techniques, we included an extensive amount of material on V&V concepts and how to develop a V&V plan for an ES project. We felt this material was necessary so that developers would be prepared to develop an orderly and structured approach to V&V. That is, they would have a process that supported the use of the specific techniques. Finally, to provide hands-on experience, we developed a set of case study exercises. These exercises were to provide an opportunity for the students to apply all the material (concepts, techniques, and planning material) to a realistic problem

Expert system verification and validation study: Workshop and presentation material

Workshop and presentation material are included. Following an introduction, the basic concepts, techniques, and guidelines are discussed. Handouts and worksheets are included

Experiences in improving the state of the practice in verification and validation of knowledge-based systems

Knowledge-based systems (KBS's) are in general use in a wide variety of domains, both commercial and government. As reliance on these types of systems grows, the need to assess their quality and validity reaches critical importance. As with any software, the reliability of a KBS can be directly attributed to the application of disciplined programming and testing practices throughout the development life-cycle. However, there are some essential differences between conventional software and KBSs, both in construction and use. The identification of these differences affect the verification and validation (V&V) process and the development of techniques to handle them. The recognition of these differences is the basis of considerable on-going research in this field. For the past three years IBM (Federal Systems Company - Houston) and the Software Technology Branch (STB) of NASA/Johnson Space Center have been working to improve the 'state of the practice' in V&V of Knowledge-based systems. This work was motivated by the need to maintain NASA's ability to produce high quality software while taking advantage of new KBS technology. To date, the primary accomplishment has been the development and teaching of a four-day workshop on KBS V&V. With the hope of improving the impact of these workshops, we also worked directly with NASA KBS projects to employ concepts taught in the workshop. This paper describes two projects that were part of this effort. In addition to describing each project, this paper describes problems encountered and solutions proposed in each case, with particular emphasis on implications for transferring KBS V&V technology beyond the NASA domain

Detecting Stress in Glasshouse Plants Using Color Infrared Imagery: A Potential New Application for Remote Sensing

English: Studies were conducted to evaluate the effectiveness of color infrared (CIR) film for detecting physiological stress in plants located within glasshouse structures. Spectroradiometer measurements obtained within and outside of a structure constructed of polycarbonate plastic indicated no significant attenuation or disruption of visible and near-infrared radiation entering the structure. CIR photographs of cucumber seedlings (Cucumis sativus) obtained within the greenhouse were comparable in quality to those obtained outside the structure, and clearly distinguished between foliage of healthy plants and those subjected to a moderate level of nitrogen stress. In CIR imagery of a trifoliate orange tree (Poncirus trifoliata (L.) Raf.) obtained within a greenhouse constructed of yellow fiberglass panels, leaves damaged by citrus red mites (Panonychus citri [McGregor]) were distinguishable from healthy foliage, and the distribution of damaged leaves on the tree itself was clearly evident. These results suggest that remote sensing techniques which have been used successfully to monitor conventional field crops are readily extendable to the commercial glasshouse environment with certain modifications. Spanish: Se condujeron estudios para evaluar la eficacia de la película infrarroja de color (CIR) para detectar el estrés fisiológico en las plantas situadas dentro de un invernadero. Las mediciones del spectroradiómetro obtenidas dentro y fuera de un invernadero construido con plástico de policarbonato no indicaron ninguna atenuación o interrupción significativa de la radiación visible y del cercano infrarrojo que penetraba al invernadero. Las fotografías con CIR de las plantas de semillero de pepino (Cucumis sativus) obtenidas dentro del invernadero fueron comparables en calidad a aquellas obtenidas fuera de este, y distinguieron claramente entre el follaje de plantas sanas y de aquellas sometidas a un nivel moderado de estrés de nitrógeno. En imágenes de CIR de un naranjo trifoliado (Poncirus trifoliata (L.) Raf.) obtenidas dentro de un invernadero construido de paneles amarillos de fibra de vidrio, las hojas dañadas por el ácaro rojo de los cítricos (Panonychus citri [McGregor]) se distinguieron del follaje sano, y la distribución de hojas dañadas en el árbol mismo fueron claramente evidentes. Estos resultados sugieren que las técnicas de detección a distancia que se han utilizado con éxito para supervisar campos de cultivo convencionales, también pueden usarse fácilmente, con algunas modificaciones, en cultivos comerciales en invernadero

Mathematical modeling of the metastatic process

Mathematical modeling in cancer has been growing in popularity and impact since its inception in 1932. The first theoretical mathematical modeling in cancer research was focused on understanding tumor growth laws and has grown to include the competition between healthy and normal tissue, carcinogenesis, therapy and metastasis. It is the latter topic, metastasis, on which we will focus this short review, specifically discussing various computational and mathematical models of different portions of the metastatic process, including: the emergence of the metastatic phenotype, the timing and size distribution of metastases, the factors that influence the dormancy of micrometastases and patterns of spread from a given primary tumor.Comment: 24 pages, 6 figures, Revie

The Sloan Digital Sky Survey Quasar Catalog I. Early Data Release

We present the first edition of the Sloan Digital Sky Survey (SDSS) Quasar Catalog. The catalog consists of the 3814 objects (3000 discovered by the SDSS) in the initial SDSS public data release that have at least one emission line with a full width at half maximum larger than 1000 km/s, luminosities brighter than M_i^* = -23, and highly reliable redshifts. The area covered by the catalog is 494 square degrees; the majority of the objects were found in SDSS commissioning data using a multicolor selection technique. The quasar redshifts range from 0.15 to 5.03. For each object the catalog presents positions accurate to better than 0.2" rms per coordinate, five band (ugriz) CCD-based photometry with typical accuracy of 0.05 mag, radio and X-ray emission properties, and information on the morphology and selection method. Calibrated spectra of all objects in the catalog, covering the wavelength region 3800 to 9200 Angstroms at a spectral resolution of 1800-2100, are also available. Since the quasars were selected during the commissioning period, a time when the quasar selection algorithm was undergoing frequent revisions, the sample is not homogeneous and is not intended for statistical analysis.Comment: 27 pages, 4 figures, 4 tables, accepted by A

Galaxy Clustering in Early SDSS Redshift Data

We present the first measurements of clustering in the Sloan Digital Sky Survey (SDSS) galaxy redshift survey. Our sample consists of 29,300 galaxies with redshifts 5,700 km/s < cz < 39,000 km/s, distributed in several long but narrow (2.5-5 degree) segments, covering 690 square degrees. For the full, flux-limited sample, the redshift-space correlation length is approximately 8 Mpc/h. The two-dimensional correlation function \xi(r_p,\pi) shows clear signatures of both the small-scale, ``fingers-of-God'' distortion caused by velocity dispersions in collapsed objects and the large-scale compression caused by coherent flows, though the latter cannot be measured with high precision in the present sample. The inferred real-space correlation function is well described by a power law, \xi(r)=(r/6.1+/-0.2 Mpc/h)^{-1.75+/-0.03}, for 0.1 Mpc/h < r < 16 Mpc/h. The galaxy pairwise velocity dispersion is \sigma_{12} ~ 600+/-100 km/s for projected separations 0.15 Mpc/h < r_p < 5 Mpc/h. When we divide the sample by color, the red galaxies exhibit a stronger and steeper real-space correlation function and a higher pairwise velocity dispersion than do the blue galaxies. The relative behavior of subsamples defined by high/low profile concentration or high/low surface brightness is qualitatively similar to that of the red/blue subsamples. Our most striking result is a clear measurement of scale-independent luminosity bias at r < 10 Mpc/h: subsamples with absolute magnitude ranges centered on M_*-1.5, M_*, and M_*+1.5 have real-space correlation functions that are parallel power laws of slope ~ -1.8 with correlation lengths of approximately 7.4 Mpc/h, 6.3 Mpc/h, and 4.7 Mpc/h, respectively.Comment: 51 pages, 18 figures. Replaced to match accepted ApJ versio

A new conceptual framework for revenge firesetting

Revenge has frequently been acknowledged to account for a relatively large proportion of motives in deliberate firesetting. However, very little is actually known about the aetiology of revenge firesetting. Theoretical approaches to revenge-seeking behaviour are discussed. A brief review of how revenge is accounted for in existing theoretical explanations of deliberate firesetting and the known characteristics of revenge firesetters are provided. On this basis, the authors suggest, as a motive, revenge firesetting has to date been misconceptualised. A new conceptual framework is thus proposed, paying particular attention to the contextual, affective, cognitive, volitional and behavioural factors which may influence and generate a single episode of revenge firesetting. Treatment implications and suggestions for future research are also provided