• 제목/요약/키워드: 멈춤문제

검색결과 10건 처리시간 0.024초

튜링의 업적이 지닌 철학적 함의 -'멈춤정리'를 중심으로- (Philosophical Implication of Turing's Work -Concentrated on Halting Theorem-)

  • 박창균
    • 한국수학사학회지
    • /
    • 제25권3호
    • /
    • pp.15-27
    • /
    • 2012
  • 이 글의 목적은 튜링이 태어난 지 100주년을 맞이하여 튜링의 삶을 살펴보고 그의 업적 중 특히 '멈춤정리' 에 주목하여 철학적 함의를 궁구하는 것이다. 튜링은 멈춤문제가 해결불가능하다는 것을 증명함으로써 힐베르트의 결정문제를 부정적으로 해결했다. 본고에서는 멈춤문제의 해결불가능성이 이성의 한계를 함축한다고 파악하고 인식이나 행위에 있어서 여백을 가지는 것이 필요하다는 것을 주장한다.

군 수사현장에서 용의자의 비언어적 행동을 이용한 거짓말 탐지 (Detecting lies through suspect's nonverbal behaviors in the investigation scene)

  • 김시업;전우병;전충현
    • 한국심리학회지 : 문화 및 사회문제
    • /
    • 제12권2호
    • /
    • pp.101-114
    • /
    • 2006
  • 본 연구는 실제 사건의 용의자를 대상으로 거짓말 탐지의 비언어적 단서와 Othello의 오류(상대방이 자신의 결백을 믿지 않는 것에 대한 '불신의 두려움'을 거짓말 하는 사람이 나타내는 '발각의 두려움'이라고 잘못 판단하는 오류) 단서를 찾고, 기존의 연구결과와 어떤 차이가 있는지를 알아보고자 하였다. 연구 대상자는 영내 무단 음주사건의 혐의자 18명이었다. 이 중 8명은 실제 음주행위를 했던 용의자들이었고(거짓집단), 나머지 10명은 무혐의자들이었다(진실집단). 거짓집단이 사건 무관련 질문(거짓을 말할 필요가 없음으로 진실반응을 나타냄)과 사건 관련 질문(사건과 관련되기 때문에 거짓반응을 나타냄)에서 나타낸 행동특징들 중 유의미한 차이를 나타낸 행동을 거짓말 탐지의 단서로 삼았다. 또한 진실집단이 사건 무관련 질문(진실반응)과 사건 관련 질문(진실반응)에서 나타낸 행동특징들 중 유의미한 차이를 나타낸 행동을 Othello의 오류 단서로 삼았다. 그 결과, 거짓집단에게서 발견된 거짓말 탐지단서는 잠시멈춤 시간, 잠시멈춤 빈도, 미세표정, 머리움직임이었다. 즉 거짓을 말할 때 잠시멈춤 시간과 빈도가 감소하였고, 미세표정과 머리움직임은 증가하였다. 그러나 진실집단이 사건 관련 질문에서 더 짧은 답변지연시간을 나타낸 것은 Othello의 오류와 관련된 것이 아니었다. 그리고 본 연구와 기존의 국내 연구결과를 비교하였을 때 잠시멈춤 빈도가 일치된 단서로 나타났다. 즉, 진실을 말할 때보다 거짓을 말할 때 잠시멈춤빈도가 감소되는 것으로, 이는 상대방에게 신뢰로운 인상을 주고자 행동통제를 시도한 것으로 해석될 수 있다.

자주포용 발사지지대의 멈춤현상 방지를 위한 설계개선 연구 (A Study on the Design Improvement to prevent the stoppage phenomenon of Launch Support Device for Self-Propelled Artillery)

  • 김성훈;박영민;노상완;박대훈
    • 한국산학기술학회논문지
    • /
    • 제21권5호
    • /
    • pp.443-450
    • /
    • 2020
  • 본 논문은 K105A1자주포에 적용중인 발사지지대 장치에서 발생한 하강운용간 멈춤현상을 해소하기 위한 설계 개선에 관한 연구이다. K105A1자주포는 기존의 105mm 견인곡사포를 차량에 탑재하여 기존의 궤도장비보다 신속한 기동성을 확보한 무기체계로써 사격충격력 및 부하를 지지하기 위해 발사지지대가 적용되어 있다. 이러한 발사지지대는 사격 전 지면에 단단히 고정되고 사격제원 유지, 차체 자세제어 등 사격임무 수행에 중추적인 역할을 하여 성능발휘에 대한 높은 신뢰성이 요구된다. 그러나, 야전운용시험 간 발사지지대를 설치하는 중 간헐적인 멈춤현상이 발생하여 지면에 고정되지 못하는 문제가 발생하였다. 이러한 문제를 해소하기 위하여 야전에서의 재연시험 및 부품단위 분해검사를 통해 고장원인을 분석 및 검토하였다. 더불어 발사지지대의 운용개념, 작동 메커니즘 및 구성품 단위의 설계분석을 통해 근본적인 원인을 도출하고 이를 해소하고자 관련된 부품의 설계를 변경하여 발사지지대의 멈춤현상을 해소하였다. 마지막으로 설계변경사항의 효과성을 확인하고자 완성체계 상태에 적용하여 발사지지대 성능 및 사격임무 수행이 정상적으로 이루어짐을 확인 및 입증하였다. 이에 따라, 본 연구에서는 K105A1자주포 발사지지대의 성능에 대한 안정성 및 신뢰성을 확보하였으며, 본 연구가 향후 군용장비 및 유사품목 개발시 많은 도움이 될 것으로 기대된다.

무선통신 환경에서 비디오 스트리밍의 버퍼 언더플로우와 오버플로우를 해결하기 위한 토큰버킷과 AMP 기법의 결합 (Combination of Token Bucket and AMP Schemes to Solve Buffer Underflow and Overflow of Video Streaming in Wireless Communication)

  • 이현노;김동회
    • 한국통신학회논문지
    • /
    • 제40권7호
    • /
    • pp.1330-1338
    • /
    • 2015
  • 무선통신 네트워크에서 비디오 스트리밍 서비스를 제공 할 때 수신측 재생 버퍼에 있는 비디오 스트리밍 패킷 정보량은 네트워크의 상태에 따라 가변한다. 패킷 정보량이 특정 버퍼량보다 작아지면 버퍼 언더플로우(buffer underflow)문제가 발생하게 된다. 반대로 패킷 정보량이 특정 버퍼량보다 많아지면 버퍼 오버플로우(buffer overflow)문제가 발생한다. 목적지 수신 버퍼에서 비디오 스트리밍을 재생 할 때 이러한 버퍼 언더플로우와 오버플로우 문제는 영상의 멈춤이나 프레임 손실로 인한 스킵 현상을 유발하여 재생의 불연속성을 발생시킨다. 따라서 본 논문에서는 무선통신 환경에서 비디오 스트리밍의 버퍼 언더플로우와 오버플로우 문제를 해결하기 위하여 군집 트래픽을 제어하기 위한 토큰 버킷(Token Bucket)기법과 수신측 재생 속도를 가변적으로 변화시키는 AMP(Adaptive Media Playout)기법을 결합하여 그 효과를 비교 분석하였다. 모의실험을 통하여 2가지 방법의 결합이 언더플로우와 오버플로우 발생 회수, 언더플로우와 오버플로우로 인해 발생된 재생의 멈춤 지속시간 및 제거되는 프레임 수 및 PSNR(Peak Signal to Noise Ratio)측면에서 우수함을 확인 할 수 있었다.

주파수 분할 하향링크 거대 다중 안테나 시스템을 위한 코드북 형성 및 검색 기법 (A Codebook Generation and Search Scheme for FDD Downlink Massive MIMO Systems)

  • 최일규;노훈동;이충용
    • 한국통신학회논문지
    • /
    • 제38A권8호
    • /
    • pp.704-711
    • /
    • 2013
  • 주파수 분할 하향링크 다중 안테나 시스템에서 사용되는 코드북 기반의 채널 정보 피드백 기법을 거대 다중 안테나 시스템에 그대로 적용할 경우 다음의 두 가지 문제가 생기게 된다. 먼저, 코드북 형성에 필요한 자원이 안테나 수에 지수적으로 필요하기 때문에 안테나 수가 매우 많은 거대 다중 안테나 시스템에서는 코드북 형성이 어려워진다. 뿐만 아니라, 사용자의 코드북 검색 시간이 안테나 수에 비례하기 때문에 채널 정보를 피드백 하는데 긴 시간이 필요하게 된다. 본 논문에서는 DFT 코드북의 계수를 안테나 별로 찾음으로써 코드북 형성에 필요한 자원을 안테나 수에 선형적으로 만드는 코드북 형성 기법을 제안한다. 그리고 일정 조건 하에 코드북 검색을 도중에 멈춤으로써 검색 시간을 감소시키는 기법을 제안한다. 실험 결과들은 제안 기법들이 기존 기법에 가까운 성능을 갖고 있음에도 코드북 형성 및 검색에 필요한 자원을 대폭 감소시킬 수 있음을 보여준다.

절리암반에서의 주입재 유동특성에 관한 수치해석적 연구 (A Numerical Study on the Flow Characteristics of Grouts in Jointed Rock)

  • 김문상;문현구
    • 한국지반공학회지:지반
    • /
    • 제11권3호
    • /
    • pp.123-138
    • /
    • 1995
  • 절리암반내에서 이루어지는 주입재의 유동을 분석하기 위하여 서의 주입재 유동에 대한 전산실험을 수행하였다. 암반내 유체유 주입재의 전단강도와 점성도변화 특성을 반영하였다. 다양한 문제 극분포 발생장치 및 절리망 형성장치와의 연계성을 확보하였다. 주입재와 절리면과의 마찰에 의한 수두손실을 계산하기 위하였으며 주입재의 고화에 따른 유동멈춤현상을 반영하기 위하여다. Binghamian grout(이후 Bingham 주입재)와 Newtonian grout(이후 Nweton 주입재)의 유동특성에 관한 자료를 구하기 위하여 실험실 시험결과를 수식화하였다. 단일절리면에서의 주입재 유동특성에 대한 전산실험을 수행한 결과 평판모델에서는 발견할 수 없는 주입재의 채널유동을 확인할 수 있었다. 전단강도 및 점성도의 변화가 주입재 유동에 미치는 영향을 파악하여 주입관리와 주입재 선정을 위한 기본방안을 제시할 수 있었다. 또한 지하수의 유동이 주입재 유동에 미치는 영향을 분석하여 주입지역에 작용하는 수리구배와 주입압과의 관계를 도출하였다. 마지막으로 터널주변에서의 주입재 유동을 관찰하여 주입작업에 대한 이해를 증진시키고자 하였다.

  • PDF

성공적인 확인응답이 필요한 비디오 정보 파일에 의한 토큰버킷 자동 파라메타 설정 기법을 가진 비디오 스트리밍 수신기 (Video Streaming Receiver with Token Bucket Automatic Parameter Setting Scheme by Video Information File needing Successful Acknowledge Character)

  • 이현노;김동회;남부희;박승영
    • 한국통신학회논문지
    • /
    • 제40권10호
    • /
    • pp.1976-1985
    • /
    • 2015
  • 비디오 스트리밍 수신기의 재생 버퍼에 있는 패킷량은 네트워크 상태에 따라 변화되며 지연 및 지터의 영향으로 인해 포화 및 고갈 현상이 일어날 수 있다. 특히, 유입되는 비디오 트래픽의 양이 재생 버퍼의 최대 양을 넘으면 버퍼 오버플로우(buffer overflow)문제가 발생된다. 버퍼 오버플로우는 화질의 열화를 발생시키고 스킵(skip) 현상으로 인해 재생의 불연속성을 발생시킨다. 또한 네트워크 혼잡으로 인하여 패킷의 유입이 늦어지면 버퍼 언더플로우(buffer underflow) 문제에 의한 버퍼링에 의해 영상의 멈춤 현상이 일어날 수 있다. 상기 문제들을 해결하기 위하여 본 논문에서는 토큰버킷(Token Bucket)의 주요 파라미터인 토큰 발생률 파라메타와 버킷의 최대 용량 파라미터를 각각의 비디오 패킷들의 패턴에 따라서 자동적으로 설정하는 토큰버킷 기법을 장착한 비디오 스트리밍 수신기를 제안한다. NS-2(Network Simulator-2)와 JSVM(Joint Scalable Video Model)을 이용하는 시뮬레이션 결과는 제안하는 토큰버킷 파라메타 자동설정 기법이 기존의 수동설정 기법보다 3개의 시험 비디오 시퀀스들에 대해 오버플로우/언더플로우 횟수와 패킷 손실 비율 및 PSNR(Peak Signal to Noise Ratio)측면에서 우수한 성능을 제공함을 확인 할 수 있었다.

정보검색의 시맨틱웹 지향 설계에 관한 연구 - 온톨로지와 소셜태깅을 활용한 탐험적 발견행위 모델개발을 중심으로 - (A Study of a Semantic Web Driven Architecture in Information Retrieval: Developing an Exploratory Discovery Model Using Ontology and Social Tagging)

  • 조명대
    • 한국비블리아학회지
    • /
    • 제21권3호
    • /
    • pp.151-163
    • /
    • 2010
  • 이 논문에서는 기존 정보검색모델에서의 문제점을 살펴보고 그 대안을 제시하고 있다. 정보환경의 변화에 따라 '개념'중심의 새로운 정보조직인 온톨로지와 소셜태깅은 탐험적 발견행위를 가능하게 해줄 수 있다. 이들을 통해 어느 한 이용자의 머릿속에 있는 생각을 인터넷상의 수많은 사람의 머릿속에 있는 생각을 연결해주고 있다. 이러한 상호작용을 통한 연결고리를 통해서 이젠 이용자들이 탐험적으로, 적극적으로 정보를 찾아 나서고 있다. 이에 본 연구의 목적은 질적인 연구방법론으로 온톨로지와 소셜태깅에서 제공되는 수많은 탐색촉진제의 존재를 밝힌 후, 하나의 탐험적 발견행위 모델을 만들어내는 것이다. 그 결과는 먼저 3개의 상위그룹이 형성되었다. 첫째, 브라우징 및 모니터링으로 어떤 대상을 인지 및 집중하는 단계, 둘째, 의미부여로 적극적인 참여 및 공유하는 단계이며 셋째는 더 적극적으로 생각을 확장시켜나가면서 스스로 사회적 학습을 하는 단계였다. 제일 첫 그룹에는 정보요구인지, 소셜공간에서 도움 필요성인지, 도움을 받을 수 있는 자료 발견, 일단 멈춤, 그 대상에 집중등의 단계가 있었다. 두 번째 그룹에는 적극적 의미형성, 소셜 북마킹 및 태깅, 소셜 네트워크에서 나눔, 처음 정보요구를 더 구체화하는 단계가 있었다. 세 번째는, 발견적인 소셜학습, 우연한 정보 발견, 창조적 생각을 유발, 문제 해결 능력향상 등의 총 13단계를 발견하게 되었다. 이 모델은 이용자들이 탐험적 발견행위를 할 수 있는 능력을 향상하게 시키는 정보시스템 디자인에 공헌할 수 있을 것이다.

전기저항식 워터마크센서기반 소형 관수장치의 토양 수분퍼텐셜 자동제어 효용성 평가 (Feasibility Test on Automatic Control of Soil Water Potential Using a Portable Irrigation Controller with an Electrical Resistance-based Watermark Sensor)

  • 김학진;노미영;이동훈;전상호;허승오;최진용;정선옥;이중용
    • 생물환경조절학회지
    • /
    • 제20권2호
    • /
    • pp.93-100
    • /
    • 2011
  • 본 연구에서는 국내의 시설 내 작물재배에 적합한 자동관수 기술을 개발하기 위한 첫 단계로 전기저항의 변화원리를 이용하는 워터마크 센서를 장착한 소형 컨트롤러를 작물재배에 활용하여 자동관수기술의 효용성을 구명하고자 하였다. 이를 위해 비닐하우스 내에 다른 토성을 갖는 토양을 격리베드에 인공적으로 조성한 후 토마토를 정식하여 수분퍼텐셜을 -20kPa 수준으로 자동으로 조절하면서 재배하였다. 점적관수에 따른 토양 내 깊이별 수분변화는 Sentek 축전형 수분센서를 이용하여 측정하였다. 워터마크센서를 이용한 수분퍼텐셜 제어성능은 (-)20kPa 수준부근에서 유지되지 않고 반복적으로 0~(-)20kPa 대역에서 높은 변화 값을 나타내어 안정적이지 못한 것으로 나타났다. 특히, 물 공급은 관수시마다 약 50~60분 비교적 긴 시간동안 진행되어 수분공급이 과잉되는 문제가 나타났으며 건조시에도 수분퍼텐셜의 변화가 계단응답 반응의 형태로 변하는 불량한 측정해상도를 나타내었다. 이러한 문제는 워터마크센서의 토양과 전극 접촉형태가 다공컵식 수분장력계에 비해 수분값에 연속적으로 반응할 수 없는 구조이기 때문인 것으로 판단하였다. 자동관수에 따른 토양종류별 수분변화는 그 기울기가 토성별로 서로 달랐으며 양질사토의 경우 수분함량의 변화정도가 가장 높았다. 수분함량의 변화속도는 낮과 밤의 경우 시간에 따른 변화율이 달라서 변곡선의 형태를 나타내었다. 이러한 이유는 낮과 밤의 일교차와 태양광 유무에 의하여 수분증발량 차이가 발생하였기 때문인 것으로 판단하였다. 직물에서 20cm 떨어진 지점의 깊이별 수분함량은 작물에 인접한 위치와 비교하였을 때 세가지 토양 모두 관수에 의한 변화정도는 미미하여 직물에 인접한 곳만 수분공급이 효율적으로 이루어지는 것을 확인하였다. 추후 연구에서 양질사토 베드에서 관찰된 토마토 생육 불량 문제 개선과 관수멈춤 시간을 적용하여 물공급의 과잉 문제를 해결하는 보완실험이 요구되었다.

사용자 리뷰를 통한 소셜커머스와 오픈마켓의 이용경험 비교분석 (A Comparative Analysis of Social Commerce and Open Market Using User Reviews in Korean Mobile Commerce)

  • 채승훈;임재익;강주영
    • 지능정보연구
    • /
    • 제21권4호
    • /
    • pp.53-77
    • /
    • 2015
  • 국내 모바일 커머스 시장은 현재 소셜커머스가 이용자 수 측면에서 오픈마켓을 압도하고 있는 상황이다. 산업계에서는 모바일 시장에서 소셜커머스의 성장에 대해 빠른 모바일 시장진입, 큐레이션 모델 등을 주요 성공요인으로 제시하고 있지만, 이에 대한 학계의 실증적인 연구 및 분석은 아직 미미한 상황이다. 본 연구에서는 사용자 리뷰를 바탕으로 모바일 소셜커머스와 오픈마켓의 사용자 이용경험을 비교 분석하는 탐험적인 연구를 수행하였다. 먼저 본 연구는 구글 플레이에 등록된 국내 소셜커머스 주요 3개 업체와 오픈마켓 주요 3개 업체의 모바일 앱 리뷰를 수집하였다. 본 연구는 LDA 토픽모델링을 통해 1만여건에 달하는 모바일 소셜커머스와 오픈마켓 사용자 리뷰를 지각된 유용성과 지각된 편리성 토픽으로 분류한 뒤 감정분석과 동시출현단어분석을 수행하였다. 이를 통해 본 연구는 국내 모바일 커머스 상에서 오픈마켓 이용자들에 비해 소셜커머스 이용자들이 서비스와 이용편리성 측면에서 더 긍정적인 경험을 하고 있음을 증명하였다. 소셜커머스는 '배송', '쿠폰', '할인'을 중심으로 서비스 측면에서 이용자들에게 긍정적인 이용경험을 이끌어내고 있는 반면, 오픈마켓의 경우 '로그인 안됨', '상세보기 불편', '멈춤'과 같은 기술적 문제 및 불편으로 인한 이용자 불만이 높았다. 이와 같이 본 연구는 사용자 리뷰를 통해 서비스 이용경험을 효과적으로 비교 분석할 수 있는 탐험적인 실증연구법을 제시하였다. 구체적으로 본 연구는 LDA 토픽모델링과 기술수용모형을 통해 사용자 리뷰를 서비스와 기술 토픽으로 분류하여 효과적으로 분석할 수 있는 새로운 방법을 제시하였다는 점에서 의의가 있다. 또한 본 연구의 결과는 향후 소셜커머스와 오픈마켓의 경쟁 및 벤치마킹 전략에 중요하게 활용될 수 있을 것으로 기대된다.