• Journal of English Language & Literature
• /
• v.57 no.3
• /
• pp.367-389
• /
• 2011

The aesthetic attitude, in general or in particular, represented in matters of taste through aesthetic ideas and value judgments postulates a certain literary logic. And this literary logic reveals itself a sense of morality, philosophy, or moral aesthetic consciousness through the moments of act and thought demonstrated in the characters invented in literary works. Henry James, among many others, offers a very special cultural paradigm for transnational argument because of his diverse ways of shaping transatlantic relations in terms of aesthetic consciousness. And this international paradigm produced varied expressions referring to Henry James as "an American expatriate," "an Anglicized American artist," "a Europeanized aesthete," "a cosmopolitan intelligence," "a bohemian cosmopolitan" to designate his literary career and its characteristics shaped in Europe. Such expressions resonate with Transatlantic Sketches, James's first collection on travel and cultures in 1875 which heralded his long "expatriation" in terms of self-distantiation. James's temperament of mind, far from being always identified with shared values within an ideological framework, never avoided friction with fixed ideas but rather absorbed it fully for another friction which intervenes in his house of fiction. My question arises here regarding his cultural belonging or dislocation: where is the place of his mind or what could be his ultimate destination? In this essay, I'd like to define a place or rather the place of James's literary mind by proving a certain "sympathetic justice" for his literary logic. For this purpose, I'll try to examine: how James used transatlantic perspective, a spatio-temporal assessment to formulate his moral aesthetic consciousness; and how the aesthetic framework functions in assessing his literary logic of aesthetic consciousness. To start with the first argument, I'll analyze some essential aspects of aesthetic attitude of his characters to postulate a persona capable of theorizing James's aestheticism conditioned by the transatlantic context. And for the second argument, I'll examine how the persona functions in formulating a proper cultural stance of James's aesthetic consciousness in transatlantic perspective to illuminate the way of how Jamesian individuality reflects the American mind. This process of theorizing a place of James's own will lead, I hope, to our discovering James's ultimate destination on the assumption that it'll prove or create a certain "sympathetic justice" for his humanist aestheticism, a Jamesian absolute morality.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.353-356
• /
• 2005

최근 우리 생활과 밀접하게 연관되어 있는 유비쿼터스 컴퓨팅 환경에서는 컴퓨터 스스로 사용자가 처한 환경을 인식하는 상황 인식(situation-awareness) 시스템이 필수적이다 상황 인식(situation-awareness)시스템은 센서로부터 주변 환경 정보의 수집 및 결합을 통해 상황을 인식하고, 해석과 추론 처리과정을 거쳐 사용자에게 적절한 서비스를 제공한다 주변 환경이 시간에 따라 계속 변화하므로 더 좋은 서비스를 제공하기 위해서는 현재의 환경 정보뿐만 아니라 과거의 환경 정보도 고려하여 현재 상황이 어떻게 변화되고 있는지도 파악할 수 있어야 한다. 본 논문에서는 시간에 따라 동적으로 변화하는 유비쿼터스 컴퓨팅 환경에서 시간을 처리할 수 있는 상황 인식 프레임워크를 제안한다. 이 프레임워크는 변화하는 컨텍스트의 시간처리를 JESS와 JAVA를 이용하여 처리하였다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.1
• /
• pp.23-28
• /
• 2004

This paper proposes a sensor-fusion technique where the data sets for the previous moments are properly transformed and fused into the current data sets to enable accurate measurement, such as, distance to an obstacle and location of the service robot itself. In the conventional fusion schemes, the measurement is dependent on the current data sets. As the results, more of sensors are required to measure a certain physical parameter or to improve the accuracy of the measurement. However, in this approach, instead of adding more sensors to the system, the temporal sequence of the data sets are stored and utilized for the measurement improvement. Theoretical basis is illustrated by examples and the effectiveness is proved through the simulations. Finally, the new space and time sensor fusion(STSF) scheme is applied to the control of a mobile robot in an unstructured environment as well as structured environment.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.15 no.1
• /
• pp.27-34
• /
• 2015

For a vision-based driver assistance system, unusual motion detection is one of the important means of preventing accidents. In this paper, we propose a real-time unusual-motion-detection model, which contains two stages: salient region detection and unusual motion detection. In the salient-region-detection stage, we present an improved temporal attention model. In the unusual-motion-detection stage, three kinds of factors, the speed, the motion direction, and the distance, are extracted for detecting unusual motion. A series of experimental results demonstrates the proposed method and shows the feasibility of the proposed model.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.655-662
• /
• 1998

This paper is on the anlaysis for real-time software requirement . This method can be used for TNPIN(Timed Numerical Petri Net) as a easy communication means with a real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness fo the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL , and analyzed through the reachability graph. Thus , the requirement of between user and system is satisfied. By the example of shared track, the validity of the property of real-time (safetiness, responsiveness, liveness, priority) is verified. Also, this framework is give to connection with a object natually.

• Journal of Korea Society of Industrial Information Systems
• /
• v.5 no.1
• /
• pp.1-15
• /
• 2000

In this paper, an efficient system for finding answers to a given path algebra expression in a directed acylic graph is discussed more particulary, in a multimedia presentration graph. Path algebra expressions are formulated using revised versions of operators next and until of temporal logic, and the connected operator. To evaluate queries with path algebra expressions, the node code system is proposed. In the node code system, the nodes of a presentation graph are assigned binary codes (node codes) that are used to represent nodes and paths in a presentation graph. Using node codes makes it easy to find parent-child predecessor-sucessor relationships between nodes. A pair of node codes for connected nodes uniquely identifies a path, and allows efficient set-at-a-time evaluations of path algebra expressions. In this paper, the node code representation of nodes and paths in multimedia presentation graphs are provided. The efficient algorithms for the evaluation of queries with path algebra expressions are also provided.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.442-444
• /
• 2000

이 논문에서는 산업계의 표준으로 널리 사용되고 있는 객체 지향 시스템의 명세 언어인 UML의 sequence diagram을 이용하여 객체 지향 시스템을 검증하는 방법과 이 방법을 테스팅 오라클을 생성하는데 사용할 수 있는 프레임웍을 제시하였다. 우리는 sequence diagram을 테스팅 결과의 검증에 사용하기 위하여 정형적으로 재정의 하였다. 그리고 시제 논리의 강력한 검증 능력을 사용하기 위해서 Half-Order Dynamic Temporal Logic(HDTL)이라 불리는 새로운 시제 논리를 정의하였고 sequence diagram을 HDTL 논리식으로 변화시키는 의미 함수(semantic function)를 정의하였다. HDTL에서 오토마톤을 생성하기 위해서 Tableau 방법을 변형하여 적용시켰다. 이 결과 생성된 오토마톤은 이상 상태(anomaly), 즉 sequence diagram에 표현되지 않은 사건(evevt)의 발생을 검색하는 오라클로 사용할 수 있다. 테스팅의 결과를 수작업으로 검증하는 것은 매우 어렵고 오류가 발생하기 쉬운 작업이므로 제안한 방법은 유용하게 사용될 수 있다.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.4 no.2
• /
• pp.236-240
• /
• 2004

Stroke-based composite HMMs with articulation states are proposed to deal with 3D spatio-temporal trajectory gestures. The direct use of 3D data provides more naturalness in generating gestures, thereby avoiding some of the constraints usually imposed to prevent performance degradation when trajectory data are projected into a specific 2D plane. Also, the decomposition of gestures into more primitive strokes is quite attractive, since reversely concatenating stroke-based HMMs makes it possible to construct a new set of gesture HMMs without retraining their parameters. Any deterioration in performance arising from decomposition can be remedied by a partial tuning process for such composite HMMs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.153-154
• /
• 2012

바디 센서 시스템 환경이란 사용자가 서기, 걷기, 뛰기 등의 행위를 통해 주기적으로 상황이 변하는 동적 환경이다. 이와 같은 시스템에서는 크기가 작고 저전력을 요구하는 센서가 탑재되기 때문에 효율적인 알고리즘을 적용하는 것은 매우 중요한 일이다. 모델체커는 최근 소프트웨어 모델 (Model)을 검증하는 도구로써 주어진 모델과 속성값을 통해 해당 모델의 검증 (Verification) 결과가 참인지 거짓인지 판별해 준다. 본 논문에서는 효율적인 바디 센서 시스템 구축을 위해 서기, 걷기, 뛰기라는 환경에서 개별적으로 동작되는 알고리즘을 모델링 하고 LTL(Linear Temporal Logic) 로 속성을 명세하여 NuSMV 모델 체커를 통해 해당 모델의 Safety와 Liveness를 검증한다.

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

본 연구는 심볼릭 모델 체커 중의 하나인 SMV(Symbolic Model Verifier)를 이용하여 한국전자통신연구원(ETRI)에서 개발한 CCA(Cache Coherent Agent) 보드를 위한 I-Link Bus(Inside Bus)의 몇 가지 특성(property)들을 검증하여 I-Link Bus의 요구사항(requirement)이 만족됨을 보인다. 이 검증에서는 I-Link Bus의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 시제 논리(temporal logic)를 이용하여 나타낸다. 검증을 통해서 I-Link Bus와 PIF(Processor Interface), DC(Directory Controller), RC(Remote access cache Controller)모듈들이 중재기 우선 순위, send 우선 순위, 중재 요청 신호의 관리, liveness등의 특성들을 만족한다라는 것을 검증하였다.