프로토콜시험을 위한 통합환경의 설계와 구현

김재철(Jaecheol Kim),최양희(Yanghee Choi) 한국정보과학회 1995 정보과학회논문지 : 시스템 및 이론 Vol.22 No.12

정보통신의 급격한 발달과 더불어 새로운 통신 프로토콜들은 크기가 커지고 내부적인 기능이 갈수록 복잡해지고 있다. 따라서 종래의 수작업으로는 효율적인 연구수행이 어려우며, 필연적으로 자동화 도구들을 필요로 하게 되었다. 프로토콜공학의 제과중에서 실용성이 크기 때문에 자동화의 필요성이 높은 영역이 ‘프로토콜의 시험’이다. 본 논문에서는 프로토콜의 시험을 위한 새로운 시험항목생성 알고리즘을 제안하고 소프트웨어로 구현하였으며, 이를 바탕으로 시험을 수행하기 위한 시험수행기도 역시 소프트웨어로 구현하였다. 본 논문에서 제안한 방법으로 구한 시험항목은 다중 UIO의 활용을 포함함으로써, 기존의 다른 방법에 비해 시험항목의 길이를 줄이는 데 기여하였다. 시험수행기는 위에서 구한 시험항목을 입력으로 하여 실제의 구현과 통신하면서 구현이 원래의 사양에 따라 적합하게 이루어졌는지를 시험한다. 위의 두가지 도구는 또한 기존의 다른 도구들과의 통합을 통해 프로토콜공학을 위한 통합환경(SNUPEE : Seoul National University Protocol Engineering Environment)을 구축하는 데에 사용되었다. With the rapid advances of high speed network technologies, many new communi-cation protocols have been put into use. A protocol development cycle is composed of four stages; design & specification, validation & verification, implementation and testing. New communication protocols are large in size and complicated in internal operations to support new requirements by high speed and multimedia communications. It is, therefore inevitable to use automatic tools to develop new protocols. Automation in 'Protocol testing' is urgently needed because of its wide practical use. New automatic protocol test sequence generation algorithm that utilizes multiple UIO(Unique Input Output)s and its software implementation are presented in this paper. Test executer that can perform the generated test sequences is also implemented. These two tools are integrated into SNUPEE(Seoul National University Protocol Engineering Environment) with other available protocol development tools.

UPLC-MS/MS를 이용한 배추와 배추김치의 글루코시놀레이트 및 대사체 분석

김재철(Jaecheol Kim),박효순(Hyo Sun Park),황금택(Keum Taek Hwang),문보경(BoKyung Moon),김선아(Suna Kim) 한국식품과학회 2020 한국식품과학회지 Vol.52 No.6

본 연구에서는 부위별 배추와 배추김치에 함유되어 있는 글루코시놀레이트류의 조성을 UPLC-MS/MS를 이용하여 탐색하고, 인돌류 대사체를 MS/MS를 이용하여 분석한 결과, 글루코시놀레이트류는 음이온 모드([M-H]−)에서 검출되었으며, glucobrassicanapin (m/z 386), glucoalyssin (m/z 450), glucobrassicin (m/z 447), 4-methoxyglucobrassicin (m/z 477), neoglucobrassicin (m/z 477)는 MS scan 모드에서, gluconapin (m/z 372→97), progoitrin (m/z 388→97), glucoiberin (m/z 422→97), 4-methoxyglucobrassicin (m/z 477→97), neoglucobrassicin (m/z 477→447)는 MS/MS MRM 모드에서 검출되었다. Glucobrassicin과 같은 인돌기 함유 글루코시놀레이트류들이 대사되어 생성되는 인돌류 대사체로는 ascorbigen (m/z 306→130)과 I3A (m/z 146→118)가 MS/MS MRM ([M+H]+) 모드에서 검출되었다. Ascorbigen은 NKC보다 IPC와 OPC에 유의적으로 많이 함유되어 있었다. I3A는 NKC에 가장 많이 함유되어 있었으나 시료 간 유의적인 차이는 없었다. 본 연구를 통하여 배추와 배추김치에 존재하는 글루코시놀레이트류와 그 대사체인 인돌류 물질을 UPLC-MS/MS를 이용하여 분석할 수 있었다. In this study, we analyzed glucosinolates and their metabolites in the inner and outer parts of napa cabbage (NC; Brassica rapa subsp. pekinensis) and napa cabbage kimchi (NKC) using UPLC-ESI-MS/MS. In the extracts from NC and NKC, glucobrassicanapin (m/z 386), glucoalyssin (m/z 450), glucobrassicin (m/z 447), 4-methoxyglucobrassicin (m/z 477), and neoglucobrassicin (m/z 477) were detected using the MS scan mode ([M-H]−), and gluconapin (m/z 372→97), progoitrin (m/z 388→97), glucoiberin (m/z 422→97), 4-methoxyglucobrassicin (m/z 477→97), and neoglucobrassicin (m/z 477→447) were detected using the MS/MS MRM mode ([M-H]−). Ascorbigen (m/z 306→130) and indole-3-carboxaldehyde (I3A; m/z 146→118), which were metabolites of glucobrassicins, were detected using the MS/MS MRM ([M+H]+) mode. The peak intensities of ascorbigen in the extract from the inner and outer parts of NC were significantly higher than those of the NKC extract (p<0.05); however, there was no significant difference in I3A peak intensity between the NC and NKC extracts.

Lukács, Adorno, and Beckett

Kim, Jaecheol(김재철) 새한영어영문학회 2014 새한영어영문학 Vol.56 No.2

By revisiting the Lukacs-Adorno debate on modernism, this essay surveys the aesthetic theories of Lukacs and Adorno: in particular, this essay critically investigates Adorno’s aesthetics presented in Aesthetic Theory from the Lukacsian perspective. The scope of this essay also covers a critical investigation of the recent critical trend that Adorno is more favorably received by critics than Lukacs after the rise of post-structuralism. This is because critics tend to esteem Adorno’s “negative dialectic” as a sort of deconstructive practice while considering Lukacs’s notion of totality as an expression of Stalinist totalitarianism. Nonetheless, what we should not fail to notice in this regard is that the Lukacs-Adorno debate has its own significance not just because it is the culmination of the modernist debate but behind it resides critical issues such as how we should take the social engagement of writers and how art could be an expression of social praxis. The essay will begin with a brief survey of Lukacs and Adorno’s aesthetic theories, and then it critically examines Adorno’s essay “Reconciliation under Duress” which allegedly shows the way Adorno successfully confutes Lukacsian theory. Nonetheless, Adorno’s theory in “Reconciliation under Duress” is possible only when he forecloses the possibility of art’s social engagement―thus making an argument of “Negation under Duress.” In the final section of this essay, I read Beckett’s Endgame in terms of and from the perspectives of Lukacs and Adorno’s aesthetic theories. Endgame becomes a significant work to frame the debate not only because the debate itself formed around Beckett’s work but also the play which negates any possible engagement of art to its existential condition (i.e. the society), thus praised by Adorno, shows the way Adorno’s aesthetics forecloses any sort of social praxis.

도시철도 종업원들의 고용불안이 조직시민행동에 미치는 영향

김재철(Kim Jaecheol),박재호(Park Jaeho) 한국도시철도학회 2019 한국도시철도학회논문집 Vol.7 No.1

본 연구는 도시철도 종업원들의 고용불안 지각이 조직시민행동에 미치는 영향과 이들 관계에 있어 인지된 고용력의 조절효과를 검증하는 데 그 목적이 있다. 이를 위해 수도권 4개 도시철도 운영사의 사무영업직 종업원 207명을 대상으로 데이터를 수집하였으며, 선행연구를 토대로 가설을 설정하고 SPSS 23.0를 사용하여 이를 검증했다. 그 결과, 고용불안은 조직시민행동에 부(-)적 영향을 미치는 것으로 나타났으며, 고용력은 고용불안과 조직시민행동 간의 관계를 조절하는 것으로 나타났다. This study examined the moderating effect of employability in the relationship between job insecurity and organizational citizenship behavior. 207 employees from 4 railroad organizations were selected as the main target of the research. Hypothesizes was developed based on advanced researches, and SPSS 23.0 was used for testing empirically. Results showed that job insecurity was negatively associated with organizational citizenship behavior, and employabiltiy between job insecurity and organizational citizenship behavior showed moderating effect.

The adoption of Western urban design theories in urban developments in Korea from the perspective of building-street relationship

Kim, Jaecheol(김재철) 경기연구원 2017 GRI 연구논총 Vol.19 No.2

Western urban design theories have influenced the urbanization process in Korea, but the resultant urban spaces differ from western countries because of the elclectic adoption of the theories reflecting their own social contexts. This study aimed to determine how western theories reflecting their own social contexts. This study aimed to determine how western theories have been adapted in Korea by reviewing the literature of western urban design theories and conducting case studies of Korean urban developments, focusing on the relationship between building and streets. The literature review to develop a theoretical framework for the case study deduced the following three approaches: 1)the aesthetic approach, considering buildings and streets as an inseparable element for the purpose of beautification and symbolization; 2)the modernist approach, suggesting the separation of buildings and streets for the purpose of mechanic efficiency; and 3)the communal approach, emphasizing the integration of buildings and streets for social functions. The case study on Korean urban developments in the Seoul metropolitan area revealed that the separation of buildings and streets dominated Korean urban spaces in the 1960s and 1970s when the modernist approach was preferred, and the integration of buildings and streets for social functions began in earnest in the 1990s, particularly in business districts. Such results can be interpreted as that Korean citizens have not had much experience on the street as a social space and therefore the design techniques integrating buildings and streets were mainly applied to the business districts where their economic benefits were clear. This study contributed to the development of the urban design theory in the Korean context by demonstrating the transitions occurred in the domestic adoption process of the Western urban theory. The future research will examine other urban development cases outside the Seoul metropolitan area to discuss the question of whether the results of this study could be generalized for other Korean urban developments.

공군사관학교 융합캡스톤 교과목 설계를 위한 고찰

김재철 ( Kim Jaecheol ) 공군사관학교 2020 空士論文集 Vol.71 No.2

본 연구는 공군사관학교 72기 신입생(2020년 입학)부터 적용할 신규 교과과정에 새롭게 개설될 융합캡스톤 설계 I, II 교과목을 어떻게 구조화하여 교과목 개설목적을 이룰 것인가에 대한 연구이다. 이 교과목은 72기 생도들이 4학년이 되는 2023년도에 최초 개설되어 1, 2학기에 걸쳐 총 6학점을 전생도가 수강하게 되는 교과목이다. 본 연구에서는 국내외 주요 대학들이 운영하고 있는 전공내 캡스톤 과정 및 전공간 융합캡스톤 과정의 교과 설계와 운영 사례들을 먼저 조사하였고, 공군사관학교만의 특징인 문·이과 전생도들이 이 과정을 이수해야 하는 특수성을 반영한 최적의 교과목 설계안을 제안하였다. 본 연구는 공군사관학교의 융합캡스톤 과목 운영의 기초 설계도가 되어, 향후 4차 산업혁명 시대의 군혁신을 이끌어 갈 창의융합형 인재를 성공적으로 양성하기 위한 토대로서 기여할 것으로 기대한다. This study is about how to design the new courses of 'Interdisciplinary Capstone Design I, II' of Republic of Korea Air Force Academy(ROKAFA) which will be opened in the year of 2023 for the cadets of 72nd class. Each of the two courses has 3 credits and is compulsory subject for all cadets and is to be taken consecutively in the senior year. This study first does the case studies of the course designs and operational lessons of major-specific capstone projects and interdisciplinary capstone projects of several exemplary universities. And then optimal course design idea is presented encompassing the characteristic of ROKAFA which requires all cadets to take these courses compulsorily on interdisciplinary base. This study will work as a blueprint for the courses of 'Interdisciplinary Capstone Design I, II' and contribute to cultivate the human resource of creativity and convergence who will lead the revolution of military affairs in the era of the 4th industrial revolution.

UIO와 BUIO를 이용한 프로토콜 시험항목의 생성

김재철(Jaecheol Kim),김동균(Donggyun Kim),최양희(Yanghee Choi),박용범(Yongbum Park),정일영(Illyoung Cheong) 한국통신학회 1994 한국통신학회 학술대회논문집 Vol.1994 No.11

Developing a Systematic Protocol to Evaluate the Neighborhood Environment for Pedestrian Safety - A Comparison and Triangulation of Three Investigation Methods using Korean Case Studies -

김재철 ( Jaecheol Kim ) 한국디자인트렌드학회 2017 한국디자인포럼 Vol.56 No.-

Background This study is an exploratory one with the aim to develop a systematic protocol for the evaluation and improvement of the pedestrian safety of a neighborhood. The author developed the protocol based on the critical review of existing literature and conducted a multiple-case study to demonstrate the usefulness of the developed protocol. Methods The protocol includes three different investigation tools: map/data analysis using secondary data, field observation by trained investigators, and resident survey including mapping. The cases for the multiple-case study were two neighborhoods in Seoul metropolitan area, Korea. The case study compared the usability of the three investigative tools and explored how to deduce implications through triangulation. Result Results of the case study suggest that the investigators`field observation was more accurate than the residents`responses in the survey regarding traffic safety, based on statistics of traffic accidents at the sites, while the resident surveys better reflected the feelings and perceptions of residents. Conclusion In conclusion, the author suggests different approaches for the integration of the three analyses depending on what is considered more important, residents` anxiety levels or actual safety levels.

선형공원의 기능성과 접근성에 관한 연구

김재철(Kim, Jaecheol),박근현(Park, Keunhyun) 대한국토·도시계획학회 2013 國土計劃 Vol.48 No.6

최소길이의 프로토콜 시험항목 생성 및 오류검출 능력

김재철(Jaecheol Kim),최양희(Yanghee Choi) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2

프로토콜의 적합성 시험을 위한 시험항목을 최소길이로 생성시키는 새로운 방법을 제안하고 그것의 오류검출능력을 실험을 통해 보이는 것이 본 논문의 목적이다. 시험항목을 생성시키는 방법은 CCK-알고리즘에 기반을 두고 있으며 [1][7], 기존의 알고리즘을 확장하여 back-tracking 기법을 수용함으로써, 시험항목의 길이를 줄일 수 있었다. 또한, 유한 상태기계의 각 상태에 대한 다중 유일 입출력 시퀀스를 생성함에 있어서도 각 상태에 대한 모든 유일 입출력 시퀀스를 생성함으로써 최적의 시험항목을 생성하는 데 필요한 선택의 폭을 넓힐 수 있었다. 본 논문에서 제안한 방법에 의한 시험항목으로 적합성 시험을 해 본 결과 [5] 에서 제안한 유형1,2,3의 오류에 대해 모두 100퍼센트의 오류 검출능력을 보였다.