• Title/Summary/Keyword: 표현증명

Search Result 342, Processing Time 0.022 seconds

Choquet integrals and interval-valued necessity measures (쇼케이 적분과 구간치 필요측도)

  • Jang, Lee-Chae;Kim, Tae-Kyun
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.19 no.4
    • /
    • pp.499-503
    • /
    • 2009
  • Y. R$\acute{e}$ball$\acute{e}$ [11] discussed the representation of necessity measure through the Choquet integral criterian. He also consider a decision maker who ranks necessity measures related with Choquet integral representation. In this paper, we consider a decision maker have an "ambiguity"(say, interval-valued) necessity measure according to their Choquet's expected utility. Furthermore, we prove two theorems which are weak Choquet integral representation of preferences with a monotone set function for interval-valued necessity measures and strong Choquet integral representation of preferences with an interval-valued utility function for necessity measures.

The reasons why it is good to write Chinese loanwords in Korean instead of Chinese characters and Hànyǔ pīnyīn (중국의 외래어 표기를 한자와 병음 대신 한글로 쓰면 좋은 이유 증명)

  • TaeChoong Chung
    • Annual Conference on Human and Language Technology
    • /
    • 2022.10a
    • /
    • pp.639-643
    • /
    • 2022
  • 한글이 우수한 글자라는 의견에 세계 대부분의 학자들이 동의하고 있다. 한글 자모의 단순성과 직교성(규칙성)으로 인해 표현할 수 있는 발음의 수도 제일 많고 읽고 쓰고 배우기도 쉽다는 점을 누구나 인정하기 때문이다. 구한말과 1950년대에 중국도 한글표기를 사용할 뻔 했다는 이야기도 있다. 그러나 그들은 한자를 사용하되 단순화 하는 방법과 병음을 사용하는 것으로 결론이 났고 현재 그렇게 사용하고 있다. 그런데 중국인들이 외래어를 다루는 것을 보면 많이 고생한다는 생각이 든다. 외래어 표기를 한글로 사용한다면 외래어를 위한 한자 단어를 만들 필요가 없고 외래어를 표현하고 배우고 읽고 쓰는데 훨씬 더 효과적으로 할 수 있고, 원음 재현율이 매우 개선된다. 또한' 글자의 길이가 짧아지고 더 멀리서도 인식되는 장점도 있다. 본 논문은 그것을 보여준다. 본 논문에서는 영어 원단어, 한국어 표기, 중국어 표기, 병음 표기, 중국어 발음 한글 표기 등을 비교해서 한글이 유리함을 보여주고자 한다. 결론적으로 외국단어를 한자나 한자의 병음으로 표현하는 것보다 한글로 표현하는 것이 중국어를 사용하는 모든 사람들에게 큰 도움이 될 것이다. 물론 그들이 한글을 읽고 쓰는 것을 배우는 부담은 있지만 몇일만 배우면 평생의 문제를 해결하게 되는 문제이므로 큰 부담은 아니라고 본다.

  • PDF

Providing Payment Atomicity Using Verifiable Encryption (확인 가능한 암호화를 사용한 지불의 원자성 보장 방법)

  • 최형섭;김상진;오희국
    • Proceedings of the Korea Institutes of Information Security and Cryptology Conference
    • /
    • 2002.11a
    • /
    • pp.257-260
    • /
    • 2002
  • 확인 가능한 암호화는 암호문을 풀어보지 못해도 어떤 것이 암호화되어 있는지 확인 할 수 있는 암호화 기법이다. 이 기법은 공정한 교환에서 암호화된 물건을 우선 제시하여 상대방이 물건을 받을 수 있다는 확신을 가지게 하는데 사용된다. 지불의 원자성을 보장하기 위해 공정한 교환을 적용해 볼 수 있다. 이 논문에서는 확인 가능한 암호화 기법을 표현문제를 사용하는 화폐시스템에 적용하여, 지불의 원자성을 제공하는 방법을 제안한다. 확인 가능한 암호화를 사용하면 분쟁이 발생했을 때 신뢰기관이 은행으로부터 상점의 입금여부를 확인할 필요가 없어 분쟁해결이 간단하다. 반면에 지불과정에서 확인 가능한 암호화를 적용하기 위한 증명이 추가로 필요하다.

  • PDF

Minimum batch cover for order consolidation (최소 크기 일괄처리 방식에 대한 연구)

  • Min, Yun-Hong;Hong, Seong-Pil;Kim, Hyeong-Seok
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 2007.11a
    • /
    • pp.313-315
    • /
    • 2007
  • 본 논문에서는 서로 다른 주문들의 일부를 일괄적으로 처리할 수 있을 때, 최소 개수의 작업 단위로 모든 주문을 처리하는 문제를 다룬다. 무향그래프와 배치 크기 $\lambda$로 표현되는 이 문제의 일반적인 경우는 NP-hard이며, 그래프가 나무와 interval 그래프 일 때 다항 시간 안에 최적해를 찾을 수 있음이 증명되어 있다. 본 논문에서는 LP 완화 기법을 이용한 근사알고리즘과 LP 완화를 통한 최적해의 분석을 제시한다.

  • PDF

암호학에서의 분할 함수에 관한 고찰

  • 김경희;김영희;류송분;오정환
    • Review of KIISC
    • /
    • v.2 no.4
    • /
    • pp.30-36
    • /
    • 1992
  • 이 논문에서 우리는 여러 가지 분할 항등식을 유도했고 제한된 분할에 관한 새로운 항등식을 증명하고, 분할의 기본적인 이론과 분할함수(Partition Number Function)가 다항식 함수가 아니라는 것을 보이며, n 의 분할의 수 p(n)에 대한 하계(Lower Bound)를 얻기 위해 Stirling의 n ! 에 대한 근사값을 소개한다. 그리고 Hardy-Ramanujan 공식, Euler 항등식과 p(n) 의 순환식을 유도하며, 그리고 $d_m$(n)이n을m개의 부분으로 분할하는 분할의 수를 나타낼 때 우리는 $d_m$(n)에 관한 일반적인 공식을 p(n)과 함께 행렬식의 형태로 표현한다.

  • PDF

Communication Security for Video-Teleconferencing System (영상회의에 대한 통신보안 대책)

  • 김경희;김영희;류송분;오정환
    • Review of KIISC
    • /
    • v.2 no.4
    • /
    • pp.37-47
    • /
    • 1992
  • 이 논문에서 우리는 여러 가지 분할 항등식을 유도했고 제한된 분할에 관한 새로운 항등식을 증명하고, 분할의 기본적인 이론과 분할함수(Partition Number Function)가 다항식 함수가 아니라는 것을 보이며, n의 분할의 수 p(n)에 대한 ㅎ계(Lower Bound)를 얻기 위해 Stirling의 n !에 대한 근사값을 소개한다. 그리고Hardy-Ramanujan 공식, Euler 항등식과 p(n)의 순환식을 유도하며, 그리고 d$_{m}$ (n)이 n을 m개의 부분으로 분할하는 분할의 수를 나타낼 때 우리는 d$_{m}$ (n) 에 관한 일반적인 공식을 p(n)과 함께 행렬식의 형태로 표현한다.

  • PDF

A Study On Project ivy image General ion And Dominant Points (투영영상 생성과 특징점에 관한 연구)

  • 이영재;박영태
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10b
    • /
    • pp.406-408
    • /
    • 2001
  • 기본적인 투영기법인 평행투영, 원근투영 기법과 Octree 모델을 사용하여 임의의 시각방향에서 모델의 2차원 투영영상을 생성하고 노드표면을 시각방향으로 평행 투영하여 이들 벡터의 곱의 절대값을 사용하여 2차원 투영영상을 Pseudo gray로 표현해 본다. 또한 평행투영과 원근투영 하에서 2차원상의 모델에서 3차원 모델의 특징점을 찾을 수 있는 기법을 제안하고 두 개의 모델 영상에 적용해 증명해 보았다. 이 기법은 3차원 물체 인식에 중요한 정보로 유용하게 사용 될 수 있다.

  • PDF

거리의 확장화에 대하여

  • 양인환
    • The Mathematical Education
    • /
    • v.15 no.1
    • /
    • pp.5-7
    • /
    • 1976
  • Euclid 기하학이 성립하는 공간은 우리들과 가장 밀접한 공간이다. Descartes의 해석기하학은 Euclid의 3차원공간에서 성립한다. 이 경우 점이라 해도 그것은 3개의 실수의 순서쌍(x, y, z)에 의해 표현되는 것으로 생각해도 좋다. 일반의 n차원 Euclid 공간 R$^n$에 대해서도 같은 생각으로 정의할 수 있다. 이 경우 n=1은 수치선, n=2는 평면, n=3은 소위 3차원의 공간으로서 직관적으로 상상할 수 있으나 n(equation omitted)4인 경우는 상상하기 어렵다. 여기서는 거리의 성질과 추상공간을 논하고 Euclid 공간의 거리에서 출발하여 그 성질중 삼각부등식을 계산을 통하여 증명하므로서 공간의 확장화가 이루워짐을 보였다.

  • PDF

WATERMARKING SYSTEM FOR CONTENTS ADPATATION IN UBIQUITOUS ENVIRONMENT (유비쿼터스 환경에서 컨텐츠 적응변환을 위한 워터마킹 시스템)

  • 강석준;배태면;노용만;인소란
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2004.04a
    • /
    • pp.268-270
    • /
    • 2004
  • 유비쿼터스 환경에서 컨텐츠 서비스를 하기 위해 DRM 시스템은 컨텐츠 적응변환을 필요로 한다. 그러나 DRM 시스템에서 컨텐츠의 저작권 보호를 위해 삽입된 워터91크는 컨텐츠 적응변환으로 인해 왜곡된다. 본 논문에서는 워터마킹기술과 컨텐츠 적응변환을 함께 사용하기 위한, 유비쿼터스 DRM 시스템에서의 워터마킹 시스템을 제안한다. IMPRIMATUR 모델에 기반한 DRM시스템에서 컨텐츠 적응변환 후 워터마크의 생존여부를 나타내는 워터마크 유효 정보 추출과정과 이를 표현하는 메타데이터를 제안한다. 마지막으로 기존에 사용되고 있는 워터마킹 알고리즘을 컨텐츠 적응변환에 적용하는 실험을 통해서 제안한 워터마킹 시스템이 컨텐츠 적응변환에 유용하다는 것을 증명하였다.

  • PDF

A Study on The Spatial Distribution of Velocity Using Manning's and Chiu's Equation (Manning과 Chiu 공식을 이용한 유속의 공간적 분포에 관한 연구)

  • Choo, Tai-Ho;Ok, Chi-Youl;Je, Sung-Jin;Lee, Seoung-Kwan
    • Proceedings of the KAIS Fall Conference
    • /
    • 2007.11a
    • /
    • pp.113-115
    • /
    • 2007
  • 본 연구에서는 Norman Herrick Brooks의 박사논문(1954)에서 심층적으로 시행한 실험실 실측자료를 사용하여 Manning과 Chiu의 연결고리로 제시한 F(M)과 Manning의 n, R(동수반경), I(수로경사)와 같은 아주 간단한 입력자료 만을 가지고도, 수로수직단면의 전체유속분포를 잘 표현할 수 있으며, 동시에 그동안 취득하기 어려운 최대유속($U_{max}$)도 실측하지 않고 손쉽게 산정할 수 있음을 증명하였다.

  • PDF