Data bases and data base systems related to NASA's aerospace program. A bibliography with indexes

This bibliography lists 1778 reports, articles, and other documents introduced into the NASA scientific and technical information system, 1975 through 1980

Creating trust between local and global systems

Sociale interactie vindt plaats tussen partijen die op verschillende locaties gesitueerd zijn. Tegelijk worden lokale interacties steeds meer gemedieerd door niet-lokale instituten and technologieen, zoals in het geval van een lokale credit card betaling. Het probleem van vertrouwen is vanuit dit perspectief gedefinieerd als het probleem van het compatibilitie creeren tussen gezichtsloze verplichtingen, die zijn gecodificeerd in de wereldwijde instituten en systemen van vertrouwen, en face-to-face werkverplichtingen, die zijn ingebed in lokale netwerken van vertrouwde relaties. Lokaal vertrouwen wordt geproduceerd op basis van socializatie en internalisatie van gemeenschappelijke normen en waarden. Wereldwijd vertrouwen wordt geproduceerd op basis van een combinatie tussen gecodificeerde instituten en systemen van vertrouwen. De capaciteit van lokale systemen om vertrouwen te creeren op wereldwijd niveau hangt af van de capaciteit om vertrouwen in een code die bruikbaar is in het wereldwijde systeem en vice versa te vertalen. Het boek bevat een aantal case studies over industriele districten en bedrijven (o.a. Benetton en Fiat). Ganzaroli laat zien dat er in ieder geval drie modellen zijn voor het creeren van vertrouwen: ontkoppeling (de-coupling), losse koppeling (loosely coupling) en koppeling (coupling) en betoogt dat de losse koppeling het meest ontvankelijke model is. Concurrentie tussen locale bedrijven bevordert op een betere wijze de dynamische vereniging tussen locale en wereldwijde mechanismen en instituten voor het creeren van vertrouwen.This thesis focuses on the problem of creating trust between local and global systems. The development global institutions and technologies, such as the credit card system, tends to replace the value of local relationships of trust based on mutual knowledge and to standardize the way trust is established and created between people and firms. In this thesis we argue that the trust embedded within local networks of relationships represents a value for the whole global society. In this perspective we provides three major contributions. The first is to develop a model to interpret the process of trust creation between local and global systems. The second is to apply this model in a number of case studies of Italian industrial districts. The third is to highlight advantages and disadvantages associated to alternative strategies of trust creation between local and global systems

Requirements Formalization and Validation for a Telecommunication Equipment Protection Switcher

Using formal methods, namely model checking, we can automatically verify a formal model of the requirements against given properties. This allows us to detect errors early in the design process, thus decreasing development cost and time to market. However to modify a well established design process to introduce formal methods is not easy. We present a case study exploring the possibility of replacing informal functional specifications with formal ones in the design process of telecommunication Equipment Protection Switchers (EPSs). Our finding is that for EPSs the time effort to write formal specs from informal requirements is comparable with that for writing informal functional specs from informal requirements. This suggests that for EPSs replacing informal functional specs in the design process with formal specs can be done without suffering delays due to the formalization activity

Fourth Annual Workshop on Space Operations Applications and Research (SOAR 90)

The proceedings of the SOAR workshop are presented. The technical areas included are as follows: Automation and Robotics; Environmental Interactions; Human Factors; Intelligent Systems; and Life Sciences. NASA and Air Force programmatic overviews and panel sessions were also held in each technical area

The Future of Humanoid Robots

This book provides state of the art scientific and engineering research findings and developments in the field of humanoid robotics and its applications. It is expected that humanoids will change the way we interact with machines, and will have the ability to blend perfectly into an environment already designed for humans. The book contains chapters that aim to discover the future abilities of humanoid robots by presenting a variety of integrated research in various scientific and engineering fields, such as locomotion, perception, adaptive behavior, human-robot interaction, neuroscience and machine learning. The book is designed to be accessible and practical, with an emphasis on useful information to those working in the fields of robotics, cognitive science, artificial intelligence, computational methods and other fields of science directly or indirectly related to the development and usage of future humanoid robots. The editor of the book has extensive R&D experience, patents, and publications in the area of humanoid robotics, and his experience is reflected in editing the content of the book