http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
안전필수 소프트웨어에 대한 목표설정 표기방식 적용 연구
이진호(Jinho Lee),최진영(Jinyoung Choi),방기석(Kiseok Bang),고병령(Byoungryoung Koh) 한국정보과학회 2012 한국정보과학회 학술발표논문집 Vol.39 No.1A
안전필수 소프트웨어는 다양한 분야에 걸쳐 개발과 인증을 위한 표준들이 정의되어 있고, 대부분 프로세스 중심의 인증 방식을 채택하고 있다. 프로세스 중심의 인증 방식의 단점은 제품 소프트웨어의 검증 속성을 보장할 수 없고, 표준에 따라 관점과 관심 속성이 달라서 상호연관이 있는 속성사이의 관계를 기술하는데 적합하지 않다. 본 논문에서, 안전필수 소프트웨어의 표준들의 비교를 통해 특성을 살펴보고, 안전성과 보안 속성을 함께 갖는 안전필수 소프트웨어 개발을 위해, 보증 문서(assurance case) 구성을 목표 설정 표기법(goal structuring notation)으로 작성하고 결과를 고찰한다.
디지털 인라인 홀로그램 기술을 활용한 휴대용 수질 분석 시스템의 설계
김원표(Wonpyo Kim),고영웅(Youngwoong Ko),이은영(Eunyoung Lee),방기석(Kiseok Bang) 한국정보기술학회 2019 한국정보기술학회논문지 Vol.17 No.11
There are a variety of substances in the water which includes bacteria and parasites that causes various type of diseases in both human and animal bodies. Previously, the optical microscope was generally used for observing and analyzing the water samples in the laboratory. Therefore, there were a lot of difficulties to perform the real time water quality analysis on the field. In addition, the optical microscope has the advantage of analysis for micro-particles such as the green algae, but it is expensive and hard to carry. In this paper, we propose a water quality analysis system using digital inline hologram technology. The proposed device is small, so it is portable and can be used on the field easily. The traditional hologram capture device spent a lot of computation time to reconstruct a captured hologram image, so it needs to transfer the image to the high-cost GPU server. In this paper, we applied GPU parallel programming to improve computation time and also developed an integrated system that enables the water quality analysis on the field.