• Title/Summary/Keyword: Abstract

Search Result 7,129, Processing Time 0.034 seconds

Information Flow Control using Model-Checking of Abstract Interpretation (요약 해석의 모델 검사를 이용한 정보흐름 제어)

  • 조순희;신승철;도경구
    • 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.

  • PDF

Simulation and Analysis of Slammer Worm Propagation With Automatic Quarantine (자동 격리를 감안한 슬래머 웜 전파과정에 대한 모의실험 및 분석)

  • Lim, Jae-Myung;Jung, Han-Gyun;Yoon, Chong-Ho
    • 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.

Reengineering of the Data Collection Process for Discharge Abstract Database (퇴원환자 진료정보 DB의 데이터 수집 과정 재설계)

  • Hong, Joon Hyun;Choi, Kwisook;Lee, Eun Mee
    • 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.

  • PDF

Neurological Dynamic Development Cycles of Abstractions in Math Learning (수학학습의 추상적 개념발달에 대한 뇌신경학적 역동학습 연구)

  • Kwon, Hyungkyu
    • Journal of The Korean Association of Information Education
    • /
    • v.18 no.4
    • /
    • pp.559-566
    • /
    • 2014
  • This is to understand the neurological dynamic cognitive processes of math learning based on the abstract mappings( level A2), abstract systems(level A3), and single principles(level A4), which are principles of Fischer's cognitive development theory. Math learning requires flexibility to adapt existing brain function in selecting new neurophysiological activities to learn desired knowledge. This study suggests a general statistical framework for the identification of neurological patterns in different abstract learning change with optimal support. We expected that functional brain networks derived from a simple math learning would change dynamically during the supportive learning associated with different abstract levels. Task based patterns of the brain structure and function on representations of underlying connectivity suggests the possible prediction for the success of the supportive learning.

On the Applications of the Genetic Decomposition of Mathematical Concepts -In the Case of $Z_n$ in Abstract Algebra- (수학적 개념의 발생적 분해의 적용에 대하여 -추상대수학에서의 $Z_n$의 경우-)

  • Park Hye Sook;Kim Suh-Ryung;Kim Wan Soon
    • 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$.

  • PDF

A Study on Reconstruction of Trigonometry Based on Ascent from the Abstract to the Concrete (추상에서 구체로의 상승을 통한 삼각함수의 재구성)

  • Kang, Mee Kwang;Han, Inki
    • 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.

Usability Analysis of Structured Abstracts in Journal Articles for Document Clustering (문서 클러스터링을 위한 학술지 논문의 구조적 초록 활용성 연구)

  • Choi, Sang-Hee;Lee, Jae-Yun
    • Journal of the Korean Society for information Management
    • /
    • v.29 no.1
    • /
    • pp.331-349
    • /
    • 2012
  • Structured abstracts have been regarded as an essential information factor to represent topics of journal articles. This study aims to provide an unconventional view to utilize structured abstracts with the analysis on sub fields of a structured abstract in depth. In this study, a structured abstract was segmented into four fields, namely, purpose, design, findings, and values/implications. Each field was compared in the performance analysis of document clustering. In result, the purpose statement of an abstract affected on the performance of journal article clustering more than any other fields. Furthermore, certain types of keywords were identified to be excluded in the document clustering to improve clustering performance, especially by Within group average clustering method. These keywords had stronger relationship to a specific abstract field such as research design than the topic of an article.

Lee Ungno (1904-1989)'s Theory of Painting and Art Informel Perception in the 1950s (이응노(1904~1989)의 회화론과 1950년대 앵포르멜 미술에 대한 인식)

  • Lee, Janghoon
    • 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.

EXTREMAL STRUCTURE OF B($X^{*}$)

  • Lee, Joung-Nam
    • The Pure and Applied Mathematics
    • /
    • v.5 no.2
    • /
    • pp.95-100
    • /
    • 1998
  • In this note we consider some basic facts concerning abstract M spaces and investigate extremal structure of the unit ball of bounded linear functionals on $\sigma$-complete abstract M spaces.

  • PDF