• Title/Summary/Keyword: 존재 증명

Search Result 529, Processing Time 0.022 seconds

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

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

  • PDF

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

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

  • PDF

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

  • Kim, Jungwook
    • KDI Journal of Economic Policy
    • /
    • v.35 no.1
    • /
    • pp.137-146
    • /
    • 2013
  • This paper outlines the findings of a model of plea bargaining with multiple defendants, in which a prosecutor makes plea offer sequentially. It is shown that plea discount can be minimized with sequential offers and that not all of defendants shall be induced to plead guilty. By allowing sequential offer, a prosecutor has more power in the plea bargaining, which may increase social welfare by giving appropriate level of punishment to the guilty.

  • PDF

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

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

  • PDF

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

  • 염흥열
    • Review of KIISC
    • /
    • v.14 no.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 (캐글 데이터셋을 이용한 머신러닝 악성코드 분류시스템에서 분류정확도 향상방법)

  • Kim, Kyungshin
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2019.07a
    • /
    • pp.49-52
    • /
    • 2019
  • 머신러닝을 이용한 악성코드 분류 시스템의 대부분이 캐글 데이터셋 10,868건을 사용하여 분류의 정확도를 측정한다. 이 데이터셋에 포함된 바이러스 바이트코드에는 미확인(undefined)필드라는 부분이 과도하게 존재한다. 캐글 데이터셋 특정 Label의 미확인필드 포함도는 75%가 넘는 경우도 존재한다. 이 경우 미확인 필드를 어떻게 처리하느냐가 시스템의 성능에 가장 큰 영향을 끼친다. 본 연구에서는 이러한 캐글 데이터셋의 미확인필드 처리방법을 제시하고 그에 따른 분류 정확도를 연구하였다. 다양한 처리방법에 대한 정확도를 측정하여 제안한 방식의 타당성을 증명하였다.

  • PDF

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

  • Hwang, Yong-K.;Cho, Kyoung-R.
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.14 no.4
    • /
    • pp.493-498
    • /
    • 2004
  • A novel approach for path planning of a polygonal robot is presented. Traditional path planners perform extensive geometric searching to find the optimal path or to prove that there is no solution. The computation required to prove that there is no solution is equivalent to exhaustive search of the motion space, which is typically very expensive. Humans seems to use a set of several different path planning strategies to analyse the situation of the obstacles in the environment, and quickly recognize whether the path-planning problem is easy to solve, hard to solve or has no solution. This human path-planning strategies have motivated the development of the presented algorithm that combines qualitative shape reasoning and exhaustive geometric searching to speed up the path planning process. It has three planning stages consisting of identification of no-solution cases based on an enclosure test, a qualitative reasoning stage, and finally a complete search algorithm in case the previous two stages cannot determine of the existence of a solution path.

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

  • Moon, Hyunwon;Ryu, Jeong-Tak
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.18 no.2
    • /
    • pp.35-40
    • /
    • 2013
  • In this paper, we propose a new image rejection receiver architecture using simultaneously the high-side and low-side injected LO signals. The proposed architecture has a lower noise figure (NF) performance and a higher linearity characteristic than the previous receiver architecture using a single LO signal. Also, the proposed receiver shows a higher IRR performance about 6dB than that of the previous Weaver image rejection architecture even though the same gain and phase errors between I-path and Q-path exist. To verify these characteristics, we derive an IRR formular of the proposed architecture as a function of mismatch parameters. And we demonstrate its formular's usefulness through the system simulation. Therefore, the proposed architecture will be widely used to implement the image rejection receiver due to its higher IRR performance.

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

  • Park, Sol;Kong, Hyung-Yun
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.19 no.1
    • /
    • pp.21-27
    • /
    • 2019
  • In this paper, we investigate the secrecy outage probability when using a partial relay selection scheme in cooperative communication systems based on decode-and-forward with multi-relay. It is assumed that both the receiving node and the eavesdropping node receive signals at both the transmitting node and the relaying node. The two received signals are used to obtain the diversity gain using the MRC scheme. In this paper, we compute the theoretical formula of secrecy outage probability and compare the theoretical value with the simulation value to prove that equation is valid. The simulation results show how the secrecy outage probability varies with the number of relays.

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

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

  • PDF