• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.576-578
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.489-491
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성된다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 과정에서 ATM은 계산 논리 뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM은 다양한 모드를 사용한다. ATM을 사용한 실시간 시스템의 검증은 도달성 그래프를 생성함으로써 수행한다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 기법들과 예제를 통하여 비교한다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.593-602
• /
• 2001

G-Machine은 주어진 표현식을 그래프 축약을 통해석 계산한다. 이러한 축약 과정은 표현식을 그래프로 표현하기 위해 많은 그래프 공간을 필요로 한다. 본 논문에서는 그래프 공간을 효율적으로 사용할 수 있는 방법을 제안한다. 본 논문에서는 우회 노드 장소에 자료를 중복 사용하는 방법을 제안하여 G-Machine에서 필요로 하는 그래프 공간을 절약하며, 이를 위한 새로운 추상기계인 poGM(Pointer Overlapped GM)을 제안한다. poGM에서는 필요한 곳에만 상대 주소를 사용하여, 그래프 내부 노드와 단말 노드 모두에서 그래프 공간을 절약할 수 있다. 기억 장소 재활용 체계를 포함하는 시뮬레이션의 결과벤치마크 프로그램에서 GM보다 총합 사용량은 평균32%, 최소합은 평균 47.6% 적게 사용하였으며, 수행 시간은 평균 30% 빠르게 수행되었다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.2
• /
• pp.325-325
• /
• 1999

This paper presents a locally deterministic abstract machine for a new process model LocPi which is based on a subset of asynchronous polyadic π-calculus and enriched with locations and process mobility. Our calculus has a primitive for migrating and spawning a process to a location(remote site), but does not explicitly represent the place which a process are running at. Running processes may have names attached with their locations and the communication reductions can occur only on located names. So we present how to assign locations to unlocated names. Without a global channel environment, these located names enable us to locate the place which input actions occur at and output messages should be sent to.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.346-348
• /
• 2001

이 논문은 메모리 재사용 알고리즘 중 하나인 복사 알고리즘의 공간 오버헤드를 완화시키기 위한 방법을 기술한다. 복사 알고리즘은 연속적인 메모리 공간을 확보하는 전통적인 메모리 재사용 알고리즘으로, 노드 크기가 일정하지 않은 추상 기계의 구현에 널리 사용되는 알고리즘이다. 그러나, 복사 알고리즘은 전체 힙 공간의 반을 복사 프로세스를 위해서 남겨두어야 하기 때문에 공간 오버헤드는 100%에 달한다. 이 논문에서는 공간 오버헤드를 완화시키는 기본 아이디어를 제시하고, 이 기본 아이디어에서 힙 경계 부분을 처리하기 위한 세 가지 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.568-570
• /
• 2001

정형 기법으로 명세된 시스템이 구현되어 실제 물리적 환경에서 실행될 때는 시스템 행위들의 성공과 실패가 다양한 환경 요인에 의해 영향을 받는다. 본 논문에서는 PATM(Probabilistic ATM)을 이용하여 시스템의 행위에 영향을 주는 요인의 정도를 확률로써 명세하고, 명세 단계에서 시스템의 실행을 예측할 수 있는 방법을 제시한다. PATM은 실행시간에 변화하는 요인을 가변 확률로 명세하여 실행 시 발생할 수 있는 상황에 대한 능동적인 분석과 예측을 가능하도록 한다.

• Applied Microscopy
• /
• v.37 no.4
• /
• pp.231-238
• /
• 2007

Although the biological significance of the antennal sensillae to millipedes are widely understood, the structure and function of the antennal sensillae are still not clear and more precise analysis is required. Thus, this study initiate to reveal the fine structural characteristics of various sensory receptors on the antennae of millipede Oxidus gracilis were observed with field emission scanning electron microscopy(FESEM). The antennae generally include eight segments, called articles. On the surface of the antennae, there are a variety of sensory receptors which include olfactory and mechanical receptors. We could identify four different types of antennal sensillae in O. gracilis as follows: apical cone sensilla, trichoid sensilla, chatiform sensilla and basiconic sensilla. The most prominent is four large spital cone sensillae on distal tip of the 8th article. Both of trichoid and chaetiform sensillae are abundantly observed at the most of antennal articles. These sharply pointed structures are inclined and slightly curved toward the apex of the sensilla. The basiconic sensilla are further divided into three subtypes: large basiconic sensilla($Bs_1$), small basiconic sensilla($Bs_2$) and spiniform sensilla($Bs_3$). The $Bs_1$ is located at the 5th and 6th articles, while the $Bs_2\;and\;Bs_3 can be seen at the 5th and 7th articles, respectively.

• Journal of The Korean Association For Science Education
• /
• v.30 no.5
• /
• pp.668-680
• /
• 2010

In this study, we investigated the characteristics, the mapping understanding, the mapping errors, and the perceptions of student-generated analogies on the separation of mixtures using the sizes of particles by elementary school students' approaches to learning. Fourth graders (N=92) were selected and administered with the tests on the approaches to learning, self-generating analogies, and perception of self-generating analogies. The results revealed that the meaningful learners made more analogies, especially structural/functional, enriched, and higher systematic ones than the rote learners. However, there were little difference in students' approaches to learning in the subcategories of representation (verbal, pictorial, and verbal/pictorial), artificiality (artificial and everyday), and abstraction (abstract and concrete). The meaningful learners had deeper understanding of the analogy and fewer mapping errors than the rote learners. In addition, the numbers of the shared attributes included in student-generated analogies and the scores of the mapping understanding of the meaningful learners were significantly higher than those of the rote learners. Many students, regardless of students' approaches to learning, had positive perceptions of the self-generating analogies in various cognitive and motivational aspects. However, they also point out the various difficulties in the self-generating analogies as their disadvantages. Educational implications of these findings are discussed.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• The Journal of the Convergence on Culture Technology
• /
• v.7 no.4
• /
• pp.325-330
• /
• 2021

This study set out to investigate the forms, attributes, and escape methods of post-subjects projected on the investigator's works in connection with rhizomatic thinking proposed as a way of social transformation by Deleuze and Guattari and examine their social connotations. Post-subjects projected on the investigator's works are not completed wholes of some sort, but like materials whose constant premise is change and creation. In the investigator's works, post-subjects have conscious and unconscious desire. It is the desire of creation with positive attributes including Deleuze's and Guattari's pursuit of changes in a contradicting society. When desire is deployed in post-subjects, they will carry out an escape. This way of escape is rhizomatic proposed by Deleuze and Guattari. It deconstructs contradicting things and repeats connection, contact, and severance with the outside world, building a new order. Rhizomatic post-subjects appearing in the investigator's works depict the escape process and method in abstract ways through the variable installation of objets combined with a color field of repeating brushes. In this work, the goal of post-subjects is to make a safe landing in a space where beings are recognized for their values and free and creative lives. These post-subjects are nomads creating a new landscape continuously, wandering around vast plains, and also artists and literary figures resisting a contradicting society. That is, they are connected to the concept of a war machine proposed by Deleuze and Guattari as a concept of social transformation and to the concept of Nietzsche's Agon to devise and create new values and politics based on street passion. They seek after a space where they can co-exist with otherness recognized rather than the complete deconstruction of the old order.