• Journal of Educational Research in Mathematics
• /
• v.14 no.4
• /
• pp.435-447
• /
• 2004

There are divergent opinions about condition of triangle-determining. The purpose of this study was to compare those opinions and to identify cause of this phenomena. As a result of our study, we got to find out significant characteristics of proposition related to condition of triangle-determining. These aspects shows what cause of that phenomena is. First, that proposition is used as a theortical tool, not as a practical one. Second, that proposition presupposes that a triangle exists. Third, that proposition is connected with minimality and generality. However, our analysis is for teacher, not for student. Thus, we suggest a guiding principle as well as a guiding method in relation to teaching of that proposition.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.13 no.1
• /
• pp.75-85
• /
• 2021

The broadband noise can be dominant or important for total characteristics for marine propeller noise representing the minimum base of self-noise. Accurate prediction of such noise is crucial for survivability of underwater military vessels. While the FW-H Formulation 1B can be used to predict broadband trailing edge noise, the method required experiment measurements of surface pressure correlations, showing its limitations in generality. Therefore, in this study, the methods are developed to utilize wall pressure spectrum models to overcome those limitations. Chase model is adopted to represent surface pressure along with the developed formulations to reproduce pressure statistics. Newly developed method is validated with the experiments of airfoils at different velocities. Thereafter, with its feasibility and generality, the procedure incorporating computational fluid dynamics is established and performed for a propeller behind submarine hull. The results are compared with the experiments conducted at Large Cavitation Tunnel, thus showing its usability and robustness.

• Journal of the Korean Geographical Society
• /
• v.49 no.5
• /
• pp.656-674
• /
• 2014

The objective of this study was to examine the distinctiveness and generality of landforms of the Korean peninsula, and further discover geomorphological principle that can be applied to land and environmental management in Korea. The research targeted East Asia and Korea, with terrain analysis conducted at a continental scale, national scale, and regional scale sequentially. East Asia displays complicated characteristics and evolutionary history of geotectonics, but exhibits distinct northeast-southwest geomorphological structure and connectivity at the continental level. While the Korean peninsula follows this pattern on a continental scale, it also features NNW-SSE direction (Nangrim and Taebaek Mountains) geomorphological connectivity that intersects at a right angle. From a national perspective, the Korean peninsula hosts the most diverse geomorphological features within East Asia. It does not have a high average altitude, but has relatively high slope angle and intricate topographical distribution in comparison to neighboring areas. While the mountains and plains of the Korean peninsula display a smooth connection, geomorphologically similar areas such as Shikhote-Alin, Huanan in China, and Japan have clear characteristics that divide the mountains and plains. Despite the distinctiveness and diversity that appear in East Asian topography on the regional scale, the connectivity that links the top of mountain (hill) to stream is identical among all areas as a general rule. It is collectively considering the connectivity and the geomorphological and ecological processes that arise within this connectivity that will serve as the focal point for sustainable landscape management.

• Health Policy and Management
• /
• v.23 no.2
• /
• pp.152-161
• /
• 2013

Korea has a single National Health Insurance program and all citizens are covered under this program, accounting 97% of the population, approximately 50 million people. Claims submitted by Health care providers are reviewed by Health Insurance Review and Assessment (HIRA) for the reimbursement. HIRA database contains not only individual beneficiary's information, but also healthcare service information such as diagnosis, procedures, prescriptions and tests for them. HRA database has gained attention as importance source for research due to its rich healthcare information and the demand of HIRA database has increased. Due to its tremendous size, however, researchers have had problems in accessing the database to conduct research. To meet this demand, we conducted a study to develop the inpatient sample data from HIRA database for research. This study has two purposes: 1) to determine a needed sample size; 2) to test reliability and validity of the sample data. We determined an adequate sample size to ensure representativeness and generality with additional consideration for convenience of calculation. The minimum sample size was 729,904 for the generality, and 488,861 for representativeness. After considering the convenience of calculation, our final sample size was 13% of the population, which was about 7.7 million beneficiaries. Age (5 years interval) and gender were used as stratification variables for sampling. In order to examine whether this sample data appropriately reflect population, we tested the reliability and validity of the sample data. From the sample data, we computed average expenditure of total claims per inpatient for 2011, frequency of top 30 disease, estimation of the number of stroke patients from the sample data, and then compared them to those from the population. Results confirmed reliability and validity of the sample data.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.286-288
• /
• 2004

단백질 상호작용 데이터는 현 생물정보학에서 기능이 알려지지 않은 단백질의 기능 예측에 높은 신뢰성이 있는 프로티오믹스의 계산 모델에 이용되고 있다. 일반적으로 이 단백질 기능 예측 알고리즘들은 대규모의 2차원 단백질-단백질 상호작용 맵에서 Guilt-by-Association 개념 기반으로 개발되고 있다. 본 논문에서는 단백질-단백질 상호작용 데이터를 이용한 그래프 기반 단백질 기능 예측 모델을 개발하였다. 특히, 이 모델은 대량의 상호작용 데이터에서 정확한 기능 예측을 수행할 수 있다는 장점을 가지고 있다. 이를 위해 Yeast에 대한 단백질 상호작용 맵, Homology 및 Interaction Generality를 이용하여 이 모델을 평가하였다.

• Korean Journal of Computational Design and Engineering
• /
• v.4 no.2
• /
• pp.79-86
• /
• 1999

A general approach to automatic generation of triangular meshes on three-dimensional surfaces is presented in this paper. The approach, developed with emphasis on program generality and interface with CAD/CAM systems, is based on the double mapping method and the looping method. The double mapping method is introduced and anew splitting scheme is proposed for the looping method employed for triangular mesh generation on the parametric domain. Several application examples are given.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1992.10a
• /
• pp.7-25
• /
• 1992

A definition of timbre was proposed which suggested its application to two attributes of sound: "a characteristic which gives a clue to the identify of the sound source, and the quality of sounds which corresponds to the emotive impression timbre are multidimensional. Using semantic differential, the factorial invariance of timbre was investigated and it was found that three factors were dominant: "pleasant", "powerful" and "metallic". The generality of these three factors has been confirmed in Japan. The relation between timbre and physical values was examined. Finally, the usefulness of verbal expression concerning timbre has also been discussed.ing timbre has also been discussed.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2001.11a
• /
• pp.125-129
• /
• 2001

A Software development of space launch vehicle danamics and control simulation is presented in this study. The Dynamics for a two body problem including pertubations for various effect show on this paper. Mission analysis for space launch vehicle is included rendezvous mission. The software develpoment is intended to maintain generality to the extent possible through objected approach for future modification and expansion. This result shows various pertubation effect is also important.

• Kyungpook Mathematical Journal
• /
• v.46 no.1
• /
• pp.65-77
• /
• 2006

By using general means, some oscillation criteria for second order nonlinear elliptic differential equation with damping $$\sum_{i,j=1}^{N}D_i[a_{ij}(x)D_iy]+\sum_{i=1}^{N}b_i(x)D_iy+p(x)f(y)=0$$ are obtained. These criteria are of a high degree of generality and extend the oscillation theorems for second order linear ordinary differential equations due to Kamenev, Philos and Wong.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.5
• /
• pp.45-50
• /
• 1997

This paper present an advanced fault diagnosis expert system to assist the operators at local control center. The system utilizes all th information available in a local control center for the better diagnostic performance. The major feature of the system is dealing with multiple faults diagnosis based on the certainty factor method for the reasoning process. the overall performance and the generality are also enhanced by utilizing the general topological knowledge. ASCADA simulator is also developed for he test and demonstration.