• 대한의용생체공학회:의공학회지
• /
• 제41권1호
• /
• pp.62-66
• /
• 2020

Controlled drug release is important for effective treatment of cancer. Poly(DL-lactide-co-glycolide) acid (PLGA) is a Food and Drug Administration (FDA) approved polymer and have been extensively studied as drug delivery carriers with biodegradable and biocompatible properties. However, PLGA drug delivery carriers are limited due to the initial burst release of drug. Certain drugs require an early rapid release, but in many cases the initial rapid release can be inefficient, reducing therapeutic effects and also increasing side effects. Therefore, sustained release is important for effective treatment. Poly Lactic Acid stereo complex (PLA SC) is resistant to hydrolysis and has high stability in aqueous solutions. Therefore, in this work, PLGA based discoidal polymeric particles are modified by Poly Lactic Acid stereocomplex (PLAsc DPPs). PLAsc DPPs are 3 ㎛ in diameter, also showing a relatively sustained release profile. Fluorescein 5(6)-isothiocyanate (FITC) released from PLAsc DPPs was continuously observed until 38 days, which showed the initial release of FITC from PLAsc DPPs was about 3.9-fold reduced as compared to PLGA based DPPs at 1 hour.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 1999년도 제16회 학술발표회 논문개요집
• /
• pp.176-176
• /
• 1999

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 1999년도 제16회 학술발표회 논문개요집
• /
• pp.184-184
• /
• 1999

• Rapid Communication in Photoscience
• /
• 제3권4호
• /
• pp.73-75
• /
• 2014

Novel diphenylphenanthrenes (DPPs) were prepared by a photocyclization method, and the substituent effects of the phenyl groups on the photophysical properties of the phenanthrene chromophore were investigated based on measurements of fluorescence yields, lifetimes, and transient absorption. Fluorescence activities in DPPs are increased by introducing phenyl rings that can enhance the transition moment along the short axis of the phenanthrene skeleton. Intersystem crossing from the fluorescent states to the triplet manifolds is shown to be operative through the triplet-triplet absorption spectra obtained by laser photolysis techniques.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권12호
• /
• pp.1149-1157
• /
• 2003

하드웨어와 소프트웨어가 조합된 내장형 시스템이 복잡해지면서, 내장형 시스템에 탑재되는 내장형 소프트웨어 테스트가 중요하게 인식되고 있다. 특히, 원자력 발전소와 같이 안전 등급이 높은 시스템에 들어가는 소프트웨어 테스트는 필수적이다. 내장형 시스템 테스트의 경우 하드웨어와 소프트웨어의 상호작용에 의해 발생하는 오류를 발견하기 위한 효과적인 테스트 기법이 필요하다. 본 논문에서는, 하드웨어와 소프트웨어 사이의 상호작용에 의해 생성되는 오류를 발견하기 위하여, 오류 삽입 기법을 이용한 테스트 데이타 선정 기법을 제안하고, 이 기법을 Digital Plant Protection System에 적용하였으며, 실험을 통해 제안한 기법의 우수성을 분석한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권2호
• /
• pp.108-118
• /
• 2005

원자력 발전소의 디지털 제어 시스템은 안전성이 중요시되는 safety-critical 소프트웨어로서 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 정형명세 기법인 NuSCR을 이용해서 작성된 요구사항 명세로부터, 설계 단계의 내용으로 사용될 수 있는 PLC 기반의FBD 프로그램을 체계적으로 생성하는 기법을 제안하고 있다. 제안된 기법은 기존의 수동 명세 작업에서 발생할 수 있는 오류들을 크게 줄일 수 있으며, 소프트웨어의 개발 비용과 기간을 줄일 수 있다. 또한, 제안된 기법의 유용성을 증명하기 위해서, 현재 KNICS에서 개발 중인 DPPS RPS의 BP를 구성하는 트립 논리 중의 하나인 고정 설정치 상승 트립을 예제로 설명하고 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권4호
• /
• pp.1460-1478
• /
• 2020

This paper proposes a novel anti-collision protocol for large-scale RFID tags identification, named Bi-response Collision Tree Protocol (BCT). In BCT, two group of tags answer the reader's same query in two response-cycles respectively and independently according to the bi-response pattern. BCT improves the RFID tag identification performance significantly by decreasing the query cycles and the bits transmitted by the reader and tags during the identification. Computation and simulation results indicate that BCT improves the RFID tag identification performance effectively, e.g. the tag identification speed is improved more than 13.0%, 16.9%, and 22.9% compared to that of Collision Tree Protocol (CT), M-ary Collision Tree Protocol (MCT), and Dual Prefix Probe Scheme (DPPS) respectively when tags IDs are distributed uniformly.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.595-597
• /
• 2001

오늘날 우리가 사용하고 있는 시스템은 날이 갈수록 규모 면에서 대형화되고, 기능면에서 복잡해지고 있다. 이런 복잡성의 증가로 시스템 에러 발생가능성은 더욱 높아졌다. 특히, safety-critical 시스템의 경우 에러가 발생했을 때 인간과 생태계에 엄청난 영향을 미치기 때문에 더욱 신중한 개발 과정이 필요하다. 따라서 정형기법을 이용한 safety-critical 시스템의 개발방법론이 나오게 되었다. 본 논문에서는 대표적인 safety-critical 시스템인 원자력 발전소 시스템에서 Digital Plant Protection System(DPPS)를 가지고 어떻게 방법론이 적용되는지를 보여준다. Software Cost Reduction(SCR)이라는 정형 명세 도구로 명세를 하였고, SPIN 이라는 정형 검증 도구로 그 특성(property)을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.586-588
• /
• 2001

원전보호계통(RPS: Reactor Protection System)은 사고 시 치명적 피해를 입을 수 있다는 점에서 안전에 대한 중요도가 가장 높은 Safety 1E class로 분류되며, 이러한 보호계통을 디지털 라이즈 하는데 있어서 높은 신뢰도에 대한 보장이 필요하다. 따라서 본 논문에서는 DPPS(Digital Plant Protection System) 내에서 작동하는 내장형 소프트웨어의 높은 신뢰성을 보장하기 위한 테스팅 방법론을 제시하고자 한다. DPPS에서 작동하는 내장형 소프트웨어를 테스트하기 위한 방법은 크게 두 가지로 나누어진다. 첫 번째 단계는 절차중심의 프로그램에서 객체를 추출하고 이를 이용하여 클래스를 추출하는 제공학의 단계이다. 두 번째 단계는 이러한 클래스들을 이용하여 레벨별 테스팅을 수행하기 위한 테스트 아이템을 추출하고, 추출된 테스트 아이템을 이용하여 테스트 케이스를 선정하는 단계이다. 이렇게 각 레벨별로 선정된 테스트 케이스를 이용하여 단위 테스팅, 통합 테스팅, 시스템 테스팅 이렇게 3단계의 레벨별 테스팅을 수행한다.

• Nuclear Engineering and Technology
• /
• 제36권2호
• /
• pp.184-195
• /
• 2004

The multi-tasking feature of digital I&C equipment could increase risk concentration because the I&C equipment affects the actuation of the safety functions in several ways. Anticipated Transient without Scram (ATWS) is a typical case of safety function failure in nuclear power plants. In a conventional analysis, mechanical failures are treated as the main contributors of the ATWS. This paper quantitatively presents the probability of the ATWS based on a fault tree analysis of a Korea Standard Nuclear Power Plant is also presented. An analysis of the digital equipment in the digital plant protection system. The results show that the digital system severely affects the ATWS frequency. We also present the results of a sensitivity study, which show the effects of the important factors, and discuss the dependency between human operator failure and digital equipment failure.