• Journal of the Korean Mathematical Society
• /
• v.42 no.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.

• Journal of the Korean Mathematical Society
• /
• v.38 no.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.

• The Mathematical Education
• /
• v.42 no.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.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• Quality Improvement in Health Care
• /
• v.7 no.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.

• The Mathematical Education
• /
• v.44 no.4 s.111
• /
• 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
• /
• v.4 no.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.

• The Mathematical Education
• /
• v.56 no.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.

• Korean Journal of Heritage: History & Science
• /
• v.52 no.2
• /
• pp.172-195
• /
• 2019

Among the paintings of Goam Lee Ungno (1904-1989), his works of the 1960s in Paris have been evaluated as his most avant-garde works of experimenting with and innovating objects as an artist. At that time, his works, such as Papier Colle and Abstract Letter, were influenced by abstract expressionism and Western Art Informel, illustrating his transformation from a traditional artist into a contemporary artist. An exhibition, which was held prior to his going to Paris in March 1958, has received attention because it exhibited the painting style of his early Informel art. Taking this into consideration, this study was conducted by interpreting his work from two perspectives; first, that his works of 1958 were influenced by abstract expressionism and Art Informel, and, second, that he expressed Xieyi (寫意) as literati painting, focusing on the fact that Lee Ungno first started his career adopting this style. In this paper, I aimed to confirm Lee Ungno's recognition of Art Informel and abstract painting, which can be called abstract expressionism. To achieve this, it was necessary to study Lee's painting theory at that time, so I first considered Hae-gang Kim Gyu-jin whom Lee Ungno began studying painting under, and his paintings during his time in Japan. It was confirmed that in order to escape from stereotypical paintings, deep contemplation of nature while painting was his first important principle. This principle, also known as Xieyi (寫意), lasted until the 1950s. In addition, it is highly probable that he understood the dictionary definition of abstract painting, i.e., the meaning of extracting shapes from nature according to the ideas which became important to him after studying in Japan, rather than the theory of abstract painting realized in Western paintings. Lee Ungno himself also stated that the shape of nature was the basis of abstract painting. In other words, abstractive painting and abstract painting are different concepts and based on this, it is necessary to analyze the paintings of Lee Ungno. Finally, I questioned the view that Lee Ungno's abstract paintings of the 1950s were painted as representative of the Xieyi (寫意) mind of literary art painting. Linking traditional literary art painting theory directly to Lee Ungno, who had been active in other worlds in space and time, may minimize Lee Ungno's individuality and make the distinction between traditional paintings and contemporary paintings obscure. Lee Ungno emphasized Xieyi (寫意) in his paintings; however, this might have been an emphasis signifying a great proposition. This is actually because his works produced in the 1950s, such as Self-Portrait (1956), featured painting styles with boldly distorted forms achieved by strong ink brushwork, a style which Lee Ungno defined as 'North Painting.' This is based on the view that it is necessary to distinguish between Xieyi (寫意) and 'the way of Xieyi (寫意) painting' as an important aspect of literary art painting. Therefore, his paintings need a new interpretation in consideration of the viewpoint that he represented abstract paintings according to his own Xieyi (寫意) way, rather than the view that his paintings were representations of Xieyi (寫意), or rather a succession of traditional paintings in the literary artist's style.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.8B
• /
• pp.529-538
• /
• 2007

In this paper, we have analyzed a simulation model of Slammer worm propagation process which caused serious disruptions on the Internet in the year of 2003 by using NS-2. Previously we had presented and analyzed Abstract Network to Abstract Network(AN-AN) model being modified from the Detailed Network to Abstract Network(DN-AN) of NS-2. However, packet analysis in AN-AN model had a problem of taking 240 hours to simulate the initial 300 seconds of infection. We have reduced the AN-AN model to save the simulation time and analyzed total 3.5 hours of the network congestions within 107 hours. Moreover, we have derived optimal quarantine rate of 0.0022 considering service outage of network devices caused by the heavy infected traffics, which was not taken into consideration in previous works. As the result of simulation, Although the inbound traffic at the Korean international gateway was back in normal conditions at 4,787 second, due to the revese direction saturation was maintained until 12,600 seconds, the service outage was persisted for 3.5 hours.