• 응용통계연구
• /
• 제32권4호
• /
• pp.485-502
• /
• 2019

이론통계학은 통계학의 원리를 수학을 이용하여 배우는 교과목이다. 학생들이 수학을 충분히 알지 못하는 경우 이론통계학 교육을 통해 통계학의 원리를 이해하는 데에는 제약이 있다. 이론통계학 교육을 통해 통계학의 원리에 대한 이해를 높이기 위해 수학적 문제풀이 외에 R 프로그램을 이용한 통계 시뮬레이션이 보조적으로 도입되어 왔지만 수학을 이용한 문제풀이를 대신하지는 못하고 있다. 이 논문에서는 wxMaxima, Wolfram Alpha 등 기호 수학 연산이 가능한 수학 소프트웨어 CAS를 소개하고, 이를 이용하여 이론통계학 교육에 걸림돌이 되는 수학의 어려움에서 벗어나 통계학의 원리 자체를 학습할 수 있는 방안을 모색하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.457-474
• /
• 2014

최근 테크놀로지가 발달함에 따라 대학 수학교육에서 시각화를 통한 추상적인 수학적 개념의 직관적 이해는 그 비중이 점점 커지고 있다. 본 연구에서는 대학 미분적분학을 학습하는 학생들의 이해를 도울 수 있고 웹만 연결되어 있으면 무료로 사용할 수 있는 그리고 필요한 내용을 직접 개발할 수 있는 도구 중 그 장점이 잘 알려져 있는 지오지브라(GeoGebra)를 활용한 무료 시각화 자료들을 개발하여 소개한다. 특히 미분적분학 교재의 순서에 맞추어 개발된 시뮬레이션 도구를 활용하여 개념의 이해와 함께 새로운 지식을 생산할 수 있는 교육환경을 제공하고자 하였다. 마지막으로 미적분학 개념들의 시각화를 마친 이번 시도가 대학수학의 다른 강좌와 중등 수학교육으로 확대될 수 있는 가능성에 대하여 논의하였다.

• 한국학교수학회논문집
• /
• 제4권2호
• /
• pp.143-155
• /
• 2001

This paper was developmented for teaching of claculus in college with multimedia contents. We focused the point of lecture materials with internet network in mathematics class. We used the 3-D graphics and Java applet with HTML for making contents. We hope this contents is used in calculus class at university.

• East Asian mathematical journal
• /
• 제34권1호
• /
• pp.29-37
• /
• 2018

We introduce formal symbols of product type, of zero class, and of minimum type and show that the formal power series representations for $e^p$ and $e^q$ are formal symbols of product type giving the same pseudodifferential operator, where p and q are formal symbols of minimum type and p - q is of zero class.

• 대한수학회논문집
• /
• 제13권3호
• /
• pp.475-480
• /
• 1998

We show that the foundational isomorphism exists in the category of filter convergence spaces which contains the category of Banach spaces as a replete subcategory.

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

In this paper we investigate the origin of the variational calculus with respect to the extremal principle. We also study the role the extremal principle has played in the development of the calculus of variations. We deal with Dido's isoperimetric problem, Maupertius's least action principle, brachistochrone problem, geodesics, Johann Bernoulli's principle of virtual work, Plateau's minimal surface and Dirichlet principle.

• Communications for Statistical Applications and Methods
• /
• 제17권5호
• /
• pp.647-652
• /
• 2010

By using a Malliavin calculus, we prove the central limit theorem on the power variation of the product of the unordered rectangles associated with a standard Brownian sheet.

• 한국통계학회:학술대회논문집
• /
• 한국통계학회 2003년도 춘계 학술발표회 논문집
• /
• pp.31-36
• /
• 2003

Using a short time expansion of the fundamental solution of heat equation by analysis of Wiener functional with the help of Malliavin calculus, we obtain the asymptotic expansion of the mean distance of Brownian motion on Riemannian manifolds.

• 대한수학회논문집
• /
• 제33권4호
• /
• pp.1239-1248
• /
• 2018

Recently, many authors have obtained several hypergeometric identities involving hypergeometric functions of one and multi-variables such as the Appell's functions and Horn's functions. In this paper, we obtain several new transformations suitably by applying the fractional calculus operator to these hypergeometric identities, which was introduced recently by Tremblay.