• 정보과학회 논문지
• /
• 제44권9호
• /
• pp.893-907
• /
• 2017

안전 필수 시스템에서 소프트웨어 결함은 심각한 결과를 초래하므로, 개발의 첫 단계인 요구사항 명세부터 안전성을 고려해야한다. 자연어로 작성된 요구사항은 여러 이해관계자들에게서 도출되어 모호함과 부정확성에 의한 결함을 갖고 있어도 검출하기 어렵다. 이러한 문제를 해결하기 위해 표준문안과 GSN 모델을 이용한 요구사항 명세방법을 제안한다. 표준문안은 선 정의된 서식에 맞춰 요구사항을 작성하는 준-정형 언어로, 표준문안에 맞춰 요구사항을 작성하면 표현의 일관성을 갖기 때문에 이해관계자들이 요구사항이 의미하는 바에 대한 모호함을 방지하여 요구사항의 정확한 의미를 정의하는데 도움이 된다. GSN은 시스템이 안전하다는 것을 관련기관에 증명하기 위한 Safety Case 작성에서 적합성을 인정받고 있는 표기법으로 기능목표, Safety Evidence 등을 표현한다. 본 연구에서는 안전 필수 시스템의 요구사항을 명세하기에 적합하도록 설계된 표준문안과 GSN 모델을 이용하여 요구사항 명세단계에서부터 결함을 쉽게 식별하고, Safety Evidence와의 연결을 통해 안전적합성을 증명할 수 있다. 또한 이 과정에서 발견된 요구사항의 결함을 수정하여 안전성 있는 소프트웨어를 개발할 수 있다.

• 한국게임학회 논문지
• /
• 제11권4호
• /
• pp.15-26
• /
• 2011

게임 레벨 디자인은 재미있는 게임 플레이를 위하여 매우 중요한 게임 제작 요소 중의 하나이며, 게임의 플레이가 이루어지는 공간의 구성 및 해당 맵의 제작, 세부적인 장치, 객체와 물체의 설정 및 배치, 배경 설정 및 이벤트 연출 등을 설계하는 과정이다. 게임 맵 디자인 과정은 다수의 3D 객체를 공간 속에 배치하고, 지속적인 평가, 수정 및 보완 과정을 통하여 게임 공간의 성능을 개선하여야 하므로, 그 과정에서 비용과 시간을 많이 사용하게 된다. 하지만 기존의 게임 제작 환경에서는 여러 개발자들이 공동으로 작업을 하게 되므로, 게임 공간 속의 객체 및 작업들에 대한 동시성 제어가 어려워서, 전반적인 작업의 일관성이 유지가 되지 못하는 문제가 발생하고 있으며, 또한 공동 편집 과정이 복잡해지면 공동 작업의 품질이 하락하는 문제가 발생하고 있다. 본 논문에서는 이러한 문제를 해결하기 위해 게임 맵 디자인을 위한 협업 가상 환경에서의 동시성 제어 및 공동 편집 방법을 제안한다. 제안된 시스템은 계층 구조 기반의 객체들을 사용하고, 각 객체별 동시성 제어 기법을 제공한다. 또한 공동 편집 작업을 원활하게 수행하기에 필요한 소유권 관리 기반 Undo/Redo 메커니즘을 제공한다. 실험 결과 본 논문에서 제안한 시스템을 사용 하는 경우에 충돌의 횟수가 감소하며, 다른 개발자들이 작업을 취소하여 재수정을 하는 등의 불필요한 작업 횟수가 감소하는 결과를 가져 왔다.

• 한국지반환경공학회 논문집
• /
• 제15권9호
• /
• pp.77-85
• /
• 2014

현재 소방방재청에서는 국가재난관리시스템(NDMS, National Disaster Management System)을 운영 중에 있으나 급경사지정보의 입력 및 관리를 위한 기능이 단순한 DB 입력 관리 기능으로 존재하고 있어 신속하고 체계적인 급경사지 관리에 어려움이 존재하고 있는 실정이다. 최근 빈번한 국지성 집중호우에 의한 우면산 산사태, 춘천 산사태 등의 대규모 산사태가 증가하고 있어 급경사지의 위험도가 급증하고 있으며, 국가 재해 재난이 빠른 추세로 증가하고 있다. 이에 대한 선제적 대응 및 관리의 고도화를 위해서는 급경사지 방재 및 관리를 위한 GIS 기반의 급경사지정보 통합관리시스템의 개발이 필요하다. 본 연구에서는 급경사지 재해 재난에 대한 선제적 대응 및 안전한 관리를 위한 국가 차원의 GIS 기술 기반의 급경사지정보 통합관리시스템을 개발하였다. 급경사지정보 통합관리시스템은 급경사지 일제조사서기반의 지표면정보와 지하공간정보의 입력 및 출력 DB를 설계 구축하여 개발하였다. 본 연구를 통하여 개발한 급경사지정보 통합관리시스템은 지표면정보 입력모듈, 급경사지 주변 지하공간정보 DB 실시간 연계 입력모듈, V-World 배경지도 기반의 급경사지 검색 분석 관리를 위한 GIS 모듈, 급경사지정보 통합정보시스템 사용자 관리모듈, 급경사지정보 활용 연계시스템과의 실시간 연계 인터페이스모듈로 구성된다. 또한 개발한 급경사지정보 통합관리시스템에 대하여 자료저장률, 동시접속 시 시스템 안정성, 처리속도의 일관성에 대한 안정성테스트를 수행하여 급경사지정보 통합관리시스템의 연결성을 확보하였다.

• 한국가금학회지
• /
• 제25권4호
• /
• pp.185-193
• /
• 1998

본 연구는 황기의 사료내 첨가·급여가 육계의 항병성, 생산성 및 계육의 품질에 미치는 영향을 구명하고자 시행하였다. 기초사료는 전기 3주와 후기 2주에 각각 21과 19％ 수준의 조단백질이 함유되었다. 시험설계는 황기의 첨가수준을 0, 0.25, 0.50, 1.00％로 4개의 처리구로 하였고, 처리구당 4반복으로 하였으며, 반복당 50수씩 800수를 이용하였다. 증체량, 사료섭취량, 사료요구율은 5주동안 매주 측정하였고, 시험 종료시에 혈액의 성상 및 계육의 지방과 단백질함량을 조사하였다. 황기 첨가구는 대조구에 비하여 성장에 영향을 미치지 못하였으나, 사료섭취량은 대조구에 비하여 현저하게 감소하였고(P<0.05), 사료효율은 0.25％첨가구에서 개선되는 경향을 보였다. 육계용 사료에 황기의 첨가수준이 증가함에 따라서 혈청 콜레스테롤과 AST는 감소하였으며, 헤마토크릿, 지방, 인과 BUN의 수준은 0.25％첨가구에서 감소하였다. 혈청 GH와 IGF-1은 0.50과 1.00％ 황기 급여구에서 대조구에 비하여 낮았다. 0.25와 0.50％황기 첨가구에서 가슴육의 지방과 단백질함량은 대조구에 비하여 증가하는 경향을 보였으나, 0.50％이상의 수준에서는 일관성이 없었다. 본 시험의 결과 육계용 사료에 황기의 적정 첨가수준은 0.25％이하에서 생산성과 항병성 및 계육의 품질을 개선할 수 있을 것으로 사료된다.

• 기술혁신학회지
• /
• 제13권1호
• /
• pp.68-98
• /
• 2010

본 연구는 2004년부터 5년 동안 우리 경제의 성장잠재력을 확충하기 위한 일환으로 범부처적으로 추진된 차세대 성장동력사업의 추진성과를 분석하는 것을 목적으로 한다. 본 연구는 사업목적 및 설계, 전략적 기획, 사업운영관리, 사업성과, 범부처 협력 및 조정 등 5개 지표를 활용하여 성과분석을 수행하였다. 본 연구의 결과, 첫째, 사업목적 및 설계에서는 동 사업의 추진목적과 당위성은 인정되었지만, 사업추진체계와 재정자원이 부처별로 분산 추진됨에 따라 일관된 사업추진 리더십이 미흡하였다. 둘째, 전략적 기획에서는 사업목표 및 기술개발전략은 사업 초기에 수립되었지만, 기술적 목표에 치중되었고, 기술공급자 위주로 추진되었다. 셋째, 사업운영관리에서는 사업단장이 과제기획에서 제도개선에 이르기까지 총괄 관리하도록 결정되었으나, 이를 실행할 수 있는 부처 간의 협조체제가 미흡하였다. 넷째, 사업성과에서는 짧은 사업기간에도 불구하고 기술적 목표는 달성되었지만, 경제적 목표가 명확히 제시되지 않아 사업성과를 일관성 있게 파악하기에는 어려움이 있었다. 다섯째, 범부처 협력 및 조정에서는 동 사업을 추진하기 위한 조정기구는 과학기술기본법시행령에 법적근거를 두고 시행하였지만, 이를 실질적으로 운영할 수 있는 세부 규정이나 지침을 제정하지 못했다. 향후 차세대 성장동력사업과 유사한 범부처 연구개발사업을 기획하여 효율적으로 추진하기 위해서는 부처간 공동기획과 일원화된 사업설계, 사업목표와 예산배분체계의 명확화, 범부처적 사업운영과 평가 체계의 구축, 연구개발과 표준화 연계전략, 범부처 공동운영 규정의 제정 등이 필요하다.

• 한국강구조학회 논문집
• /
• 제18권4호
• /
• pp.481-490
• /
• 2006

지진의 피해를 입은 후 건물의 실제 성능은 많은 요인에 영향을 받는다. 신축 구조물이나 기존 구조물의 지진 성능 예측은 복잡하다. 그 이유는 고려되어져야 하는 많은 요소와 지진 반응의 복잡성뿐만 아니라 이러한 예측과 관련된 타고난 불확실성 과 가변성 때문이다. 본 연구의 목적은 구조물의 능력 평가와 반응 요구에서의 불확실성과 가변성의 적절한 취급과 결합이다. 일관된 방법으로 demand와 capacity에서의 불확실성과 가변성을 설명하기 위하여 신뢰성 이론에 기초한 성능평가의 접근 방법이 초고층 철골 건축물의 내진성능평가 법으로 채택되어져 오고 있다. 신뢰성 이론에 근거한 내진성능평가에 대한 기본 체계와 통계적 연구에 대한 핵심 요소를 요약하였다. dema nd 요소와 capacity 요소의 통계적인 분석을 위하여 국내 기준에 맞는 전형적인 초고층 철골 건축물을 36개 설계하였다. global drift capacity 산정을 위해 철골 모멘트 골조 건물을 증분동해석 하였다.

• 한국해양환경ㆍ에너지학회지
• /
• 제16권3호
• /
• pp.171-180
• /
• 2013

스티로폼 부자는 한국의 해변 쓰레기 중 가장 높은 발생 빈도를 보이는 쓰레기 중의 하나이지만 정부 정책은 소극적으로 이루어져왔다. 이 문제를 해결하기 위한 정책을 개발할 목적으로 2010년부터 2012년까지 연차별로 워크숍을 개최하였다. 문제의 탐색과 공유, 브레인스토밍 과정을 통해 정책 대안을 도출하고, 계층분석과정을 통해 정책 대안들의 우선순위를 평가하였다. 우선순위 평가에는 총 56명이 참가하였고 일관성 기준을 통과한 40명의 의견을 분석하였다. 16개 정책 대안들 중 지자체 공공근로 등을 활용한 해안정화 활동이 가장 높은 점수를 받았으며, 대체 부자 및 양식법 개발 등 조사 연구 사업이 다른 사업들보다 높은 점수를 받았다. 정책 대안을 평가하는 기준에 대해서는 실행가능성, 효과성, 효율성, 수용가능성의 순서로 중요하게 평가되었다. 합리적인 정책 설계 절차에 따라 다양한 이해관계자들이 참여함으로써 스티로폼 해양쓰레기 문제에 대해 보다 현실성 있는 정책 대안들이 발굴될 수 있었다.

• 기술혁신학회지
• /
• 제2권2호
• /
• pp.219-232
• /
• 1999

연구개발 지원산업은 연구개발 활동을 직·간접적으로 지원하는 산업을 의미한다. 이러한 산업에 대한 개념화는 연구개발 활동의 전문화(professionalization), 분업화(division of labor)가 진행되고 있음을 의미하는 동시에 연구개발체제의 유연성 제고 및 고도화, 효율화가 이루어지고 있음을 나타내고 있다. 우리의 경우 (과학기술혁신을 위한 특별법) 제 15조 등을 통하여 연구개발 지원사업에 대한 특별지원제도의 시행을 명시하고 있으나 현재까지 연구개발 지원사업자를 지정·육성하기 위한 기본현황 파악이나 분석이 이루어지지 않은 실정이다. 본고는 이러한 수요를 반영하여 국내에서의 연구개발 지원산업에 대한 수요를 중심으로 실태를 파악 ·분석하는 동시에 산업지원 육성방안을 제시하고 있다. 국내 연구개발 지원산업의 규모를 추정해 보면 97년 현재 약 3,000억원에서 4,000억원의 규모로 나타나며, 이중 기술정보서비스업이 약 27.0%, 연구장비 및 시험 ·평가 ·검색 ·분석업이 약 38.4%, 연구개발 설계·자문업 등 기타사업이 34.6% 로 나타나고 있다. 연구개발지원 기능은 시험·검사 기능과 기술정보제공 기능이 대부분을 차지하고 있고, 전자의 경우는 내부처리의 비중이 높고 후자의 경우 외부의 전문기관을 이용하는 비중이 높게 나타나고 있다. 특히 기업이 연구개발활동 수행시에 필요한 지원기능을 외부에 위탁할 경우에 느끼는 애로사항은 첫째, 외부 전문위탁기관의 부족 및 정보 미흡이 가장 크고, 둘째, 전문기관의 해외정보력·경쟁력 부족이 다음이며, 공공기관의 지원기능이 미흡하다는 애로사항에 대한 비중이 상대적으로 낮게 나타나고 있다. 연구개발 지원산업을 특별지원·육성하기 위한 기본관점은 특별법의 시행령을 구체적으로 실행하기 위한 시행계획의 수립과 연구개발 지원산업의 육성 시책의 추진 절차의 결정, 사업자 선정, 지원 사항 등으로 제시될 수 있다. 먼저, 기업 연구개발활동의 고도화·효율화를 위해 연구개발 및 기술개량에 필요한 업무 중 기술정보서비스와 연구시험·평가·검사·분석 그리고 중소기업 기술집약화를 지원하는 사업 등을 연구개발 지원산업으로 범위를 정할 필요성이 있다. 다음으로 연구개발 지원사업자를 별도로 선정·인정하는 방식으로 지원해야 할 필요성이 있다. 기존의 산업 지원방식으로는 연구개발 지원기능이 주된 활동으로 인정받을 수 없으므로 국내 연구개발 지원기능의 발전에 한계가 있다. 따라서 취약한 여건을 감안하여 연구개발 지원산업을 육성하지 않게 되면, 각 분야별로 민간사업자의 참여가 거의 이루어지지 않거나, 참여해도 연구개발 지원 기능의 발전보다는 기존의 사업이 주가 될 가능성이 크다. 연구개발 지원 사업자의 지정 지원방식과는 별도로 이루어질 수 있는 지원활동에 대한 지원은 기업회계처리상의 문제와 일관성이 있는 시책추진 및 효과를 기대하기 어렵기 때문에 사전에 동산업의 참여 자격·능력을 갖춘 사업자에 대해서는 제한없이 참여할 수 있도록 Positive System으로 추진해야 할 것이다. 그리고 연구개발 지원사업자에 대한 지원내용을 조세·금융 등 직접적 지원과 타 제도와의 연계지원 그리고 정부구매 등 시장지원 등이 아울러 다양하게 추진될 필요가 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• 정보처리학회논문지B
• /
• 제11B권2호
• /
• pp.187-198
• /
• 2004

월드 와이드 웹(World-Wide Web)은 가장 커다란 분산된 정보저장소로서 계속하여 빠른 속도로 성장해왔다. 그러나 비록 웹이 빠른 속도로 성장하고 있다 할지라도, 웹의 정보를 읽고 이해하는 데는 본질적으로 한계가 있다. 웹 사용자 입장에서 보면 웹의 정보 폭발, 꾸준하게 변화하는 환경, 사용자 요구에 대한 이해 부족 둥으로 오히려 혼란을 겪을 수 있다. 웹의 이러한 환경에서 사용자의 순회패턴(traversal patterns)을 탐사하는 것은 시스템 설계나 정보서비스 제공 측면에서 중요한 문제이다. 순회패턴 탐사에 관한 기존의 연구들은 세션(sessions)에 나타나는 페이지들간의 연관성 정보를 충분히 활용하지 못한다. 본 논문에서는 세션에 나타나는 페이지들간의 연관성 정보를 활용하여 빈발 k-페이지집합을 탐사하고, 이를 기반으로 하여 추천 페이지집합을 생성함으로써 효율적인 웹 정보서비스를 제공할 수 있는 Web Page Recommend(WebPR) 알고리즘들을 제안한다. 제안한 WebPR 알고리즘은 웹 사이트를 방문한 사용자에게 추천 페이지집합을 포함하는 새로운 페이지뷰(pageview)를 제공함으로써 궁극적으로 찾고자하는 목표 페이지에 효과적으로 접근할 수 있도록 해준다. 기존 연구들과의 가장 큰 차이점은 페이지들간의 연관성 정보를 활용하는 방법들을 일관성 있게 고려하고 있다는 점과 가장 효율적인 트리모델을 제안한다는 점이다. 두개의 실제 웹로그(Weblog) 데이터에 대한 실험은 제안한 방법이 기존의 방법들보다 성능이 우수함을 보여준다.