• KIISE Transactions on Computing Practices
• /
• v.22 no.1
• /
• pp.32-37
• /
• 2016

In model-based testing using sequence diagrams, test cases are automatically derived from the sequence diagrams. For the generation of test cases, scenarios need to be found for representing as a sequence diagram, and to extract test paths satisfying the test coverage. However, it is hard to automatically extract test paths from the sequence diagram because a sequence diagram represents loop, opt, and alt information using CombinedFragments. To resolve this problem, we propose a transformation process that transforms a sequence diagram into an activity diagram which represents scenarios as a type of control flows. In addition, we generate test cases from the activity diagram by applying a test coverage concept. Finally, we present a case study for test cases generation from a sequence diagram.

• Mycobiology
• /
• v.31 no.2
• /
• pp.74-80
• /
• 2003

Isolates of Trichoderma spp. collected from Pleurotus ostreatus and P. eryngii beds, which included loosened substrate compactness and development of green colour, were grouped into three species. The occurrence of different species of Trichoderma was as T. cf. virens(70.8%), T. longibrachiatum(16.7%) and T. harzianum(12.5%). The conidia of Trichoderma spp. were ellipsoidal, obovoid and phialides were bowling pins, lageniform and the length of phialides was $3.5{\sim}10.0{\times}1.3{\sim}3.3{\mu}m$. Phialides of T. cf. virens and T. harzianum were tending clustered, but it was solitary disposition in T. longibrachiatum. T. cf. virens was characterized by predominantly effuse conidiation, sparingly branched, and fertile to the apex and it was penicillate type. RAPD analysis could detect variability amongst three different species of Trichoderma using two newly designed URP-primers. However, intra-specific variation could not be detected in all the isolates except for rDNA sequence data classified Trichoderma isolates into three distinct groups representing three species. The profiles of rDNA sequences of isolates representing a species showed high similarity in T. cf. virens and T. harzianum. However, there was a variation in rDNA sequences of isolates representing T. longibrachiatum. The results of present study reveals that molecular techniques of RAPD and rDNA sequencing can greatly aid in classification based on morphology and precise identification of fast evolving species of Trichoderma.

• Communications of the Korean Mathematical Society
• /
• v.35 no.1
• /
• pp.137-149
• /
• 2020

Let γ⁽ⁿ⁾ ≡ {γ_ij} (0 ≤ i+j ≤ 2n, |i-j| ≤ n) be a sequence in the complex number set ℂ and let E (n) be the Embry truncated moment matrices corresponding from γ⁽ⁿ⁾. For an odd number n, it is known that γ⁽ⁿ⁾ has a rank E (n)-atomic representing measure if and only if E(n) ≥ 0 and E(n) admits a flat extension E(n + 1). In this paper we suggest a related problem: if E(n) is positive and nonsingular, does E(n) have a flat extension E(n + 1)? and give a negative answer in the case of E(3). And we obtain some necessary conditions for positive and nonsingular matrix E (3), and also its sufficient conditions.

• Journal of the Korean Society for Railway
• /
• v.9 no.1 s.32
• /
• pp.81-88
• /
• 2006

The purpose of this study is to verify the dimensions of service quality of Korea Train Express(KTX) and to compare the service quality of KTX with that of general train. The researcher consisted of initial 32 items representing eight-dimension and analyzed the final quality dimensions of KTX. The collected data of passenger of 226 was analyzed by statistical procedures such as the iterative sequence of computing Cronbach's a, corrected item-to total correlations, and factor analyses. Through the repeated statistical process to puritY the items, a final set of 26 items representing six district dimensions; tangibles, timely responsiveness, empathy, comfort, information access and safety. The Results of independent samples t-test showed that the mean scores of all the service quality dimensions of KTX except for comfort were higher than those of general train. This finding will provide the more appropriate instrument to measure the KTX service quality as well as to improve the passengers' perception of the service quality.

• Interdisciplinary Bio Central
• /
• v.6 no.4
• /
• pp.3.1-3.10
• /
• 2014

Amino acid substitution matrices are essential tools for protein sequence analysis, homology sequence search in protein databases and multiple sequence alignment. The PAM matrix was the first widely used amino acid substitution matrix. The BLOSUM series then succeeded the PAM matrix. Most substitution matrixes were developed by using the statistical frequency of substitution between each amino acid at blocks representing groups of protein families or related proteins. However, substitution of amino acids is based on the similarity of physiochemical properties of each amino acid. In this study, a new approach was used to obtain major physiochemical properties in multiple sequence alignment. Frequency of amino acid substitution in multiple sequence alignment database and selected attributes of amino acids in physiochemical properties database were merged. This merged data showed the major physiochemical properties through principle components analysis. Using factor analysis, these four principle components were interpreted as flexibility of electronic movement, polarity, negative charge and structural flexibility. Applying these four components, BAPS was constructed and validated for accuracy. When comparing receiver operated characteristic ($ROC_{50}$) values, BAPS scored slightly lower than BLOSUM and PAM. However, when evaluating for accuracy by comparing results from multiple sequence alignment with the structural alignment results of two test data sets with known three-dimensional structure in the homologous structure alignment database, the result of the test for BAPS was comparatively equivalent or better than results for prior matrices including PAM, Gonnet, Identity and Genetic code matrix.

• Journal of applied mathematics & informatics
• /
• v.9 no.2
• /
• pp.531-542
• /
• 2002

In this paper we deal with a sequence of positive linear operators ${{R_n}}^{[$\beta$]}$ approximating functions on the unbounded interval [0, $\infty$] which were firstly used by K. balazs and J. Szabados. We give pointwise estimates in the framework of polynomial weighted function spaces. Also we establish a Voronovskaja type theorem in the same weighted spaces for ${{K_n}}^{[$\beta$]}$ operators, representing the integral generalization in Kantorovich sense of the ${{R_n}}^{[$\beta$]}$.

• ETRI Journal
• /
• v.27 no.6
• /
• pp.814-817
• /
• 2005

Fast binary dilation and erosion algorithms using run-length encoding (RLE) are proposed. RLE is an alternative way of representing a binary image using a run, which is a sequence of '1' pixels. First, we derive the run-based representation of dilation and erosion and then present the full steps of the proposed algorithms in detail.

• Asian-Australasian Journal of Animal Sciences
• /
• v.16 no.10
• /
• pp.1411-1420
• /
• 2003

Comparative maps, representing chromosomal locations of homologous genes in different species, are useful sources of information for identifying candidate disease genes and genes determining complex traits. They facilitate gene mapping and linkage prediction in other species, and provide information on genome organization and evolution. Here, the current gene mapping and comparative mapping status of the major livestock species are presented. Two techniques were widely used in comparative mapping: FISH (Fluorescence In Situ Hybridization) and PCR-based mapping using somatic cell hybrid (SCH) or radiation hybrid (RH) panels. New techniques, using, for example, ESTs (Expressed Sequence Tags) or CASTS (Comparatively Anchored Sequence Tagged Sites), also have been developed as useful tools for analyzing comparative genome organization in livestock species, further enabling accurate transfer of valuable information from one species to another.

• East Asian mathematical journal
• /
• v.36 no.1
• /
• pp.61-71
• /
• 2020

Up to the present day, the best solution we can get to the truncated moment problem (TMP) is probably the Flat Extension Theorem. It says that if the corresponding moment matrix of a moment sequence admits a rank-preserving positive extension, then the sequence has a representing measure. However, constructing a flat extension for most higher-order moment sequences cannot be executed easily because it requires to allow many parameters. Recently, the author has considered various decompositions of a moment matrix to find a solution to TMP instead of an extension. Using a new approach with the Hadamard product, the author would like to introduce more techniques related to moment matrix decompositions.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2022.06a
• /
• pp.182-183
• /
• 2022

The large data volume of light field (LF) image has motivated much research on how to compress the data volume more efficiently. One of the approaches is to compress LF images after representing them in the form of pseudo video sequence. In this way, the pseudo temporal redundancy between views can be exploited by motion estimation and compensation. Based on our observation that images obtained by LF cameras have small range of disparity values between adjacent views, we propose to limit the motion search range to reduce the time complexity of motion estimation. Our experimental results show that a smaller motion search range reduces the encoding time while not affecting the bitrate of H.266/VVC much.