북한의 과학기술

이홍석,Lee, Hong-Seok 한국과학기술단체총연합회 1993 과학과 기술 Vol.26 No.11

Glioblastoma 세포주의 유해산소 손상을 억제하는 곽향정기산 약침액의 효과에 대한 마이크로어레이 연구

이홍석,인창식,고형균,Lee, Hong-Seok,Yin, Chang-Shik,Koh, Hyeong-Gyun 대한약침학회 2005 Journal of pharmacopuncture Vol.8 No.3

Objectives : Neurological disorders have been one of main therapeutic targets of acupuncture. The present study investigated the protective effects of Gwakhyangjeonggisan herbal acupuncture solution (GHAS). Methods : We performed 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyltetrazolium bromide (MTT) assay in glioblastoma cells, and did microarray analysis with cells exposed to reactive oxigen species (ROS) of hydrogen peroxide by 8.0 k Human cDNA, with cut-off level of 2-fold changes in gene expression. Results : MTT assay showed protective effect of GHAS on the glioblastoma cells exposed to hydrogen peroxide. When glioblastoma cells were exposed to hydrogen peroxide, 24 genes were downregulated. When the cells were pretreated with GHAS before exposure to hydrogen peroxide, 46 genes were downregulated. Many of the genes downregulated by hydrogen peroxide stimulation were decreased in the amount of downregulation or reversed to upregulation. Conclusions : The gene expression changes observed in the present study are supposed to be related to the protective molecular mechanism of GHAS in the glioblastoma cells exposed to ROS stress.

인상채득 후 시간경과에 따른 고무인상재의 체적변화

이홍석,조석규,윤태호,박주미,송광엽,Lee Hong-Seok,Cho Suck-Kyu,Yoon Tae-Ho,Park Ju-Mi,Song Kwang-Yeob 대한치과보철학회 2006 대한치과보철학회지 Vol.44 No.4

Statement of Problem : The accuracy and dimensional stability of elastomeric impression materials have been the subject of numerous investigation. Few studies have addressed the effect of changes in time on the dimensional stability of impression materials. Purpose: The purpose of this investigation was to evaluate the effects of elastomeric impression materials and storage time on dimensional stability. Materials and methods: A total of 75 impressions were made of epoxy resin dies mimicked prepared 3-unit fixed partial denture. The dies had 1 buccolingual, 1 mesiodistal and 1 occlusogingival lines and interpreped dot. Impression materials investigated included two polyether impression materials and three polyvinylsiloxane impression material. 15 specimens were made of each impression material and poured by type IV stone over times (30 minutes, 24 hours, 72 hours) after mixing; the same examiner measured each specimen 3 times at a magnification of 3.5$\times$. All statistical tests were performed with the level of significance set at .05. Results : The results indicated that significant difference at any measuring point of stone dies of the polyether impression materials and when measurements at 30 minutes, 24 hours, and 72 hours were compared ; the length of measuring point increased significantly as time passed by. However this result is not significant clinically. Analysis also showed significant differences at any measuring point when polyvinylsiloxane and polyether impression materials were compared and significant differences clinically. Conclusion: Under the conditions of this study, the shrinkage rate of the polyvinylsiloxane and polyether impression materials significantly increased as time passed by. The polyether impression materials showed higher shrinkage significantly, while the shrinkage rate of all five materials showed a significant time-dependent increase.

최근 10년간 국내의 봉독 관련 연구에 대한 고찰

이홍석,이재동,고형균,Lee, Hong-seok,Lee, Jae-dong,Koh, Hyung-kyun 대한침구의학회 2003 대한침구의학회지 Vol.20 No.3

Objective : to research the trend of the study related to Bee venom and o establish the hereafter direction for the study on Bee Venom therapy. Methods : We reviewed the domestic papers published last ten years(1992-2001). Results: 1.We have searched 53 papers in 7 journals and the pattern of study was as follow: the experimental studies were 33, the clinical studies were 10 and the reviewed studies were 10. 2. The experimental studies were 2 papers of analysis of Bee Venom, 3 papers of safety assessment, 1 paper on production of antibody against Bee Venom and 26 paper of safety assessment. 3. Bee Venom used in studies was made in Korea, China and U.S.A.. There were differences of component and effect according to the place of production. 4. There were the experimental studies of LD50 in mouse, acute toxicity, local irritation test, antigenicity and pyrogen test of Bee Venom. Conclusions : We need more studies of unification of term about Bee Venom, difference according to the place of production, clinical safety and effects.

국내 도축돈에서 발생한 폐렴에 대한 실물 폐 병변 지수와 조직병리학적 진단의 상관성 평가

이홍석,김명철,김나연,황성현,지수민,박영경,박용호,김용백,Lee, Hong-Seok,Kim, Myung-Chul,Kim, Na-Yon,Hwang, Sung-Hyun,Ji, Sumin,Park, Young Kyung,Park, Yong Ho,Kim, Yongbaek 대한수의학회 2017 大韓獸醫學會誌 Vol.57 No.4

To reduce swine production costs, a slaughter check system has been developed in countries with an advanced swine industry. Evaluation of lung lesions in carcasses is a critical part of the slaughter check system. This study was performed to collect background information for use in developing a slaughter check system in Korea. Lung tissues and their gross images were collected from slaughterhouses in Gyeonggi-do, Korea. Scoring of the gross lung lesions was performed on the lung images. Histopathologic examination was conducted to classify the pulmonary lesions as bronchopneumonia or interstitial pneumonia. Scores of the gross lung lesions were significantly different between bronchopneumonia and interstitial pneumonia groups (p < 0.001). A 90% confidence interval of gross lung lesion scores was established for the bronchopneumonia group, and the lesion scoring had a sensitivity of 100% and specificity of 77.3%. The gross lung lesion scoring test was subjected to a diagnostic distinction evaluation by examining the receiver operating characteristic curve and was appraised as having good discrimination for bronchopneumonia. Establishment of a gross lung lesion scoring test for the diagnosis of bronchopneumonia could be valuable as a screening test of macroscopic bronchopneumonia in swine slaughter check system.

Timing diagram의 테스트 케이스 생성 전략

이홍석,정기현,최경희,Lee, Hong-Seok,Chung, Ki-Hyun,Choi, Kyung-Hee 한국정보처리학회 2010 정보처리학회논문지D Vol.17 No.4

Timing diagram is a useful tool for describing the specification of system, but there is no study for test case strategy of a timing diagram. To solve this problem, we followed the steps to generate test cases from timing diagram in this paper. 1) We defined a timing diagram formally. 2) We describe the method of transforming from a timing diagram model into a Stateflow model which has an equivalent relationship between a timing diagram model and a transformed Stateflow model. 3) We generated test cases from a transformed Stateflow model using SDV which is plugged in Simulink. To show that our approach is useful, we made an experiment with a surveillance model and arbitrary timing diagram models. In the experiment we transformed timing diagram models into Stateflow models, generated test cases from transformed Stateflow models using SDV, and analyzed the generation results. The conclusion that can be obtained from this study is that timing diagram is not only a specification tool but also a useful tool when users are trying to generate test cases based on model. Timing diagram은 시스템의 사양을 작성하는 도구로 많이 사용되고 있으나, Timing diagram을 이용하여 테스트 케이스를 생성하는 연구는 존재하지 않는다. 이와 같은 문제를 해결하기 위해 본 연구에서는 Timing diagram 으로부터 테스트 케이스를 생성하기 위해 다음과 같은 과정을 거쳤다. 1) Timing diagram을 형식적으로 기술하였다. 2) 정의된 Timing diagram의 의미로부터 이와 동치 관계에 있는 Stateflow 모델로 변환하는 방법을 기술하였다. 3) 변환된 Stateflow 모델에 대해 Simulink의 플러그 인 되어 있는 도구인 SDV를 사용하여 테스트 케이스를 생성했다. 이 접근 방법이 유용함을 보이기 위해서 도난 경보 모델과 임의의 Timing diagram모델들을 대상으로 실험을 수행하였다. 실험에서 Timing diagram 모델들로부터 Stateflow모델들로 변환하고 이를 SDV를 사용하여 테스트 케이스를 생성하였으며 그 결과에 대해 분석하였다. 이 연구를 통해 얻을 수 있는 결론은 Timing diagram이 더 이상 사양서를 작성하는 도구로만 사용되는 것이 아니라 모델 기반의 테스트 케이스를 생성하고자 하는 경우에도 유용한 도구가 된다는 점이다.

선형 계획법을 이용한 Timing Diagram의 테스트 입력 시퀀스 자동 생성 전략

이홍석,정기현,최경희,Lee, Hong-Seok,Chung, Ki-Hyun,Choi, Kyung-Hee 한국정보처리학회 2010 정보처리학회논문지D Vol.17 No.5

Timing diagram은 시간에 따른 시스템의 행동을 표현하기 용이하고 표현된 행동을 쉽게 인식할 수 있는다는 장점 때문에 널리 사용되고 있다. Timing diagram으로 기술된 시스템을 테스트 하기 위해서는 여러 기술이 필요하다. 그 중의 하나는 테스트 케이스 목표들이 존재할 때, 시스템 모델이 원하는 상태에 도달하도록 하기 위해 입력 값들의 시퀀스를 생성하는 기술이다. 본 논문은 Timing diagram모델에 대한 테스트 케이스 목표로부터 테스트 입력 시퀀스를 자동으로 생성하는 방법을 제안한다. Timing diagram에서 테스트 입력 시퀀스를 자동으로 생성하기 위해서는 입력 waveform과 시간 제약으로 이루어진 시점의 전이 조건을 만족시키는 적절한 입력 집합을 필요로 한다. 이와 같은 문제를 해결하기 위해, 본 논문에서는 선형 계획법을 이용한 접근 방식을 택하였는데, 해결과정은 다음과 같다. 1) Timing diagram 모델을 입력으로 받아 이를 선형 계획 문제로 변형한다. 2)변형된 선형 계획 문제를 선형 문제 해결 도구를 사용하여 해결한다. 3) 선형 계획 문제의 해답으로부터 Timing diagram모델의 테스트 입력 시퀀스를 생성한다. 본 논문에서는 임의의 Timing diagram 모델에 대해 이를 선형 계획법으로 모델링 하는 방법을 형식적으로 기술하였고, 증명을 통해 본 논문의 접근 방법의 타당성을 보였으며, 또한 도구를 구현하여 Timing diagram 예제 모델로부터 테스트 입력 시퀀스를 생성함으로써 본 논문의 유용성을 입증하였다. Timing diagram is popularly utilized for the reason of its advantages; it is convenient for timing diagram to describe behavior of system and it is simple for described behaviors to recognize it. Various techniques are needed to test systems described in timing diagram. One of them is a technique to derive the system into a certain condition under which a test case is effective. This paper proposes a technique to automatically generate the test input sequence to reach the condition for systems described in timing diagram. It requires a proper input set which satisfy transition condition restricted by input waveform and timing constraints to generate a test input sequence automatically. To solve the problem, this paper chooses an approach utilizing the linear programming, and solving procedure is as follows: 1) Get a Timing diagram model as an input, and transforms the timing diagram model into a linear programming problem. 2) Solve the linear programming problem using a linear programming tool. 3) Generate test input sequences of a timing diagram model from the solution of linear programming problem. This paper addresses the formal method to drive the linear programming model from a given timing diagram, shows the feasibility of our approach by prove it, and demonstrates the usability of our paper by showing that our implemented tool solves an example of a timing diagram model.

사용자탐방-서울대 물리학과 유재준 교수

이홍석,Lee, Hong-Seok 한국과학기술정보연구원 2000 지식정보인프라 Vol.1 No.-

유한요소해석을 통한 SRM 내진보강시스템 검증 및 가력 조건에 따른 성능평가

이홍석(Lee, Hong Seok),안태상(Ahn, Tae Sang),이기학(Lee, Ki Hak) 한국콘크리트학회 2020 한국콘크리트학회 학술대회 논문집 Vol.32 No.2

컴퓨터 시뮬레이션의 적용방법 개선에 관한 연구

이홍석(Hong Seok Lee),김태훈(Tae Hoon Kim),조건우(Geon WOo Joh),박종철(Jong Cheol Bag) 한국법과학회 2004 한국법과학회 학술대회 Vol.2004 No.1