• 제목/요약/키워드: abstract interpretation

검색결과 63건 처리시간 0.029초

Understanding the Creation of Abstract Concepts beyond the Intangible and Tangible Materials of Land Art

  • Nam, Jinvo
    • 인간식물환경학회지
    • /
    • 제24권6호
    • /
    • pp.685-691
    • /
    • 2021
  • Background and objective: Understanding abstract art as an art form requires depth of thought. Moreover, understanding land art as abstract art is challenging, given its focus on the minimalism and abstract concepts. Much focus, research, and work were actively conducted in the 1970s, as it represented an abstract expression of minimalism. The characteristics of minimalism connote abstract meanings in the use of materials. Nevertheless, the original research of works or artists has often been mentioned, but few studies have analyzed the abstract language of land art materials. The aim of this study is to thus determine the abstract meanings of materials in land art from the 1970s to the 2010s. Methods: Art-based research was employed to address the aim. This study classified the land art materials into intangible and tangible materials, where intangible materials focused on lines, circles, and labyrinths, and tangible materials focused on the earth, stones, wood, and snow. Results: Intangible and tangible materials of land art conveyed various abstract meanings. Intangible materials were reflective of connection and symbiosis with nature, delivering abstract languages of 'take-nothing,' 'reflection' and 'opportunity.' Tangible materials reflected the abstract concepts of 'intervention,' 'resistance,' 'unliving,' and 'change,' and conveyed caveats. In other words, taken together, intangible and tangible materials were presented in symbiosis-and with caveats-and delivered messages for the present and the future. Interestingly, intangible materials inherently reflect symbiosis and communicate caveats in works based on a non-contextualized present and future. Conclusion: Interpretation of the abstract languages derived from intangible and tangible materials could imply a symbiosis between humans and nature, while conveying the message that caveats, to humans, are still ongoing. This relationship plays a significant role in an artist's selection of a medium, which is reflective of abstract beliefs reflected in contemporary, nature-based works created on Earth.

웹 응용 프로그램의 문자열 삽입 보안 취약성 분석기 개발 (Development of a String Injection Vulnerability Analyzer for Web Application Programs)

  • 안준선;김영민;조장우
    • 정보처리학회논문지A
    • /
    • 제15A권3호
    • /
    • pp.181-188
    • /
    • 2008
  • 오늘날 대부분의 웹사이트는 웹 응용 프로그램이 적절한 웹 페이지를 생성하여 전송하는 형태인 동적 웹페이지를 사용하고 있다. 이에 대하여, 취약한 웹 응용 프로그램에 악의적인 문자열을 전달하는 공격의 형태가 증가하고 있다. 본 논문에서는 대표적인 문자열 삽입 공격인 SQL 삽입(SQL Injection) 공격과 크로스 사이트 스크립팅(Cross Site Scripting, XSS) 공격에 대하여 웹 응용 프로그램내의 보안 취약성을 자동으로 찾아 주는 프로그램 정적 분석기를 개발하였다. 요약 해석을 사용한 프로그램 분석을 위하여 가능한 문자열 값을 제외 문자열들과 함께 표현하는 요약 자료 공간과 PHP 언어의 요약된 의미 규칙을 설계하였으며, 이를 기반으로 분석기를 구현하였다. 또한 개발된 분석기가 기존의 연구 결과와 비교하여 경쟁력 있는 분석 속도와 정밀도를 가짐을 실험을 통하여 보였다.

요약 해석 및 응용 (Abstract Interpretation and its Applications)

  • 창병모
    • 소프트웨어공학소사이어티 논문지
    • /
    • 제13권3호
    • /
    • pp.9-17
    • /
    • 2000
  • 본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

요약해석을 이용한 버퍼오버런 분석에서 루프 분석결과의 정교화 (Refinement for Loops in Buffer-Overrun Abstract Interpretation)

  • 오학주;이광근
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제14권1호
    • /
    • pp.111-115
    • /
    • 2008
  • 버퍼오버런 분석기가 루프안에서 발생시키는 허위경보를 간편하고도 효율적으로 줄이는 방법과 경험을 소개한다. 버퍼오버런 분석기는 루프와 배열을 많이 사용하는 프로그램을 분석할 때 많은 허위경보를 발생시킨다. 우리는 먼저 루프를 많이 사용하는 프로그램인 임베디드 프로그램과 암호화 관련 프로그램들에서 발생하는 허위경보를 조사하여 허위경보를 일으키는 루프의 패턴을 조사했다. 그 다음에 그 루프에 특화된 간단하고 효율적인 재분석기를 고안하였다. 우리가 제안하는 재분석기는 분석기가 분석을 끝낸 후 내 놓는 분석결과를 보고 재분석할 목표가 되는 루프만을 찾아서 초벌분석보다 더 정교한 분석을 하여 허위경보를 안전하게 제거한다. 버퍼오버런 분석기인 아이락에 구현하여 실험해본 결과 전체 루프 관련 허위경보 중 32% 가량이 제거되었다.

의료 개념의 다층적 이해와 법 (Understanding Medicine as a Multi-dimensional Concept in the Legal Context)

  • 김나경
    • 의료법학
    • /
    • 제11권2호
    • /
    • pp.75-112
    • /
    • 2010
  • This article analyses the concept of medicine in the legal context. It is not easy to define the concept of medicine because medical practice has various dimensions and the situation in which the practice is performed has a broad variety. The duty of medical law is to build the boundary of protection in that the nature of medicine would not be distorted by the factors of social systems like industry or governmental authorities. Without understanding the various dimensions - especially the dimension of Humanities and Sociology - of the medicine it is not possible to draw the limit on the performance of medicine appropriately. Concerning the medical practice (especially in the context of the regulation of medical licence), the enacted law (Medical Act) defines the concept just for form's sake and it finally depends on the interpretation of the legal enforcement authorities. Moreover, between the judgments of the courts there exists no coherent principles for the regulation and the interpretation of the Medical Act depends often on the riskiness, the abstract concept, which finally leads the interpretation to depend on the subject of the practice. On the contrary, the development and scientific movement of the technology tends to tighten the range of the medical professionals of medical practice and the perspectives of the medicine. Medical act is actually oriented at the patient's understanding of him- or herself. The above-mentioned tendency of the interpretation and the legal policy could lead the medicine away from its nature.

  • PDF

미국대학생의 한국전통문양에 대한 선호도와 구매의도 및 감성이미지와의 관계 (The Preference and Purchase Intention of American College Students on Korean Traditional Motifs and Their Relationship with Sensibility)

  • 장수경
    • 복식문화연구
    • /
    • 제12권3호
    • /
    • pp.369-378
    • /
    • 2004
  • The objectives of this study were to measure the preference and purchase intention on Korean traditional motifs and to investigate the relationship among preference, purchase intention, and sensibility. The subjects consisted of 217 male and 351 female US undergraduate students. The experimental materials used in this study were 48 stimuli and a questionnaire, composed of 7-point semantic differential scales of 17 bi-polar adjectives. The data were analyzed by ANOVA, Duncan's multiple range test, Regression, and t-test. The major findings were as follows; First, interpretation type and application object had significant effects on the preference, while category and interpretation type had significant effects on the purchase intension. The application of Korean traditional motifs for pattern design was preferred to their application for clothing design. Decorative type was found to be more related to the preference and purchase intention than the other interpretation types of realistic, stylized and abstract types. The purchase intention on crain motif was lower than the other categories of lotus and cloud motifs. Second, in overall, the preference on Korean traditional motifs was higher than purchase intention. Third, the preference and purchase intention were affected mainly by 'Quality' image, a component of sensibility, followed by 'Cheerfulness' image, but not affected by 'Simplicity' and 'Modernity' image.

  • PDF

가다머와 해석의 불확실성 - 해석과 제약에 대한 체험주의적 해명 - (H.-G. Gadamer and Uncertainty of Interpretation - An Experientialist Account of Interpretation and Constraint -)

  • 서명원
    • 철학연구
    • /
    • 제126권
    • /
    • pp.133-158
    • /
    • 2013
  • 이 글의 주된 목적은 '신체화된 이해'(embodied understanding)의 본성과 구조에 대한 '체험주의'(experientialism)의 해명을 통해서 가다머 해석학의 중심적 논제인 해석의 불확실성이 내세운 이해의 역사성 제약이 이론적으로 요청된 것이며, 실제로 유용하지도 않다는 것을 드러내는 데 있다. 가다머는 이해라는 사건을 통해서 텍스트와 경험적 지식의 한계를 해석하며, 이러한 경험적 해석은 항상 미완결의 해석이다. 그것은 우리로 하여금 예측의 한계를 깨닫게 하며, 모든 경험적 계획은 우리를 불확실성으로 인도한다. 가다머는 해석의 불확실성 논제를 통해 전통적인 해석학이 추구했던 객관적 해석의 틀을 성공적으로 넘어선다. 하지만 해석의 불확실성 논제는 해석의 무제약적 분기라는 우려에 직면한다. 가다머는 이러한 난점을 벗어나기 위해 해석에 있어서 역사성의 제약을 주장한다. 역사성의 제약은 역사적 전통과 마주 대하는 존재의 상황이 결코 완결될 수 없다는 해석학적 상황에 대한 자각 때문에 요청된 개념이다. 하지만 이러한 완결 불가능성 때문에 요청된 역사성의 제약은 이론적으로 재구성된 요청일 뿐이며 무한히 열리는 해석에 대한 실제적인 지반이 될 수 없다. 체험주의의 해명에 따르면 우리의 모든 이해는 생물학적 유기체로서 우리의 신체화에 근거하고 있다. 우리의 이해는 신체적/물리적 층위에서 현저한 공공성을 드러내며, 그것이 우리가 경험적으로 의지할 수 있는 최대의 공공성이다. 이러한 의미에서 경험의 공공성은 우리의 이해와 경험을 제약하는 실제적 근거가 되며, 그것을 종적 공공성이라고 부를 수 있다. 이러한 체험주의적 시각에 따르면 다양한 해석적 변이의 실제적 제약은 이론적 요청에 의해서가 아니라 모든 해석의 지반을 이루고 있는 종적 공공성에 근거해서 이루어진다.

국제거래상 신의성실의 원칙에 관한 연구 - CISG를 중심으로 - (A Study on the Principles of Good Faith under International Transaction -Focused on the CISG-)

  • 한낙현
    • 무역상무연구
    • /
    • 제46권
    • /
    • pp.61-104
    • /
    • 2010
  • The purpose of this work aims to analyse the principles of good faith under international transaction with CLOUT and UNILEX cases. Article 7(1) CISG sets the stage for the interpretation by promoting a uniform approach using good faith and the international charter of the convention. In other words, article 7(1) defines the purpose and the principle of interpretation and is applied to the Convention as a whole. As such, it also includes article 7(2), which goes beyond the big picture and settles the problems of gap filling. It is also important to understanding that the mandate of the CISG is to look for a solution, which is not only restricted to interpretation but extends to solving a problem. The problem in this work is to find out how gap filling is achieved and, because of the autonomous mandate of interpretation, to explain and understand its relationship with domestic law. The solution to the interpretation of article 7(2) must be found within the four corners of the CISG. To restate, article 7(2) describes two situations where gap filling is needed. First, if the matter is governed by the Convention but not expressly settled, then a gap must be filled in conformity with general principles on which it is based. Second, if the matter is not covered then the gap must be filled taking domestic law into consideration. There are two reasons why a matter may not be covered by the Convention. First and most obviously, it has been specifically exclude from the sphere of Application by the CISG itself, such as validity in article 4. Second, changes in business methods will lead to gaps. The United Nations has established a service known as CLOUT. This contains abstracts of hundreds of selected decisions of both courts and arbitration tribunals. And UNILEX is cosponsored by the Italian Centre for Comparative and Foreign Law Studies and UNIDROIT Contract Principles. The cases are in abstract format, but, when available, the full text of the case in the original language is also supplied.

  • PDF