• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.9
• /
• pp.1395-1403
• /
• 1993

Protocol conformance is crucial to inter-operability and cost effective computer communication. Given a protocol specification, the task of checking whether an inplementation conforms to the specification is called conformance testing. The efficiency and fault coverage of conformance testing are largely dependent on how test cases are chosen. Some states may have more one UIO sequence when the protocol is represented by FSM (Finite State Machine). The length of test sequence can be minimized if the optimal test sequences are chosen. In this paper, we construct the depth-tree to find the maximum overlapping among the test sequence. By using the resulting depth-tree, we generate the minimum-length test sequence. We show the example of the minimum-length test sequence obtained by using the resulting depth-tree.

• Journal of Applied Reliability
• /
• v.14 no.2
• /
• pp.114-121
• /
• 2014

An environmental test has been performed in order to improve the lifetime and reliability of the electrical units on aircraft. However, faults occurring in the field of aircraft have been difficult to predict and prevent, and new concepts for reliability testing are desired. Therefore, a composite reliability test sequence was proposed in the conventional studies. This study introduces test sequence guidelines based on relevant principles and considerations for electronic testing according to International Standard IEC-60068-1 and the United States Military Standard MIL-STD-810G. In addition, we analyze possible causes of failure using two-step QFD based on aircraft operation scenarios. Finally, the proposed test sequence can reproduce various and realistic failure modes for electrical units on aircraft.

• PNF and Movement
• /
• v.12 no.2
• /
• pp.97-106
• /
• 2014

Purpose: The purpose of this study was to investigate changes in EEG through attention. Concentration training and performing tasks are important factors in the improvement of motor learning ability. Methods: In the experiment, 22 healthy people were divided into two groups: the trail making test (TMT) group and the computerized neurocognitive function test (CNT) group. A one-way Neuro Harmony M test to see whether there was a significant difference among the groups. Results: The TMT group showed a significant increase in ${\alpha}$ wave, ${\alpha}$ wave sequence, and ${\beta}$ wave sequence; however, there were no significant differences in SMR wave, SMR wave sequence, and ${\beta}$ wave. The CNT group showed increases in ${\alpha}$ wave, ${\alpha}$ wave sequence, SMR wave, SMR wave sequence, and ${\beta}$ wave sequence; however, there was no significant difference in ${\beta}$ wave. In EEGs before and after two performance tasks were changed, there were significant differences in ${\beta}$ wave, SMR wave, SMR wave sequence; however, there were no significant differences in ${\alpha}$ wave sequence, ${\beta}$ wave, and ${\beta}$ wave sequence. Conclusion: Attention training and concentration training offer feedback and repetition for constant stimulus and response. Moreover, attention training and concentration training can contribute to new studies and motivation by developing fast sensory and motor skills through acceptable visual and auditory stimulation.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.8 no.6
• /
• pp.470-477
• /
• 2015

This paper presents a new technique for generating an optimum synchronizable test sequence that can be applied in the distributed test architecture where both external synchronization and input/output operation costs are taken into consideration. The method defines a set of phases that constructs a tester-related digraph from a given finite state machine representation of a protocol specification such that a minimum cost tour of the digraph with intrinsically synchronizable transfer sequences can be used to generate an optimum synchronizable test sequence using synchronizable state identification sequences as the state recognition sequence for each state of the given finite state machine. This hybrid approach with a heuristic and optimization technique provides a simple and 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.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• 한국태양에너지학회:학술대회논문집
• /
• 2011.04a
• /
• pp.23-24
• /
• 2011

In this paper, I performed the IEC test in crystalline photovoltaic module described in test standard. And sometimes I changed the test sequence and impact factors for testing modules. Comparing the current test trees in IEC 61215, some ideas are suggested in proper test sequence to guarantee the long-term durability for 25 years.. The detail discussion will be shown in the following paper.

• Korean Journal of Microbiology
• /
• v.24 no.2
• /
• pp.79-85
• /
• 1986

We have determined the sequence of $tRNA^{Arg}$ of A. nidulans partially by enzymatic rapid RNA sequencing technique. The sequence was 5'GGCCGGCUGGCCCAAXUGGCAAGGXUCUGAXUACGAAXCAGGAGAUUGCACXXXXXGAGCXXUXXGUCGGUCACCA3' The cloverleaf structure was made from above data. As a result, the anticodon sequence was identified as ACG. This result was confirmed with charging test. The complete sequence was proposed by supplementing the DNA sequence to and by assigning the position of minor bases to this RNA sequence.

• Research in Mathematical Education
• /
• v.11 no.1
• /
• pp.75-85
• /
• 2007

This paper analyzes the difficulties with the learning of sequence and series of the second-year students who participated in a year long whole class at the university level. The research was carried out at the end of students' third semester. These students were randomly selected. They were applied to one paper and pencil test containing eight task items on sequence and series. In this study, qualitative method (case study design) was used to explore students' difficulties and misunderstandings in learning sequence and series. Students' responses to the questions were divided into three categories: These were "correct", "partial correct" and "false or no responses". Students' responses to the paper and pencil test were evaluated. The results show that students had difficulties and misunderstandings in series and sequence.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.10 s.352
• /
• pp.54-60
• /
• 2006

In order to test the board with IEEE 1149.1 boundary scan design, the test sequence must be applied as the bit stream However it is very tedious job to generate the test bit sequence since it requires the complete hlowledge about the 1149.1. This fuper introduces a convenient PCI/USB interface controller, named as Test-Ready PCI (TRPCI) ard Test-Ready USB (TRUSB). Test Bus Controller has been developed by TI and Lucent aiming to generate the test bit stream as an instruction level, thus even the novice test engineer can easily generate the test sequence.

• The Journal of Engineering Geology
• /
• v.1 no.1
• /
• pp.85-108
• /
• 1991

Marine seismic processing is characterized by a great amount of data, several professional processing steps, and various parameters to be decided in each step. In general, adequate processing sequence and optimum parameters are obtained through test processing with sample set of data representing the whole group. The sequence and parameters are then applied in processing the whole data. In this paper, optimum processing sequence and parameters for the data acquired in Korean continental shelf are examined through test processing with real data. Finally, a good-quality migration section is produced using those sequence and parameters decided on the basis of the test results.