Keijiro ARAKI Takeshi HAYASHI Kazuo USHIJIMA
In this paper we extend Pratt's dynamic logic so as to treat assignment statements concerning Pascal-like pointers and records. We present backward transformation rules for these statements and give the formal justification of the rules by extending Pratt's program-semantics. Properties of programs which manipulate more complex data structures composed of pointers and records (e.g., linked stacks, queues, trees, etc.) can be described in our logic. We prove as an example a partial correctness assertion of a program which treats a linked stack.
Yoshihide IGARASHI Shoji SAKURAZAWA
Bipartite representations of permutations are introduced, and the relation between the representations and the actions of permutation networks devised by Waksman et al is investigated. As an example of the application of the bipartite representations, a lucid algorithm for setting-up a permutation network to produce a given permutation is shown. An algorithm for counting the number of configurations of the network that produce a given permutation is derived. The computing time complexity of the algorithm by a random access machine is O (2N/2+O(log2N)).
This paper considers behaviors of first and second order phase-locked loops (PLLs) and delay-locked loops (DLLs) in the presence of interfering signals. In the first part sufficient asynchronous conditions of the PLL with a rectangular signal and of the DLL with a pseudo random signal in the presence of the interfering signals are obtained using a simplified method devised by the author. Fluctuation of phase difference between signal and output of voltage controlled oscillator caused by the interfering signal is also analyzed by the method in the second part. By this method one can compare the interfering effects on several types of signals and get informations about the selection of appropriate signals.
Jiro TEMMYO Yoshiaki TAMAMURA Takahiro INAMURA Shokichiro YOSHIKAWA
A two-phase phase-shift-keyed modulator is realized utilizing a SAW delay line and diode switching circuits. Fundamental performances of the device were clarified experimentally and theoretically.
Tadayoshi ENOMOTO Masaaki YASUMOTO Shigeo FUSHIMI
A floating gate tapped CCD with 32 taps for programmable transversal filter applications is presented. A 32-tap minimum phase lowpass filter designed and implemented on this device is discussed in detail. A novel design procedure of this filter is also explained.