• Bulletin of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.481-506
• /
• 2022

This paper is concerned with the study of various notions of shadowing of dynamical systems induced by a sequence of maps, so-called time varying maps, on a metric space. We define and study the shadowing, h-shadowing, limit shadowing, s-limit shadowing and exponential limit shadowing properties of these dynamical systems. We show that h-shadowing, limit shadowing and s-limit shadowing properties are conjugacy invariant. Also, we investigate the relationships between these notions of shadowing for time varying maps and examine the role that expansivity plays in shadowing properties of such dynamical systems. Specially, we prove some results linking s-limit shadowing property to limit shadowing property, and h-shadowing property to s-limit shadowing and limit shadowing properties. Moreover, under the assumption of expansivity, we show that the shadowing property implies the h-shadowing, s-limit shadowing and limit shadowing properties. Finally, it is proved that the uniformly contracting and uniformly expanding time varying maps exhibit the shadowing, limit shadowing, s-limit shadowing and exponential limit shadowing properties.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.23-25
• /
• 2021

This paper describes an approach of composing music with multiple AI composers. This approach enriches more the creativity space of artificial intelligence music composition than using only one composer. This paper presents a simple example with 2 different deep learning composers working together for composing one music. For the experiment, the two composers adopt the same deep learning architecture of an LSTM model trained with different data. The output of a composer is a sequence of notes. Each composer alternatively appends its output to the resulting music which is input to both the composers. Experiments compare different music generated by the proposed multiple composer approach with the traditional one composer approach.

• East Asian mathematical journal
• /
• v.39 no.4
• /
• pp.479-492
• /
• 2023

Although Euclidean plane geometry is implemented in the middle school course, there are three major problems in high school space geometry that can be intuitively taken for granted or misinterpreted as circular arguments. In order to solve this problem, this study proved three major problems using sets, Euclidean plane geometry, and parallel line postulates. This corresponds to a logical sequence and has mathematical and mathematical educational values. Furthermore, it will be possible to configure spatial geometry using sets, and by giving legitimacy to non-Euclidean spatial geometry, it will open the possibility of future research.

• Molecules and Cells
• /
• v.20 no.1
• /
• pp.1-16
• /
• 2005

The peptidyl transferase center (PTC) is located in a protein free environment, thus confirming that the ribosome is a ribozyme. This arched void has dimensions suitable for accommodating the 3'ends of the A-and the P-site tRNAs, and is situated within a universal sizable symmetry-related region that connects all ribosomal functional centers involved in amino-acid polymerization. The linkage between the elaborate PTC architecture and the A-site tRNA position revealed that the A-to P-site passage of the tRNA 3'end is performed by a rotatory motion, which leads to stereochemistry suitable for peptide bond formation and for substrate mediated catalysis, thus suggesting that the PTC evolved by genefusion. Adjacent to the PTC is the entrance of the protein exit tunnel, shown to play active roles in sequence-specific gating of nascent chains and in responding to cellular signals. This tunnel also provides a site that may be exploited for local co-translational folding and seems to assist in nascent chain trafficking into the hydrophobic space formed by the first bacterial chaperone, the trigger factor. Many antibiotics target ribosomes. Although the ribosome is highly conserved, subtle sequence and/or conformational variations enable drug selectivity, thus facilitating clinical usage. Comparisons of high-resolution structures of complexes of antibiotics bound to ribosomes from eubacteria resembling pathogens, to an archaeon that shares properties with eukaryotes and to its mutant that allows antibiotics binding, demonstrated the unambiguous difference between mere binding and therapeutical effectiveness. The observed variability in antibiotics inhibitory modes, accompanied by the elucidation of the structural basis to antibiotics mechanism justifies expectations for structural based improved properties of existing compounds as well as for the development of novel drugs.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.43 no.2 s.308
• /
• pp.65-72
• /
• 2006

The traffic lights detection and recognition system is an essential module of the driver warning and assistance system. A method which is a color vision-based real time detection and recognition of traffic lights is presented in this paper This method has four main modules : traffic signals lights detection module, traffic lights boundary candidate determination module, boundary detection module and recognition module. In traffic signals lights detection module and boundary detection module, the color thresholding and the subtraction value of saturation and intensity in HSI color space and detection probability mask for lights detection are used to segment the image. In traffic lights boundary candidate determination module, the detection mask of traffic lights boundary is proposed. For the recognition module, the AND operator is applied to the results of two detection modules. The input data for this method is the color image sequence taken from a moving vehicle by a color video camera. The recorded image data was transformed by zooming function of the camera. And traffic lights detection and recognition experimental results was presented in this zoomed image sequence.

• Journal of The Korean Astronomical Society
• /
• v.35 no.4
• /
• pp.197-208
• /
• 2002

Five contemporary pre-main sequence (PMS) evolution model grids are compared with the photo-metric data for a nearly complete sample of low-mass members in NGC 2264. From amongst the grids compared, the models of Baraffe et al. (1998) prove to be the most reliable in mass-age distribution. To overcome the limited mass range of the models of Baraffe et al. we derived a simple transformation relation between the mass of a PMS star from Swenson et al. (1994) and that from Baraffe et al., and applied it to the PMS stars in NGC 2264 and the Orion nebula cluster (ONC). The resulting initial mass function (IMF) of the ONC shows that the previous interpretation of the IMF is not a real feature, but an artifact caused by the evolution models adopted. The IMFs of both clusters are in a good agreement with the IMF of the field stars in the solar neighborhood. This result supports the idea proposed by Lada, Strom, & Myers (1993) that the field stars originate from the stars that are formed in clusters and spread out as a result of dynamical dissociation. Nevertheless, the IMFs of OB associations and young open clusters show diverse behavior. For the low-mass regime, the current observations suffer from difficulties in membership assignment and sample incompleteness. From this, we conclude that a more thorough study of young open clusters is necessary in order to make any definite conclusions on the existence of a universal IMF.

• 한국HCI학회:학술대회논문집
• /
• 2008.02a
• /
• pp.200-204
• /
• 2008

In this paper, to solve localization problem for out-door navigation of robotic vehicles, a particle filter based 3D object recognition framework that can estimate the pose of a building or its entrance is presented. A particle filter framework of multiple evidence fusion and model matching in a sequence of images is presented for robust recognition and pose estimation of 3D objects. The proposed approach features 1) the automatic selection and collection of an optimal set of evidences 2) the derivation of multiple interpretations, as particles representing possible object poses in 3D space, and the assignment of their probabilities based on matching the object model with evidences, and 3) the particle filtering of interpretations in time with the additional evidences obtained from a sequence of images. The proposed approach has been validated by the stereo-camera based experimentation of 3D object recognition and pose estimation, where a combination of photometric and geometric features are used for evidences.

• The Mathematical Education
• /
• v.34 no.1
• /
• pp.17-63
• /
• 1995

The exploration of Mathematics-learningmodel on the basis of Cognitive development The purpose of this paper is to sequenctialize Mathematics-learning contents, and to explore teaching-learning model for mathematics, with on the basis of the theory of cognitive development and the period of condservation formation for children. The Specific topics are as follows: (1) Systemizing those theories of cognitive development which are related to Mathematics - learning for children. (2) Organizing a sequence of Mathematics - learning, on the basis of experimental research for the period of conservation formation for children. (3) Comparing the effects of 4 types of teaching - learning model, on the basis of inference activity and operational learning principle. $\circled1$ Induction-operation(IO) $\circled2$ Induction-explanation(IE) $\circled3$ Deduction-operation(DO) $\circled4$ Deduction-explanation(DE) The results of the subjects are as follows: (1) Cognitive development theory and Mathe-matics education. $\circled1$ Congnitive development can be achieved by constant space and Mathematics know-ledge is obtained by the interaction of experience and reason. $\circled2$ The stages of congnitive development for children form a hierarchical system, its function has a continuity and acts orderly. Therefore we need to apply cognitive development for children to teach mathematics systematically and orderly. (2) Sequence of mathematical concepts. $\circled1$ The learning effect of mathematical concepts occurs when this coincides with the period of conservation formation for children. $\circled2$ Mathematics Curriculum of Elementary Schools in Korea matches with the experimental research about the period of Piaget's conservation formation. (3) Exploration of a teaching-learning model for mathematics. $\circled1$ Mathematics learning is to be centered on learning by experience such as observation, operation, experiment and actual measurement. $\circled2$ Mathematical learning has better results in from inductional inference rather than deductional inference, and from operational inference rather than explanatory inference.

• Journal of the Korean Society of Radiology
• /
• v.3 no.2
• /
• pp.23-26
• /
• 2009

This study proposed an improved center array-sequencing phase unwrapping (ICASPU) algorithm. 2% agarose phantom dopped with 0.6mM/l MnCl2 was used with clinical 1.5T MRI system and commercial knee coil. Obtained k-space data(raw-data) was transmitted to PC and reconstructed into phase image with MATLAB software. Previous center array-sequence phase unwrapping algorithm wascompared with proposed ICASP algorithm using second order regression analysis. As a result, we found that the amount of error on proposed ICASPU method is less about 5 times than that of previous CASPU method. In this study, we exploit improved Center array-sequence phase unwrapping algorithm and expect to apply to images including phase informations.

• Journal of Satellite, Information and Communications
• /
• v.11 no.3
• /
• pp.51-57
• /
• 2016

Many kinds of telemetry should be monitored to check the state of spacecraft and it leads the time consumption. However, it is very important to define the status of satellite in short time because the contact number and time of low earth orbit satellite is limited. Also, on-board fault management should be prepared for non-contact operation because of the sever space environment. In this paper, on-board and ground autonomous operation method for the safety enhancement is described. Immediate fault detection and response is possible in ground by explicit anomaly detection through satellite event and error information. Also, satellite operation assistant system is proposed for ground autonomy that collect event sequence in accordance with related telemetry and recommend or execute an appropriate action for abnormal state. Critical parameter monitoring method with checking rate, mode and threshold is developed for on-board autonomous fault management. If the value exceeds the limit, pre-defined command sequence is executed.