• 논리연구
• /
• 제20권2호
• /
• pp.241-271
• /
• 2017

양진주의는 참인 모순이 존재한다는 입장이다. 필자는 이 글에서 괴델 정리가 양진주의의 근거라는 프리스트의 논변이 설득력이 없음을 논할 것이다. 이는 괴델 증명이 우리에게 주는 교훈은 임의의 충분히 강한 산수에 관한 이론이 완전하면서 일관적일 수 없다는 것이기 때문이다. 다음으로 필자는 프리스트의 비일관적이고 완전한 산수에서 모순이 도출될 수 있음을 설명할 것이다. 그리고 괴델 문장이 비일관적이고 완전한 산수이론에 적용되어 양진주의에 관한 대안논변을 제시할 수 있음을 소개하고 이 경우에는 순환성의 문제가 있음을 논할 것이다. 요약해서, 필자는 괴델 정리 및 그와 관련된 정리는 완전한 이론들과 일관적인 이론들 간의 관계를 보여줄 뿐임을 주장할 것이다. 괴델 문장의 적용을 통해 도출된 모순이 중간값과 같은 참인 문장의 값을 지닐 수 있는 것 역시 산수에 관한 비일관 모형에서일 뿐이다. 비일관성이나 완전성에 관한 가정을 하지 않는다면, 괴델 문장의 적용이 참인 모순을 이끌어 낼 수 없으며 그렇기에 괴델 정리 및 그와 관련된 정리는 양진주의의 근거가 될 수 없다.

• 지역연구
• /
• 제33권3호
• /
• pp.31-47
• /
• 2017

본 연구의 목적은 신혼부부 가구가 주거경제적 측면에서 부모로부터 독립하는지 여부를 실증적으로 증명하는 데 그 목적이 있다. 본 연구에서는 인구학적, 사회경제적, 주택 특성 및 주택 정책 변수를 활용하여 주거 점유 시 부모로부터의 지원 여부와 생활비 지원 여부로 구분하여 분석을 수행하였다. 아울러 본 연구에서는 주택시장의 공간적 이질성을 고려하여 수도권과 비수도권으로 구분하여 연구를 진행하였다. 본 연구는 종속변수에 미치는 요인을 규명하기 위해 이항 로짓모형을 적용하였으며, 신혼부부 가구의 다양한 특성을 반영할 수 있는 2015년도 신혼부부 가구패널조사 자료를 활용하였다. 분석결과, 수도권과 비수도권 모두 높은 주택가격과 교통 접근성 선호는 주거 점유 시 부모로부터 지원을 받는 것에 정(+)의 영향을 받는 것으로 드러났다. 반대로 대출상품의 활용은 지원에 부(-)의 상관관계를 보이는 것으로 드러났다. 생활비 지원은 주거지출 항목과 정(+)의 관련성이 존재하는 것으로 나타나 신혼부부 가구의 주거지출비 부담을 경감하는 것이 필요하다고 판단된다. 본 연구의 의의는 부모의 지원과 신혼부부 간의 주거경제적 연관성에 주목하여 분석을 수행하였다는 점과 이를 통해 신혼부부 가구의 주거독립을 위한 정책을 제안하였다는 데 있다.

• 생명과학회지
• /
• 제20권12호
• /
• pp.1743-1749
• /
• 2010

Edwardsiella tarda는 그람 음성의 장내세균과의 주요 어병세균으로 어류에 edwardsiellosis를 유발하는 전신감염성 병원체이다. 최근 병원성 세균의 외막 단백질들은 세균성 감염에 있어서 숙주와 반응하여 면역반응을 유도하는 것으로 여겨져 연구가 되고 있다. 일본의 연구팀은 어류에서 에드워드병의 원인체인 E. tarda의 37 kDa 단백질이 넙치에서 높은 항원성을 제시하는 것을 보고하였다. 또한 그 연구자들은 37 kDa 단백질의 N-말단 아미노산 서열이 GAPDH와 대응하는 것을 밝혔다. 본 연구에서는 다른 세균에서 알려진 N-말단 서열을 기반으로 primer를 제작하여 이에 상응하는 E. tarda DNA를 증폭하고 클로닝하였다. 이 DNA단편의 염기서열은 예상한 바와 같이 세균의 GAPDH유전자인 gapA와 높은 상동성이 있고, E. tarda GAPDH (etGAPDH)의 아미노산 서열은 다른 장내세균의 GAPDH와 70% 이상의 상동성을 보이는 것을 확인하였다. E. tarda의 외막단백질에 특이적으로 반응하는 항체를 이용하여 E. tarda의 GAPDH가 외막에 존재한다는 것을 증명하였고, gapA의 염기서열을 바탕으로하여 재조합 GAPDH를 과발현 시켰다. 과발현된 재조합단백질 GAPDH는 GAPDH 특이적인 항체를 제조하는데 사용되었고, 또한 넙치에 면역시켜 단일 단백질 백신으로서의 활용도를 모색하였다. 비록 재조합 GAPDH가 면역된 넙치에서 GAPDH에 특이적인 항체가 증가하였음에도 불구하고, E. tarda로 공격실험을 하였을 때 면역된 넙치의 생존율이 12.5%로 측정되어 면역된 그룹과 면역되지 않은 그룹간에 큰 차이가 없는 것이 확인되었다.

• 한국수자원학회논문집
• /
• 제42권6호
• /
• pp.465-480
• /
• 2009

본 연구에서는 다중회귀분석을 이용하여 산악효과를 야기하는 지형인자와 강수와의 관계를 파악하였다. 섬 전체가 산악지형인 제주도의 연평균강수량과 지수홍수법으로 산출한 확률강우량을 강수자료로 사용하여 산악효과를 야기하는 지형인자로 선정한 고도, 위 경도와 회귀모형을 구성하였다. 회귀분석 결과 연평균강수량과 고도와의 선형관계가 확률강우량에서도 동일하게 나타났으며, 고도이외에 위도, 경도를 각각 추가인자로 고려할 경우 강우량과 더욱 강한 상관성을 보였다. 또한, 고도와 위도, 경도를 모두 고려한 회귀모형을 이용한 지형공간분석 결과 제주도의 실제 강수특성과 마찬가지로 남동부로 편중된 강수형태를 보여 모형의 적합성을 증명하였다. 그러나 지속시간 및 재현기간과 무관하게 높은 고도에서 회귀식의 유효성이 감소하므로, 높은 고도에서의 추가적인 산악효과인자의 강수량에 대한 영향이 존재될 것으로 판단되므로 추후 연구가 필요하다.

• 경영정보학연구
• /
• 제12권3호
• /
• pp.89-116
• /
• 2010

세계적으로 소프트웨어 시장은 매우 빠르게 변화하고 있으며, 다양한 종류의 소프트웨어 중 오픈소스 소프트웨어(Open Source Software: OSS)는 소프트웨어 산업의 화두로 등장하고 있다. 지난 몇 년간 OSS 시장은 매년 26%씩 성장하여, 2011년에는 대략 58억 달러 규모의 시장으로 성장할 것이다. 신흥 소프트웨어 개발국인 우리나라의 경우 OSS의 원천기술 확보와 산업전반으로 OSS 확산을 통해 선진국과의 기술격차를 해소할 수 있는 대안으로 대두되고 있다. 2007년을 기점으로 OSS 시장이 성숙기 단계로 접어들고 있으면서 이 기술에 대해 이전에 존재하던 많은 장벽들이 하나씩 해결되고 있다. 하지만 국내의 OSS 사용은 아직까지 초보 단계로 OSS가 가지고 있는 여러 장점들을 기업들이 충분히 활용하지 못하고 있는 실정이다. 이러한 장벽들을 해결하기 위해 지금까지 OSS 활성화를 위한 정책 및 정성적 연구가 많이 이루어져왔다. 하지만, 정책적 연구의 결과가 현업에 있는 기업의 실정과는 맞지 않는 부분들이 많아 OSS에 대한 확산이 아직까지는 미비하다. 이는 곧 실제 사용자(기업) 관점에서 어떤 요소들이 OSS 수용으로 이끄는지, 기업들이 정부에 무엇을 원하는지에 대한 서로간의 이해가 미비해왔다고 할 수 있다. 이와 같이 OSS에 대한 기존연구의 한계점을 극복하기 위해 본 연구에서는 OSS 수용에 영향을 주는 조직의 내재적 요소로 조직필요성 요인(변혁적 리더쉽, 적응수행, 변화 준비성)과 기술필요성 요인(업무기술적합, 비용이점, 소프트웨어품질)을 제안하여 조직이 OSS에 가지는 태도와 행동 그리고 확산 과정을 사용자(기업) 관점에서 정립한 이론을 실증적으로 증명하였다. 또한 기업 관점에서 OSS 수용에 있어 조직필요성 요인과 OSS 수용 사이에서 정부지원의 역할에 대해 이론적 정립을 통해 이전 연구들과의 차별화를 두었다. 연구결과 조직필요성 요인과 기술필요성 요인의 비용이점과 소프트웨어 품질 모두 OSS 수용에 중요한 영향을 마치는 것으로 나타났으며, 정부지원의 조절효과 역시 기업 실무자들에게 OSS 수용에 있이 중요한 영향용 주는 것으로 나타났다. 본 연구를 통해 기존의 OSS 연구의 한계점을 극복하고, 나아가 국내 OSS 활성화를 위해 초석이 되는 이론적 근거를 마련할 수 있다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2009년도 학술대회
• /
• pp.1059-1063
• /
• 2009

모바일 폰의 메뉴 구조는 하이퍼텍스트 형태로 정보를 제공하며 링크의 연결로 페이지 정보를 전달하거나 하부 카테고리로 연결하는 역할을 한다. 모바일 폰 사용자는 메뉴 조작을 통해 기능을 실행하며, 이 과정에서 선형구조, 계층형 구조, 대화형 구조, 데이터베이스 구조, 혼합구조와 같은 다양한 형태를 경험하게 된다. 사용자는 모바일 폰의 다양한 기능을 사용하면서 추상적 개념의 공간 인지를 구체적인 공간으로 이해하려 한다. 즉 UI, GUI에서 제시하고 있는 Label이나 방향표시를 따라 상하좌우라는 공간적 개념으로 은유하여 이해하는 것이다. 하드키 단말의 경우는 상하좌우키를 이용하여 공간을 이해했다면 최근에는 터치 및 제스처 동작 인식이 가능한 폰이 등장하면서 좌우 flick, 상하 flick 등과 같은 구체적인 행동으로 디바이스 화면에서 공간이 이동하는 것으로 이해하고 있다. 본 논문에서 사용자의 공간 은유를 이해하기 위해 상위 depth로 이동하는 [이전] 키의 기능을 중심으로 살펴보고자 한다. 첫째, 기능을 수행하기 위해 순차적으로 진행하는 방법보다는 [취소]를 이용하여 depth를 이동하는 것이 사용자의 모바일 폰의 공간 은유 파악에 더욱 도움을 줄 수 있을 것이라고 예상되기 때문이다. 둘째, [이전], [취소]라는 Label이 가지고 있는 모호성 때문이다. 모바일 폰의 다양한 기능 중에서 [이전]는 전체 사용에 있어 아주 작은 요소에 불과하지만 사용자는 정해진 순서의 process에 따라 기능을 수행할 때와는 다르게 역 방향 Process를 사용하면서 모바일 폰의 구조를 이해하고 모바일 공간을 인지하는 중요한 요소로 사용될 수 있을 것이라고 예상된다. 본 논문에서는 이전으로 돌아가는 [이전]의 기능을 통해 사용자가 메뉴의 층위 구조 및 공간 인지에 영향을 미칠 수 있을 것이다라는 가설을 설정하여 이를 실험을 통해 증명하고자 한다. 실험을 위해 모바일 폰을 자주 사용하고 있는 20~30대 남녀 10명의 피험자에게 전화번호부, 앨범, 문자메시지의 목록화면과 상세보기 화면을 제시한 후 마지막 상세보기 화면에서 실험에서 제시하는 제시어를 보고 어느 화면으로 이동하게 될 것인지를 예상하는 질문을 하였으며, 그러한 이유에 대해서는 인터뷰를 통해 확인하였다. 이 실험을 통해 사용자의 모바일 폰 공간인지는 동일한 레벨의 단계 즉 상세보기의 경우는 수평의 관계라고 보고 있으며, 목록화면과 상세화면의 관계는 상하의 관계라고 이해하고 있다. 이러한 이유를 인터뷰를 통해 질문하였을 때, 상세화면에서 좌우 방향표시가 존재하기 때문이라는 응답이 높았으며, 상세보기 화면이 좌우라고 인식하면 목록화면은 상하의 관계로 이해하고 있다고 응답하였다. 즉 하나의 정해진 공간인지를 통해 다른 공간을 유추하여 생각하고 있다고 볼 수 있다. 또한 결과적으로 실제 단말에서 [이전] 기능을 상위 depth로 이동하도록 설계하였다면 [한단계위]라는 Label 또는 e번과 같은 상위의 개념을 포함한 아이콘을 사용한다면 혼란을 줄일 수 있는 방법으로 활용될 수 있을 것으로 예상된다. 현재 논문에서는 [이전]라는 기능으로만 사용자의 공간 개념을 예측할 수 있었지만, 터치스크린의 등장과 함께 플릭과 같은 다양한 제스처에 의한 인터렉션이 가능한 현 시점에서 추상적인 공간은 방향성을 가진 제스처에 의해 구체적인 물리적 공간으로 인식하는 경향이 더욱 뚜렷이 나타나고 있다. 이러한 시점에서 사용자의 공간인지에 도움을 줄 수 있는 Label과 방향성 표시는 더욱 절실히 요구되고 있는 시점이며, 이후 모바일 환경에서 사용자의 공간인지에 대한 구체적인 연구가 필요하리라고 예상된다.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2002년도 학술대회지
• /
• pp.300-305
• /
• 2002

건설프로젝트를 수행해 나감에 있어 과실과 무책임으로 인한 크고 작은 사고 및 손실은 건설참여자간에 다양한 유형의 분쟁을 야기하게 되는데, 상호간의 계약적 관계의 유무에 따라 계약당사자간의 분쟁과 비계약적 참여간의 분쟁으로 구분된다. 전통적으로 과실과 무책임에 따른 손실추궁은 상호간에 계약관계가 존재하는 것을 전제로 하였기 때문에 건설분쟁을 해결하기 위한 그동안의 접근방법도 주로 계약관계를 갖고 있는 당사자간의 분쟁에 관심이 맞추어져 왔다. 그러나 최근 제조업책임법의 사례 등에서 볼 수 있듯이 국내외적으로 비계약적 참여자간에도 과실이 증명될 경우 그에 따른 책임을 추궁하는 경향을 보이고 있다. 본 연구는 국내 건설 프로젝트에서 발생하는 직접적인 계약관계가 없는 비계약자간의 분쟁판례를 유형별로 분석하고, 설문조사를 통해 이러한 제3자적 관계에 의한 건설분쟁이 턴키제도 및 건설사업관리(CM)제도 등 건설발주방식 및 환경분쟁 등에 어떤 영향을 미치는 지를 고찰하여 건설참여 전문가 개개인의 전문가적 책임과 계약관계가 없는 제3자에 대한 책임의 중요성을 재인식함으로써 건설산업 참여자들의 분쟁위험을 최소화하고 건설산업의 신뢰도를 재고시키는 여건조성을 위한 기초적 연구자료로써 활용될 수 있을 것이다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제7권2호
• /
• pp.49-58
• /
• 2018

인증서는 사용자의 신원확인 및 위 변조 방지, 부인방지 등의 기능을 수행하여 사용자를 증명할 수 있는 수단이 된다. 대부분의 사람들이 인터넷뱅킹을 이용한 업무를 수행할 때 공인인증서를 사용하며, 인터넷뱅킹 외에도 각종 증명서 발급, 전자 결제 등에서도 신원을 입증하는 용도로 많이 사용되고 있다. 이때 발급받은 인증서는 디스크 상에 파일 형태로 존재하며, 만약 새로운 디바이스에서 인증서를 사용하기 위해서는 기존의 디바이스에서 발급받은 인증서를 복사해야 사용이 가능하다. 하지만 대부분의 인증서 복사 방법은 8~16자리의 인증번호를 입력하여 복사하는 방법이며, 이는 인증번호를 입력해야 되는 번거로움이 있고, 보안에 취약하다는 단점이 있다. 이러한 단점을 해결하기 위해 본 논문에서는 TCP와 BLE를 사용하는 다중 채널에서의 보안강화 인증서 복사 방법을 제안한다. 제안하는 방법은 1) BLE Advertising data를 이용하여 상호간에 인증 가능한 데이터를 공유하고, 2) ECC기반 전자서명 알고리즘을 통해 디바이스 인증 후 대칭키 알고리즘으로 인증서를 암호화하여 전달한다. 제안하는 방법을 모바일 환경에서 구현한 결과 기존방법의 보안취약영역인 스니핑 공격에 대한 방어가 가능하며, 무작위 대입 공격을 통한 복호화 시도 시 기존의 방법보다 약 $10^{41}$배 정도의 보안강도를 높일 수 있음을 보였다.

• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.763-772
• /
• 2003

디자인 패턴은 소프트웨어 생산성 향상을 위해 사용되는 효율적인 기술로써 인식되고 있다. 이러한 디자인 패턴은 소프트웨어 설계시 자주 발생되는 특정 상황에 대한 문제를 효과적으로 해결할 수 있는 방법을 제공한다. 현재까지 다양한 분야에 필요한 디자인 패턴들이 발견되고 이들의 활용성을 증명하는 연구가 진행되고 있다. 그러나 소프트웨어 개발에 이들 디자인 패턴을 효과적으로 적용시키기 위한 체계적인 접근방법에 대한 연구가 부족하다. 본 논문에서는 점진적 디자인 패턴 통합을 통한 패턴지향 소프트웨어 개발 방법을 제시한다. 이를 위해 먼저 디자인 패턴을 활용하는 개발 프로세스를 정의하고 이 프로세스에서 요구되는 점진적 디자인 패턴 통합기법 및 디자인 패턴 기반의 소프트웨어 설계관점을 보인다. 또한 소프트웨어 시스템에 존재하는 디자인 패턴의 효율적인 추적 및 관리방법을 제시한다. 이러한 과정은 피드백 프레임워크 시스템 설계를 통해 구체화된다. 소프트웨어 개발시 디자인 패턴을 이용한 체계적인 접근과 활용은 초기 개발 단계부터 디자인 경험과 기법들을 효과적으로 활용할 수 있게 함으로써 시스템 개발에 효율성을 증대시킨다. 그 결과보다 안정되고 재사용 가능한 시스템을 이끌어내고 개발 시간과 비용을 단축하는 효과를 제공할 것이다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권3호
• /
• pp.133-138
• /
• 2016

실시간 동작영역 검출 알고리즘의 차영상 기법은 배경프레임을 이용한 방식과 이전프레임을 이용한 방식으로 구분된다. 배경프레임을 이용한 방식은 사전에 분석한 배경정보를 기반으로 정확한 동작영역을 검출할 수 있는 방법이다. 하지만 배경정보가 변경될 경우 정보갱신이 요구되므로, 실시간 응용분야에 제한적이다. 이전프레임을 이용한 방식은 현재프레임과 시차간격이 존재하는 이전프레임을 취득하여 동작의 윤곽선을 검출한다. 하지만 실제 윤곽선과 오차를 보여 보정이 필요하다는 단점을 가지고 있다. 본 논문이 제안하는 3 way-diff 알고리즘은 프레임 제작과정 중 발생되는 반사된 빛 영역과 차영상 기법을 이용해 동작의 윤곽선을 구하므로, 기존 방식들에 배경의존성 및 부정확성을 보완한다. 다중 차영상 기법 및 비트단위의 AND 연산으로 수행되며, 이 과정으로 배경프레임을 이용한 방식의 정확성과 이전프레임을 이용한 방식의 환경적응력을 융합하며 노이즈의 발생을 감소시킨다. 또한 제안하는 기법의 성능은 CASIA의 Gait 데이터베이스 샘플을 이용해 각 기법에 대한 성능평가로 증명한다.