• Title/Summary/Keyword: Object-Z

Search Result 190, Processing Time 0.035 seconds

Analysis of a New Gravitational Lens FLS 1718+59

  • Taak, Yoon Chan;Im, Myungshin
    • The Bulletin of The Korean Astronomical Society
    • /
    • v.37 no.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.

  • PDF

A Method for Instantiating Product Line Architecture using Formal Specifications (정형 명세를 이용한 제품계열 아키텍처의 인스턴스화 기법)

  • Shin, Suk-Kyung;Her, Jin-Sun;Kim, Soo-Dong
    • Journal of KIISE:Software and Applications
    • /
    • v.33 no.12
    • /
    • pp.1008-1021
    • /
    • 2006
  • Product line engineering(PLE) is one of the recent and effective reuse approaches that enables developing a number of applications by instantiating a core asset. Elements of a core asset are product line architecture(PLA), component, and decision model. Among these elements, PLA is the key element since it defines the overall structure of the core asset. Although numerous PLE methodologies have been introduced, it is still unclear what should be the elements of a PLA and how to systematically instantiate it for specific applications. Formal specifications can play a key role in defining detailed and precise instantiation process. In this paper, we first present a meta model of PLA and show how to specify PLA in a formal language, Object-Z. Then, we propose instantiation rules using formal specification and those rules precisely define constraints for instantiating PLA. By applying the proposed formal specification, we believe PLA instantiation can be carried out precisely and correctly, yielding high quality software development.

A Testing Method for Web-Based Banking Applications Using Formal Specification (정형 명세를 이용한 웹 기반 은행 어플리케이션의 테스트 기법)

  • Ahn, Young-Hee;Choi, Eun-Man
    • The KIPS Transactions:PartD
    • /
    • v.11D no.4
    • /
    • pp.855-864
    • /
    • 2004
  • Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

Fantasy Ethics Disguised with Humor in American Minority Literature: John Leguizamo's Freak (미국 소수인종 문학에 유머로 위장된 환상의 윤리학: 존 레기자모의 『괴물』 중심 연구)

  • Kim, Bong Eun
    • English & American cultural studies
    • /
    • v.14 no.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.

Object-oriented Classification and QuickBird Multi-spectral Imagery in Forest Density Mapping

  • Jayakumar, S.;Ramachandran, A.;Lee, Jung-Bin;Heo, Joon
    • Korean Journal of Remote Sensing
    • /
    • v.23 no.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.

A Binding Model Design and Graphics Object Types Analysis Based on the PREMO (PREMO를 기반으로 하는 그래픽스 객체 타입 분석 및 바인딩 모델 설계)

  • Lee, Yeong-Cheol;Kim, Min-Hong;Kim, Ha-Jin
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.3
    • /
    • pp.785-794
    • /
    • 1998
  • 국제 표준 전문 위원회에서는 PREMO(PResentation Environment for Multimedia Object)의 언어 바인딩에서 제기된 문제점을 해결하기 위하여 언어바인딩의 표준화를 취소하고 어떤 특정 언어에 의존하지 않는 바인딩 모델의 연구가 진행중이다. PREMO의 바인딩 모델에서 그래픽스 바인딩 모델을 제시하기 위하여 PREMO에서의 객체 함수들을 분석하고, ?체-Z 기능명세에 대한 함수 작용과 바인딩 모델에 관련된 데이터 사상을 보인다. 본 논문에서는 그래픽스 언어 바인딩 함수들을 기반으로 하는 그래픽스 바인딩 모델 설계를 제안한다.

  • PDF

Design and Application of the TFM Based System Test Model for the Weapon System Embedded Software (무기체계 임베디드 소프트웨어에 대한 TFM 기반 시스템 테스트 모델 설계 및 적용)

  • Kim, Jae-Hwan;Yoon, Hee-Byung
    • The KIPS Transactions:PartD
    • /
    • v.13D no.7 s.110
    • /
    • pp.923-930
    • /
    • 2006
  • In this paper we design the system test model for the weapon system embedded software based on the Time Factor Method(TFM) considering time factors and suggest the results through the case study. For doing this, we discuss the features, system tests and the object-oriented model based UML notations of the weapon system embedded software. And we give a test method considering time factors, a measuring method to time factors, and a test case selection algorithm as an approach to the TFM for designing the system test model. The TFM based system test model consists of three factors (X, Y, Z) in the weapon system embedded software. With this model, we can extract test cases through the selection algorithm for a maximum time path in 'X', identify the objects related to the Sequence Diagram in 'Y' and measure the execution time of each objects which is identified by the Timing Diagram in 'Z' Also, we present the method of extracting the system test cases by applying the proposed system test model to the 'Multi-function missile defense system'.

Object Modeling from Three-Dimensional Information (3차원 정보를 입력으로한 물체의 조형)

  • Cho, Dong-Uk;Kim, Tae-Yong;Choi, Byung-Uk
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.26 no.1
    • /
    • pp.10-19
    • /
    • 1989
  • This paper proposes the object modeling algorithm using depth data. In order to extract the shape of the object, surface is classified by the magnitude and the direction of Z gradient within the 2x2 mask from input depth data. For the object combined with several primitives is separated by kernel points. Further, spatial relationship between surface regions is extracted for the recognition. Finally, the effectiveness of this algorithm is demonstrated by several experiments.

  • PDF

A Study on Reducing Errors in Scanning Object and Registration using a Laser Scanner (레이저 스캐너를 이용한 측정 및 레지스트레이션시 오차감소에 관한 연구)

  • 홍성균;김연술;이희관;김형찬;양균의
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.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.

Re-organization of Parametric epidermis (파라메트릭 표피 재 조직화)

  • Park, Jeong-Joo
    • Proceedings of the Korean Institute of Interior Design Conference
    • /
    • 2008.05a
    • /
    • 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.

  • PDF