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

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

오퍼레이셔널 의미에 기반한 일차 함수형 언어의 정적 분할 (Static Slicing of First-Order Functional Language based on Operational Semantics)

  • 안준선;한태숙
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제27권8호
    • /
    • pp.877-885
    • /
    • 2000
  • 정적 분할이란 가능한 모든 입력값을 고려할 때 프로그램 내의 한 지점에서 계산되는 값에 영향을 줄 수 있는 프로그램 부분들의 집합을 말한다. 본 논문에서는 일차 함수형 언어의 오퍼레이셔널 의미 정의에 기반하여 정적 분할을 정형적으로 정의하고 요약 해석을 통한 정적 분할의 분석 방법을 제시 하였으며, 제시된 분석 방법이 건전함을 증명하였다.

  • PDF

해체주의 건축드로잉에 나타난 타이포그래피 특성 연구 -D. Libeskind의 건축드로잉을 중심으로- (Typographic Interpretation on D. Libeskind′s Architectural Drawing)

  • 이병주
    • 디자인학연구
    • /
    • 제15권4호
    • /
    • pp.347-358
    • /
    • 2002
  • 건축드로잉이 미래의 지어질 건축을 예상하기 위해 필요한 단순히 기능적인 그래픽이라는 전통적인 개념에서 변화하고 있다. 특히 해체주의 건축가들 사이에서 개성적인 그래픽 요소들은 그들의 자기표현적인 스타일을 실현시키는데 큰 기여를 하고 있다. 오로지 미학적인 이유에서 그래픽이 필요한 경우가 있는 반면에 몇몇 경우는 드로잉이라는 작업 자체가 보다 근본적인 자기탐구과정의 성격을 갖기도 한다. 다니엘 리베스킨트의 건축드로잉이 그러한 경우로서 타이포그래피적 성격은 그의 작업의 큰 특징을 이룬다. 타이포그래피적 요소를 그의 드로잉 전반에 걸쳐서 추상적 상징주의 표현의 메티포로서 즐겨 사용함으로써 보다 본격적인 타이포그래피적 접근을 가능성을 제기한다. 이러한 맥락에서 본 연구는 타이포그래피 요소들이 어떻게 그의 건축드로잉에서 해석될 수 있는가에 주목하고 어떤 상호연관성이 이질적인 두 영역 사이에 개입되는지, 또한 보조적 수단으로서가 아닌 적극적인 역할로서 그의 실제 건축에 반영되는강에 대해서 분석하고자 한다. 더불어 활자 그 자체가 서로 다른 매체를 만나서 상징화 과정이 부여되는 유형적 분류들을 통해서 리베스킨트 건축드로잉의 해석에 대한 다양한 가능성을 제기하고자 한다.

  • PDF

『그 많던 싱아는 누가 다 먹었을까』의 중국어 번역본 비교 연구 - 4종 번역본의 번역전략을 중심으로 (A Comparative Study of Chinese Translations of 『Who ate all the Shinga?』 - Focusing on the Translation strategy of 4 types of Translations)

  • 양레이;문대일
    • 문화기술의 융합
    • /
    • 제8권1호
    • /
    • pp.403-408
    • /
    • 2022
  • 본 연구는 『그 많던 싱아는 누가 다 먹었을까』 중국어 번역본 4종의 번역 전략에 대해 분석하였다. 주지하듯, 박완서의 작품은 인물의 심리 묘사, 추상적인 어휘, 관용어, 속담, 방언 등이 많아 중국어로 번역할 때 이역, 해석역, 창조역 등 다양한 번역 전략이 요구된다. 본고에서 연구한 4종 모두 번역자에 따라 다소 상이하긴 하지만 모든 번역 전략을 복합적으로 활용하였다. 연구결과 4종 모두 지명 명사, 인물 호칭 등을 번역할 시에는 한자어를 활용한 이역 전략을 많이 활용하였다. 역사·사회·문화·지리의 배경적 해석이 필요한 어휘 등에 대한 번역은 해석역 전략을 사용하였으며, 중복, 정치·역사적으로 민감한 문제, 한국어 발음 및 문법과 관련된 문제 등을 번역할 때는 창조역 전략을 활용하였다.

중대재해처벌법의 주요쟁점 해소 방안 (Analysis of Major Issues in the Serious Accidents Punishment Act (SAPA))

  • 조춘환
    • 한국건설안전학회 논문집
    • /
    • 제5권1호
    • /
    • pp.17-24
    • /
    • 2023
  • 본 연구 목적은 산업재해로 인한 사망자와 부상자가 너무 많다는 비판이 오랫동안 지속되어 온 부분과 근로자의 죽음은 한사람의 죽음뿐만 아니라 그와 연결된 많은 사람들과 사회 전체에 악영향을 미친다는 문제임은 분명히 인식하고 엄중한 '중대재해처벌법'의 필요성은 공감을 하고 있다. 그러나 현행 중대재해처벌법은 노사 양측에서 애매하다는 논란의 여지가 있어 환영받지 못하고 있는 점과 안전보건 확보 의무를 위반한 경영책임자는 처벌과 입법 내용이 추상적이며 처벌 수위가 지나치다는점을 제언한다. 그리고 경영책임자의 해석과 중대산업재해의 애매한 부분으로 대부분의 기업들이 법률해석과 자문을 받고자 대형 로펌을 기용하므로 로펌만 배불리는 양상을 만들고, 기업은 CEO를 보호하기 위해 투입하는 비용은 정작 안전사고 예방비용으로 들어가야 하므로 모호성을 갖고 있는 지금의 시행령은 개정되어야 할 필요성이 있다는 것을 제언한다.

Target Transformation Factor Analysis에 의한 겹침 X-선 형광 스펙트라의 정량적 해석 (A Quantitative Interpretation of the Overlapped X-Ray Fluorescence Spectra by Target Transformation Factor Analysis)

  • 김승원;이철;최상원;강형태
    • 대한화학회지
    • /
    • 제36권5호
    • /
    • pp.720-726
    • /
    • 1992
  • 겹쳐 나타나는 X-선 형광 스펙트라에서 얻은 다변수 데이타를 해석하기 위하여 다변수분석법인 인자분석법을 적용하였다. Pb와 As의 피크가 겹쳐 있는 11개 표준시료의 X-선 형광 스펙트라를 파장분산형기기로 $33.50∼34.50^{\circ}$에서 측정하였다. 8개 시료의 피크세기로 데이타 매트릭스를 구성하고 AFA(Abstract Factor Analysis)를 수행하였다. 그 결과 인자의 수가 3으로 나타났으며 표준시료에 함유된 8개 원소를 타겟트 테스트한 결과 Pb, As 및 Cu로 판명되었다. 농도 기지인 시험시료에서 상기 원소들의 농도를 피크의 겹침에 무관하게 TTFA(Target Transformation Factor Analysis)에 의해 결정하였다.

  • PDF

Effects of Temporal Distance on Brand Extension Evaluation: Applying the Construal-Level Perspective to Brand Extensions

  • Park, Kiwan
    • Asia Marketing Journal
    • /
    • 제17권1호
    • /
    • pp.97-121
    • /
    • 2015
  • In this research, we examine whether and why temporal distance influences evaluations of two different types of brand extensions: concept-based extensions, defined as extensions primarily based on the importance or relevance of brand concepts to extension products; and similarity-based extensions, defined as extensions primarily based on the amount of feature similarity at the product-category level. In Study 1, we test the hypothesis that concept-based extensions are evaluated more favorably when they are framed to launch in the distant rather than in the near future, whereas similaritybased extensions are evaluated more favorably when they are framed to launch in the near rather than in the distant future. In Study 2, we confirm that this time-dependent differential evaluation is driven by the difference in construal level between the bases of the two types of extensions - i.e., brand-concept consistency and product-category feature similarity. As such, we find that conceptbased extensions are evaluated more favorably under the abstract than concrete mindset, whereas similarity-based extensions are evaluated more favorably under the concrete than abstract mindset. In Study 3, we extend to the case for a broad brand (i.e., brands that market products across multiple categories), finding that making accessible a specific product category of a broad parent brand influences evaluations of near-future, but not distant-future, brand extensions. Combined together, our findings suggest that temporal distance influences brand extension evaluation through its effect on the importance placed on brand concepts and feature similarity. That is, consumers rely on different bases to evaluate brand extensions, depending on their perception of when the extensions take place and on under what mindset they are placed. This research makes theoretical contributions to the brand extension research by identifying one important determinant to brand extension evaluation and also uncovering its underlying dynamics. It also contributes to expanding the scope of the construal level theory by putting forth a novel interpretation of two bases of perceived fit in terms of construal level. Marketers who are about to launch and advertise brand extensions may benefit by considering temporal-distance information in determining what content to deliver about extensions in their communication efforts. Conceptual relation of a parent brand to extensions needs to be emphasized in the distant future, whereas feature similarity should be highlighted in the near future.

E. H. Gombrich 관점을 통해 관찰한 관념의 재현으로서의 Hussein Chalayan 작품 연구 (A Study on the Works of Hussein Chalayan as a Representation of Idea from the Perspective of E. H. Gombrich)

  • 윤지영
    • 한국의류학회지
    • /
    • 제33권7호
    • /
    • pp.1128-1139
    • /
    • 2009
  • This study is on the works of Hussein Chalayan that is an expression of his idea and abstract concepts such as culture, history, time, space, nature, and humanity. The perspective of E. H. Gombrich is studied to understand the works of Chalayan who is the one of representative fashion designers in the present age. The 'schema and correction' process of E. H. Gombrich provides a suitable interpretation frame that considers the variety of works of art and the deconstruction of genre in the after 20th century. Hussein Chalayan attempts to combine clothes with other territories to show the spirit as materiality. He expresses the clothes that speaks the form of nature, symbolizes the combination of culture, visualizes time and space, and investigates the existence of human beings. Hussein Chalayan poses an endless question about the existence of human beings. He has put a question about the relationship of the human being and time, space, history, and nature. His trial to visualize the metaphysical conception of 'ego' and 'self' through his works makes him the representative designer of the 21st century.

현대 공동주거 계획에 나타난 한국 전통성 표현에 관한 연구 (A Study on the Expression of Korean Traditional Characteristics in Contemporary Multi-housing Planning)

  • 김미경;박영순
    • 한국실내디자인학회논문집
    • /
    • 제13권4호
    • /
    • pp.102-109
    • /
    • 2004
  • The purpose of this study is to analyze how Korean traditional characteristics(traditionality) are reflected in contemporary multi-housing planning since 1997 and to draw its typical way of expression. Through this study, the following conclusions have been reached; The First, Socio-cultural characteristics have affected the planning concept of the multi housing planning in the three way ; traditional philosophies, community space and regional traits. The Second, Two characteristics of space planning were shown in drawings, sketches and photographs; territorial, hierarchic, surrounded space in exterior planning and intermediated spaces in interior planning. The Third, Ornamental characteristics of architectural and landscape design were found; the architectural structure, the traditional landscape, patterns and colors. In conclusion, this study found two types of expression of the Korean traditional characteristics. The first is ‘concrete planning’which was focused on traditional ornamental elements such as forms and colors. And the second is ‘abstract planning’which was focused on the traditional space planning in interior or exterior, philosophy, communal organization and regional characteristics by interpretation of architects and designers. This study shows that the combination of two types of the traditionality will be more ideal in multi-housing planning rather than relying on just one type.

확장성을 조절할 수 있는 자바스크립트 앱 정적 분석 프레임워크 (Tunable Static Analysis Framework for JavaScript Applications)

  • 고윤석;류석영
    • 정보과학회 논문지
    • /
    • 제42권11호
    • /
    • pp.1404-1409
    • /
    • 2015
  • 본 논문에서는 벤치마크용이 아닌 실제 자바스크립트 프로그램을 효과적으로 분석하기 위해서 정확도와 확장성을 조절하는 정적 분석 프레임워크를 제시한다. 본 논문에서 제안하는 방식은 전분석과 본분석의 두 단계로 구성된다. 전분석은 분석 대상을 조절해서 분석의 정확도를 결정하기 위한 분석 대상의 윤곽을 계산한다. 본분석은 주어진 분석 대상의 윤곽 안에서 실행 의미를 빠뜨리지 않고 안전하게 분석한다. 두 단계 분석 기법을 소개한 후, 전분석에서 분석 대상의 윤곽을 조절하여 본분석의 정확도와 확장성을 조절할 수 있음을 보이고 그 방식의 올바름을 증명한다.

비비안 탐 컬렉션에 나타난 중국풍 디자인 특성 연구 (A study on Characteristics of Chinese Style Reflected in the Vivienne Tam Collection)

  • 강란영;박주희
    • 한국의류산업학회지
    • /
    • 제21권5호
    • /
    • pp.527-539
    • /
    • 2019
  • This study examined the Chinese style in the Vivienne Tam collection as well as explored diversity and modern interpretation of a Chinese style used in modern fashion. The study also investigated the concept and history of the Chinese style as well as analyzed the Chinese style in the collection based on a consideration of a Chinese element that is the basic structure with an understanding of Vivienne Tam and general collection themes. As a result of research, the Chinese style appeared in the Vivienne Tam collection was comprehensive with 43 Chinese elements including Animals, Flower & Grass among the Nature elements, Mythology Religion among the Figure elements, Historical Artifacts, Clothing, Oral Literature, Entertainment, Fine Arts. Technique, Folk holiday among Culture elements and Philosophy among Spirit elements, which accounted for 57.6% of the collection. The formative characteristics that included Chinese elements were extended, abstracted, distorted or transformed; in addition, some abstract elements were embodied into animals, images and certain particular forms to present a theme. In addition to two-dimensional method to print Chinese elements on fabric, they were also expressed as a three-dimensional texture or a silhouette, achieving clear and bold harmony. The aesthetic characteristic is a mixture of Eastern and Western way of thinking. Her costume has a political and historical meaning beyond the imitation of elements that represent the development of a pleasant and interesting design.