• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제17권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.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 한국인구학
• /
• 제29권3호
• /
• pp.89-109
• /
• 2006

‘중산층’은 경제적 요소뿐만 아니라 생활기회, 교육수준, 직업적 지위 등 비경제적인 요소를 포함하는 계층범주이다. 중산층의 객관적 판별기준으로는 화이트칼라와 구중간계급 계층, 2년제 대학이상의 교육수준, 월평균 300만원 이상의 소득, 30평 이상의 주택 거주 등이 있다. 주관적 측면에서의 중산층은 중간계층 귀속의식과 중산층 귀속의식으로 측정될 수 있다. 이 연구에서 객관적 기준으로 측정힌 중산층 규모는 약 66.9%로 2000년 전후의 다른 조사와 비교해 최근 중산층이 크게 감소했다는 증거는 없다. 주관적 지표로는 중간계층 귀속의식이 약 74%, 중산층 귀속의식이 약 20%로 나타나, 과거 다른 조사에 비해 다소 낮았다. 중산층 귀속 여부를 종속변수, 객관적 지표 및 주관적 지표를 독립변수로 한 로지스틱 회귀분석을 실시한 결과, 중산층 귀속의식은 주택 소유 변수에 의해 매우 큰 영향을 받는 것으로 나타났다. 한편, 소득, 교육, 직업 등의 객관적 지표보다는 소득수준과 재산정도에 관한 주관적 평가가 더 큰 영향을 미치는 것으로 나타났다. 사회적 양극화를 극복하고 균형있는 사회를 만들기 위해서는 중산층 규모 확대와 더불어 상대적 박탈감 해소 노력이 요구된다. 그런데 최근 한국사회는 중산층의 확대와 계층 양극화가 동시에 진행되는 것으로 보인다. 이러한 계층의 양극화는 객관적인 조건의 변화보다는 주관적인 인식의 변화를 보여주는 것으로, 중산층에 대한 인식의 기준이 상승하는 동시에 다른 사람이나 집단에 비해 자신이 더 나아지지 못했다는 상대적 박탈감이 작용한 결과로 보인다. 본 연구에 따르면 이러한 양극화의 해소를 위해서는 주택문제의 해결과 아울러 소득 및 재산과 관련하여 사람들이 느끼는 상대적인 박탈감의 해소가 주요한 과제이다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2005년도 제25회 추계학술대회논문집
• /
• pp.196-200
• /
• 2005

단일액체추진제 하이드라진 소형로켓엔진의 이론성능해석을 위한 추진제 연소화합물의 화학평형조성 계산모델이 간략히 제시된다. 성능해석결과는 1 lbf급 추력기의 성능평가 시험결과와 암모니아 몰분율의 관점에서 비교, 분석되고, 노즐팽창비와 추진제 주입압력에 따른 화학평형 조성 및 평균분자량 등이 추가로 제시된다. 이론해석은 단일액체추진제 중 대형급 로켓엔진의 설계변수 도출의 일환으로 시도된다.

• 대한수학회지
• /
• 제35권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.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• 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년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• 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
• /
• 제5권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}$.

• 인터넷정보학회논문지
• /
• 제5권2호
• /
• pp.17-31
• /
• 2004

본 논문에서는 PP내의 보안환경 부분 중 환경에 대한 가정문장을 작성하는 방법을 제시한다. CC에서 가정에 관련된 요구 사항을 살피고, 기존 PP들에서 실제 사용한 가정문장과 NIST의 PKB내의 가정문장을 토대로 하여 새로운 "일반 가정문장 목록"과 이를 이용한 가정문장 생성 방법을 제시하였다.방법을 제시하였다.

• 정보보호학회논문지
• /
• 제13권4호
• /
• pp.13-28
• /
• 2003

보호프로파잎(PP)은 특정제품군에 대한 공통 보안기능 및 보증 요구사항 명세서라 할 수 있다. 특히, PP내의 TOE(평가대상물) 보안환경 부분은 TOE의 물리적 환경, 보호해야할 자산 및 TOE의 용도를 분석하여 가장사항, 위협 및 보안정책을 기술해야한다. 본 연구에서는 PP내의 보안환경 부분 중 보안정책을 개발 또는 작성하는 방법을 제시한다. 정보보호부문에서의 보안정책에 대한 표준이나 지침을 조사 및 분석하여 보안정책 문서와 관련된 기반개념을 정리하고, 기존 PP들에서 실제 사용한 보안정책 문장, 미 국방부의 보안정책 문장, CC의 기능 및 보증요구사항 클래스를 조사 분석하였으며, 이를 토대로 하여 새로운 일반 보안정책 문장 목록과 이를 이용한 보안정책 문장 생성방법을 제시하였다.