• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.706-708
• /
• 2004

일반적인 무선 통신망은 데이터 전송 고속화에 중심을 두고 발전해 왔으나, 최근 무선 센서 네트워크와 같은 응용 분야에서 소량의 데이터와 낮은 처리 속도를 지원하면서 저비용, 경량, 저전력을 요구하는 무선 통신 기술이 필요하게 됨에 따라 IEEE에서 LR-WPAN(Low Rate-Wireless Personal Area Network)을 위한 새로운 IEEE 802.15.4 표준이 제시되었다. 현재 무선 센서 네트워크에 관한 연구는 소형 경량의 MAC(Medium Access Control ) 프로토콜 개발이 핵심 기술로 인식되면서, 저전력 소모를 위한 라우팅 기법, MAC 프로토콜의 패킷처리 기술 등이 우선적으로 진행 중이다. 그러나 무선 센서 네트워크와 같은 응용분야에 사용 가능한 표준인 IEEE 802.15.4 MAC 프로토콜의 실질적인 상용화를 위해서는 표준안 분석 및 검증 과정이 기본적으로 선행되어야 한다. 본 논문에서는 IEEE 802.15.4 표준안의 핵심인 MAC 프로토콜을 정형화된 명세 언어인 SDL(Specification and Description Language)를 이용하며 상세 설계 및 분석 후, 자동화 도구를 이용한 모의수행을 통하여 검증하였으며 표준안과의 비교 및 오류 수정을 거친 연구결과를 기술한다.

• 대한교통학회:학술대회논문집
• /
• 대한교통학회 2003년도 제43회 학술발표회논문집
• /
• pp.3-18
• /
• 2003

본 논문은 ATMS와 ATIS에서 요구되는 교통관리 및 정보제공의 효과분석을 위해, 운전자의 주행 및 경로선택 의사결정과 교통제어에 대한 반응등 운전자 행태를 모의실험에 반영함으로써 교통시스템의 실시간 특성을 모사할 수 있는 모형을 구축하고 이를 기반으로 하는 미시적 교통 모의실험기를 개발하는 것을 목적으로 하였다. 본 연구에서는 운전자, 차량, 교통망, 검지 및 신호시스템, 교통정보제공시스템 등을 교통시스템의 주요 구성요소로 설정하였으며 운전자 및 차량특성, 차두시간분포와 차량발생모형, 차량주행모형, 차로변경 및 간격수락모형, 경로선택모형을 주모의실험모형을 구성하는 부모형으로 결정하였다. 따라서 본 논문에서는 각각의 부모형들에 대한 최근의 연구결과들을 검토하고, 현실모사 능력과 함께 다른 부모형들과의 연계, 모의실험기의 구현상에서의 적합성 등을 고려하여 적정모형의 선정 및 수정, 새로운 부모형의 구축을 수행하였다. 구축된 부모형을 통합하여 교통모의실험기를 개발하였으며 구축된 모형의 타당성 및 적용성 검토를 위해 현장자료 및 가상자료를 이용한 검증을 수행하였다. 검증결과 모형의 목적인 교통제어 및 정보제공등의 시스템 대안의 평가에 이용 가능한 것으로 나타났다. 또한 본 논문의 연구결과는 교통제어 및 정보제공전략 대안의 평가뿐만 아니라 차량추종 및 차로변경 등의 미시적 교통모형 연구, 동적기종점 통행량 추정, 동적통행배정의 연구에도 활용할 수 있을 것으로 판단된다. 본 논문의 연구모형은 현단계에서는 현실의 모사 및 분석을 위한 도구보다는 새로운 대안들간의 비교평가를 위한 도구로 활용할 수 있을 것으로 판단된다. 이에 따라 현실모사의 정확도를 확보하기 위한 검증 및 개선이 필요할 것이며, 각 부모형들에 대한 계속적인 연구와 새롭게 발표되는 연구결과를 수용한 지속적인 개발이 필요할 것이다.유기적인 연계에 있음을 밝히고 있다. 건설을 위한 정책적 시사점과 동북아 연구개발정보 Portal 및 APEC APGrid 연구망 등의 구체적인 정보인프라 구축방안을 도출하였다.술 주기를 도출하고, 산업 내 평균 권리 청구 항목 수를 이용하여 각 산업의 기술 범위를 비교하였다. 각각의 동적 분석을 통해 시간에 따른 변화 양상이 관찰하였고, ANOVA 분석을 이용하여 통계적 유의성을 검증하였다. 본 연구는 현재의 기술 패러다임 내에서 Pavitt이 제시한 산업 분류의 근거를 보충 설명하였고 특허 정보를 이용하여 기술혁신의 산업별 유형에 대한 폭넓은 분석방법을 제시하였다.별 시간대별 효과분석을 통하여 정책의 시행여부가 결정되어야 할 것이다. 한편, 화물전용차선의 설치로 인한 물류비용의 절감을 보다 효과적으로 달성하기 위해서는 종합류류 전산망의 시급한 구축과 함께 화물차의 적재율을 높이고 공차율을 낮출 수 있는 운송체계의 수립이 필요한 것으로 판단된다. 그라나 이러한 화물전용차선의 효과는 단기적인 치유책일 수밖에 없기 때문에 물류유통 시설의 확충을 위한 사회간접자본의 구축을 서둘러 시행하여야 할 것이다.으로 처리한 Machine oil, Phenthoate EC 및 Trichlorfon WP는 비교적 약효가 낮았다.>$^{\circ}$E/$\leq$30$^{\circ}$NW 단열군이 연구지역 내에서 지하수 유동성이 가장 높은 단열군으로 추정된다. 이러한 사실은 3개 시추공을 대상으로 실시한 시추공 내 물리검층과 정압주입시험에서도 확인된다.. It was resulted from increase of weight of single cocoon. "Manta"2.5ppm produced 22.2kg of cocoon. It is equal to 9%

• 대한교통학회지
• /
• 제20권4호
• /
• pp.63-72
• /
• 2002

본 연구는 교통수요 추정에 관련된 사회경제적 통계자료와 여러 기관에서 발표된 Data를 바탕으로 TCS OD의 통행특성을 반영한 전국 교통수요를 추정하였다. 추정된 교통수요의 신뢰성을 검증하기 위해 전국을 8개권역으로 구분하여 권역별로 통행량을 비교하였으며, 통계적인 오차분석 기법을 이용하여 관측교통량과 배정교통량의 차이를 비교하였다. 그리고 추정된 교통수요의 통행시간분포(TLFD)와 주요도시간 통행소요시간을 분석하여 2-D와 3-D기법으로 추정된 교통수요의 신뢰성을 검증하였다. 신뢰성분석 및 검증결과 본 연구에서의 상황하에서는 3-D기법이 2-D기법보다는 TCS OD의 통행특성 및 패턴을 잘 반영하는 것으로 분석되었지만, 3-D기법이 전적으로 우수하다라고 단언할 수는 없을 것 같다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.742-745
• /
• 2017

본 논문은 심장질환 도메인에 데이터 마이닝 기법을 적용한 연구로, 기존 환자의 정보에 대하여 K-최근접 이웃 알고리즘을 통해 결측 값을 대체하고, 대표적인 예측 분류기인 나이브 베이지안, 소포트 벡터 머신, 그리고 다층 퍼셉트론을 적용하여 각각 결과를 비교 및 분석한다. 본 연구의 실험은 K 최적화 과정을 포함하고 10-겹 교차 검증 방식으로 수행되었으며, 비교 및 분석은 정확도와 카파 통계치를 통해 판별한다.

• 대한교통학회지
• /
• 제17권4호
• /
• pp.33-44
• /
• 1999

LED(Light Emitting Diodes)는 반도체를 이용한 발광소자로서 동화상 광고물이나 가변정보표지판(VMS)등에 주로 활용되고 있으며 최근 외국의 경우 LED 기술을 교통신호등에 적용하여 시범설치 및 확대 적용 설치하여 운영 중에 있으며 국내에서는 산업체, 학계, 연구소 등에서 연구 개발 중에 있다. 본 연구는 현재 이러한 산 학 연의 노력에 의해 개발된 LED 교통신호등을 현장에 적용하기에 앞서서 실내실험과 현장실험을 통하여 에너지 절감효과 및 현장적용성을 검증하고 경제성 분석을 통한 타당성을 제시하는 데 목적이 있다. 연구 내용으로써 기존 전구식 신호등과 LED 신호등의 발광원리 및 특징 비교 분석, 실내실험을 통한 에너지 절감효과 검증, LED 보행자 신호등 현장적용성 평가, LED 신호등으로 서울시의 기존 신호등을 연차적으로 교체하는 경우에 대한 경제적 분석이 실시되었다. 실내실험을 통해 LED 신호등의 에너지 절감효과가 평균 76% 임을 검증하였고 보행자 신호등에 대한 현장 실험에서 설문응답자의 83.7%가 LED 신호등의 시인성이 우월하다고 나타나 현장적용성은 긍정적인 것으로 나타났다. LED 신호등에 대한 경제성 분석결과 자본회수기간은 6년으로 나타났으며 향후 기존 신호등의 고장 및 유지 보수 등에 의한 차량정체 비용, 교통사고 비용 및 소자기술 발전을 고려하면 이보다 단축될 것으로 판단된다. 향후 차량등에 대한 운전자들의 반응 및 장기적인 안정성 등에 대한 종합적인 실험이 추가적으로 이뤄져야 할 것이며 이를 바탕으로 하여 LED 신호등에 대한 규격서 제정 등 법 제도 측면이 이루어진 후 LED 국내 기술 수준 등을 총체적으로 고려하여 LED 교통신호등에 대한 보급방안이 강구되어야 할 것이다.

• 감성과학
• /
• 제26권1호
• /
• pp.33-42
• /
• 2023

기존의 연령별 얼굴정서 인식 비교 연구에서는 정서별로 연령 간에 어떤 차이가 있는지 밝혔다. 이에 Kim(2021) 연구에서는 개별 정서가 아닌 정서공간에서 표상된 정서를 연령 간 비교하였다는 점에서 의의가 있으나, 기술적(descriptive) 비교만 시행하였을 뿐, 통계적 유의미 검증을 하지 않았다는 한계가 있다. 본 연구에서는 표상 유사성 분석(representational similarity analysis) 방법을 통해 연령간 실제 데이터 및 정서 모델 유사성행렬을 직접적으로 비교하였다. 또한 개인차 다차원척도법(individual differences multidimensional scaling)을 통해 연령간 정서 차원에 대한 비중을 비교하였다. 그 결과 실제 데이터 비교에서 노년 집단은 청년 및 중년 집단과 가장 유사하지 않았으며, 쾌불쾌 차원이 포함된 정서 모델과의 유사성 비교에서도 가장 유사하지 않았다. 또한 노년 집단은 각성 차원에 대한 비중이 청년 및 중년 집단과 유사하지 않음이 발견되었다. 본 연구는 실제 데이터, 정서 모델, 그리고 정서 차원 비중이라는 세 가지 측정치에 대해 노년 집단과 청년 및 중년 집단과의 차이를 통계적으로 검증하였다는 점에서 의의가 있다.

• 기술혁신학회지
• /
• 제10권2호
• /
• pp.310-333
• /
• 2007

이 논문은 우리나라 주요 대학의 과학기술 분야의 연구개발 활동에 대한 상대적인 비교우위와 종합적인 특성화 정도를 살펴 볼 수 있는 지수들을 통해 정부의 연구개발비 수혜 규모, 수도권과 지방 소재여부, 국공립과 사립으로 구분한 경우 특성화의 정도에 대한 차이가 있을 것인가에 대한 가설을 검증하고 검증 결과에 대한 정책적 의미를 살펴본다. 정부의 재정지원 규모가 클수록 종합적인 특성화의 정도는 약화되는 것으로 분석되었다. 그러나 소재 지역의 구분은 특성화의 차별화에 영향을 주지 않는 것으로 밝혀졌다. 한편, 국공립 형태의 대학군이 종합적인 특성화가 상대적으로 심화되어 있는 것으로 분석되었다. 이 논문의 검증 결과가 주는 정책적 시사점은 추후정부의 특성화 정책 관련 세부추진 방향과 전략에 도움이 될 것으로 판단이 된다. 이를 위해서는 이 연구에서 제안하는 상대비교우위 및 종합적 특성화와 함께 개별 연구주체인 각 대학들의 전반적인 그리고 개별적인 연구개발 활동의 우수성에 대한 분석이 병행되어야 할 것으로 생각한다. 아울러 그동안 정부의 대학 특성화 정책추진 성과에 대한 종합적인 분석이 이루어져 정책에 대한 실효성이 검증이 되어야 한다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제11권9호
• /
• pp.289-304
• /
• 2022

스마트 IoT의 특징인 분산성 및 이동성에 기반한 안전 요구사항을 분석 및 검증하기 위한 프로세스 대수 및 논리가 요구된다. 하지만 기존의 프로세스 대수 및 논리는 분산성 및 이동성에 대한 표현이 제한적이므로 스마트 IoT의 요구사항 분석 및 검증이 비직관적이다. 이러한 한계를 극복하기 위해, 본 논문에서는 GTS-VL(Geo-Temporal Space-Visual Logic)을 제시한다. GTS-VL은 GTS에서 표현된 블록 간의 관계를 다루는 1차술어논리이며, GTS는 프로세스 대수인 dTP-Calculus를 사용하여 명세한 시스템의 동작 과정을 2차원 시공간에서 표현한 그래프이다. 본 논문에서 사용한 SAVE 도구는 ADOxx Meta-modeling Platform을 통해 개발되었으며, SAVE를 사용하여 PBC(Producer-Buffer-Consumer) 예제의 안전 요구사항을 분석 및 검증하고 문자 및 시각화 기반 검증 방법을 비교 분석하여 장점 및 실용성을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• 한국컴퓨터산업학회논문지
• /
• 제9권5호
• /
• pp.207-216
• /
• 2008

초장력 스프레드시트 기능의 엑셀 프로그램에서 자료를 통계적으로 분석하는 데이터분석 메뉴는 엑셀 2000 이후 수정 보완 되고 있지 않으며 그 활용도도 매우 저조하다. 본 연구에서는 엑셀 통계분석 메뉴 활용도 향상을 위하여 사용빈도가 높은 분산분석의 엑셀 메뉴 실행 결과와 계산식에 의한 이론 결과를 비교하고 고차원 분석 매크로를 개발하였다. 실자료를 엑셀 라이터분석 메뉴를 적용하여 얻은 결과와 계산식에 의한 이론 결과는 요인이 한개인 일원배치법이나 두개인 이원배치 법에서 모두 정확히 일치하였다. 즉 엑셀 데이터분석 메뉴의 신뢰성이 검증되었다. 고차원적인 분산분석법인 블록화된 분산분석 결과를 제공하는 매크로 및 일원분산분석법에서 평균 차이 있는 그룹들을 찾아내는 다중비교 분석방법 매크로를 엑셀 함수를 이용하여 개발하였다.