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

MDA 기반 개발을 지원하는 도구를 사용하여 모델 변환을 수행하거나 또는 수동으로 모델을 변환하는 경우 두 모델간에 변환의 일관성 검증은 반드시 필요하다. 본 논문에서는 현재 개발 지원 도구에서 자동으로 수행되고 있는 MDA 핵심 개념인 모델 변환 가운데 한 가지인 PIM에서 PSM으로의 변환이 일관성을 유지하면서 정확하게 수행되었는가를 검증할 수 있는 기준으로 구성 요소간의 추적성과 데이터 타입변환의 정확성을 도출하였다. 이에 따라 모델간의 일관성을 검증하기 위한 규칙을 추적성과 정확성으로 구분하여 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
• /
• pp.22-24
• /
• 2001

내장형 시스템은 산업 전반에 다양한 방법으로 응용되고 있다. 하지만 항공 분야나 원자력 분야의 내장형 시스템은 안정성과 신뢰성이 절대적으로 보장되어야 하는 시스템으로 피 설계부터 구현에 이르기까지 다양한 방법으로 검사되고 검증되어야 한다. 본 논문에서는 내장형 시스템의 통합설계를 위한 기반으로 하드웨어 설계 언어인 Verilog를 입력 언어로 받아들여 이를 정형검증 도구인 VIS를 통하여 검증한 다음 이를 바로 구현하는 방법론 및 예를 보이고자 한다. 이러한 방법을 통해 내장형 시스템의 안정성과 신뢰성의 수준을 향상시키고자 한다.

• 한국벤처창업학회:학술대회논문집
• /
• 한국벤처창업학회 2023년도 추계학술대회
• /
• pp.97-100
• /
• 2023

스타트업은 우리 경제의 성장 동력으로 자리매김하고 있으며, 다양한 분야에서 스타트업이 탄생해 일부는 스케일업(scale-up)하여 유니콘 기업으로 발전하는 반면 일부는 데스밸리(Death Valley)를 넘지 못하고 실패한다. 스타트업이 창업 이후 성공적인 사업화를 통해 지속적인 성장을 이룰 수 있도록 공공과 민간부문에서 다양한 노력을 펼쳐 나가고 있으며, 창업자 보육에 필요한 서비스를 종합적으로 제공하는 액셀러레이터가 스타트업 육성 모델로 주목받고 있다. 액셀러레이터에 대한 관심이 증가하는 것에 비례하여 액셀러레이팅 프로그램의 효과에 대한 연구도 최근 활발하게 이루어지고 있으며, 많은 연구에서 액셀러레이팅이 기업성과에 미치는 긍정적인 효과가 검증되고 있다. 액셀러레이팅 프로그램의 운용 주체와 내용이 다양하여 프로그램 효과 분석도 다각적인 시각에서 이루어질 필요가 있으며, 본 연구에서는 동일한 프로그램에 참여하였음에도 불구하고 기업성과에 차이가 발생하는 것이 참여자의 특성에 기인하는지를 분석하고자 한다. 이를 위해 액셀러레이팅 프로그램에 참여하는 스타트업 CEO의 특성에 초점을 맞춘 연구모형을 설정하였다. 액셀러레이팅 프로그램에 대한 만족도를 독립변수로, 기업성과인 재무적성과와 비재무적성과를 종속변수로 설정하고, 자기효능감, 낙관주의, 희망, 회복탄력성인 긍정심리자본을 매개변수로 설정하여 CEO의 긍정심리자본 정도에 따라 액셀러레이팅 프로그램의 효과에 차이가 있는지 실증적 분석을 통해 검증하고자 한다. 연구 대상은 중소기업 지원 정책금융기관인 신용보증기금과 중소기업은행의 액셀러레이팅 프로그램인 스타트업 네스트(Start-up NEST)와 IBK창공에 참여한 경험이 있는 스타트업 CEO를 대상으로 하였다.

• 에너지공학
• /
• 제29권1호
• /
• pp.25-33
• /
• 2020

최근 제로에너지건축물 의무화 정책이 추진됨에 따라 Zero Energy School로의 전환을 위한 정책/제도들이 추진되고 있으나 학교 건물에 대하여 에너지절감 활동결과 그 성과를 체계적으로 분석, 검증할 수 있는 방법이 제시되어 있지 않는 상황이다. 에너지성과 검증방법론 연구를 위하여 관련 유사표준들의 현황을 참고하였으며, 그 외 방법론들의 사례 조사를 통해 현장에서 성과를 분석해 볼 수 있는 Tool에 대한 검토와 더불어 국내 학교 현장방문을 통한 에너지관리 실태 및 특성을 분석하였다. 본 논문에서는 신규, 기존학교 건물에서의 냉난방설비, 조명, 단열 강화, 운영행태 변경, 운전방법 개선 등 각종 에너지절약사업의 수행과 에너지절약사업 이행 전·후의 에너지절감량을 검증할 수 있는 M&V 방법 등에 대하여 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.477-480
• /
• 2001

최근 객체지향 설계에 UML을 많이 사용하게 되면서 개발자들은 작성된 UML 다이아그램들이 일관성이 있고 완전한가를 검증할 필요성이 대두되기 시작하였다. 본 논문에서는 [1]에서 제공된 다이아그램의 일관성과 완전성 검증 규칙을 사용하여 작성된 UML 다이아그램의 일관성과 완전성을 검증하기 위한 검증 시스템을 설계하였다. 검증 시스템의 설계에는 UML 다이아그램을 활용하였으며 프레임을 이용하여 검증 시스템의 다이아그램에 대한 내부표현을 제시하였다.

• 서비스연구
• /
• 제6권4호
• /
• pp.87-100
• /
• 2016

본 연구에서 기업지원인식이 업무자율성과 혁신적 생산활동의 관계에서 매개효과가 존재하는 동시에 조절효과도 존재하는 것을 밝히려고 하는데 목적을 두고 있다. 즉, 업무자율성, 혁신적 생산활동, 기업성과 간의 관계에서 기업지원인식이 조절된 매개효과가 존재함을 검정하였다. 가설을 검증하기 위해 중국 천진시에 위치한 물류업체 대상으로 실시하였다. 300부 배포하는 설문 중에서 213부를 회수하여 198부 유효한 답변을 얻었다. 본 연구에서 제안된 가설을 검증하기 위해 SPSS Macro(Preacher, Curran,& Bauer, 2006)를 이용하여 분석을 실시하였는데 연구결과는 다음과 같다. 첫째, 기업지원인식이 업무자율성과 혁신적 생산활동의 관계에서 조절효과가 존재하는 것을 검증하였다. 둘째, 혁신적 생산활동이 업무자율성과 혁신적 생산활동의 결과변수로 여긴 기업성과의 관계에서 매개효과가 존재하는 것을 검증하였다다. 셋째, 이러한 매개효과와 조절효과를 결합한 조절된 매개효과를 검증하였다. 즉, 매개효과가 기업지원 인식이라는 조절변수의 크기에 따라 달라지는지를 검증하였다.

• 한국항만경제학회지
• /
• 제23권2호
• /
• pp.109-120
• /
• 2007

본 논문에서는 항만효율성 측정 시 문제가 되었던 두 가지 문제점(첫째, 각기 상이한 기본단위를 갖는 투입변수와 산출변수의 정규화문제, 둘째, DEA분석의 기본가정인 비음수조건에 벗어난 자료, 즉, 음수를 갖는 투입-산출자료의 변환불변성)를 해결하기 위해서 국내 26개항만의 자료를 이용하여 실증분석을 한 후에 검증을 함으로써 항만효율성 측정방법을 부분적으로 확장시켰다. 본 논문의 실증분석의 핵심적인 결과는 다음과 같다. 첫째, 항만효율성 측정 시 사용되는 자료의 정규성과 변환불변성은 실증분석 결과 분명하게 있는 것으로 검증되었다. 둘째, 항만효율성 측정 시 사용되는 자료가 마이너스(-)인 경우에 가장 큰 음수보다 더 큰 양수를 더해 주는 이른바 자료의 변환을 검증하는 변환불변성은 투입지향-산출지향 BCC 모형에서 확인되었다. 위와 같은 실증분석 결과는 다음과 같은 정책적인 함의를 갖고 있다. 즉, 효율성 측정시 사용되는 자료의 정규성과 변환불변성이 실증적으로 검증되었으므로, 국내 항만의 정책입안가들은 항만효율성 측정 시 이용되는 자료의 정규성과 변환불변성과 같은 사항을 고려하여 보다 세부적인 항만통계자료를 수집 정리 공표하는 것이 매우 필요하다. 예를 들면 항만사고와 같은 통계도 해역별이 아닌 항만별로 세부적으로 통계를 발행하도록 관련된 정책적인 지원이 필요하다.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.483-490
• /
• 2006

본 연구에서는 조직 구성원의 협업을 위하여 도입되는 그룹지원시스템(group support system; GSS)를 대상으로 GSS의 사용에 미치는 영향과 GSS의 사용으로 인한 개인의 성과의 관계에 대한 연구를 실시하였다. 본 연구를 위해 개인의 기술수용 요인에 대한 연구에서 보편적으로 널리 사용되어 온 기술수용모델(technology acceptance model; TAM)과 사용자의 과업과의 연관성을 고려한 과학기술적합(task-technology fit; TTF) 개념, 그리고 적응구조화이론(adaptive structuration theory; AST)을 통합하여 그룹 구성원들이 GSS의 도입의도에 맞게 사용하는 것이 개인과 조직의 성과를 향상시키는지 검증하였다. 연구결과, 높은 TTF는 사용자들이 GSS에 대하여 지각하는 유용성과 용이성에 영향을 미친다는 것을 검증하였다. 또한, TTF가 사용자들의 적절한 사용을 이끌고 있음을 검증하여 TTF 중심의 연구와 AST의 적절한 사용(faithfulness on appropriation; FOA)을 중심으로 하는 두 연구에 대한 통합 모델을 제시하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.477-480
• /
• 2002

본 연구는 UML로 작성된 객체지향 다이어그램의 일관성과 정착성을 검증하기 위한 메타모델에 관한 연구이다. 일관성이란 하나의 요구사항으로 표현된 여러 가지 UML 다이어그램이 통일된 의미로 표현되었는가를 나타내는 성질이고, 정확성은 UML로 작성한 다이어그램이 UML의 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 이러한 일관성과 정확성을 검증하기 위해서는 각 다이어그램의 표준모델과 다이어그램간의 관계를 파악할 필요가 있으며 메타모델이 다이어그램간의 관계와 다이어그램 자체의 표준모델을 적절하게 표현하여 주므로 메타모델을 구성하는 작업이 필요하다. 본 연구에서는 기존의 메타모델에 관한 연구를 분석하여 새로운 형태의 구성요소와 관계로 표현된 메타모델을 제시하고 일관성과 정확성을 검증하기 위한 구성요소를 도출한다.

• 벤처창업연구
• /
• 제10권4호
• /
• pp.67-80
• /
• 2015

최근 우리나라는 창업과 관련된 육성정책이 다른 정책에 비해 우선시 되고 있지만 이를 뒷받침할 수 있는 국내 창업연구는 극히 부족하며 제한적인 실정이다. 연구 내용도 창업자의 개인적인 역량이나 기업가정신에 관한 연구가 주를 이루고 있으며, 연구결과도 명확히 검증되지 않고 있다. 이에 본 연구는 기존 연구주제와 다르게 창업자의 노력에 따라 달라질 수 있는 창업 준비 수준의 변수를 중심으로 창업 준비성과 경영성과 사이의 관계에 정부지원 정책의 효율성을 검증하기 위한 목적으로 첫째, 창업 준비성과 재무적성과 사이의 관계, 둘째, 창업 준비성과 비재무적성과 사이의 관계, 셋째, 창업 준비성과 경영성과 사이의 창업 준비 기간의 상호작용 효과를 분석하고 체계적인 창업지원 정책제언을 통해 창업실패의 사회적 비용을 줄이고자 한다. 연구를 위해 창업진흥원의 실태조사 자료 중 업력이 5년 미만의 창업초기 기업 400개를 선정하였으며 통계프로그램 SPSS 18.0을 이용하여 통계처리를 하였다. 자료의 특성 정리를 위해 빈도분석, 기술통계를 시행하였고 가설 검증을 위하여 창업 준비성을 측정하는 하위요인으로는 창업교육시간, 창업수혜금액, 배태조직경력을 독립변수로 경영성과를 측정하는 하위요인으로는 재무적 성과와 비재무적성과를 종속변수로 사용하였다, 상호작용 효과를 검증하기 위하여 창업 준비기간을 조절변수로 선정하여 위계적 회귀분석을 실시하였다. 분석결과 독립변수인 창업수혜금액은 재무적 성과와 비재무적성과에 정(+)의 영향을 미치는 것으로 검증되었다. 창업교육시간과 배태조직경력이 비재무적성과에 미치는 영향이 창업교육시간은 정(+)의 영향을 배태조직경력은 부(-)의 영향을 미치는 것을 알 수 있었으며, 재무적 성과에는 유의하지 않은 것을 검증하였다. 또한 창업 준비기간의 상호작용은 창업수혜금액과 비재무적성과 사이에서만 정(+)의 영향이 있고, 창업교육시간, 배태조직경력과 비재무적성과와 재무적 성과 사이에 상호작용은 유의하지 않은 것을 검증하였다. 연구결과를 통해 취업난 해소를 위한 창업정책 입안자들에게는 창업초기기업의 경영성과 향상을 위한 지원방안을 창업 준비성 수준에 따라 맞춤형 지원정책을 수립하고, 창업지원사업의 실효성을 위해서는 정책의 수립과 운용에 있어 양적인 증가보다는 개별 지원 사업들에 대한 구조적인 문제를 점검하고 질적 수준 향상을 위한 개선방안 마련 및 청년 예비 CEO들에게는 창업이 우선인지 아니면 창업을 위한 철저한 준비가 우선인지 방향을 제시할 수 있다는 점에서 연구의 의미가 있다.