• 천문학회보
• /
• 제37권2호
• /
• pp.89.2-89.2
• /
• 2012

We present our analysis of a newly discovered galaxy-galaxy gravitational lens system in the First Look Survey (FLS) field. This object shows a highly distorted background galaxy (z=0.245) image by a nearby elliptical galaxy (z=0.08), which can be interpreted as a result of gravitational lensing. We model the lens with elliptical isothermal sphere model, and present the mass and potential distribution of the system.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권12호
• /
• pp.1008-1021
• /
• 2006

제품계열 공학(Product Line Engineering, PLE)은 최근 각광받고 있는 효율적인 소프트웨어 재사용 접근 방법 중 하나로 핵심자산을 인스턴스화(Instantiate)하여 여러 어플리케이션을 개발한다. 핵심자산(Core Asset)의 구성요소로는 제품계열 아키텍처(Product Line Architecture, PLA), 컴포넌트, 의사결정모델(Decision Model)이 있다. 이런 요소 중, PLA는 핵심자산의 전체적인 구조를 정의하고 있어 가장 핵심적인 요소라 할 수 있다. 현재 많은 PLE 방법론들이 소개되어 있으나, PLA의 구체적인 구성요소와 어플리케이션을 만들기 위해 PLA를 인스턴스화하기 위한 체계적인 기법이 미비하다. PLA의 구성요소를 명확히 정의하고 인스턴스화 프로세스를 상세히 정의하기 위해 정형명세가 효과적으로 사용될 수 있다. 본 논문에서는 먼저 PLA의 메타모델을 제시하고 PLA를 정형명세 언어인 Object-Z로 명세하는 방법을 제시한다. 또한 정형명세를 이용한 인스턴스화 규칙을 제안하며, 이런 규칙은 PLA를 인스턴스화히기 위한 제약사항을 상세히 정의하고 있다. 제안된 정형명세를 적용함으로써, PLA의 인스턴스화는 상세하고 명확하게 수행될 수 있어 고품질의 소프트웨어를 생산할 수 있다.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.855-864
• /
• 2004

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을 수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 이 논문에서는 정형적 명세를 이용하여 테스트 데이터를 추출하는 방법을 제안한다. 복잡하고 구성요소가 다양한 웹 어플리케이션의 기능을 Object-Z 정형 명세언어를 이용하여 핵심적으로 나타낸다. 정형 명세에서부터 상태모델을 구성하고 최상위 레벨의 STD에서 세부적으로 STD를 추가하여 테스트 시나리오를 추출하였다. 실험 대상은 보안과 정확성을 요하는 웹 뱅킹 시스템으로 정하고 계좌이체 과정의 테스트 데이터를 추출하였다. 제안한 방법은 사용기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요한 요소가 될 것이다.

• 영미문화
• /
• 제14권2호
• /
• pp.49-75
• /
• 2014

This paper argues that John Leguizamo disguises ethical intention with humor in his one-person show, Freak. The argument proceeds in three stages. First, on the basis of Slavoj ${\check{Z}}i{\check{z}}ek^{\prime}s$ theory that fantasies teach us how to desire discussed in The Sublime Object of Ideology, I analyze how and why Leguizamo exaggerates and thus de-constructs the ideological fantasies about Latin Americans in Freak. Through this analysis the ridiculous exaggeration of the fantasies and their deconstruction emerges as the means to surface the trauma caused by the fantasies, internally and externally curing and reconciling the audience. Second, I apply ${\check{Z}}i{\check{z}}ek^{\prime}s$ theory of the quilting point introduced in Looking Awry: An Introduction to Jacques Lacan through Popular Culture to reveal how "blots" in Freak form "black holes" in the audience's consciousness to smash their established view of the reality, inducing them to encounter with "the real." The investigation into Leguizamo's use of humor as the quilting point illuminates how he invites the audience to look awry beyond the popular fantasy at "the real" America. Third, on the ground of Emmanuel Levinas's theory that theaters are the space of ethics, namely "ethotopos" to emphasize responsible actions discussed in "Ethics as First Philosophy," I assert that Leguizamo disguises his ethical message with humor so as for the audience to recognize their responsibility for others in America and take action towards change.

• 대한원격탐사학회지
• /
• 제23권3호
• /
• pp.153-160
• /
• 2007

Forest cover density studies using high resolution satellite data and object oriented classification are limited in India. This article focuses on the potential use of QuickBird satellite data and object oriented classification in forest density mapping. In this study, the high-resolution satellite data was classified based on NDVI/pixel based and object oriented classification methods and results were compared. The QuickBird satellite data was found to be suitable in forest density mapping. Object oriented classification was superior than the NDVI/pixel based classification. The Object oriented classification method classified all the density classes of forest (dense, open, degraded and bare soil) with higher producer and user accuracies and with more kappa statistics value compared to pixel based method. The overall classification accuracy and Kappa statistics values of the object oriented classification were 83.33% and 0.77 respectively, which were higher than the pixel based classification (68%, 0.56 respectively). According to the Z statistics, the results of these two classifications were significantly different at 95% confidence level.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.785-794
• /
• 1998

국제 표준 전문 위원회에서는 PREMO(PResentation Environment for Multimedia Object)의 언어 바인딩에서 제기된 문제점을 해결하기 위하여 언어바인딩의 표준화를 취소하고 어떤 특정 언어에 의존하지 않는 바인딩 모델의 연구가 진행중이다. PREMO의 바인딩 모델에서 그래픽스 바인딩 모델을 제시하기 위하여 PREMO에서의 객체 함수들을 분석하고, ？체-Z 기능명세에 대한 함수 작용과 바인딩 모델에 관련된 데이터 사상을 보인다. 본 논문에서는 그래픽스 언어 바인딩 함수들을 기반으로 하는 그래픽스 바인딩 모델 설계를 제안한다.

• 정보처리학회논문지D
• /
• 제13D권7호
• /
• pp.923-930
• /
• 2006

본 논문에서는 무기체계 임베디드 소프트웨어의 시간 요소를 고려한 TFM(Time Factor Method) 기반의 시스템 테스트 모델을 설계하고, 적용사례를 통하여 결과를 제시한다. 이를 위해 무기체계 임베디드 소프트웨어의 특징과 시스템 테스트 그리고 객체지향 모델의 표현방법인 UML 표기법에 대하여 알아보고, 시스템 테스트 모델 설계를 위한 TFM 접근 방법으로 시간 요소를 고려한 테스트 방법과 시간 요소 측정 방법 그리고 테스트 케이스 선정 알고리즘을 제시한다. 무기체계 임베디드 소프트웨어의 TFM 기반 시스템 테스트 모델은 세 가지 요소 (X,Y,Z) 로 구성되며, 'X' 에서는 최대시간경로를 선정하는 알고리즘을 통해 테스트 케이스가 도출되고, 'Y' 에서는 Sequence Diagram과 관련된 객체를 식별하고, 'Z'에서는 Timing Diagram을 통하여 식별된 각 객체들의 실행시간을 측정한다. 또한 제안한 W:M 기반 시스템 테스트 모델을 '다기능 미사일 방어시스템'에 적용하여 테스트 케이스를 추출하는 방법을 제시한다.

• 대한전자공학회논문지
• /
• 제26권1호
• /
• pp.10-19
• /
• 1989

본 논문에서는 깊이데이타를 이용한 물체의 조형방법을 제안한다. 입력으로 들어온 깊이데이타에서 물체의 형상특징을 추출하기 위하여 $2{\times}2$ 마스크내에서 깊이변화율을 고려한 Z축 기울기를 정의하여 각각의 원시도형(primitive)마다 가지는 크기와 방향특성을 이용하여 표면을 분류한다. 또한 여러개의 원시도형들의 조합으로 되어있는 물체에서는 핵심점을 정의하여 각 원시도형을 분리한다. 나아가 표면영역들간의 공간상의 위치관계를 구하여 인식을 위한 원시도형들간의 상관관계를 추출하였으며 제안된 방법의 유용성을 실험에 의하여 입증한다.

• 한국정밀공학회지
• /
• 제20권9호
• /
• pp.197-204
• /
• 2003

This study proposes a method to reduce errors in scanning object and registration using a laser scanner. The method consists of 3 stages. First, there is an error induced by the difference of the distance between the probe and the object. It is possible to reduce the error by planning a scanning strategy: object setting, scan path. Second, the scan data of the tooling ball affects calculating the tooling ball center. A z-direction compensation is given to calculate more accurate registration points. Third, three points are used to determine a coordinate transformation on each frame. The maximum error usually lies on the third tooling ball in the conventional merging method. LSM (Least Square Method) is applied to a coordinate transformation to reduce the registration error.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2008년도 춘계학술발표대회 논문집
• /
• pp.46-49
• /
• 2008

This research does Complexity form, Interior epidermis cell re-organization, Object discovery that have correct numerical value concept by purpose. Research applied by Grid re-organization in form generation, Parameter variation of cell unit (morphor, tweener), Symbol, pattern of variation, self-organization cell substitution order. Representation through 3d digital modeler of polygon, Nurbs and street-sheet program(x,y,z coordinates & Network way of points) etc. of main work. Investigator specified numbers of U profiles*30, V point-20 that is 600 Paramaters individual in volume, and define circle radius of lighting in object, Projection size variously and tried difference. Transposition cell to point and Heightened brightness of color using pointillism of painting. Led lighting cell object is expressed being decoded by digital code.