• 한국산학기술학회논문지
• /
• 제11권11호
• /
• pp.4460-4467
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 철도시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 철도시스템 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 철도 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 철도시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 철도시스템 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다. 개발한 도구는 기존 해외 도구에 비해서 여러 테스트 커버리지를 효과적으로 측정할 수 있는 강점이 있으며, 실제 철도 현장에서 활용성이 높아 철도 소프트웨어의 개발 및 테스트 기술 발전을 기대할 수 있다.

• 한국산학기술학회논문지
• /
• 제19권11호
• /
• pp.688-694
• /
• 2018

이액형 액상 실리콘 혼합비율은 혼합된 액상 실리콘 원재료를 통해 완성된 제품이 갖추어야하는 고유의 물리적 특성에 더 부합되며 제품 품질에 중요한 요소이기 때문에 주재료와 부재료의 균일한 비율제어는 필요하다. 본 연구에서는 주재료와 부재료 각각의 원재료 이송유량을 확인할 수 있는 디지털 유량계와 유량제어시스템, 압력을 일정하게 유지함과 동시에 원재료 이송을 위한 펌핑 시스템으로 구성 되도록 혼합 비율 제어시스템을 설계 하였다. 또한 시스템과의 유기적인 연동과 혼합비율 제어를 위한 프로그램을 개발 하였다. 개발된 시스템의 검증을 위해 펌핑을 통한 실제 계량된 원재료의 중량과 유량계의 측정값을 비교 하였으며, 혼합 비율 향상 알고리즘의 적용 유무에 따른 테스트 시편을 제작하여 혼합된 재료의 물리적 특성을 측정하였다. 테스트 결과 알고리즘을 적용한 시편의 경우 경도는 46~47 범위, 인장 강도는 9.3MPa~9.5MPa 범위로 기준값에 가까운 측정값을 얻을 수 있었다. 이 결과들은 이액형 실리콘의 혼합 비율을 ${\pm}0.5%$이내의 오차 범위에서 제어됨을 알 수 있었다.

• 기술혁신학회지
• /
• 제22권2호
• /
• pp.207-219
• /
• 2019

국제적으로 정부의 연구개발 성과분석 활동은 증거기반 데이터를 통해 혁신성을 파악하고, 또한 객관적인 정책이행의 타당성을 확보하는 방향으로 진화중이다. 유럽연합의 경우 4차산업혁명/첨단제조업 부흥을 지원하는 나노기술 기반의 KETs(Key Enabling Technologies) 정책을 추진하여 왔으며, KETs Observatory 프로젝트를 통해 KETs가 도출한 정량적 혁신성과들을 유럽연합 홈페이지를 통해 공개하였다. 유럽연합은 또한 FP7 및 Horizon2020이 지원한 혁신적 연구과제들을 데이터 분석을 통해 파악하는 Innovation Radar 시스템을 구축하였다. 미국 역시 Federal RePORTER 시스템을 통해 나노기술을 포함한 연방의 연구개발 투자/성과를 정량적으로 집계/분석 하는 체계를 고도화 중이다. 한국 나노기술 분야의 경우 NTIS(National Science & Technology Information Service) 정보를 분석한 기초통계 자료들이 정책 현장에서 활용되고 있다. 기초 통계자료 수준을 넘어선 혁신성 분석 방법론의 고도화는 미국 유럽을 포함한 세계 각국의 정책 이슈이며, 또한 정부의 장기적인 연구개발 투자 영역이다. 본 연구는 한국 NTIS의 나노기술 연구개발 투자 결과와 투입-산출 기반의 효율성 분석 모형을 활용하여, 정부 R&D 투자의 혁신 특성을 정량화 하는 연구를 시도하였다.

• 융합보안논문지
• /
• 제18권1호
• /
• pp.19-31
• /
• 2018

ICT기술이 발전함에 따라 산업 전분야에 걸쳐 이전보다 훨씬 많은 디지털 데이터들이 생성, 이동, 보관, 활용되고 있다. 산출되는 데이터의 규모가 커지고 이를 활용하는 기술들이 발전함에 따라 대규모 데이터 기반의 신 서비스들이 등장하여 우리의 생활을 편리하게 하고 있으나 반대로 이들 데이터를 위변조 하거나 생성 시간을 변경하는 사이버 범죄 또한 증가하고 있다. 이에 대한 보안을 위해서는 데이터에 대한 무결성 및 시간 검증 기술이 필요한데 대표적인 것이 공개키 기반의 서명 기술이다. 그러나 공개키 기반의 서명 기술의 사용은 인증서와 키 관리 등에 필요한 부가적인 시스템 자원과 인프라 소요가 많아 대규모 데이터 환경에서는 적합하지 않다. 본 연구에서는 해시 함수와 머클 트리를 기반으로 시스템 자원의 소모가 적고, 동시에 대규모 데이터에 대해 서명을 할 수 있는 데이터 서명 기법을 소개하고, 서버 고장 등 장애 상황에서도 보다 안정적인 서비스가 가능하도록 개선한 해시 트리 분산 처리 방법을 제안하였다. 또한, 이 기술을 구현한 시스템을 개발하고 성능분석을 실시하였다. 본 기술은 클라우드, 빅데이터, IoT, 핀테크 등 대량의 데이터가 산출되는 분야에서 데이터 보안을 담보하는 효과적인 기술로써 크게 활용될 수 있다.

• 한국초등과학교육학회지:초등과학교육
• /
• 제40권1호
• /
• pp.22-35
• /
• 2021

In order to investigate the trends in science education research using AR (Augmented Reality) and derive implications for elementary science education, we analyzed 71 research articles on AR application in science education published in both Korea and abroad from 2010 to August 2020. In quantitative aspects, the number of published articles has steadily increased. For domestic researches, the number of papers targeting for elementary school students was higher than that of middle & high school students. In the research method aspects, qualitative methods were most frequently used. In particular, papers regarding the development of AR program and verification of its effectiveness were most frequently published. The researches using mixed method in domestic field were smaller in number than that of the research in abroad. There were similar trends in research targeting elementary school students. In the aspects of the contents, more researches were performed on biology and earth science areas than others. In case of researches for elementary school students, the proportion of researches on biology and earth science was even higher. Domestically the proportion of studies on the convergence of science and non-science subjects was higher than that of foreign studies. The number of researches exploring the effectiveness on 'non-scientific attitude domain', 'cognitive domain', and 'program domain' were relatively higher than that on 'inquiry & practice domain' and 'science-related attitude domain'. For types of AR contents, 'observation manipulation type' was mostly studied, followed by 'experimental activity type', and 'learning guide type'. In case of studies on elementary school students, the ratio of 'observation manipulation type' contents was higher than that of others, whereas studies on 'field problem solving type' were relatively less reported than others. In addition, studies on 'simple interaction' were most frequently reported. Particularly, there were relatively few studies on 'linear and nonlinear interactions' in domestic field. As a result of analyzing key words, we found that the key words related to the characteristics and implementation of AR frequently occurred, and the key words related to elementary education and the merits of AR had many direct connections with other key words.

• 식품과학과 산업
• /
• 제54권2호
• /
• pp.93-101
• /
• 2021

1993년 국제식품규격위원회(CODEX)에서 HACCP 지침서를 발간하고 적용할 것을 권장하면서 HACCP 제도는 국제적인 교역에서도 필수적인 제도가 되기 시작했다. 국내의 경우 1990년대부터 본격적으로 도입되어 축산과 식품을 우선으로 적용되기 시작하였으며 수산물, 급식, 외식 등 식품 원료, 제품 전 분야를 망라하는 구조로 확대 적용되고 있다. 국내에서의 HACCP은 축산, 식품으로 이원 적용되었기 때문에 두 제도간의 일원화 연구가 보고되고 있으며, HACCP 적용에 따른 효과 검증 연구가 축산, 식품 등 다양한 제품을 대상으로 이루어지고 있다. 한국과학기술정보연구원(KISTI)의 학술정보 검색엔진(ScienceON)을 활용하여 연도 제한 없이 'HACCP'을 검색어로 검색 시 총 6,173건의 연구보고가 검색되었다. 관련한 연구보고 중 관리, 효과 관련 연구가 492건으로 전체의 53%에 이르는 것으로 나타나 중복을 감안하더라도 많은 연구가 이에 집중되어 있음을 알 수 있다. 즉, HACCP 적용 시의 식품안전, 품질 및 경제적 효과에 대한 연구가 지속적으로 보고되고 있고, HACCP 적용에 따른 소비자 인식 변화 및 이를 통한 기업에의 영향연구가 이루어지고 있다. 4차 산업혁명시대의 급변하는 기술변화와 발맞춰 HACCP 제도에도 블록체인 등 다양한 기술을 접목하여 효율적인 모니터링을 진행할 수 있도록 추진되고 있다. HACCP관련 연구는 지속적으로 이루어지고 있으므로 이들 연구 자료의 활용을 위해 체계적 문헌고찰(systematic review)과 같은 방법론을 적용하여 좀 더 체계적으로 검토하여 연구 방향 설정 및 정책 반영에 활용하는 것이 좋겠다.

• 정보보호학회논문지
• /
• 제12권2호
• /
• pp.21-34
• /
• 2002

본 논문에서는 최근 발표된 멱승방법인 나눗셈 체인을 적용한 새로운 모듈로 멱승기의 하드웨어 구조를 제안하였다. 나눗셈 체인은 제수(divisor) d=2 또는 $d=2^I +1$ 과 그에 따른 나머지(remainder) r을 이용하여 지수 I를 새롭게 변형하는 방법으로 전체 멱승 연산이 평균 약 1.4$log_2$E 번의 곱셈으로 가능한 알고리즘이다. 이것은 Binary Method가 하드웨어 구현 시 항상 worst case인 $2log_2$E의 계산량이 필요한 것과 비교할 때 상당한 성능개선을 의미한다. 전체 구조는 파이프라인 동작이 가능한 선형 시스톨릭 어레이 구조로 설계하였으며, DG(Dependence Graph)를 수평으로 매핑하여 k비트의 키 사이즈에 대해 두 개의 k 비트 프레임이 k/2+3 개의 PE(Processing Element)로 구성된 두 개의 곱셈기 모듈을 통해 병렬로 동시에 처리되어 100% 처리율을 이루게 하였다. 또한, 규칙적인 데이터 패스를 가질 수 있도록 나눗셈체인을 새롭게 코딩하는 방법을 제안하였다. ASIC 구현을 위해 삼성 0.5um CMOS 스탠다드 셀 라이브러리를 이용해 합성한 결과 최장 지연 패스는 4.24ns로 200MHz의 클럭이 가능하며, 1024비트 데이터 프레임에 대해 약 140kbps의 처리속도를 나타낸다. 복호화 시에는 CRT(Chinese Remainder Theorem)를 적용하여 처리속도를 560kbps로 향상시켰다. 전자서명의 검증과정으로 사용되기도 하는 암호화 과정을 수행할 때 공개키 E는 3,17 혹은 $2^{16} +1$의 사용이 권장된다는 점을 이용하여 E를 17 비트로 제한할 경우 7.3Mbps의 빠른 처리속도를 가질 수 있다.

• 한국산학기술학회논문지
• /
• 제22권2호
• /
• pp.85-91
• /
• 2021

방위사업청은 2012년부터 군수품의 우수한 기술력과 품질을 인증하기 위해 DQ마크(Defense Quality Mark) 인증제도를 운영하고 있다. 하지만, 현행 DQ마크 인증제도는 소프트웨어(Software, SW) 단독 제품의 품질을 검증할 수 없어 소프트웨어 제품에 직접 DQ마크 인증을 부여하지 못하고 있다. 그러므로 본 논문은 DQ마크 인증제도에서 소프트웨어 제품의 품질을 검증할 방안을 찾기 위해 DQ마크 인증제도의 인증심사 절차와 국내·외 소프트웨어 품질평가, 인증 표준을 분석하였다. 그 중 국제표준인 ISO/IEC 25000 시리즈를 따르는 GS(Good Soft) 인증제도를 DQ마크 인증제도에 적용하는 방안을 개선방안으로 제시하여 DQ마크 인증제도에서 소프트웨어 제품의 품질을 검증하여 인증을 부여할 수 있도록 인증범위의 확대를 꾀하였다. 본 논문은 DQ마크 인증제도에 GS인증제도를 도입함으로써 시스템 소프트웨어 단독 제품에 대해 DQ마크 인증을 부여할 수 있도록 기존 인증절차에서 소프트웨어 제품 품질 평가에 불필요한 절차인 공장심사의 생략과 제품심사에 GS 인증서를 제출받아 검증하는 개선된 절차를 제안했고, 부여받은 DQ마크를 활용한 방산수출의 증대와 GS인증을 통한 국방 분야 소프트웨어 제품의 품질향상을 기대한다.

• 환경영향평가
• /
• 제31권3호
• /
• pp.129-140
• /
• 2022

개발사업에 대한 환경영향평가는 다양한 이해관계자가 사업특성 및 지역의 환경현황 등을 반영하여 협의를 도출하는 과정으로서 협의내용의 이행은 지역 환경의 지속가능성 확보를 위한 전제조건이다. 사업계획은 사회적·환경적 여건이 변화될 경우 이에 대응하기 위해 변경할 수 있으며, 환경영향평가 협의가 완료된 사업 계획을 변경할 경우에는 협의내용을 변경하는 절차(변경협의)가 제도적으로 마련되어 있다. 개발사업의 변경협의 현황과 주요 변경 내용 등을 조사·분석한 결과 산업단지의 변경협의가 가장 많았으며 이에 따라 환경영향이 가중되고 있다. 변경협의 운용 현황과 사례분석을 통하여 고찰한 결과 산업단지 변경협의의 주요 원인은 입주업종의 형식적 수요예측, 특별법에 따른 과도한 행정절차의 생략 및 간소화 그리고 환경영향평가 협의의 용이성 및 기간 단축을 위한 편법적 변경협의 제도 이용의 세 가지로 요약될 수 있다. 본 연구는 잦은 산업단지 변경협의로 인한 환경성 악화와 환경영향평가 기능 저하를 방지하기 위하여 다음과 같은 방안을 제안한다. (1) 중요한 사항을 변경하는 변경협의의 경우 주민수용성 확보를 위한 주민의견 수렴 절차를 제도적으로 보장하며, (2) 「산단절차 간소화법」의 합리적 개정을 통하여 산업단지의 계획의 적정성 및 입지의 타당성을 제고하고 (3) 산업단지에 대한 객관적 수요관리를 위한 실수요 검증의 평가기준 및 방법을 개발하며, (4) 변경협의에 대한 평가 가이드라인을 마련하는 것이다.

• 대한임상검사과학회지
• /
• 제54권2호
• /
• pp.79-94
• /
• 2022

COVID-19로 인한 높은 전염성과 호흡기 질환의 심각성 때문에, 전염의 확산을 더 잘 모니터링하고 예방하기 위해 경제적이고 정확한 검사가 필요하다. COVID-19 대유행의 초기 단계에서 SARS-CoV-2의 구조적 및 분자적 특성이 밝혀짐에 따라, 많은 COVID-19 진단 키트 제조업체들은 진단 테스트의 설계, 개발, 검증 및 구현에 적극적으로 투자했다. 현재, SARS-CoV-2에 대한 진단검사로써 신속한 항원, 특정 IgG 및 IgM 항체검사를 위한 면역 혈청학적 검사 그리고 분자 진단 검사가 가장 널리 사용되고 검증된 기술이다. 분자 진단 분석법은 SARS-CoV-2에 감염된 것으로 의심되는 개인에서 바이러스 RNA를 직접 검출하기 위한 gold standard이다. 항체 기반 혈청 검사는 지역사회에서 COVID-19 유병률을 결정하고 면역력을 획득한 개인을 식별하는 데 사용되는 간접 검사이다. 본 논문에서는 시판되고 FDA가 승인한 분자 및 면역학적 진단 측정을 평가하여 성능 특성을 분석하였다.