• Journal of the Korean Data and Information Science Society
• /
• 제8권2호
• /
• pp.247-260
• /
• 1997

The quasi-likelihood models which greatly widened the scope of generalized linear models are widely used in data analysis where a likelihood is not available. Since a quasi-likelihood may not appear to be an ordinary likelihood for any known distribution in the natural exponential family, to fit the quasi-likelihood models the standard statistical packages such as GLIM, GENSTAT, S-PLUS and so on may not directly applied. SAS/IML is very useful for fitting of such models. In this paper, we present simple SAS/IML(version 6.11) program which helps to fit and analyze the quasi-likelihood models applied to the leaf-blotch data introduced by Wedderburn(1974), and the problem with deviance useful generally to model checking is pointed out, and then its solution method is mention through the data analysis based on this quasi-likelihood models checking.

• 한국수학사학회지
• /
• 제17권1호
• /
• pp.33-42
• /
• 2004

In this paper, we identify the essential ideas of Fundamental Theorem of Arithmetic(FTA). Then, we compare these ideas with several theorems of Euclid's Elements to investigate whether the essential ideas of FTA are contained in Elements or not. From this, we have the following conclusion: Even though Elements doesn't contain FTA explicitly, it contains all of the essential ideas of FTA. Finally, we assert two reasons why Greeks couldn't mention FTA explicitly. First, they oriented geometrically, and so they understood the concept of 'divide' as 'metric'. So they might have difficulty to find the divisor of the given number and the divisor of the divisor continuously. Second, they have limit to use notation in Mathematics. So they couldn't represent the given composite number as multiplication of all of its prime divisors.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권2호
• /
• pp.135-148
• /
• 2011

우리나라 중학교 수학 2에서는 공리의 역할을 하는 명제를 공리라는 명시 없이, 실험에 의해 확인한 옳은 결과로만 받아들여 증명에 사용한다. 그러나 공리 개념은 경험적 입증과 연역적 증명, 직관기하와 논증기하, 증명과 증명이 아닌 것의 차이를 이해하는데 매우 중요한 것이다. 본 연구의 교과서 분석과 영재학생들을 대상으로 한 인식조사 결과는, 공리와 증명의 취급에 대하여 우리나라 교과서가 가진 한계와 문제점을 보여주고 있다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.92-102
• /
• 2002

The issue of adjuncts has long been a neglected field of linguistic study whether it be syntactic or semantic. It is only in Pustejovsky (1995) that we find a brief mention of adjuncts. In addition to what the author calls true arguments, default arguments, and shadow arguments, he sets up a class of true adjuncts citing the following sentence, Mary drove down to new York on Tuesday. We will take up a small lexical item sugiru in Japanese, and we will argue that we should posit the notion of implicit adjuncts in describing the properties with the small Japanese lexical item sugiru. Throughout the discussions that follow we will demonstrate how the notion is independently motivated irrespective of what linguistic theory we are going to adopt.

• 동의생리병리학회지
• /
• 제24권5호
• /
• pp.779-783
• /
• 2010

Formation of nutrient qi is one of the most important functions in the human body. In medical classic such as "Hwangdineijing", it is described through several chapters. However, it is just focused on the first formation of the nutrient qi from water and food by digestion. I will mention how to get nutrient qi in human body and how to circulate and act in physiological phenomena through "Hwangdineijing". Human body should get nutrient qi from essense not only from water and food. Human body, because it is a live, must have had a nutrient material before he or she gets water and food by formation of nutrient qi. So he or she can have physiological functions.

• 품질경영학회지
• /
• 제21권2호
• /
• pp.140-155
• /
• 1993

The characteristics of $I_{\lambda}$-optimality, one of the linear criteria suggested by Fedorov (1972) are investigated with respect to the D-and heteroscedastic G-optimality in case of non-constant variance function. Though having limited results obtained from simple models, we may conclude that $I_{\lambda}$-optimality is sometimes preferred to the heteroscedastic G-optimality suggested newly bv Wong and Cook (1992) in the sense that the experimenter's belief in weighting function exists in $I_{\lambda}$-optimality criterion, not to mention its computational simplicity.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2002년도 춘계학술대회 논문집
• /
• pp.100-103
• /
• 2002

The recent machine tools are requested so high-quality processing and productivity increasing. Therefore it is so necessary to develop technology far high-speed and high-precision. This thesis touches on the development of high speed and intellectual line center. At first, the line center is necessary that strong structure, compact structure and light weight design far high-speed processing and transfer. So. It is necessary that examination of new materials and structures for light-weight and control devices for precision processing. So. It is going to make mention of the process of 1st model production for the above-mentioned base on test model production and evaluation.

• 논리연구
• /
• 제15권3호
• /
• pp.323-347
• /
• 2012

최근 이병덕 교수의 논란 없는 원리(Uncontested Principle)의 거부를 둘러싼 논의가 송하석, 최원배 등을 중심으로 이루어졌다. 필자는 이들 논의가 충분하지 않다고 생각한다. 그 이유는 이들이 논란 없는 원리가 연역에 관한 한 정당하다고 생각하지만 이들의 논증만으로는 그렇게 판단하기 어려운 점이 있기 때문이다. 필자는 이 점을 먼저 이 글에서 밝히고 그 한계를 지적한다. 다음으로 대안 논리(alternative logic)의 관점에서 볼 때 논란 없는 원리는 그 자체로 정당화되기 어렵고 연역적으로 정당화되기 위해서는 실제로 여러 가지 제약조건이 필요함을 보인다. 즉 특정 조건이나 제약 하에서만 연역적으로 정당화될 수 있음을 보인다.

• 한국항공운항학회지
• /
• 제19권2호
• /
• pp.52-57
• /
• 2011

The procedures of Continuous Descent Approach(CDA) is designed to minimize the thrust required during landing, thereby reducing fuel consumption, noise and emissions compared to conventional approach procedures. Widespread implementation of CDA would result in significant reductions in the environmental impact and aircraft operation costs. This paper estimated the possible economic effects from the perspective of airliners through cost-benefit analysis, provided that the CDA is introduced. It is now proposed that a more comprehensive analysis model, which includes the reduced ATC communication burden between controllers and pilots, not to mention the economic aspect, should be established for the improvement.

• 한국해안해양공학회:학술대회논문집
• /
• 한국해안해양공학회 1996년도 정기학술강연회 발표논문 초록집
• /
• pp.23-28
• /
• 1996

RUBBER JOINER, developed by using rubber and chains in combination. It is already applied to many practical use. In this paper, we would like to introduce experimental result about RUBBER JOINER while developing process. And, in recent years, effect of impulsive tension reducing is certified by experiment. We would like to mention the experimental result, too. (omitted)