1인 가구의 공간 활용도를 높이기 위한 밥솥 디자인

강인혜(Inhye Kang) 한국디자인학회 2019 한국디자인학회 학술발표대회 논문집 Vol.2019 No.5

[서평]High-Speed Networks : TCP/IP and ATM Design Principles

강인혜(Inhye Kang) 한국정보과학회 1999 정보과학회지 Vol.17 No.8

『시간과 공간의 알레고리 - 사진과 건축에서의 일본적 정체성』의 서평

강인혜(Inhye Kang) 한국근현대미술사학회 2017 한국근현대미술사학 Vol.33 No.-

자동차 전장 시스템의 AUTOSAR 기반 시간요구사항 명세와 검증

강인혜(Inhye Kang) 한국정보과학회 2011 정보과학회논문지 : 시스템 및 이론 Vol.38 No.6

안전이 필수적인 자동차 전장 시스템은 신뢰성과 안전성을 위하여 엄격한 실시간 제약조건을 만족해야 한다. AUTOSAR(AUTomotive Open System ARchitecture) 표준도 자동차에서의 이벤트 타이밍, 지연, 동기화 제약조건을 표현하기 위하여 시간 확장(timing extension)을 지원한다. 이 논문은 이러한 시간 제약조건을 위한 타임드 오토마타(Timed Automata) 템플릿을 제공하고, 이 템플릿을 사용하여 자동차 시스템을 정형 검증하는 방법을 설명한다. 그리고 이 타임드 오토마타 템플릿을 AUTOSAR 명세로의 변환하는 방법을 기술한다. 더 나아가 자동차 정속 주행 장치에 대한 사례 연구를 통해 본 연구의 적용 가능성을 보인다. Safety-critical automotive electronic systems must satisfy hard real-time constraints for reliability and safety. AUTOSAR(AUTomotive Open System ARchitecture) standard supports timing extensions to express event timings, latency, and synchronization constraints. This paper provides timed automata templates for these timing constraints. We demonstrate how to formally verify automotive systems with the templates. We also describe translation from timed automata templates to AUTOSAR timing specifications. Furthermore, we conduct a case study on car cruise control system to show applicability of our approach.

호리노 마사오(堀野正雄)의 신흥사진(新興寫眞)과 조선

강인혜 ( Inhye Kang ) 미술사와 시각문화학회 2018 미술사와 시각문화 Vol.21 No.-

호리노 마사오는 1920년대 후반부터 일본의 근대 사진의 한 흐름인 이른바 신흥사진을 이끌었던 작가이다. 종래의 회화주의 사진 경향에서 벗어나 사진의 객관성과 새로운 사진 기술을 추구하던 신흥사진의 대표주자로, 호리노는 사진집 《카메라·눈×스틸·구성》과 『中央公論』이나 『犯罪科學』과 같은 잡지에 연재된 소위 그래프 몽타주 작업으로 주목받았다. 특히 사진집 《카메라·눈×스틸·구성》은 이타가키 타카오(板垣鷹穗)와 공동으로 작업한 사진집으로, 거대한 여객선, 전기기관차 등의 기계적 건조물이라는 현대 산업사회의 새로운 풍경을 포착하고 재구성한 것이다. 나아가 『범죄과학』에서 선보인 그래프 몽타주들은 무라야마 토모요시나 키타가와 후유히코 등의 시나리오를 바탕으로 공동 제작한 시리즈였다. 그러나 1930년대 후반부터 호리노는 조선총독부 철도국 촉탁이나 상하이 육군 보도부의 촉탁으로 근무하며, 조선, 상하이, 만주 등지에서 보도사진가 혹은 선전사진가로 일하게 됐다. 이처럼 호리노 마사오는 일본 제국주의의 프로파간다 사진 제작이나 전쟁에 협력했던 연유로 전후에는 완전히 잊혀지게 되었다가 1980년대 이후 재평가된 작가이다. 그러나 80년대 이후의 호리노에 대한 재평가 작업은 대부분 신흥사진 시기의 사진들에만 국한됐다는 점에서 이 글은 호리노가 촬영한 조선 사진들을 전쟁 이전 시기 작품들과 연결시켜 고찰하고자 한다. Horino Masao(1907-1998) was a leading artist in the Shinko Shashin, one of the modern Japanese photography movements from the late 1920s. As a member of Shinko Shashin, which sought for photographic objectivity and new photographic techniques away from the existing pictorialism, Horino came to be widely known for his photographic album titled, Camera, Eye×Steel, Composition, and so-called ‘Graphic Montage’ works which appeared in such magazines as Chuo koron and Hanzai kagaku, Among other things, Camera, Eye×Steel, Composition, a collaborative work with an art historian, Itagaki Takao, captured the new landscape of the modern industrial society, full of machine structures, including electric locomotives and passenger ships. The ‘Graphic Montage’ works, mostly appeared in a popular magazine called, Hanzai kagaku, were also produced on the basis of the scenarios by such writers as Murayama Tomoyoshi and Kitagawa Fuyuhiko. Horino, however, travelled to Korea, Shanghai, and Manchuria, from the late 1930s, to work for the Railway Bureau of the Government-General of Korea and for the Army News Service Commission as a photojournalist. After the war, he became largely forgotten due to his propaganda works for war and empire. It was not until in the 1980s that he began to re-emerge in the art scene. Yet the reevaluation of his works has been mostly focused on the photographs created as a part of Shinko Shashin movement; and thus this paper aims to examine Horino’s photographs of Korea in conjunction with his works produced during the pre-war period.

파노라마 시각과 현대미술

강인혜(Inhye Kang) 현대미술사학회 2017 현대미술사연구 Vol.0 No.41

360도 경관을 돌려 보여주며 직접 가 보지 않고도 전체를 보는 것처럼 느끼게 해주는 파노라마 시각은 근래 10여 년간 흔히 볼 수 있는 현상이 됐다. 그러나 스테판 외터만(Stephan Oettermann)이 파노라마가 철저히 19세기적인 것이라고 했다면, 근래의 파노라마 붐 현상은 알렉산더 스트라잇버거(Alexander Streitberger)의 언급대로 “파노라마의 귀환”이며, 그 귀환에는 디지털 기술의 발전이 큰 역할을 했을것이다. 빅터 버긴은 1990년대 후반 이후 파노라마에 기반한 사진/영상작업을 계속해 왔는데, 이 글은 그 중에서도 캐나다 몬트리올의 캐나다 건축 센터(Canadian Centre for Architecture)에서 있었던 전시 《빅터 버긴: 이탈리아로의 여행(Victor Burgin: Voyage to Italy)》(2006)에 나타난 파노라마 작업을 분석해 봄으로써 파노라마에 대한 버긴의 논의를 구체적으로 살펴본다. 파노라마는 안드레아스 구르스키(Andreas Gursky)나 미카엘 스보츠키(Mikhael Subotzky) 등의 현대미술 작품에서 종종 등장할 뿐만 아니라, 최근의 구글 어스 이미지에까지 이어지는 과거로부터 현재까지의 총체적 시각에 대한 열망과도 관계된다는 점에서 중요하다. 따라서 본고에서는 먼저 현대 미술과 19세기에 등장하는 파노라마 이미지를 간략히 살펴본 뒤, 버긴의 사진/영상 작업을 그의‘ 시퀀스-이미지’ 개념과 함께 살펴보고자 한다. 이를 통해 본고는 버긴의 작품에 나타나는 파노라마 시각을 미디어를 통한 총체적 경험에 대한 비판적 작업으로 읽고자 한다. While Stephan Oettermann explains the panoramas mainly in terms of the nineteenth century phenomenon, the ubiquity of the recent panoramas, thanks to the development of digital technology, could be, in fact, seen as ‘the Return of the Panorama,’ as Alexander Streitberger pointed out. In line with this, Victor Burgin, from the end of 1990s onwards, has experimented with the panoramas in his video/photographic works. This paper specifically focuses on his panoramic images shown in the exhibition entitled, “Victor Burgin: Voyage to Italy,” which was held in Canadian Centre for Architecture in Montreal, Canada in 2006. Panorama images are of importance not merely because they appear in many contemporary visual works including those of Andreas Gursky and Mikhael Subotzky, but also because they embody the desire for the totality or totalized vision, which has been reflected from the panoramas of the nineteenth century to the Google Earth views today. This essay therefore first examines panoramas appeared in the contemporary works as well as in the nineteenth century world , and then investigates Burgin’s video works along with his notion of ‘Sequenceimage.’ In doing so, this paper aims to read the panorama of Burgin’s works as a critique both of the totalized vision and of the representation of the total reality through media.

TSCR를 이용한 실시간 시스템의 정형 명세

최수진(Soojin Choi),강인혜(Inhye Kang),양승민(Seungmin Yang) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1A

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성이 검증은 물론 모든 태스크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하여, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

TCP 연결의 스테이트풀 인스펙션에 있어서의 보안 약점 최소화 및 성능 향상 방법

김효곤(Hyogon Kim),강인혜(Inhye Kang) 한국정보과학회 2005 정보과학회논문지 : 정보통신 Vol.32 No.4

Stateful inspection devices must maintain flow information. These devices create the flow information also for network attack packets, and it can fatally inflate the dynamic memory allocation on stateful inspection devices under network attacks. The memory inflation leads to memory overflow and subsequent performance degradation. In this paper, we present a guideline to set the flow entry timeout for a stateful inspection device to remove harmful embryonic entries created by network attacks. Considering Transmission Control Protocol (TCP) is utilized by most of these attacks as well as legitimate traffic, we propose a parsimonious memory management guideline based on the design of the TCP and the analysis of real-life Internet traces. In particular, we demonstrate that for all practical purposes one should not reserve memory for an embryonic TCP connection with more than (R+T) seconds of inactivity where R=0, 3, 9 and 1≦T≦2 depending on the load level. 스테이트풀 인스펙션을 수행하는 기기에서는 패킷 플로우에 대한 정보를 유지해야 한다. 이러한 기기는 네트워크 공격 패킷에 대하여도 패킷 플로우 정보를 유지하게 되어 네트워크 공격 하에서 과도한 메모리가 요구되고 이로 인하여 메모리 오버플로우나 성능 저하가 일어난다. 따라서 이 논문은 스테이트풀 패킷 인스펙션 시 공격에 의해 생성되는 불필요한 미완성 엔트리를 제거하기 위해 사용할 수 있는 플로우 엔트리 타임아웃 값에 대한 가이드라인을 제시한다. 대부분의 인터넷 트래픽과 상당수의 네트워크 공격이 TCP 프로토콜을 사용하기 때문에 RFC2988의 TCP 재전송 시간 계산 규약에 기초를 둔 실제 인터넷 트레이스에 대한 분석을 통해 가이드라인을 도출한다. 구체적으로, 미완성 TCP 연결 설정 상태에서 (R+T) 초 이상 경과한 엔트리는 제거하여야하며, 이 때 R은 SYN 재전송 허용 회수에 따라 0,3,9를 선택하고 T는 1≦T≦2 에서 부가적인 왕복 지연 허용치에 따라 선택하여야 함을 보인다.

프로세스 알제브라를 이용한 AUTOSAR 소프트웨어 행위의 시간 특성 검증 기법

김진현(Jinhyun Kim),강인혜(Inhye Kang),김평수(Pyoung-Soo Kim),강성원(Sungwon Kang) 한국정보과학회 2011 정보과학회논문지 : 소프트웨어 및 응용 Vol.38 No.11

오늘날의 자동차 전장 시스템은 사용자의 기능에 대한 요구의 중가로 점점 복잡해지고 있다. 그리고 이러한 복잡도의 증가는 많은 기능이 소프트웨어로 구현되는 자동차 전장 시스템의 안전성애 심각한 영향 주고 있다. 시스템의 안전성을 향상시키기 위해 ISO 26262와 같은 국제 안전성 표준에 따른 개발과 AUTOSAR와 같은 공개 표준 플랫폼의 사용이 요구된다. ISO 26262는 고수준 안전성 등급을 위해 정형기법 사용을 권고한다. 본 논문에서는 AUTOSAR 소프트웨어 모델에 정형기법을 적용시키는 방법을 제시한다. 특히 소프트웨어 컴포넌트가 통합될 때 발생하는 시간적 오류 검출하기 위해 AUTOSAR의 시스템 시간 관점(System Timing View)에서 소프트웨어 행위를 정형적으로 영세하고 검증하는 기법을 제시한다. AUTOSAR로 개발된 소프트웨어 시스템의 시간적 행위 명세를 위해 정형명세 언어인 Algebra of Communicating and Shared Resources(ACSR)을 사용한다. ACSR은 소프트웨어의 실시간성 배타적 자원 사용 자원 가용성에 기반의 실행 등을 기술할 수 있는 실시간 시스템을 위한 프로세스 대수로서 ACSR로 명세 된 모델은 VERSA를 통해 자동 검증될 수 있다. 또한 자동차 정속주행장치의 사례 연구를 통해 적용 가능성을 보인다. Nowadays the complexity of automotive systems is increasing due to various and diverse functional requirements from the users. The growth of complexity can cause serious problems to the safety of automotive electronic systems because their functions are mainly implemented by software. The development in compliance with international standards for safety such as ISO 26262 and the use of open and standardized software platform such as AUTOSAR are demanded to improve the safety of automotive systems. ISO 26262 recommends use of formal methods for high-level safety-integrity systems. This paper proposes applying formal methods to AUTOSAR software models. In particular we provide formal specification and verification of software behaviors from AUTOSAR System Timing View to detect errors that are often happened when software components are integrated. In this paper we propose a formal verification method for timing analysis of AUTOSAR software models from the viewpoint of System Timing View of AUTOSAR timing extension. For the timing analysis we use ACSR(Algebra of Communicating and Shared Resources) a process algebra which can effectively specify important characteristics of real-time systems such as timing mutually and exclusively time-consuming use of resources execution based on resource availability. Models in ACSR can be automatically verified by VERSA a formal verification tool for ACSR. Furthermore we conduct a case study on car cruise control system to show feasibility of our approach.

동의보감・내경편 독활(獨活)의 용법을 통해 본 한의학 기초와 임상의 연계 교육 방안

홍지성(Jiseong Hong),강인혜(Inhye Kang),이영미(Youngmi Lee),이훈연(Hoon-Yeon Lee),강연석(Yeonseok Kang) 한국의사학회 2020 한국의사학회지 Vol.33 No.1

독활은 거풍제습(祛風除濕), 해표지통(解表止痛)의 두 가지 효능을 통해 하지부 근골격 질환, 가려움증, 외감(外感), 그리고 종기 등의 치료에 활용한다. 동의보감의 질병 파트에는 모두 121건의 독활 사용례가 있는데, 근골격 질환, 가려움증은 외형편에, 외감과 종기는 잡병편에 주로 나타난다. 내경편에는 꿈[夢] 2건, 성음(聲音) 1건, 포(胞) 4건, 충(蟲) 1건, 대변(大便) 2건 등 10건의 처방에 활용되었다. 꿈에서는 허번으로 잠들지 못할 때와 가위눌리고 잠을 못잘 때, 성음에서는 외감으로 목소리가 나오지 않을 때, 포에서는 붕루가 나올 때, 충에서는 노채증에, 그리고 대변에서는 설사와 변비에 모두 활용하였다. 임상교육을 막 시작하는 학생들에게 위 두 가지 독활의 효능과 인체 내부의 질병을 다루는 내경편에서의 활용을 연결지어 공부하는 것은 쉽지 않다. 동의보감의 독활 활용례를 전수 조사해보면 독활에 대한 기초학 지식만으로 확장하기 어려웠던 다양한 임상의 활용례를 확인할 수 있다. 향후 이와 같은 방법을 활용한다면 본초 지식을 활용한 다양한 제품의 개발, 기초와 임상이 연결되는 직무역량 중심의 한의학교육 개선에 활용될 수 있으므로 본 논문을 통해 보고하였다. Pubescent Angelica is generally used in musculoskeletal diseases of lower extremity, itching, external contraction (外感) and furuncle, with the effect of dispelling wind, draining dampness, dispersing the external (解表) and stopping pain. The disease parts of Treasured Mirror of Eastern Medicine (東醫寶鑑) contain 121 examples of the usage of Pubescent Angelica. Cases of musculoskeletal diseases and itching are mainly in the External Bodily Elements section (外形篇), and those of external contraction and furuncle are mainly in the Miscellaneous Disorder section (雜病篇). Internal Bodily Elements section (內景篇) has 10 prescriptions that involve Pubescent Angelica, in Dreams (2), Voice (1), Uterus (4), Parasites (1), and Feces (2) chapters. Their specific symptoms are insomnia and sleep paralysis (Dreams), loss of voice due to external contraction (Voice), uterine hemorrhage (Uterus), phthisis (Parasites), and constipation and diarrhea (Feces). It is not easy for students beginning their clinical training to link the effects of Pubescent Angelica and its actual usage, especially in the area of internal medicine. By Analyzing the whole cases of Pubescent Angelica in the Treasured Mirror, we found various usages out of reach of basic knowledge of the herb. Such method can be utilized not only in developing herbal knowledge-based products, but also in improving Korean medicine education, by enhancing the occupational competency bridging basic and clinical knowledge.