• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.33 no.3
• /
• pp.99-106
• /
• 2005

The SRT(stability rating test) technique, which is indispensable for the development of a LRE(liquid rocket engine), essentially requires a development of a combustion test sequence as well as artificial perturbation devices. For the development of an indigenous SRT technique, several combustion tests of sub-scale LRE were performed to search a proper combustion test sequence. At first, a pressure-wave inducing device which is used for adapting pulse gun was designed and a cooling gas supply system for the pressure-wave inducing device was set up to prevent a malfunction of pulse gun. Through the several combustion tests which included cooling procedure of a pressure-wave inducing device, a proper combustion test sequence was found out. It did not make any significant disturbance at normal combustion process. Finally, an indigenous SRT technique has been developed successfully.

• The Korean Journal of Applied Statistics
• /
• v.27 no.1
• /
• pp.115-122
• /
• 2014

A test for randomness of the binary random sequence is proposed in this paper. The proposed test statistic is based on the mean length of runs distributed with truncated geometric distribution and asymptotically ${\chi}^2_2$-distributed when the size of the sequences is large. A small Monte Carlo simulation compared the size of the test with a significant level as well as evaluated the test power. We applied the proposed method to the sequence of yes or no numbers in Lotto 6/45 and concluded that the randomness of Lotto is retained.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10b
• /
• pp.24-29
• /
• 1993

In this paper, the estimation of the structure of a logic circuit under test is made from the observation of the input-output correlation function by use of M-sequence, from which we can estimate whether or not any fault exist in the logic circuit. Especially, investigation was made in case of the 2_stage logic circuit. We checked theoretically the sequence of correlation function, and we have shown that the correlation function is a function of period of M-sequence only, land the appearing number of correlation function in a period is a constant value depending on the logic circuit only. And by computer simulations we have shown that the structure of the circuit under test can be estimated from the observation of sequence of correlation function.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.2
• /
• pp.241-249
• /
• 1997

In this paper, a new technique is proposed for generating a minimum-length synchronizable test sequence that can be applied in the distributed test architecture where both external synchtonization and input/output operation costs are taken into consideration. the method defines a set of transformation rules that constructs a duplex digraph from a given finite state machine representation of a protocol specification rules that constructs a duplex digraph from a given finite state machine representation of a protocol specificatio such that a rural chinese postman tour of the duplex digraph can be used to generate a minimum-length synchronizable test sequence using synchronizable distinguishing sequences as the state identification sequence for each state of the given finite state machine. The method provides an elegant solution to the synchronization problem that arises during the application of a predetermined test sequence in some protocol test architectures that utilize remote testers.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.9
• /
• pp.469-478
• /
• 2001

It is difficult to test a distributed system because of the task of controlling concurrent events,. Existing works do not propose the test sequence generation algorithm in a formal way and the amount of message is large due to synchronization. In this paper, we propose a formal test sequence generation algorithm using logical clock to control concurrent events. It can solve the control-observation problem and makes the test results reproducible. It also provides a generic solution such that the algorithm can be used for any possible communication paradigm. In distributed test, the number of channels among the testers increases non-linearly with the number of distributed objects. We propose a new remote test architecture for solving this problem. SDL Tool is used to verify the correctness of the proposed algorithm and it is applied to the message exchange for the establishment of Q.2971 point-to-multipoint call/connection as a case study.

• Proceedings of the Korea Concrete Institute Conference
• /
• 2002.10a
• /
• pp.353-358
• /
• 2002

The purpose of this paper was to estimate the cumulative damage of pavement concrete by split tension fatigue test. The split tension fatigue test of variable amplitude loading were performed in two and three stages. The results of the fatigue test by variable amplitude loading showed that the sums of damage were greater than 1 in the increasing sequence loading tests, and less than 1 in the decreasing sequence loading tests. The remaining life estimated by equivalent damage theory was almost similar to that of experimental results.

• Journal of the Korean Data and Information Science Society
• /
• v.6 no.2
• /
• pp.9-15
• /
• 1995

In discriminant analysis the procedures commonly used to estimate the dimensionality involve testing a sequence of dimensionality hypotheses. There is a problem with the size of the test since dimensionality hypotheses are tested sequentially and thus they are actually conditional tests. The focus of this paper is "How is the size of the test affected by viewing this sequence of tests as conditional tests?".

• Journal of Electrical Engineering and information Science
• /
• v.2 no.6
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.17 no.6
• /
• pp.546-552
• /
• 2012

This paper presents an active anti-islanding detection method using negative sequence voltage injection to the grid through a three-phase photovoltaic inverters. Because islanding operation mode can cause a variety of problems, the islanding detection of grid-connected photovoltaic inverter is the mandatory feature. The islanding mode is detected by measuring the magnitude of negative sequence impedance calculated by the negative sequence voltage and current at the point of common coupling. Simulation and experimental test are performed to verify the effectiveness of the proposed method which can detect the islanding mode in the specified time. The test has been done in accordance with the condition on IEEE Std 929-2000.

• Educational Technology International
• /
• v.9 no.1
• /
• pp.79-96
• /
• 2008

The issue of connection between entities has a lengthy history in educational research, especially since it provides the necessary bridge between base and target in analogical transfer. Recently, the connection has been viewed through the application of technology to bridge between sequences in order to be cognitively useful. This study reports the effect of sequence type (AT vs. TA) and connection type (fading vs. popping) on the achievement and analogical transfer in a multimedia application. In the current research, 10th -grade and 11th -grade biology students in Korea were randomly assigned to five groups to test the effects of presentation sequence and entity connection type on analogical transfer. Consistent with previous studies, sequence type has a significant effect: analogical transfer performance was better when base representations were presented first followed by target representations rather than the reverse order. This is probably because presenting a familiar base first helps in understanding a less familiar target. However, no fully significant differences were found with the entity connection types (fading vs. popping) in analogical transfer. According to the Markman and Gentner's (2005) spatial model, analogy in a space is influenced only by the differences between concepts, not by distance in space. Thus connection types fail on the basis of this spatial model in analogical transfer test. The findings and their implications for sequence and connection research and practice are discussed. Leveraging on the analogical learning process, specific implications for scaffolding learning processes and the development of adaptive expertise are drawn.