• 제목/요약/키워드: 존재 증명

검색결과 529건 처리시간 0.026초

카오스 단축 압출기의 3차원 카오스 혼합해석 (Three-Dimensional Analysis of Chaotic Mixing in Chaos Single-Screw Extruder)

  • 권태헌
    • 유변학
    • /
    • 제10권3호
    • /
    • pp.121-130
    • /
    • 1998
  • 본 연구에서는 카오스 스크류에 대해 비선형 동력학적 모델을 도입하여 카오스가 일어나는 경로를 밝히고 이를 수치적으로 증명하였다. 배리어가 계속존재하는 경우를 적분 가능계로 정의하고 공간주기적 상공간에서 두 개의 호모클리닉 궤도를 포함하는 원환체를 적분가능계의 모델로 도입하였다. 주기적으로 삽입된 배리어 없는 영역을 교란 으로 취급하 여 해 사상을 도입하여 면적 보존의 포인카레 단면을 정의 하였다. 호모클리닉 궤도가 깨어 져 칸토로 집합을 이룸을 설명했고 내부의 원환체는 공진띠와 KAM띠를 이루며 혼합을 방 해함을 설명했다. 다변유한요소를 이용한 완전 3차원수치해석을 통해 회전수 x/3에 해당하 는 공진띠의 존재를 보이고 교란이 큰 경우에는 거의 모든 영역이 무작위적인 혼합을 보여 주는 카오스 영역으로 바뀜을 보였다.

  • PDF

병렬 코퍼스를 이용한 한중 기계번역 오류 탐지 방법 (Method for Detecting Errors of Korean-Chinese MT Using Parallel Corpus)

  • 김운;김영길
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2008년도 제20회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.113-117
    • /
    • 2008
  • 본 논문에서는 패턴기반 자동번역시스템의 효율적인 번역 성능 향상을 위해 병렬 코퍼스(parallel corpus)를 이용한 오류 자동 탐지 방법을 제안하고자 한다. 번역시스템에 존재하는 대부분 오류는 크게 지식 오류와 엔진 오류로 나눌 수 있는데 통상 이런 오류는 이중 언어가 가능한 훈련된 언어학자가 대량의 자동번역 된 결과 문장을 읽음으로써 오류를 탐지하고 분석하여 번역 지식을 수정/확장하거나 또는 엔진을 개선하게 된다. 하지만, 이런 작업은 많은 시간과 노력을 필요로 하게 된다. 따라서 본 논문에서는 병렬 코퍼스 중의 목적 언어(Target Language) 문장 즉, 정답 문장과 자동번역 된 결과 문장을 다양한 방법으로 비교하면서 번역시스템에 존재하고 있는 지식 및 엔진 오류를 자동으로 탐지하는 방법을 제안한다. 제안한 방법은 한-중 자동번역시스템에 적용하여 그 정확률과 재현률을 측정하였으며, 자동적으로 오류를 탐지하여 추출 할 수 있음을 증명하였다.

  • PDF

엄정한 양형을 위한 유죄인정감형제도의 활용 (Plea Bargaining as a Mean to Maximum Sentence)

  • 김정욱
    • KDI Journal of Economic Policy
    • /
    • 제35권1호
    • /
    • pp.137-146
    • /
    • 2013
  • 본 논문은 복수의 피의자가 존재하는 경우 시차 제안을 통해 유죄인정감형제도의 효과를 긍정적으로 유도할 수 있음을 보였다. 시차 제안의 가능성으로 인해 피의자에게 제시되는 양형 감량이 최소화될 수 있음이 제시되었고, 모든 피의자가 유죄를 인정하게 되는 균형점 이외의 해가 존재함을 증명하였다. 시차 제안의 허용으로 인해 검사는 보다 높은 수준의 협상력을 지니게 되며, 이를 통해 피의자에게 엄정한 양형을 부여함으로써 사회후생을 증가시킬 수 있게 된다.

  • PDF

계통연계형 풍력발전시스템의 전력 품질 향상을 위한 새로운 고조파 보상기법 (A Novel Harmonic Compensation Method to Improve Power Quality in a Wind Power System)

  • 강성욱;김경화
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2014년도 전력전자학술대회 논문집
    • /
    • pp.492-493
    • /
    • 2014
  • 비선형 부하 등에 의해 계통 전압의 왜곡이 존재하는 경우, 풍력발전 시스템과 같은 분산전원의 출력에는 5차, 7차, 11차 및 13차 고조파와 같은 저차 고조파 성분이 포함 되므로 풍력발전시스템의 전력품질이 저하 된다. 본 논문에서는 기존의 정지좌표계에서의 공진제어기를 이용한 보상기법 보다 연산량이 적고, 계통전압에 다수의 저차 고조파 왜곡이 존재하더라도 효과적으로 고조파를 보상할 수 있는 새로운 고조파 보상기법을 제안하며, 제안된 기법의 우수성을 시뮬레이션과 실험을 통해 증명하였다.

  • PDF

IETF공개키 기반구조 및 PKI-기반 응용 표준화 동향

  • 염흥열
    • 정보보호학회지
    • /
    • 제14권2호
    • /
    • pp.23-37
    • /
    • 2004
  • 지금까지 IETF에서 공개키 기반구조에 대한 표준화 작업은 PKIX 작업반$^{[5]}$에서 주로 수행되었지만, 최근 들어 4개의 새로운 작업반이 만들어졌다. 새로 생성된 작업반은 IPSEC을 위한 공개키 기반구조 표준을 개발하는 PK14IPSEC(PKI for IPSEC) 작업반$^{[36]}$, 장기간 서명 데이터의 존재와 디지털 서명된 데이터의 타당성과 존재성을 증명하기 위한 표준을 개발하고 있는 LTANS(Long-Term Archive and Notary Service) 작업반$^{[32]}$, 공개키/개인키와 인증서 등으로 구성되는 크리덴셜(Credential)을 획득하기 위한 등록 과정에 대한 모델을 표준화하기 위한 ENROLL(Credential and Provisioning) 작업반$^{[41]}$, 그리고 안전하게 크리덴셜을 한 장치에서 다른 장치로 안전하게 전달하기 위한 표준을 개발하는 SACRED(Securely available Credentials) 작업반$^{[28]}$ 등이다. 본 논문에서는 IETF 보안영역에서 수행되고 있는 공개키 기반구조에 바탕을 둔 여러 작업반에서 최근 수행중인 표준화 동향을 분석한다.

캐글 데이터셋을 이용한 머신러닝 악성코드 분류시스템에서 분류정확도 향상방법 (Improvement Method of Classification Rate in ML Antivirus systems using Kaggle Datasets)

  • 김경신
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
    • /
    • pp.49-52
    • /
    • 2019
  • 머신러닝을 이용한 악성코드 분류 시스템의 대부분이 캐글 데이터셋 10,868건을 사용하여 분류의 정확도를 측정한다. 이 데이터셋에 포함된 바이러스 바이트코드에는 미확인(undefined)필드라는 부분이 과도하게 존재한다. 캐글 데이터셋 특정 Label의 미확인필드 포함도는 75%가 넘는 경우도 존재한다. 이 경우 미확인 필드를 어떻게 처리하느냐가 시스템의 성능에 가장 큰 영향을 끼친다. 본 연구에서는 이러한 캐글 데이터셋의 미확인필드 처리방법을 제시하고 그에 따른 분류 정확도를 연구하였다. 다양한 처리방법에 대한 정확도를 측정하여 제안한 방식의 타당성을 증명하였다.

  • PDF

형상 추론과 기하학적 검색 기반의 다단계 경로 계획 (Multi-Stage Path Planning Based on Shape Reasoning and Geometric Search)

  • 황용구;조경래
    • 한국지능시스템학회논문지
    • /
    • 제14권4호
    • /
    • pp.493-498
    • /
    • 2004
  • 전통적인 경로 계획기는 로봇의 최적 경로를 찾기 위해 광대한 기하학적 검색을 수행한다. 완전성이 있는 경로계획기는 만약 해가 존재하면 반드시 찾아야 한다. 때문에 많은 검색 시간을 소요하여 해를 찾든지, 아니면 해가 없는 경우에는 없다고 증명을 하여야 함으로 역시 많은 시간을 소요한다. 그러나 인간의 경우는 대부분의 경우에 충돌 회피 경로가 있는지 없는지 빨리 파악할 수 있는 능력을 가지고 있으며, 극단적으로 어려운 문제들을 제외하고는 무둔 경우의 수를 나열하지 않고도 쉽게 해를 찾는다. 본 연구의 목표는 이러한 인간의 사고 능력을 알고리즘화하여, 이동로봇의 운동 경로를 보다 빠르게 찾거나, 아니면 컴퓨터의 계산자원을 낭비하지 않고 일찍이 포기하게 한다. 다각형 환경과 다각형 로봇에 대한 경로계획에, 정량적인 형상 추론과 광대한 기하학적 검색을 결합한 새로운 경로 계획 방법을 제시한다. 제시되어진 알고리즘은 울타리 검증을 통해 해가 없는지를 먼저 검색하고, 만약에 해가 있으면, 정량적인 추론을 통해서 해를 찾고, 그래서 해가 존재하지만 해를 찾을 수 없으면, 완전 검색 알고리즘으로 해를 찾게 된다. 본 연구의 기여는 여러 개의 능률적인 기하학적 검사를 통해, 많은 계산량의 완전 알고리즘을 가능하면 사용하지 않고 해를 찾거나 해가 없음 증명하여, 운동 계획기의 평균 계산량을 최소화한다.

하이사이드와 로우사이드 LO 신호를 동시에 적용하는 새로운 이미지 제거 수신기 구조 (A new image rejection receiver architecture using simultaneously high-side and low-side injected LO signals)

  • 문현원;류정탁
    • 한국산업정보학회논문지
    • /
    • 제18권2호
    • /
    • pp.35-40
    • /
    • 2013
  • 본 논문에서 높은 주파수 LO 신호와 낮은 주파수 LO신호를 동시에 사용하는 새로운 구조의 이미지 제거 수신기 구조를 제안하였다. 제안된 구조는 기존의 하나의 LO 신호를 사용하는 경우보다 저 잡음 지수 성능과 높은 선형성 특성을 갖는다. 또한 제안된 수신기는 기존의 Weaver 이미지 제거 수신기 구조 보다 같은 이득 error와 위상 error가 존재할 때도 6dB 이상의 높은 이미지 제거 특성을 보인다. 제안된 수신기 구조의 특성을 증명하기 위하여 이득 및 위상 error가 존재할 때의 이미지 제거 특성 공식을 유도하였다. 그리고 이 공식의 유용성을 시스템 시뮬레이션을 통하여 증명하였다. 따라서 높은 이미지 제거 특성 때문에 제안된 새로운 수신기 구조가 이미지 제거 수신기로써 널리 사용이 가능할 것으로 기대한다.

다수의 중계기가 존재하는 복호 후 재전송 기반 협력 통신 시스템에서 부분적인 중계기 선택을 사용하는 물리 계층 보안의 성능 분석 (Performance Analysis of Physical Layer Security using Partial Relay Selection in Cooperative Communication based on Decode-and-Forward with Multi-Relay)

  • 박솔;공형윤
    • 한국인터넷방송통신학회논문지
    • /
    • 제19권1호
    • /
    • pp.21-27
    • /
    • 2019
  • 본 논문에서는 다수의 중계기가 존재하는 복호 후 재전송 기반의 협력 통신 시스템에서 부분적인 중계기 선택 기법을 사용 했을 때의 보안 불능 확률을 연구한다. 수신 노드와 도청 노드는 각각 송신 노드와 중계 노드 모두에서 신호를 수신한다고 가정한다. 수신된 두 신호는 MRC 기법을 사용하여 다이버시티 이득을 얻는데 이용된다. 본 논문에서는 다수의 중계기가 존재하는 시스템의 보안 불능 확률 식을 계산하고, 그 식이 타당한지 증명하기 위해서 이론값과 모의실험 결과값을 비교한다. 중계기의 수에 따라 보안 불능 확률이 어떻게 변하는지를 모의실험 결과를 통해 도출한다.

간의 지방섭취세포의 구조와 기능

  • 원봉래
    • 대한수의사회지
    • /
    • 제17권4호
    • /
    • pp.34-37
    • /
    • 1981
  • FSC는 상시지방적을 보유하는 특성을 가지고 있으므로 지방섭취세포(fat-storing cell, FSC)라고 명명되어으며 유동에 노출하는 성세포, 내피세포와 달리 이 세포의 유동면은 교원직유와 내피세포에서 유래하는 윤랑선에 의하여 피복된다. 더욱이 이 세포는 각종 척추동물에 존재한다는 사실이 확인 되었으며 그 지방적은 동물의 종류에 따라 특유한 형을 구비하는 동시에 개체차가 없다. FSC는 이물탐식성이 없으며 지방적을 함유한 성세포와는 위치적, 기능적으로 다르다는 것이 증명되었다. 발생학적으로는 간엽세포에 속하며 유사분제에 의하여 증식능력을 가지고 있다. 이 세포에는 glycogen이 증명되며 모든 지방세포의 실험이 나타나는 성적에서와 유사하게 항시 지방을 합성하여 종의 특유한 형을 가진 지방적으로서 저장됨을 시사하였다. 전현적관륜에 의하여 FSC가 유동주위강(disse腔) 속에 있어 성세포, 내피세포와는 달리 유동에 노출하지 않고 항상 내피세포층과 교원직유에 의하여 유동에서 격리됨을 추정하였다. 이로 인하여 많은 학자들에 의하여 FSC가 승인을 받았다. 오늘날에는 유동을 둘러싸고 있는 상재세포가 내피세포, 성세포 및 FSC의 3종임이 인증이 되었다. 이 세포의 미세구조상의 특징은 기저막이 없는 공허한 세포로 보이나 항상지방적(空胞)을 보유하고 잘 발달한 조면소포체를 가지며 유동내피면에 따라 분기확산하는 돌기를 가지고 있다. 그리고 세포체는 유동주위강을 달리는 무수신경직유의 varicosity (사립체 및 신경결합소포를 함유한 신경종말)와의 사이에 adrenalin 작동성 synaps를 형성한다. FSC의 기능적 의의는 ㄱ, 간소엽내 교원직유형성에 참여 ㄴ. 유동내피하 돌기는 내피를 외측에서 지지하고 보강하며 또한 유동을 둘러싸고 연장하는 돌기는 수축하여 유동강을 축소한다. ㄷ. 지방을 저장하여 간세포의 energe원을 공급하며 VitaminA를 그 속에 저장한다. ㄹ. 간의 해독작용에 관여한다.

  • PDF