• 대한수학회지
• /
• 제42권5호
• /
• pp.1031-1056
• /
• 2005

In this paper, we define the conditional first variation over Wiener paths in abstract Wiener space and investigate its properties. Using these properties, we also investigate relationships among first variation, conditional first variation, Fourier-Feynman transform and conditional Fourier-Feynman transforms of functions in a Banach algebra which is equivalent to the Fresnel class. Finally, we provide another method evaluating the Fourier-Feynman transform for the product of a function in the Banach algebra with n linear factors.

• 대한수학회지
• /
• 제38권2호
• /
• pp.485-501
• /
• 2001

In this paper we express analytic Feynman integral of the first variation of a functional F in terms of analytic Feynman integral of the product F with a linear factor and obtain an integration by parts formula of the analytic Feynman integral of functionals on abstract Wiener space. We find the Fourier-Feynman transform for the product of functionals in the Fresnel class F(B) with n linear factors.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권4호
• /
• pp.481-501
• /
• 2003

The main purpose of this work is to propose programs of algebra courses for the department of mathematics education of teacher training universities. Set Theory, Linear Algebra, Number Theory, Abstract Algebra I, Abstract Algebra II, and Philosophy of Mathematics for School Teachers are discussed in this article.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 2002년도 춘계학술대회 논문집
• /
• pp.166-169
• /
• 2002

본 논문은 명령형 언어 While의 요약해석을 모델검사기 SMV에서 구현하고 정보흐름 안전성을 검사하는 CTL 논리식을 적용하는 방법을 설명한다. 주어진 While 프로그램의 요약 프로그램을 SMV 프로그램으로 변환하는 방법과 정보흐름 안전성 검사를 위한 CTL 논리식의 유도과정을 보여준다. 요약해석 기를 직접 구현하는 것보다 모델 검사를 이용하는 것이 다양한 안전성 검사를 수행하기에 더욱 적합하다.

• 한국의료질향상학회지
• /
• 제7권1호
• /
• pp.106-116
• /
• 2000

Background : Severance Hospital is an university hospital which has 1,580 beds. A LAN system was installed in the Medical Record Department in 1992 and discharge abstract data have been added to the discharge abstract database(DB) The previous work flow in the Medical Record Department had 5 levels: 1) chart collection from wards, 2) assembling, 3) abstracting data from medical record on worksheet by 2 RRAs, 4) checking deficiencies and coding diagnosis and procedures by 4 RRAs, 5) inputting the data into the discharge abstract data base by 1 RRA. The average processing time took 19.3 days from the patient discharge date. It had the production of monthly statistical report delayed. Besides, it caused the users in the hospital to complain. Methods : A CQI team was organized to find a way to shorten the processing time less than 10 days. The team identified the factors making the processing time long and integrated three levels from the 3rd level into one. Each of 7 RRAs performed the integrated level on her workstation instead of taking one of three separate levels. The comparison of processing time before and after the changes was made with 3'846 discharges of April, 1999 and 4,189 discharges of August, 1999. Results : The average processing time was shortened from 19.3 days to 8.7 days. Especially the integrated level took only 3.6 days, compared with 12.3 days before the change. The percentage of finishing up the whole processing within 10 days from discharge was increased up to 77.6%, which was 2.4% before the integration. The prevalence of error in data input was not increased in the new method. Conclusions : The integrated processing method has the following advantages: 1) the expedition of production of monthly statistical report, 2) the increase of utilizing rate of dischare abstract data by Billing Dept, Emergency Room, QI Dept., etc., 3) the improvement of intradepartmental work follow, 4) the enhancement of medical record quality by checking the deficiencies earlier than before.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제44권4호
• /
• pp.547-563
• /
• 2005

There have been many papers reporting that the axiomatic approach in Abstract Algebra is a big obstacle to overcome for the students who are not trained to think in an abstract way. Therefore an instructor must seek for ways to help students grasp mathematical concepts in Abstract Algebra and select the ones suitable for students. Mathematics faculty and students generally consider Abstract Algebra in general and quotient groups in particular to be one of the most troublesome undergraduate subjects. For, an individual's knowledge of the concept of group should include an understanding of various mathematical properties and constructions including groups consisting of undefined elements and a binary operation satisfying the axioms. Even if one begins with a very concrete group, the transition from the group to one of its quotient changes the nature of the elements and forces a student to deal with elements that are undefined. In fact, we also have found through running abstract algebra courses for several years that students have considerable difficulty in understanding the concept of quotient groups. Based on the above observation, we explore and analyze the nature of students' knowledge about $Z_n$ that is the set of congruence classes modulo n. Applying the genetic decomposition method, we propose a model to lead students to achieve the correct concept of $Z_n$.

• Journal of applied mathematics & informatics
• /
• 제4권1호
• /
• pp.109-116
• /
• 1997

In the present paper we consider an abstract partial dif-ferential equation of the form $\frac{\partial^2u}{{\partial}t^2}-\frac{\partial^2u}{{\partial}x^2}+A(x.t)u=f(x, t)$, where ${A(x, t):(x, t){\epsilon}\bar{G} }$ is a family of linear closed operators and $G=GU{\partial}G$, G is a suitable bounded region in the (x, t)-plane with bound-are ${\partial}G$. It is assumed that u is given on the boundary ${\partial}G$. The objective of this paper is to study the considered Dirichlet problem for a wide class of operators $A(x, t)$. A Dirichlet problem for non-elliptic partial differential equations of higher orders is also considerde.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제56권1호
• /
• pp.101-118
• /
• 2017

In this article we study a reconstruction of mathematical knowledge on trigonometry by the method of ascent from the abstract to the concrete from the pedagogical viewpoint of dialectic. The direction of education is shifting in a way that emphasizes the active constitution of knowledge by the learning subjects from the perspective that knowledge is transferred from the teacher to the student. In mathematics education, active discussions on the construction of mathematical knowledge by learners have been going on since the late 1990s. In Korea, concepts and aspects of constructivism such as operational constructivism, radical constructivism, and social constructivism were introduced. However, examples of practical construction according to the direction of construction of mathematical knowledge are very hard to find. In this study, we discuss the direction of the actual construction of mathematical knowledge and suggest a concrete example of the actual construction of trigonometry knowledge from a constructivist point of view. In particular, we discuss the process of the construction of theoretical knowledge, the ascent from the abstract to the concrete, based on the literature study from the pedagogical viewpoint of dialectic, and show how to construct the mathematical knowledge on trigonometry by the method of ascent from the abstract to the concrete. Through this study, it is expected to introduce the new direction and new method of knowledge construction as 'the ascent from the abstract to the concrete', and to present the possibility of applying dialectic concepts to mathematics education.

• 헤리티지:역사와 과학
• /
• 제52권2호
• /
• pp.172-195
• /
• 2019

고암 이응노(1904~1989)의 회화 전개에서 1960년대의 파리 시절은 미술가로서 가장 전위적인 방식으로 매체의 실험 및 혁신을 이룬 시기로 평가받는다. 그리고 파리로 건너가기 직전에 개최된 이응노의 ${\ll}$도불${\gg}$전(1958. 3)은 이응노가 앵포르멜 미술을 처음 수용할 때의 회화 양상을 확인할 수 있다는 점에서 주목받아왔다. 이를 주목한 이응노 관련 연구는 1958년의 작품들을 앵포르멜과 추상표현주의의 영향으로 해석하는 관점과 이응노가 문인화로 처음 화업을 시작했다는 점에 초점을 맞추어 문인화의 사의(寫意) 정신의 발현으로 보는 관점으로 크게 구분할 수 있다. 본고는 앵포르멜과 추상표현주의를 통칭할 수 있는 '추상회화'에 대한 이응노의 인식을 확인하는 것을 목표로 하였다. 이를 해결하기 위해서는 당시 이응노의 회화론을 되짚어보는 것이 필요하기에 이응노가 회화를 처음 학습했던 해강 김규진 문하와 일본 유학 시절의 회화론을 먼저 살펴보았다. 이응노는 매너리즘에 빠진 문인화풍에서 벗어나기 위해 자연을 깊이 관조하는 것을 회화 제작의 첫 번째 원칙으로 삼았다. 그의 이러한 사생론은 1950년대까지 지속되었다. 그리고 그는 '추상(抽象)'을 서양 미술사조의 '추상회화'라는 고유 개념이 아니라 일본 유학 시절 이후 강화된 사생론에 따라 '(자연에서) 형상을 추출하다'라는 사전적 의미로 이해했을 가능성이 크다. 이응노 본인도 추상회화의 근간에는 자연의 형태가 있다고 밝힌 바가 있다. 즉 추상적인 회화와 '추상회화'는 다른 개념이기에 이를 구분하여 당시 이응노의 회화를 분석할 필요가 있다. 마지막으로 이응노의 1950년대 추상회화를 문인화의 사의(寫意) 정신이 발현된 것으로 해석하는 관점에 의문을 제기하였다. 전통 문인화론을 현대의 이응노에게 직접 연결하는 것은 오히려 이응노 회화의 개성을 가리게 하고 전통서화와 현대회화의 구분을 모호하게 만들 수 있다. 또한 이응노는 회화 제작에서 사의를 강조하긴 했지만 이는 대명제로서의 언사(言辭)였을 가능성이 높다. 왜냐하면 정작 1950년대에 제작한 작품들은 <자화상>(1956)처럼 이응노가 스스로 '북화(북종화)'라고 규정했던 회화 양식이 주를 이루기 때문이다. 이러한 양상은 문인화의 대명제로서의 '사의'와 '사의적 화법'을 구분해서 바라볼 필요가 있다는 점의 근거가 된다. 따라서 당시 그의 회화는 사의의 발현, 전통 문인화의 계승이라는 측면으로 보기보다 사의적 화법을 구사한 이응노식 추상회화라는 관점에서 새로운 해석을 필요로 한다.

• 한국통신학회논문지
• /
• 제32권8B호
• /
• pp.529-538
• /
• 2007

본 논문에서는 2003년 전 세계의 인터넷망에서의 심각한 소통 장애를 일으켰던 슬래머 웜 보안공격의 전파 전과정을 NS-2를 이용한 시뮬레이터로 분석하였다. 기존 연구에서는 Detailed Network-Abstract Network(DN-AN) 모델 기반의 Abstract Network-Abstract Network(AN-AN)모델을 이용한 분석이 수행되었다. 이러한 AN-AN모델은 패킷 레벨까지 정확한 분석이 가능하지만, 초기 300초의 감염구간을 모의실험 하는데 240시간이 소요되는 시간상 문제점이 있었다. 본 논문에서는 이러한 문제점을 해결하기 위한 축소된 모델링 기법을 제시하여 모의실험에 필요한 소요시간을 단축함으로써 소통 장애가 일어난 3.5시간을 107시간에 분석할 수 있었다. 아울러 기존 분석에서는 감염 호스트가 인위적인 치료나 격리 조치가 있을 때까지는 모두 동작하는 것으로 가정하였지만, 슬래머의 과도한 감염 트래픽으로 중계 라우터의 동작이 중지되는 현상에 의해 해당 장비가 감염과정에서 자연적으로 격리되는 격리율 0.00022도 함께 고려하였다. 모의실험 결과, 국제관문국의 국외$\Longrightarrow$국내방향은 4,787초에 정상 상태로 돌아온 반면, 국내$\Longrightarrow$국외방향이 3.5시간동안 포화가 되어 소통 장애가 지속됨을 알 수 있었다.