• 한국정보처리학회논문지
• /
• 제4권12호
• /
• pp.3159-3174
• /
• 1997

본 논문은 매우 방대하고 복잡한 실시간 소프트웨어를 이해하기 위한 하나의 방법론과 도구의 개발 연구에 대하여 보고한다. 대부분 본 논문의 저자에 의하여 개발된 이 방법론과 도구는 ARSU(Architecture-based Real-time Software Understanding)과 SRE(Software Re/reverse-engineering Environment)이다. 재공학과정중에 실시간 소프트웨어의 이해한다는 것은 방대한 규모와 복잡성 때문에 일반적으로 매우 어려운 일이다. 그러나 이러한 어려움을 극복하기 위하여 본 논문에서는 architecture에 근거하여 구조적 ${\cdot}$ 기능적 ${\cdot}$ 행위적 측면에서 3차원적인 이해를 가능하게 한다. 이 방법을 통하여 실시간 소프트웨어를 점진적이며 체계적으로 재${\cdot}$역공학할 수 있게 한다. 첫째, 구조적인 관점은 부모－자식간의 관계에 기초한 상하 층충적으로 이루어진 소프트웨어의 전체적 구조, 그리고 명세와 알고리즘 뷰들을 통하여 관측할 수 있다. 여기에서 구조를 구성하는 기본단위는 SWU(Software Unit)이며 이 SWU는 특정 기준에 준하여 추출된다. 이 구조는 상하 또는 그 역방향으로 소프트웨어를 항해(navigation) 할 수 있게 한다. 이는 소프트웨어에 대한 개요와 상세에 관한 정보를 분리하여 상호간에 연관성이 있게 보여준다. 구조의 어떤 단계, 즉 어떤 추상화 단계에서라도 소프트웨어에 대한 기능적 ${\cdot}$ 행위적 대한 정보를 얻을 수 있게 한다. 둘째, 기능적 뷰는 자료와 제어의 흐름, 입력과 출력, 정의와 사용, 변수와 참조 등을 보여준다. 이 뷰의 각 사항들은 소프트웨어에 대한 특정 기능 정보를 제공하여 준다. 셋째, 행위적 뷰는 상태도, IEL(interleaved event list) 등을 들 수 있다. 이 뷰는 소프트웨어에 대한 실행시 동적 성질을 보여준다. 이 뷰들 외에도 각 측면과 뷰들을 위한 기능, 접속, 주석, 코드 등의 다수의 서류들이 제공된다. 본 연구의 가장 큰 장점은 구조를 항해하면서 여러 차원의 정보를 추상화하거나 세부적으로 확장할 수 있는 기능이다. 이러한 기능들은 이러한 실시간 소프트웨어를 이해 할 수 있는 토대를 마련해 준다. 그리고 이러한 장점은 재사용 가능한 요소를 체계적으로 식별하거나 검증할 수 있게 한다.

• 한국식품영양과학회지
• /
• 제40권1호
• /
• pp.116-122
• /
• 2011

어린이집 유아 휴대 수저 및 수저집의 미생물 오염도를 분석하고, 가정과 어린이집에서 수저 및 수저집의 위생 안전성을 확보할 수 있는 세척 방법과 자외선 살균소독 시간을 제시하고자 유아 휴대 수저 36건 및 수저집 42건 등 총 78건을 실험하였다. 수저 36건 중 20건(55.6%), 지퍼형 수저집 20건 중 9건(45.0%), 플라스틱형 수저집 22건 중 13건(59.1%)에서 2.7 log CFU/$100cm^2$ 이상의 일반세균수가 검출되어 즉각적인 위생조치를 강구해야 하는 수준으로 조사되었다. 또한, 수저 36건 중 19건(52.8%), 지퍼형 수저집 20건 중 14건(70.0%), 플라스틱형 수저집 22건 중 14건(63.6%)에서 대장균군이 검출되어 어린이집 유아 휴대 수저 및 수저집에 대한 위생조치가 요구되며, 가장 높은 위해수준을 나타낸 지퍼형 수저집에 대한 각별한 주의가 필요한 것으로 판단되었다. 수저와 플라스틱형 수저집에서는 실험한 모든 식중독 미생물이 검출되지 않았으나, 지퍼형 수저집 20건 중 2건(10.0%)에서 Staph. aureus가 검출되었고, 3건(13.6%)에서 B. cereus가 검출되어 지퍼형 수저집이 식중독 미생물 오염에 가장 취약한 것으로 나타났다. 세척 방법에 따른 미생물 저감화 효과를 실험한 결과 수세미에 주방세제를 첨가하여 30초간 세척한 후 30초간 흐르는 수돗물로 세척했을 경우 수저, 지퍼형 및 플라스틱형 수저집 모두 대장균이 검출되지 않았다. 따라서 가정에서 수저 및 수저집을 1분 이상 깨끗이 세척, 건조시켜야 될 것으로 판단되었다. 자외선 살균소독 시간에 따른 미생물 저감화 효과를 실험한 결과 15분 살균시 대장균이 검출되지 않아 어린이집에서 수저 및 수저집을 15분 이상 자외선 살균소독기로 살균할 경우 대장균을 제어할 수 있을 것으로 판단되나, 각 어린이집의 자외선 살균소독기의 램프 출력량과 살균대상 수저집의 수량을 고려하여 각각의 제조사가 제시하는 자외선 살균소독기 권장살균시간 이상 수저 및 수저집을 살균하여 제공하여야할 것으로 판단된다.

• Korean Chemical Engineering Research
• /
• 제44권6호
• /
• pp.588-596
• /
• 2006

폴리스티렌 막(polystyrene membrane, PS)의 표면을 Ar, $O_2$ 플라즈마로 처리하고, 처리 전후의 변화를 관찰하였고, $CO_2$, $N_2$의 투과도와 $N_2$에 대한 $CO_2$의 선택도는 연속흐름 기체 투과 분석장치(GPA)를 이용하여 측정하였다. Ar플라즈마 처리의 경우 O/C비율이 0에서 0.179로 증가하고, 표면 거칠기가 $15.86{\AA}$에서 $71.64{\AA}$로 증가함으로써 접촉각은 처리전의 $89.16^{\circ}$에서 $18.1^{\circ}$로 감소하였다. 따라서 플라즈마 처리는 막표면을 높은 친수성을 갖도록 만들었다. $CO_2$의 투과도와 선택도에 대한 Ar플라즈마 처리최적조건은 60 W, 2 min, $70^{\circ}C$이며, 투과도와 선택도는 각각 $2.1{\times}10^{-12}[m^3(STP){\cdot}m/m^2{\cdot}sec{\cdot}atm]$와 4.51이었다. $O_2$플라즈마 처리의 경우에, 접촉각은 O/C비율(0.189)과 표면 거칠기($57.10{\AA}$)의 증가에 의해 $13.56^{\circ}$로 감소하였다. 최적의 처리조건은 90 W-2 min-$70^{\circ}C$이며, 값 $7.1{\times}10^{-12}[m^3(STP){\cdot}m/m^2{\cdot}sec{\cdot}atm]$와 값 11.5이었다. 플라즈마 처리 후 막 표면의 변화는 표면에서의 교차결합과 식각효과의 경쟁적인 관계에 의해 결정된다. 결국 플라즈마 처리된 막의 투과도와 선택도가 플라즈마 기체, 처리시간, 출력세기등과 같은 플라즈마 상태를 제어함으로써 향상되었음을 확인할 수 있었다.

• 지구물리와물리탐사
• /
• 제8권3호
• /
• pp.224-231
• /
• 2005

현장 물리탐사 수행 시 상용화된 장비로는 탐사 대상 매질의 물성, 대상체의 크기, 모양 등의 탐사목적 및 현장여건에 의해 탐사가 불가능 하거나 탐사 목적에 맞는 분해능을 얻지 못하는 경우를 종종 만나게 된다. 이러한 다양한 현장 조건 및 탐사 목적에 효과적으로 적용할 수 있는 다목적 물리탐사 측정 시스템을 개발하였다. 이 다목적 측정 시스템은 PXI를 기반으로 하며 A/D 변환기 또는 GPIB 인터페이스를 이용한 측정 장치를 통해 신호를 측정하게 되며 확장성이 커 다양한 문제에 적용이 가능하다. 구성된 측정 시스템을 이용하여 시추공 레이다 탐사 시스템과 시추공 초음파 탐사 시스템, 전자기적 잡음 측정 시스템을 구축하였다. 시추공 레이다 탐사 시스템은 네트워크 분석기를 GPIB를 통해 제어하고 현장 조건에 따라 임의로 안테나의 길이 조절이 가능한 스텝 주파수 레이다 탐사 시스템이며, 시추공 초음파 탐사 시스템은 압전 송수신기 센서, 고출력 송신기와 A/D 변환기로 구성되어 시추공 내에서 초음파를 이용하여 착맥된 지하공동의 범위를 측정하기 위해 구성된 시스템이며, 전자기적 잡음 측정 시스템은 3개의 자기장 센서와 2개의 전기장 센서 그리고 A/D 변환기로 구성되며 임의로 측정시간과 샘플링 주파수의 조절이 가능하고 임의의 시간에 예약 측정이 가능한 시스템이다. 시추공 레이다 탐사 시스템은 상용 시스템으로 불가능했던 지하공동의 넓이와 지장물을 찾는 탐사에서 효과적인 결과를 보여주었으며, 시추공 초음파 탐사 시스템도 지하공동의 넓이를 측정하는 실험에서 가능성을 확인할 수 있었다. 한편 전자기적 잡음 측정 시스템을 이용하여 도심지 내 전자기적 잡음특성을 파악할 수 있었으며, 이를 변형하여 전기비저항 탐사 시 사용되는 다양한 케이블에 대한 케이블 내의 전자기적 유도 현상 및 그에 따른 신호 왜곡을 규명하는 실험에 적용하여 시스템의 확장성을 확인하였다.