|
1. |
Organization of a real‐time operating system “A‐RMS” |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 1-13
Shizuo Yokohata,
Yumiko Sugita,
Hisanobu Aoki,
Tomoo Ishikawa,
Preview
|
PDF (846KB)
|
|
摘要:
AbstractAs technologies in the process control and the equipment control fields become more and more advanced, there are increasing needs for a real time operating system which provides the interactive processing function in addition to the conventional control function.In the past, as a means to cope with these needs, technologies such as the virtual machine system of the emulation system were proposed. However, these systems presented difficulties in handling because each environment in these conventional systems uses its own operating system interface.This paper describes “A‐RMS,” a newly developed real‐time operating system which incorporates an interactive processing function as native on top of a real‐time operating system providing a control function. The control function and the interactive processing function are realized with unified concept and specification in A‐RMS. Adverse effects on the control function which might be induced by the incorporated interactive processing function are prevented by introducing a concept of environment to separate the interactive processing function from the control function.The new operating system is implemented on the M68010. This paper also mentions the effect of incorporation of the interactive processing function on A‐RMS performance. To secure response, A‐RMS employs only the real memory. The memory management unit (MMU) is used exclusively for me
ISSN:0882-1666
DOI:10.1002/scj.4690240501
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
2. |
A test‐path determination method based on define‐use chains: Test conditions and program fault overlooks |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 14-29
Takeshi Nakajo,
Ichiro Yamaguchi,
Hitoshi Kume,
Preview
|
PDF (1113KB)
|
|
摘要:
AbstractWhen selecting the set of conditions to be tested in modular white‐box testing of fundamental program functions, various kinds of criteria are available, including the branch coverage criterion and the all‐uses criterion. But there has been very little research on the relationship of these criteria to the overlooking of program faults, and as a consequence many program faults have been discovered only in the later phases of development or at customer sites, where conditions not covered by the original testing occurred. In this paper, an attempt is made to identify the relationship between test conditions and program fault overlooks by expressing the data flows of the program as chains of define‐use relationships between two variables. The approach is tested on commercial software products for the control of measuring equipment. The results are used to develop a method of choosing test paths so as to prevent the principal overlook types, and the detection ability and computational efficiency are compared with those of conventional selection criteria. The number of tests required in the new method is comparable with that in the all‐uses method, and it is capable of preventing almost all of the overlooks that arise from the method used for test path se
ISSN:0882-1666
DOI:10.1002/scj.4690240502
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
3. |
A parallel algorithm for tree pattern matching |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 30-39
Koji Tarora,
Tomio Hirata,
Yasuyoshi Inagaki,
Preview
|
PDF (814KB)
|
|
摘要:
AbstractGiven a text treetand a pattern treep, tree pattern matching involves finding subtrees oftwhich matchp.This paper proposed a parallel algorithm for tree pattern matching. The algorithm is designed to run inO(logn) parallel time usingmn/lognprocessors on CREW‐PRAM, wherenandmare the sizes oftandprespectively. This improves the result of Ramesh et al. that runs inO(log2n) time usingnr/log2nprocessors, whereris the number of vertices ofplabeled with variables. Futhermore, the method of processor allocation is described specifically in the proposed algorith
ISSN:0882-1666
DOI:10.1002/scj.4690240503
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
4. |
Multi‐valued current‐mode parallel multiplier based on redundant positive‐digit number representations |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 40-52
Shoui Kaqahito,
Makoto Ishida,
Tetsuro Nakamura,
Kentaro Mizuno,
Michitaka Kameyama,
Tatsuo Higuchi,
Preview
|
PDF (1040KB)
|
|
摘要:
AbstractThis paper proposes a new parallel multiplier based on the redundant number representation using positive digits (called redundant positive‐digit number representation, or simply PD number representation). The proposed algorithm is the fastest algorithm that can execute the multiplication ofn x ndigit by a time proportional to log2n. The structure is regular and is suited to LSI implementation.The proposed parallel multiplier is designed in two ways, i.e., by the multivated current mode circuit and by the binary digital circuit. Then the results are evaluated. The circuit designed by the multivated current mode, especially, has the feature that the 6‐input addition with partial product operand can be executed by the wired addition and a single‐stage parallel adder based on the PD number representation. Thus, it is demonstrated that the circuit has a high speed and can be realized with a very small number of elements and wirings. The basic circuits for the proposed parallel multiplier are constructed experimentally by 5 μm CMOS technology, and a satisfactory performance is ve
ISSN:0882-1666
DOI:10.1002/scj.4690240504
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
5. |
Optimum image restoration and topological invariance |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 53-63
Yukihiko Yamashita,
Hidemitsu Ogawa,
Preview
|
PDF (737KB)
|
|
摘要:
AbstractAn optimum image restoration filter is defined by an objective function. Its objective function is given using a topology in a space. Therefore, when another topology in a space is used, a different restoration filter may be obtained.In this paper the change of the topology in a space is restricted to a homeomorphic change of the inner product in a Hilbert space and the following two are discussed: (1) some optimum image restoration filters are independent of the inner product in a space; (2) When a Mahalanobis space is used, some of the optimum image restoration filters coincide with each other.The former property can be used in practical situations as follows. The inner product in a space generally must be chosen to suit the problem at hand, but in many cases this is a very difficult task. However, if a restoration filter is independent of the inner product in a space, there is no need to search for such an optimal inner product. Therefore, such inner product independent filters are very useful in practice.
ISSN:0882-1666
DOI:10.1002/scj.4690240505
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
6. |
An improved √Nalgorithm for mutual exclusion in decentralized systems |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 64-72
Takeshi Fuchi,
Preview
|
PDF (683KB)
|
|
摘要:
AbstractAn algorithm is proposed which realizes mutual exclusion in a computer network system where communications are conducted by messages only without using a shared memory. With this method, and by transferring a token representing the exclusion the exclusion right, the mutual exclusion is realized.A node wanting to execute a critical section first sends messages requesting exclusion to a set of nodes (members) assigned to it. The members keep this message, after receiving a finish exclusion message from some other node, transfer the exclusion request messages to the sender. The node receiving the token processes the critical section, and when finished, sends finish exclusion messages to the members. The members return information on nodes requesting exclusion known to them. According to this information, the next receiver of the token is determined. By contriving the selection of members and gathering information on nodes requesting exclusion, the mutual exclusion can be realized using √N+ 1 or more but less than or equal to 3√N+ 1 messa
ISSN:0882-1666
DOI:10.1002/scj.4690240506
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
7. |
Design of testing circuit and test generation for built‐in current testing |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 73-82
Yukiya Miura,
Yasushi Wada,
Kozo Kinoshita,
Preview
|
PDF (735KB)
|
|
摘要:
AbstractRecently current testing is beginning to be noticed as a testing method for CMOS circuits. However, since CMOS circuits cause the dynamic current due to switching, it has been pointed out that testing at a fast clock rate by current testing is difficult. To cope with this problem a built‐in current testing circuit is proposed in this paper. It is a circuit which measures the value of the dynamic current integrated over a unit time. Next a test sequence generation method for the proposed circuit is presented. In this method test sequences are generated so that the numbers of changes in the gate output values for two consecutive test vectors are almost equal. As a result the dynamic current does not change much between consecutive vectors. Finally the results of test generation for ISCAS'85 benchmark circuits are show
ISSN:0882-1666
DOI:10.1002/scj.4690240507
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
8. |
Quantitative properties of Kohonen's self‐organizing maps as adaptive vector quantizers |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 83-92
Toshiyuki Tanaka,
Masao Saito,
Preview
|
PDF (723KB)
|
|
摘要:
AbstractKohonen's model as the self‐organizing model for the neural network can be considered as a kind of adaptive vector quantization algorithm. Numerous reports have been presented on the application of the model to practical problems. Although some results have been presented for the theoretical properties of Kohonen's model, many properties remain to be clarified.Among various properties of Kohonen's model as an adaptive vector quantization algorithm, this paper considers the problem of how the reference vectors are placed according to the probability distribution of the input signal. Considering the limit where the number of reference vectors is increased to infinity, this problem can be discussed theoretically as the distribution of the reference vectors.Due to the effect of the “learning by neighborhood,” which is the feature of Kohonen's model, the property of the Kohonen model differs quantitatively from the property of the ordinary vector quantization algorithm. This paper discusses quantitatively the properties of Kohonen's model using the average learning equ
ISSN:0882-1666
DOI:10.1002/scj.4690240508
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
9. |
Magnetic field imaging using ct technique — roi reconstruction system |
|
Systems and Computers in Japan,
Volume 24,
Issue 5,
1993,
Page 93-104
Hideo Saito,
Ken'Ichi Fujita,
Masato Makajima,
Preview
|
PDF (1031KB)
|
|
摘要:
AbstractThis paper proposes a method to visualize the spatial distribution of the magnetic field in the region of interest (ROI), using CT technique. An experimenal system is constructed to visualize the magnetic field in ROI. In the reconstruction of the distribution in general by the CT technique, the projection data should not contain data outside the region of reconstruction. In the visualization of the magnetic field by CT techniques proposed up to the present, however, the projection data containing the magnetic field distribution outside the region of reconstruction are contained in the measurement. Consequently, the technique has been applied only to the case where the magnetic field exists only inside ROI.This paper proposes the following method. Wires for detecting the magnetic field are placed in the region of reconstruction. It is noted that the projection data obtained from the induced voltage does not contain the magnetic field distribution outside the region of reconstruction. This property is utilized in the visualization of the magnetic field distribution in the region of reconstruction.This paper describes also the principle of the fore‐mentioned methods, as well as the ROI visualization system constructed based on the principle. Using the proposed method, result of visualization is shown for magnetic field distribution produced by a permanent magne
ISSN:0882-1666
DOI:10.1002/scj.4690240509
出版商:Wiley Subscription Services, Inc., A Wiley Company
年代:1993
数据来源: WILEY
|
|