Logic Table Research Articles

A teoria da lógica mental: e os estudos empíricos em crianças e adultos

In this paper we discuss Mental Logic Theory and the controversies originated from studies which made use of the Standard Logic Truth Table and empirical studies with children and adults that support the propositional and predicative logic.

Time optimal mixed radix conversion for residue number applications

A new method is proposed for converting residue integers into a mixed radix notation. The method is based upon a modified formulation of the Chinese Remainder Theorem, and permits both conventional logic and look-up table implementations. Moreover, it represents the first method enabling optimal, residue-to-weighted system, asymptotic conversion time. To prove this, a constructive VLSI design has been devised, exhibiting time O(logs), where s is the total number of input bits. If compared with the existing mixed radix converting techniques, the method proposed considerably enhances the conversion time. To conclude, it is shown that, at the present state of the technology, practical ECL IC's implementations achieve 35-40 ns conversion times with RAMs and 60-70 ns with logic circuity for dynamic ranges up to 300 bits

Blood grouping using a galvanic immunoelectrode sensor

Traditional blood grouping techniques have been performed using either direct or indirect hemagglutination or adherence methods. Most procedures are time-consuming to perform, labor intensive and, for the most part, have subjective interpretation. An immunoelectrode system using a pair of electrodes, with either monoclonal antibody or red cell membrane attached to one of the electrode surfaces, has been developed. The fluid (whole blood) to be analyzed is used as an electrical bridge between the electrodes. The analysis of the fluid sample for predetermined immunological reactions can be evaluated by controlling and measuring either the current or the voltage across the two electrodes of the pair. Tests using a printed electrical circuit card of pairs of electrodes (one of the pair coated with a reactant), or a series of electrodes (each coated with a different reactant) with one common reference electrode indicate that the test procedure is rapid (less than 60 seconds) and specific. Tests results read in one hundredth of a second intervals and read at the millivolt or microvolt levels can be electronically scanned, processed through the logic table and immediately interpreted.

How to get users to follow procedures

Three basic criteria must be met to ensure that users follow procedures: First, the procedure must have an appropriate format. Nine formats are described: narrative, step-by-step list, list with a visual aid, playscript, list of questions, flowchart, narrative flowchart, decision logic table, and decision tree. Second, the procedure must not assume knowledge the user does not have (no step left out). Third, the procedure must be fair to the user (not biased and with an equitable workload distribution).

MOVE Architecture in Digital Controllers

The conditional MOVE processor (CMOVE) has been proposed for replacement of logic table driven sequencers like traffic light controllers and microcomputer I/O processors, in order to take better advantage of hardware-software tradeoffs. Herein the architecture of the CMOVE processor is sketched, and its application to traditional numerical control problems is studied. Two basis types of controllers, of potential use in industrial process control, are taken into account: the digital filter type, expressed as a ratio of two 2-transform polynomials (the proportional-integral-differential (PID) controllers is a particular case of the above), and the matrix multiplication type, which produces a control vector in response to a state vector input. A detailed program for a CMOVE realizatiorn of the digital filter is presented. A number of alternative realizations of the matrix controller are discussed in detail and evatuated.

Move Architecture in Digital Controllers

The conditional MOVE processor (CMOVE) has been proposed for replacement of logic table driven sequencers like traffic light controllers and microcomputer I/O processors, in order to take better advantage of hardware-software tradeoffs. Herein the architecture of the CMOVE processor is sketched, and its application to traditional numerical control problems is studied.

An automatic decision-logic-table processor

The value of decision-logic-tables as a tool for computer programming has been brought forth by the development of several programming languages. The well-known decision-logic-table programming languages are designed as input to translators. Instead of converting the input decision-logic tables to an executable form, these translators convert the source program to some other well-known language, such as Fortran. The appropriate compiler then converts the resulting source-language program to an executable form.The DEcision Logic TAble programming language, Delta, described here, is an automatic decision table processor, eliminating the need to translate the input into some intermediate source language. Basic features of decision-logic tables are used as a foundation for Delta. The syntax of Delta is similar to that of PL/I. Although Delta is limited in scope, it is expandable. Derived from the Purdue University Fast Fortran Translator, Pufft, the Delta processor performs both a syntax analysis and generates code, in one pass. The code generated is not machine language, but is an internal representation of the object language program.

A procedure for converting logic table conditions into an efficient sequence of test instructions

A procedure for converting logic table conditions into an efficient sequence of test instructions

A study of tektites

A three-year research program at Boston University is described. A field survey was made in Texas, Georgia, Martha's Vineyard, and southern states along the Jackson formation. Sandstone taken from the tektite fields was fused into a glass by means of a solar furnace with an energy expenditure of 1.6×1011 ergs g−1. Although solar furnace glass resembled tektite material in its gross characteristics, there were notable differences in the magnetic domains and in the bubble content. Ablation experiments were carried out using tektite material in a plasma jet. It was found that with a Mach number of 0.47 the flange, so characteristic of flight forms, did not form as a stable structure. The new evidence has been combined with existing data in a logic table to assess the various theories of the origin of tektites. Arguments and interpretations are given on the basis of this table to show that tektites are produced as splashes of fused material from terrestrial craters formed by impact with a meteorite or asteroid.