스마트 기기 자율 협업 검증 프레임워크

홍광의(Gwangui Hong),임유진(Yoo Jin Lim),지은경(Eunkyoung Jee),신동환(Donghwan Shin),배두환(Doo-Hwan Bae) 한국정보과학회 2014 한국정보과학회 학술발표논문집 Vol.2014 No.6

실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법 및 사례연구

홍광의(Gwangui Hong),지은경(Eunkyong Jee),서동원(Dongwon Seo),배두환(Doohwan Bae) 한국정보과학회 2013 정보과학회논문지 : 소프트웨어 및 응용 Vol.40 No.12

실시간 시스템을 모델기반 개발 방법론을 적용하여 개발 시, 타임드 오토마타 모델을 만들고 모델 대상으로 정형 검증을 수행한 후, 검증된 모델로부터 코드를 생성할 수 있다. 안전이 보장된 실시간 소프트웨어를 만들기 위해서는 검증된 모델로부터 코드를 생성 시, 모델에서 만족된 속성들이 코드 상에서도 만족되는지 여부를 확인해야 한다. 본 연구는 타임드 오토마타 모델로부터 체계적으로 생성된 코드를 대상으로 모델에서 만족된 속성이 코드에서도 만족되는지 여부를 확인할 수 있는 방법을 제안하고, 심장 박동기의 VVI 모드와 DDI 모드 모델에 제안한 기법을 적용함으로 효과성을 보인다. Following the model-driven development method (MDD), real-time software can be developed by building a timed-automata model, verifying the timed-automata model, and generating a code from the verified timed-automata model systematically. In order to make safety assured real-time software, it is necessary to guarantee that the properties satisfied in the timed-automata model are preserved in the code. We suggest a systematic code verification approach where the code is assumed to be generated from the verified timed-automata model systematically. We demonstrate the effectiveness of the proposed approach by conducting a case study of the VVI mode and the DDI mode of the pacemaker.

실시간 소프트웨어 모델에서 만족된 속성을 코드에서 확인하는 체계적 기법

홍광의(Gwangui Hong),지은경(Eunkyoung Jee),배두환(Doo-Hwan Bae) 한국정보과학회 2013 한국정보과학회 학술발표논문집 Vol.2013 No.6

속죄론에 대한 기적수업 예수의 교정

홍광일(Kwang Il Hong) 한국정신과학학회 2019 한국정신과학회 학술대회 논문집 Vol.2019 No.10

속죄론은 지난 이천년 기독교 신앙에 있어서 가장 핵심적인 교리였다. 예수가 죄인들을 대신하여 십자가에 죽음으로써 세상의 죄를 속죄하였다는 내용이다. 이로써 예수는 죄용서를 받아 구원에 이르고자 하는 모든 인간들에게 구원의 주가 된다는 것이 모든 기독교 신학의 중심 가르침이자 복음의 메시지이다. 그러나 이 가르침은 그 중요성에도 불구하고 신학적으로 끊임없는 논쟁거리가 되어 왔는데, 죄인이 받아야 할 형벌을 의인이 대신 받음은 이성적으로 도저히 받아들일 수 없다는 사실이었다. 속죄론의 역사는 이러한 합리적 기소와 신앙적 변호의 연속이기도 하였다. 1965년은 신학의 역사에 있어서 가장 극적인 분수령이라고 할 수 있는데, 지난 이천년 동안 침묵해온 것만 같았던 예수의 음성이 컬럼비아대학 심리학 교수였던 헬렌 슈크만 박사를 통해 마침내 온전히 들려지기 시작하였기 때문이다. 그 내면의 음성은 인생과 우주, 몸과 마음, 죽음과 구원 등 인류의 궁극적 물음들에 대해 확실한 솔루션을 제공하였으니, 십자가 속죄에 대한 올바른 가르침을 복구한 것은 물론이었다. 기적수업 속죄론의 기본은 죄란 존재하지 않는 지각적 허구라는 사실이다. 죄가 없다면 형벌, 용서, 구원 등의 개념도 완전히 달라질 수밖에 없다. 본 논문은 이렇게 세상이 기독교와 더불어 공유하는 삶의 기초개념들과 사고방식에 대해 코페르니쿠스적인 전환을 이야기한다. Atonement theory has been the central doctrine of the last two thousand years in Christian faith. It has been said that Jesus atoned for the sins of the world by crucifixion on behalf of sinners. This is the central teaching of all Christian theologies and the message of evangelism that Jesus is the Lord of salvation for all human beings who would receive forgiveness and seek salvation. But this teaching, despite its importance, has also been a constant theological debate, in which the righteous man"s punishment for sinners is unreasonable from a rational standpoint. The history of the Atonement was also a continuation of this rational prosecution and religious defense for it. The year 1965 may be called the most dramatic turning point in the history of christian theology, since Jesus" voice, which seemed to have been silent for the last two thousand years, was finally fully heard by Dr. Helen Schucman, professor of psychology at Columbia University. Its inner voice provided a definite solution to the ultimate questions of mankind: life and the universe, body and mind, death and salvation, as well as restoring the correct teaching on the Atonement of the Cross. The foundation of ACIM(A Course In Miracles) atonement is that sin is a perceptual fiction that does not exist. Without sin, the concepts of punishment, forgiveness, and salvation, etc. must be completely different. This paper talks about the Copernican revolution of the basic concepts and ways of life that the world shares with Christianity.

CREST 증후군

홍광의(Kwang Iee Hong),조태훈(Tae Hoon Cho),이일수(Eil Soo Lee) 대한피부과학회 1989 대한피부과학회지 Vol.27 No.4

Irritant or allergic contact dermatitis presents usually eczematous process or occasionally noneczematous lesions like in this case. We report a case of erythema rnultiforme-like eruptions in a 40-year-old female who presented multiple iris or annular shaped maculopapular eruptions on both hands and forearms after contact of lacquer tree. Being performed with standard patch test screening series, lacquer tree extracts and urushiol, she showed significant reactions to the lacquer tree and urushiol. Histopathologic findings showed both features of erythema multiforme and suh acute contact dermatitis.

Pruritic Urticarial Papules and Plaques of Pregnancy

홍광의(Kwang Lee Hong),조태훈(Tae Hoon Cho),이일수(Eil Soo Lee) 대한피부과학회 1989 대한피부과학회지 Vol.27 No.4

We report. herein a case of pruritic urticatial papules and plaques of pregnancy in a Z8-year-old primigravida. She had the urticarial papules and plaques on the abdomen and thighs, which developed at 30th week of pregnancy. She was treated with topical fluorinated steroid and chlorpheniramine, 6mg/ day. The itching sensation was relieved within 24 hours after the therapy and the skin lesions resolved after delivery.

연부조직 종양에 관한 통계학적 고찰

홍광의(Kwang Iee Hong),김종민(Jong Min Kim),이종주(Chong Ju Lee),서연림(Yeon Lim Suh) 대한피부과학회 1990 대한피부과학회지 Vol.28 No.1

By Enzinger and Weiss classification, 664 cases of soft tissue tumors, which were confirmed histologically at the department of pathology of Hangang Sacred Heart Hospital from Janusry 1979 to December 1988, were analyzed statistically. The results were as follows : 1. Of the 664 cases, 261 cases (39.3%) were consulted at the Department of General Surgery, 124 cases (18.7%) were consulted at the Department of Orthopedic Surgery, 115 cases (17.3%)were consulted at the Department of Dermatology. 2, Of the 664 cases, 631 cases (95%) were benign and 33 cases (5%) were malignant. 3. The most common benign tumor was lipoma, which was followed by hemangioma and lymphangioma. Among malignant tumors liposarcoma was the most common one, followed by malignant fibrous histiocytoma. 4. The distribution of age of benign tumor was relatively even from childhood to old age but that of malignant tumor showed highest prevalence in 7th decade. 5. The distribution of sex of benign tumor showed male to female ratio of 1: 1.1 but that of malignant tumor showed male to female ratio of 1.5: l. 6. The predilection sites of benign tumors were head, neck and trunk, but those of malignant tumors were lower extremities and trunk. 7. Kinds of soft tissue tumors consulted at the Department of Dermatology were hemangioma, neurofibroma, lipoma, dermatofibroma, ymphangioma, leiomyoma, juvenile xanthogranuloma, xanthoma, keloid and neurilemmoma. (Kor J Dermatol 28(1): 44 53, 1090)

중풍 후 운동장애에 대한 지황음자(地黃飮子) 투여 2례

홍광해,이현주,황규동,Hong, Gwang-Hae,Lee, Hyun-Ju,Hwang, Kyu-Dong 대한중풍순환신경학회 2008 대한중풍.순환신경학회지 Vol.9 No.1

Cerebrovascular disease causes various symptoms like hemiparalysis, facial palsy, dysphagia, dysphasia etc. Although patients take lots of time to treatment, there are many cases symptoms could not be cured completely and patients could get sequelae. Jihwangeumja(dihuangyinzi) is used the cerebrovascular disease with dysphasia and motor impairment of the lower extremities due to weakness of kidney. The purpose of this study was to investigate the effect of Jihwangeumja on lower extremity weakness caught by cerebrovascular disease. In this study, we administered Jihwangeumja to two stroke patients with lower extremity weakness and analyzed the clinical progresses. As a result of the treatment, patients showed improved symptoms.

석고(石膏)가 streptozotocin 으로 유발된 rat의 당뇨병성(糖尿炳性) 신증(腎症)에 미치는 영향(影響)

홍광해,이권호,정기훈,김용성,이현주,Hong, Gwang-Hae,Lee, Kwun-Ho,Jeong, Gi-Hoon,Kim, Young-Seong,Lee, Hyun-Ju 대한한방내과학회 2008 大韓韓方內科學會誌 Vol.29 No.4

Objectives : The aim of present study was to investigate recovery effects of gypsum, which has been used clinically in diabetes therapy. Methods : We established three groups, normal, control, and gypsum, and assigned 6 rats to each group. The normal group was not treated by any process and fed normal saline. The control & gypsum groups were administered streptozotocin(STZ) to induce diabetes. Gypsum extract was orally administered to the gypsum group for 10 days. After 8 weeks, the rats were sacrificed and their body weight, 24hrs urinary protein excretion, glucose, albumin, BUN, creatinine, total-cholesterol, LDL-cholesterol, triglyceride in blood, level of glycation end-product (AGE) and transforming growth factor ($TGF-{\beta}1$) in serum were measured. Morphological profiles and morphometric studies of the kidney cortex. renal transforming growth factor ($TGF-{\beta}1$) expression, macrophage/monocyte antigen (ED-1), and type IV collagen expression were studied. Results : The following results were obtained. The protein amount in urine per 24hrs of the gypsum-treated group as compared to the control was significantly reduced. The BUN and creatinine level in serum of the gypsum-treated group as compared to the control was significantly inhibited. The construction change in the kidneys of the gypsum-treated group as compared to the control was significantly inhibited. The factor of the gypsum-treated group as compared to the control was significantly inhibited. which induced the structural change in the kidneys. Conclusions : The above results suggest that gypsum partially improved kidney function.

소프트웨어 산업체 요구사항을 반영한 자동화된 프로젝트 계획 생성 지원 기법 및 도구

박지훈,신동환,홍광의,서동원,화지민,배기곤,서영석,배두환,Park, Jihun,Shin, Donghwan,Hong, Gwangui,Seo, Dongwon,Hwa, Jimin,Bae, Gigon,Seo, Yeong-Seok,Bae, Doo-Hwan 한국정보과학회 소프트웨어공학 소사이어티 2013 소프트웨어공학회지 Vol.26 No.4

To plan a software project, the manager (1)make a work breakdown structure (WBS), (2) estimate efforts for each task, (3) assign employee to each task, and (4) estimate overall schedule. When software project becomes complicated, the possible combination of WBS, effort, and employee assignments dramatically becomes larger. Software planning tool can help software project managers to deal with this complexity. In this research, we discuss with a group of experts who work in software industry, to elicit practical requirements that should be considered in the software planning technique. Considering these requirements, we develop a software project planning tool APP (Automatic Project Planner) which provide effort estimation based on historical knowledge data and automatic human resource allocation. Our technique can be the basis of reasonable and practical software project planing. 소프트웨어 프로젝트 계획 생성 과정은 (1)프로젝트를 수행하기 위한 작업 구조(WBS)를 작성하고, (2)각 작업에 필요한 공수를 예측한 뒤, (3)작업에 인력을 할당하여, (4)전체 일정을 예측하는 과정으로 이루어진다. 프로젝트의 규모가 커질수록 가능한 작업 구조, 공수, 인력 할당의 조합의 수가 급격히 많아지며 이에 따라 프로젝트 계획 생성 과정의 복잡도가 매우 높아지게 된다. 따라서 이를 지원하기 위한 프로젝트 계획 생성 지원 기법이 필요하다. 본 연구에서는 실무 전문가 그룹과의 논의를 통해 소프트웨어 프로젝트 계획 생성 지원 기법에서 고려해야 할 여러 실무 요구사항들을 도출했다. 도출된 실무 요구사항을 고려하여 개발된 프로젝트 계획 생성 지원 도구 APP(Automatic Project Planner)는 개발 조직의 과거 지식 데이터를 활용한 공수 예측을 지원하며, 실무 이슈가 고려된 자동 인력 할당을 제공한다. 본 도구를 통해 합리적이고 현실적인 프로젝트 계획의 기반을 마련할 수 있다.