Resistance fail strain gage technology as applied to composite materials

Existing strain gage technologies as applied to orthotropic composite materials are reviewed. The bonding procedures, transverse sensitivity effects, errors due to gage misalignment, and temperature compensation methods are addressed. Numerical examples are included where appropriate. It is shown that the orthotropic behavior of composites can result in experimental error which would not be expected based on practical experience with isotropic materials. In certain cases, the transverse sensitivity of strain gages and/or slight gage misalignment can result in strain measurement errors

Adding run history to CLIPS

To debug a C Language Integrated Production System (CLIPS) program, certain 'historical' information about a run is needed. It would be convenient for system builders to have the capability to request such information. We will discuss how historical Rete networks can be used for answering questions that help a system builder detect the cause of an error in a CLIPS program. Moreover, the cost of maintaining a historical Rete network is compared with that for a classical Rete network. We will demonstrate that the cost for assertions is only slightly higher for a historical Rete network. The cost for handling retraction could be significantly higher; however, we will show that by using special data structures that rely on hashing, it is also possible to implement retractions efficiently

Flight data display studies for real time computer flight evaluation Final report

Real time displays for in-flight monitoring of Saturn launch vehicle

Cargo/Logistics Airlift System Study (CLASS), Volume 2

Air containerization is discussed in terms of lower freight rates, size and pallet limitations, refrigeration, backhaul of empties, and ownership. It is concluded that there is a need for an advance air cargo system as indicated by the industry/transportation case studies, and a stimulation of the air cargo would result in freight rate reductions

Cargo/Logistics Airlift System Study (CLASS), Volume 1

Current and advanced air cargo systems are evaluated using industrial and consumer statistics. Market and commodity characteristics that influence the use of the air mode are discussed along with a comparison of air and surface mode on typical routes. Results of on-site surveys of cargo processing facilities at airports are presented, and institutional controls and influences on air cargo operations are considered

Cargo/Logistics Airlift System Study (CLASS), Executive Summary

The current air cargo system is analyzed along with advanced air cargo systems studies. A forecast of advanced air cargo system demand is presented with cost estimates. It is concluded that there is a need for a dedicated advance air cargo system, and with application of advanced technology, reductions of 45% in air freight rates may be achieved

1971 Proceedings of the Twelfth World Methodist Conference

https://place.asburyseminary.edu/wmcproceedings/1010/thumbnail.jp

MIRO: A debugging tool for CLIPS incorporating historical Rete networks

At the last CLIPS conference, we discussed our ideas for adding a temporal dimension to the Rete network used to implement CLIPS. The resulting historical Rete network could then be used to store 'historical' information about a run of a CLIPS program, to aid in debugging. MIRO, a debugging tool for CLIPS built on top of CLIPS, incorporates such a historical Rete network and uses it to support its prototype question-answering capability. By enabling CLIPS users to directly ask debugging-related questions about the history of a program run, we hope to reduce the amount of single-stepping and program tracing required to debug a CLIPS program. In this paper, we briefly describe MIRO's architecture and implementation, and the current question-types that MIRO supports. These question-types are further illustrated using an example, and the benefits of the debugging tool are discussed. We also present empirical results that measure the run-time and partial storage overhead of MIRO, and discuss how MIRO may also be used to study various efficiency aspects of CLIPS programs

Extending the theory of Owicki and Gries with a logic of progress

This paper describes a logic of progress for concurrent programs. The logic is based on that of UNITY, molded to fit a sequential programming model. Integration of the two is achieved by using auxiliary variables in a systematic way that incorporates program counters into the program text. The rules for progress in UNITY are then modified to suit this new system. This modification is however subtle enough to allow the theory of Owicki and Gries to be used without change