• Research in Mathematical Education
• /
• v.17 no.1
• /
• pp.63-78
• /
• 2013

Trigonometric ratios are difficult concepts to teach and learn in middle school. One of the reasons is that the mathematical terms (sine, cosine, tangent) don't convey the idea literally. This paper deals with the understanding of a concept from the learner's standpoint, and searches the orientation of teaching that make students to have full understanding of trigonometric ratios. Such full understanding contains at least five constructs as follows: skill-algorithm, property-proof, use-application, representation-metaphor, history-culture understanding [Usiskin, Z. (2012). What does it mean to understand some mathematics? In: Proceedings of ICME12, COEX, Seoul Korea; July 8-15,2012 (pp. 502-521). Seoul, Korea: ICME-12]. Despite multi-aspects of understanding, especially, the history-culture aspect is not yet a part of the mathematics class on the trigonometric ratios. In this respect this study investigated the effect of history approach on students' understanding when the history approach focused on the mathematical terms is used to teach the concept of trigonometric ratios in Grade 9 mathematics class. As results, the experimental group obtained help in more full understanding on the trigonometric ratios through such teaching than the control group. This implies that the historical derivation of mathematical terms as well as the context of mathematical concepts should be dealt in the math class for the more full understanding of some mathematical concepts.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.11
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• Korea journal of population studies
• /
• v.29 no.3
• /
• pp.89-109
• /
• 2006

The 'Joongsancheung(JSC)', a unique term for the middle class in Korea, is defined as a stratum sharing common lifestyles and a certain level of life chances. It involves non-economic factors such as life chance, educational attainment, occupational groups as well as economic factor. Such objective measures as the occupational status of the main breadwinner, family income, and the educational level of respondent, and subjective measures of class identification are used for the operational definition of the JSC. Data from a national survey of 1,515 respondents is analyzed to investigate the change of the JSC in size and the major determinants of class identification. The results show that while there is no strong evidence of any significant change of the JSC by the objective measures during the recent decade, there seems to be a slight decrease in the subjective class identification. In addition, binary logistical regression analysis reveals that self-identification of JSC is heavily influenced by house ownership, along with subjective evaluation of one's own income and property ownership. This study demonstrates that the apparent class polarization in Korean society reflects not so much objective conditions but subjective perception of respondent of his or her circumstance. It is suggested that problems of housing and relative derivation people have as regards income and property should be resolved to alleviate such class polarization in Korean society.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2005.11a
• /
• pp.196-200
• /
• 2005

A theoretical model for the calculation of chemical equilibrium composition of propellant combustion product is briefly presented for the performance analysis of monopropellant hydrazine rocket engine. Analysis result is compared to that of test and evaluation of 1-lbf class thruster and is scrutinized primarily from the view point of ammonia dissociation fraction. Chemical equilibrium composition and average molecular weight is additionally depicted according to the variation of propellant inlet pressures and the varying nozzle area ratio. The theoretical analysis is tried as a way of derivation of design parameters for mid- and large-thrust class of monopropellant rocket engines.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.559-574
• /
• 1998

Let the Gel'fand triple (E)$_{\beta}$/ ⊂ ( $L^2$) ⊂ (E)＊$_{\beta}$/ be the framework of white noise distribution theory constructed by Kon-dratiev and Streit. A new class of continuous multiplicative products on (E)$_{\beta}$/ is introduced and associated continuous derivations on (E)$_{\beta}$/ are discussed. Algebraic characterizations of first order differential operators on (E)$_{\beta}$/ are proved. Some applications are also discussed. $\beta$/ are proved. Some applications are also discussed.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1998.06a
• /
• pp.1-19
• /
• 1998

In this Kdynote address, two types of information granules are considered : (ⅰ) one for set assignments of a concept descriptor and (ⅱ) the other for truthood assignment to the concept description verifier. The first is, the process which specifies the assignment of an object to a clump, a class, a group, etc., and hence defines the set membership with a relational constraint. the second is the assignment of the degree of truthood or the membership specification of the abstract concept of truthood which specifies the " veristic" constraint associated with the concept descriptor. The combination of these two distinct assignments let us generate four set and logic theories. This then leads to the concern of normal forms and their derivation from truth tables for each of these theories. In this regard, some of the fundamental issues arising in this context are discussed and certain preliminary answers are provided in order to highlight the consequences of these theories.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.323-326
• /
• 1996

In a simple system, the control schemes work well provided that the characteristic of the plant or the coefficients are known and fixed. But the condition is not met in the system like satellite, for example, varying over time and the coefficients of dynamic system change due to disturbance, etc, and the better precise model is required to control the given dynamic system well. Conversely, the fixed controller make the unmodel dynamic system with a wide class of modelling error be stable within the error tolerance limits. Also, a robust model reference adaptive control scheme is designed for the plant, paying attention to the derivation of the appropriate parametric model and the design of the normalizing signal to guarantee that it has the desired properties.

• Journal of Communications and Networks
• /
• v.5 no.1
• /
• pp.1-6
• /
• 2003

In this paper, we extend the derivation of the iterative soft-output Viterbi algorithm (SOVA) for partial response (PR) channels, and modify its decoding process such that it works consistently for arbitrary high code rates, e.g., rate 64/65. We show that the modified SOVA always outperforms the conventional SOVA that appears in the literature with a significant difference for high code rates. It also offers a significant cut down in the trace-back computations. We further examine its performance for parallel and serial concatenated codes on a precoded Class IC partial response (PR4) channel. Code rates of the form $\frac{k_0}{k_0+1}$($k_0$ = 4, 8, and 64) are considered. Our simulations indicate that the loss suffered by the modified SOVA, relative to the APP algorithm, is consistent for all code rates and is at most 1.2 dB for parallel concatenations and at most 1.6 dB for serial concatenations at $P_b$ = $10^{-5}$.

• Journal of Internet Computing and Services
• /
• v.5 no.2
• /
• pp.17-31
• /
• 2004

This paper presents a new assumptions statement generation method for developing TOE security environment section of PP. We surveyed on guides on the assumption statement in CC scheme, and collected and analyzed hundred of assumption statements which are in 26 certified and published real PPs and CC Toolbox/PKB. The CC Toolbox/PKB is included a class of pre-defined assumption statements. From the result of the survey, we developed a new generic assumption statement list, and proposed a assumption derivation method by using the list.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.13 no.4
• /
• pp.13-28
• /
• 2003

The Protection Profile(PP) is a common security function and detailed statement of assurance requirements in a specific class of Information Technology security products such as firewall and smart card. The parts of TOE security environment in the PP have to be described about assumption, treat and security policy through analyzing purpose of TOE. In this paper, we present a new security policy derivation among TOE security environment parts in the PP. Our survey guides the organizational security policy statements in CC scheme through collected and analyzed hundred of real policy statements from certified and published real PPs and CC Toolbox/PKB that is included security policy statements for DoD. From the result of the survey, we present a new generic organizational policy statements list and propose a organizational security policy derivation method by using the list.