• Kyungpook Mathematical Journal
• /
• v.58 no.2
• /
• pp.271-289
• /
• 2018

Let 0 < q < ${\infty}$. In this study, we introduce the spaces ${\mathcal{BV}}_q$ and ${\mathcal{LS}}_q$ of q-bounded variation double sequences and q-summable double series as the domain of four-dimensional backward difference matrix ${\Delta}$ and summation matrix S in the space ${\mathcal{L}}_q$ of absolutely q-summable double sequences, respectively. Also, we determine their ${\alpha}$- and ${\beta}-duals$ and give the characterizations of some classes of four-dimensional matrix transformations in the case 0 < q ${\leq}$ 1.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.22 no.3
• /
• pp.8-14
• /
• 2014

Arrival management is a tool which provides efficient flow of traffic and reduces ATC workload by determining aircraft's sequence and schedules while they are in cruise phase. As a decision support tool, arrival management should advise on air traffic control service based on the understanding of human factor of its user, air traffic controller. This paper proposed a prediction model for air traffic controller sequencing strategy by analyzing the historical trajectory data. Statistical analysis is used to find how air traffic controller decides the sequence of aircraft based on the speed difference and the airspace entering time difference of aircraft. Logistic regression was applied for the proposed model and its performance was demonstrated through the comparison of the real operational data.

• Journal for History of Mathematics
• /
• v.28 no.4
• /
• pp.167-179
• /
• 2015

We study the solution of truncated series of Lee Sang-hyeog with the aspect of visualization. Lee Sang-hyeog solved a problem of truncated series by 4 ways: Shen Kuo' series method, splitting method, difference sequence method, and Ban Chu Cha method. As the structure and solution of truncated series in tertiary number is already clarified with algebraic symbols in some previous research, we express and explain it by visual representation. The explanation and proof of algebraic symbols about truncated series is clear in mathematical aspects; however, it has a lot of difficulties in the aspects of understanding. In other words, it is more effective in the educational situations to provide algebraic symbols after the intuitive understanding of structure and solution of truncated series with visual representation.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.33B no.8
• /
• pp.60-67
• /
• 1996

In this paper, we propose a new temporal interpolation method based on spatial filtering. Compared with the conventional method, the proposed one may use a few adjacent frames and apply temporal lowpass filtering. To develop this method, we follow the basic approach of sampling rate conversion. Additionally, we use some assumption of video sequence : moving object has constant velocity rigid translational motion. From them, spatial filtering for temporal sampling rate conversion is described. This method has a lot of noise immunity on a motion vector and doesn't make a great difference from the original frame. The interpolated frame shows moderate change even there is a great time difference. This method has exactly same description of motion adaptive spatial filter which has an efficient temporal band-limiting characteristics. It imposes the possibility to make video sequence with good pictural quality.

• Interdisciplinary Bio Central
• /
• v.4 no.4
• /
• pp.14.1-14.6
• /
• 2012

Splice site prediction in DNA sequence is a basic search problem for finding exon/intron and intron/exon boundaries. Removing introns and then joining the exons together forms the mRNA sequence. These sequences are the input of the translation process. It is a necessary step in the central dogma of molecular biology. The main task of splice site prediction is to find out the exact GT and AG ended sequences. Then it identifies the true and false GT and AG ended sequences among those candidate sequences. In this paper, we survey research works on splice site prediction based on support vector machine (SVM). The basic difference between these research works is nucleotide encoding technique and SVM kernel selection. Some methods encode the DNA sequence in a sparse way whereas others encode in a probabilistic manner. The encoded sequences serve as input of SVM. The task of SVM is to classify them using its learning model. The accuracy of classification largely depends on the proper kernel selection for sequence data as well as a selection of kernel parameter. We observe each encoding technique and classify them according to their similarity. Then we discuss about kernel and their parameter selection. Our survey paper provides a basic understanding of encoding approaches and proper kernel selection of SVM for splice site prediction.

• Biomedical Science Letters
• /
• v.8 no.3
• /
• pp.189-193
• /
• 2002

We have identified and analyzed the 5'-coding region of SCN5A gene in Korean genome. Although its sequence has already been reported in western countries it is still important to confirm our own sequence for the establishment of Korean-suitable diagnosis on genetic basis. Total RNAs were obtained from three healthy Korean adult hearts and reversely transcribed. RT products were then subjected to PCR reaction followed by DNA sequencing. Three different sets of SCN5A primers were designed and used for the amplification of 5'-coding region of SCN5A from Korean genome. Amplified sequence was roughly one-10th of the entire SCN5A mRNA in size and its detailed sequence was completely matched up to the previously reported sequence. There was no difference between three heart samples, either. So, SCN5A was concluded as the relatively stable gene comparing to other genes that are involved in long QT syndrome.

• Asian-Australasian Journal of Animal Sciences
• /
• v.16 no.12
• /
• pp.1816-1821
• /
• 2003

Reliable PCR based identification of lactobacilli has been described utilizing the sequence of 16S-23S rRNA intergenic spacer region. Those sequence comparisons showed a high degree of difference in homology among the strains of L. rhamnosus, L. casei, L. acidophilus and L. helveticus whose 16S-23S rRNA intergenic small SR's sizes were 222 bp, 222 bp, 206 bp and 216 bp respectively. The sequence of 16S-23S rRNA intergenic spacer region of L. rhamnosus ATCC 53103 revealed the close relatedness to those of L. casei strains by the homology ranges from 95.4% to 97.2%. 16S-23S rRNA intergenic spacer region nucleotide sequence of L. acidophilus showed some distant relatedness with L. rhamnosus ATCC 53103 with the homology ranges from 40.3% to 41.8% and that with L. helveticus was shown to be 30% of homology, which exists at the most distant phylogenetic relatedness. The identification of species and strain of lactobacilli was possible on the basis of these results. The common sequences among the 17 strains were CTAAGGAA located in the initiating position of the DNA and some discrepancies were found between the same strains based on these results.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.2
• /
• pp.48.1-48.1
• /
• 2014

We investigate the evolution of galaxies in mid-infrared (MIR) $[3.4{\mu}m]-[12{\mu}m]$ color versus $12{\mu}$ luminosity diagram using Wide-field Infrared Survey Explorer data for member galaxies of the A2199 supercluster at $z{\simeq}0.03$. In the MIR color-luminosity diagram, we classify galaxies into three MIR classes: MIR blue cloud (massive, quiescent and mostly early-type), MIR star-forming sequence (mostly late-type), and MIR green valley galaxies. Both MIR green valley galaxies and MIR blue cloud galaxies are optically red sequence populations, and there is no significant difference in star formation rates and stellar masses between them. We compare cumulative distribution functions of surface galaxy number density and of cluster/group-centric distance between three MIR classes. However, when considering only early-type galaxies, the difference between MIR blue cloud galaxies and MIR green valley galaxies disappears. In contrast, the intermediate trend of MIR green valley galaxies is still found for late-type galaxies. We discuss our results concerning the difference of evolution between early- and late-type galaxies and the connection to environment.

• Journal of Korean Academy of Oral and Maxillofacial Radiology
• /
• v.29 no.1
• /
• pp.299-308
• /
• 1999

Purpose: The purpose of this study was to compare the qualities of the four different processing chemicals (solutions). Materials and Methods: With EP 21 films(Ektaspeed plus film, Kodak Co., USA), nine unexposed and nine exposed films of a step wedge were processed utilizing automatic film processor(XR 24, Durr Co., Germany) for 5 days. During 5 days, the total number of processed films including out-patient' s intraoral films were about 400-500 for each brand. Base plus fog density, film density, contrast of processed films were measured with densitometer(model 07-443 digital densitometer, Victoreen Co., USA). These measurements were analyzed for comparison. Results: The results were as follows, 1. For the base plus fog density. there was significant difference among the four chemicals (p<0.05). The sequence of the base plus fog densities was in ascending order by Kodak, X-dol 90. Agfa and Konica. 2. For the film density. all chemicals showed useful range of photographic densities(0.25-2.5). The sequence of the film densities was in ascending order by Kodak, X-dol 90, Konica and Agfa. But there was no statistically significant difference of film density between X-dol and Kodak (p<0.05). 3. The sequence of the contrasts was in ascending order by Konica, X-dol 90, Kodak and Agfa. But there was no statistically significant difference of contrast between X-dol and Konica (p<0.05). Conclusion: These results indicated that the four processing chemicals had clinically useful film density and contrast. but only Kodak processing chemical had useful base plus fog density.

• Interdisciplinary Bio Central
• /
• v.1 no.3
• /
• pp.9.1-9.6
• /
• 2009

Introduction: In the mass spectrometry-based proteomics, biological samples are analyzed to identify proteins by mass spectrometer and database search. Database search is the process to select the best matches to the experimental mass spectra among the amino acid sequence database and we identify the protein as the matched sequence. The match score is defined to find the matches from the database and declare the highest scored hit as the most probable protein. According to the score definition, search result varies. In this study, the difference among search results of different search engines or different databases was investigated, in order to suggest a better way to identify more proteins with higher reliability. Materials and Methods: The protein extract of human mesenchymal stem cell was separated by several bands by one-dimensional electrophorysis. One-dimensional gel was excised one by one, digested by trypsin and analyzed by a mass spectrometer, FT LTQ. The tandem mass (MS/MS) spectra of peptide ions were applied to the database search of X!Tandem, Mascot and Sequest search engines with IPI human database and SwissProt database. The search result was filtered by several threshold probability values of the Trans-Proteomic Pipeline (TPP) of the Institute for Systems Biology. The analysis of the output which was generated from TPP was performed. Results and Discussion: For each MS/MS spectrum, the peptide sequences which were identified from different conditions such as search engines, threshold probability, and sequence database were compared. The main difference of peptide identification at high threshold probability was caused by not the difference of sequence database but the difference of the score. As the threshold probability decreases, the missed peptides appeared. Conversely, in the extremely high threshold level, we missed many true assignments. Conclusion and Prospects: The different identification result of the search engines was mainly caused by the different scoring algorithms. Usually in proteomics high-scored peptides are selected and low-scored peptides are discarded. Many of them are true negatives. By integrating the search results from different parameter and different search engines, the protein identification process can be improved.