• 제목/요약/키워드: 증명완화

검색결과 75건 처리시간 0.028초

효율적인 D2D 메시지 확산을 위한 최외곽 k개의 릴레이 선택 알고리즘 (Farthest-k relay selection algorithm for efficient D2D message dissemination)

  • 한세호;이호원
    • 한국정보통신학회논문지
    • /
    • 제21권3호
    • /
    • pp.543-548
    • /
    • 2017
  • Epidemic 라우팅 프로토콜 기반의 메시지 확산 방식은 메시지를 수신한 기기들이 모두 릴레이를 수행하기 때문에 기기들의 전송 커버리지 중복으로 인한 메시지 중복 수신 문제가 빈번하게 발생한다. 따라서 본 논문에서는 이러한 문제점을 완화하기 위해 전송 범위 내에 존재하는 기기들 중 최외곽에 위치한 k개의 기기들만이 메시지 릴레이를 수행하는 최외곽 k개의 릴레이 선택 알고리즘을 제안하고 기존방식과 성능 비교분석을 수행한다. 포함 확률과 총 수신 메시지의 수 그리고 전송 효율에 대한 시뮬레이션 결과를 통해 제안 방안의 우수성을 증명한다.

광역적 녹지계획 수립을 위한 도시열섬효과 분석 (Analysis on Urban Heat Island Effects for the Metropolitan Green Space Planning)

  • 박경훈;정성관
    • 한국지리정보학회지
    • /
    • 제2권3호
    • /
    • pp.35-45
    • /
    • 1999
  • 본 연구는 Landsat TM 영상자료를 이용한 표면온도와 NDVI의 추출을 통해서 대구광역시의 열섬분포패턴과 녹지활력도를 평가하고자 하며, 아울러 녹지의 열섬완화 효과를 정량적으로 설명하기 위해서 토지피복분류를 기준으로 한 표면온도와 NDVI의 상관성을 분석하였다. 연구결과에 따르면, 자연식생으로 피복된 산림의 경우는 NDVI가 높고, 표면온도가 낮은 곳에 분포하고 있는 반면에, 피복상태가 불투수층의 인공포장재료로 구성된 도시역은 NDVI가 낮고, 표면온도가 높은 곳에 분포하고 있는 것으로 분석되었다. 이는 토지피복상태에 따른 표면온도의 차이가 인공 포장면의 증가에 따른 도시열섬효과의 간접적인 발생 원인임을 증명하는 것으로서, 향후 도시계획을 위한 녹지계획 수립시에는 열섬분포 패턴에 관한 인자가 중요하게 고려되어져야 할 것으로 사료된다.

  • PDF

다중 교차로에서 협력적 교통신호제어에 대한 연구 (A Study on Cooperative Traffic Signal Control at multi-intersection)

  • 김대호;정옥란
    • 전기전자학회논문지
    • /
    • 제23권4호
    • /
    • pp.1381-1386
    • /
    • 2019
  • 도시의 교통 혼잡 문제가 심각해지면서 지능형 교통신호제어가 활발하게 연구되고 있다. 강화학습은 교통신호제어에 가장 활발하게 사용되고 있는 알고리즘으로 최근에는 심층 강화학습 알고리즘이 관심을 끌고 있다. 또한 심층 강화학습 알고리즘이 다양한 분야에서 높은 성능을 보이면서 심층 강화학습의 확장 버전들이 빠른 속도로 등장했다. 하지만 기존 교통신호제어 연구들은 대부분 단일 교차로 환경에서 진행되었으며, 단일 교차로의 교통 혼잡만 완화하는 방법은 도시 전체의 교통 상황을 고려하지 못한다는 한계가 있다. 본 논문에서는 다중 교차로 환경에서 협력적 교통신호제어를 제안한다. 신호제어 알고리즘에는 심층 강화학습의 확장 버전들이 결합된 알고리즘을 적용했으며 다중 교차로를 효율적으로 제어하기 위해 인접한 교차로의 교통 상황을 고려하였다. 실험에서는 제안하는 알고리즘과 기존 심층 강화학습 알고리즘을 비교하였으며, 더 나아가 협력적 방법이 적용된 모델과 적용되지 않은 모델의 실험 결과를 보여줌으로써 높은 성능을 증명한다.

해바라기씨 추출물의 천식 완화 효과 (Water-extract of Helianthus annuus Seed Exhibits Potent Anti-asthma Activity In Vitro and In Vivo)

  • 허진철;박자영;우상욱;정신교;정규식;이진만;마진열;이상한
    • 한국식품저장유통학회지
    • /
    • 제13권4호
    • /
    • pp.495-500
    • /
    • 2006
  • 항산화물에 의한 천식 억제 효과를 확인하기 위하여 항산화정도를 알아볼 수 있는 DPPH, FRAP, hydroxyl radical 소거활성 실험을 high throughput-compatible chemical assay로 디자인하여 해바라기씨 추출물에 적용하여 보았다. 해바라기씨 추출물의 용매에 따른 항산화 효과 중 $H_2O_2$에 의한 산화스트레스에 의한 세포사멸을 DW추출물에서 강한 억제능력을 보였다. 이를 이용하여 마우스를 이용한 천식 동물모델에 적용하여 탁월한 천식 억제효과를 $CD4^+$세포, IL-4와 IL-13의 발현정도를 통해 알수 있었다. 해바라기씨 추출물은 천식에 탁월한 효과가 있는 것으로 in vitro 및 in vivo 실험으로 증명하였다.

파스퇴르의 브랜드 스토리텔링 캠페인 (Pasteur Brand Storytelling Campaign)

  • 이용재
    • 한국콘텐츠학회논문지
    • /
    • 제11권8호
    • /
    • pp.142-149
    • /
    • 2011
  • 본 연구는 국내의 대표적 유가공(乳加功) 기업인 파스퇴르의 유산균 발효유 '쾌변 요구르트'에 대한 스토리텔링 캠페인 사례를 분석하였다. 파스퇴르의 스토리텔링 캠페인은 브랜딩과 포지셔닝 개발에 초점을 두었다. 브랜딩과 포지셔닝은 소비자 관점에서 브랜드전략을 수립하는 브랜드 스튜어드쉽 모델(Brand Stewardship Model;BSM)을 활용하여 설계하였다. BSM 분석결과, '쾌변 요구르트'라는 브랜드 네임이 탄생되었는데 그 배경은 후발주자로써 단기간 동안 소비자 이익을 대변할 수 있어야 한다는 것과 제품의 핵심가치인 '쾌변'을 브랜드화 해야 한다는 것이었다. 파스퇴르는 '쾌변'이라는 신제품의 브랜드명에 대한 부담을 완화하고, 짧은 기간 동안 브랜드 인지도를 확산시키기 위한 포지셔닝을 설정하였다. 최종적으로 결정된 '쾌변 요구르트'의 포지셔닝은 '안 나오면 쳐들어 간다'이다. 그 근거는, 소비자에게 익숙한 멜로디를 상징적으로 표현함으로써, 배변에 좋은 '쾌변'이라는 브랜드 이미지를 강화하는 것이다. 특히, 캠페인 초기 티저광고 형태로 집행된 '안 나오면 쳐들어 간다'는 신제품을 포지셔닝하는데 결정적으로 기여했다. 즉, 파스퇴르 사례는 브랜딩과 포지셔닝 간의 전략적 조합이 스토리텔링 캠페인에서 얼마나 중요한가를 증명했다는 의미에서 연구의 가치가 있다고 하겠다.

형사상 의료과실 및 인과관계 인정과 관련된 대법원 판례분석 (Judicial Analysis on Supreme Court Precedents Related to Criminal Malpractice and Acceptance of Causal Relation)

  • 박영호
    • 의료법학
    • /
    • 제15권2호
    • /
    • pp.435-459
    • /
    • 2014
  • Supreme Court of Korea has been mitigating the burden of proof on the malpractice and causal relation by a patient in accordance with the practical transfer of such burden of proof on causal relation as well as relieving a doctor's burden of proof on mistake in the civil damage claim suits on the malpractice. However, a prosecutor shall strictly prove the causal relation between malpractice and unfavorable results as well as a doctor's mistake in the criminal cases for making a doctor accept the professional negligence resulting in death or injury in accordance with In Dubio Pro Reo principles. Furthermore, it shall not be allowed to relieve the burden of proof on malpractice and causal relation which has been frequently applied in the civil proceedings. Nevertheless, it was widely known that the front-line courts accepted the malpractice and causal relation by quoting the legal principles on relieving the burden of proof on malpractice and causal relation applied in the civil cases even in criminal cases with no or insufficient proof on malpractice or causal relation. However, the latest precedents in Supreme Court explicitly declared the opinion that there was no reason to apply the legal principle to relieve the burden of proof on the malpractice and causal relation in the criminal cases requiring the proof 'which doesn't cause any reasonable doubt' on malpractice and causal relation in accordance with the legal principles 'favorable judgment for a defendant in case of any doubt' on the basis of the strict principle of 'nulla poena sine lege.' Accordingly, Supreme court definitely clarified that there would be no reason to relieve the burden of proof on malpractice and causal relation in criminal cases by reversing several original judgments accepting malpractice and causal relation even though there were no strict evidence.

  • PDF

IEEE 802.11 기반 무선랜에서 TCP 인진서브 계층 TAS (TAS: TCP-Aware Sub-layer over IEEE 802.11-based wireless LANs)

  • 최낙중;정하경;류지호;석용호;최양희;권태경
    • 한국정보과학회논문지:정보통신
    • /
    • 제33권5호
    • /
    • pp.355-368
    • /
    • 2006
  • 본 논문은 IEEE 802.11 기반 무선랜 환경에서 TCP 성능을 향상시키기 위한 새로운 분할 TCP 기법을 소개한다. IEEE 802.11 기반 무선랜 환경에서는 유선 환경과는 달리 TCP 데이타 흐름(flow)이 많은 데이타를 보내려고 시도하지 않기 때문에 TCP 데이타 흐름 성능 저하의 주요한 원인이 된다. 본 논문에서는 이런 문제를 완화하여 TCP 데이타 흐름의 성능을 향상시키기 위한 TAS (TCP-Aware Sub-layer) 기법을 제안한다. TAS 기법은 하나의 TCP 데이타 흐름을 AP 등의 분할 지점을 기점으로 두 개의 TCP 데이타 흐름으로 나누는 기존의 분할 연결(split-connection) 기법을 확장한 개념이다. TAS를 기반으로 동작하는 무선 노드는 실제로 TCP ACK을 수신하는 것이 아니라, 수신된 MAC ACK을 이용하여 TCP ACK을 에뮬레이션한다. NS2 모의 실험을 통하여 제안된 기법인 TAS 기법의 성능을 기존 TCP 기법, I-TCP (Indirect TCP) 기법의 성능과 비교하였으며 모의 실험 결과는 TAS 기법이 다른 기법들에 비하여 시간당 처리량과 자원 할당의 형평성 측면에서 더 좋은 성능을 보인다는 것을 증명한다. 또한 절전 모드의 경우, 전송 지연 시간도 줄일 수 있다.

상속세법상 비상장주식평가규정의 개정이 조세공평성에 미친 효과 (The Effect of the Amendment of the Valuation Method for Unlisted Stocks in the Inheritance Tax Law)

  • 이의경
    • 산학경영연구
    • /
    • 제17권2호
    • /
    • pp.25-39
    • /
    • 2004
  • 본 논문은 상속세법상 비상장주식의 평가규정이 개정되면서 조세공평성이 제고되었는가에 대해 검토한 것이다. 조세공평성의 제고효과를 확인하기 위해서 구체적으로는 상속세법상 비상장주식평가 규정을 이용한 평가액이 실제주가에 어느 정도 근접하는가를 체크하였다. 세법상 평가액이 실제주가에 근접할수록 조세공평성이 높아지는 것으로 볼 수 있기 때문이다. 2003년 현재를 기준으로 보면 상속세법상 비상장주식평가규정은 크게 1999년과 2000년 두 차례에 걸쳐 개정되었다. 1999년 이전에는 모든 비상장주식을 순자산가치와 순손익가치의 평균값으로 평가하였지만 1999년 이후에는 순손익가치가 순자산가치의 50%이상인 기업과 50%미만인 기업으로 구분하여 전자의 경우에는 종전규정을 적용하지만 후자의 경우에 해당하는 기업의 주식은 순자산가치로만 평가하도록 하였다. 그리고 2000년부터는 순자산가치와 순손익가치 중 큰 금액으로 주식을 평가하도록 다시 변경된 것이다. 본 연구에서는 상장기업을 대상으로 하여 거래소에서 형성된 실제주가를 기준으로 해서 상속세법상 평가액을 개정단계별로 산출해서 실제주가와 비교하여 그 차이에 대한 통계적 유의성을 분석하였다. 그 결과 세법개정은 세법상 평가액이 현실적인 주가를 좀더 정확하게 반영하는 방향으로 이루어졌음을 확인할 수 있었다. 이러한 결과는 상속세법상 비상장주식평가규정이 과세당국의 의도대로 조세불공평을 완화하는 방향으로 이루어졌음을 증명하는 근거가 될 수 있다.

  • PDF

낮은 복잡도의 보안 네트워크 부호화 (New Secure Network Coding Scheme with Low Complexity)

  • 김영식
    • 한국통신학회논문지
    • /
    • 제38A권4호
    • /
    • pp.295-302
    • /
    • 2013
  • 네트워크 부호화는 중간 노드에서 데이터의 변환을 허용함으로써 전송률 높일 수 있는 방식이지만, 중간 노드에 대한 도청이나 데이터 변조에 취약해지는 문제가 발생한다. 이를 위해 정보이론적 관점에서 또는 암호학적 관점에서 도청 또는 데이터 변조에 저항할 수 있는 다양한 부호화 방식들이 제안되었다. 최근에 암호학적 관점에서 랜덤 네트워크 부호화에도 안전한 네트워크 부호화 방식이 제안되었지만, 안전한 해쉬 함수와 같은 암호학적 도구들의 사용은 센서 노드와 같은 낮은 연산능력을 보유한 장비에서는 적용이 어려운 문제를 지닌다. 이 논문에서는 선형 변환 및 간단한 테이블 룩업을 기반으로 랜덤 네트워크 부호화 사용할 때 n개의 패킷 중에서 공격자가 최대 n-1 개의 패킷을 도청하는 경우에도 n-1 개까지의 사용자 메시지를 동시에 안전하게 전송할 수 있는 안전한 네트워크 부호화 방식을 제안한다. 제안하는 방식은 암호학적으로 전부-또는-전무 변환(all-or-nothing transform) 형태를 가지면서도 정보이론적으로 완화된 조건에서 안전한 네트워크 부호화 방식임을 증명할 것이다.

안드로이드 간편결제 애플리케이션 보안 솔루션 결과값 변조를 통한 검증기능 우회 방법에 대한 연구 (A Study on Method for Bypassing Verification Function by Manipulating Return Value of Android Payment Application's Security Solution)

  • 유재욱;한미정;김규헌;장준영;진호용;지한별;신정훈;김경곤
    • 정보보호학회논문지
    • /
    • 제28권4호
    • /
    • pp.827-838
    • /
    • 2018
  • 2014년도부터 금융권의 규제가 완화됨으로써 간단한 인증만으로 대금을 결제 할 수 있는 모바일 간편결제 시장이 확대되어 다양한 간편결제 서비스가 등장하고 있다. 모바일 간편결제 애플리케이션의 보안 위협을 막기 위해 여러 검증 기능을 가진 보안 솔루션들이 애플리케이션에 적용되었지만, 보안 솔루션의 적용 구조상 취약점은 여전히 발생할 수 있다. 본 논문에서는 간편결제 애플리케이션과 보안 솔루션을 프로세스 관점에서 분석하여, 검증 결과 값을 변조하는 것만으로도 각 보안 기능의 상세 분석 없이도 보안 솔루션의 검증 기능을 쉽게 우회 할 수 있음을 실제 간편결제 애플리케이션들을 대상으로 한 실험을 통해 증명한다. 그리고 본 논문에서 제시한 우회 방법의 대응방안을 세 가지 시점으로 나누어 제시함으로써 국내 간편결제 서비스의 보안성을 향상시킬 수 있도록 기여한다.