• Korean Journal of Logic
• /
• v.17 no.2
• /
• pp.253-287
• /
• 2014

In First-Order Logic the English expressions, 'any', 'every', 'all', and 'each' are treated on a par but have different meanings in the natural language usages. Especially the expression 'any' is typically used only in the negative contexts, which linguists have paid attention to and attempted to provide an adequate explanation of. I shall show that the explanations so far mainly from linguists are not satisfactory and revive the philosophical insights concerning the logical features of 'any' provided by Zeno Vendler in 1962. I shall claim that the expression 'any' has what Vendler calls the 'freedom of choice' as its primary meaning and denotes what Kit Fine calls an 'arbitrary object'. It will be shown that the logical features of 'any' are manifested more evidently in the analysis of the Korean expression 'amwu'. I believe that this analysis has significant philosophical implications. As an instance I shall show that we can take a fresh perspective on the problem which involves the universal generalization rule and the preface paradox.

• The Journal of the Korea Contents Association
• /
• v.9 no.3
• /
• pp.215-224
• /
• 2009

This study includes literature research and empirical study with the subject of experts in order to anticipate the direction of IPTV evolution, the extension of customer needs, and the technology related to needs themselves. According to the results of the study, it is expected that IPTV will evolve as a converged media platform that integrates the demands of communication, information, and entertainment; and the customer needs for IPTV will be extended from the basic needs for previous TV(high quality and low cost) to 4A(Any Time, Any Where, Any Contents, Any Device) needs. In particular, as the IPTV evolves, the needs for customization(Any Contents needs) will be regarded most importantly among the 4A needs; this implies that what matters is how contents are created and distributed in order for the IPTV to take priority in competition afterwards.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.209-212
• /
• 2002

본 논문은 손실 압축(lossy compression)에 강인한 오디오 워터마킹(audio watermarking) 기술을 제안한다. 제안된 워터마킹 기술은 온라인으로 유통되고 있는 MP3, AAC, WMA, RA, ATRAC 등과 같은 대부분의 오디오 압축 포멧으로 변형되더라도 삽입된 정보를 검출할 수 있다. 실험 결과 BER 이 9% 이내로 오류 정정 코드 (error correction code)를 이용해서 삽입 정보를 100% 검출 가능하였다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.331-334
• /
• 2002

의사잡음 시퀀스를 이용한 대역확산 기반의 오디오 워터마킹은 들리지 않으면서도 강인한 워터마크를 만들기 위해 심리음향모델이나 고정필터를 사용하여 의사잡음 시퀀스를 변형시킨다. 그런데, 이러한 방법을 이용하여 스펙트럼 변형된 의사잡음은 고주파 영역에 대부분의 에너지를 갖게 되므로 인위적으로 오디오 신호의 고주파 영역을 잘라내는 공격에 취약하다는 단점이 있다. 본 논문에서는 이러한 단점을 보안하고 강인성 및 잡음의 최소화를 위하여 중간값의 성질을 이용하여 의사잡음을 변형 후 삽입하는 워터마킹 시스템을 제안한다. 중간값 성질을 이용하여 변형한 의사잡음은 원 오디오 신호와의 상관성이 높으며 전주파수 대역에 고르게 분포하는 성질이 있으므로 고주파 영역의 공격에 강인하다. 제안 방법은 의사잡음의 고유성질을 최대로 살린 방법으로 각종 오디오 부호화, 부가잡음, 다운/업 샘플링, 채널변경, 진폭 공격과 같은 다양한 공격에도 워터마크 신호의 검출이 가능하다.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.323-326
• /
• 2002

In this paper, we propose a watermarking technique that it is possible to winnow illegal contents from scattered contents on the internet. The identification is performed using an embedded unique content ID by the watermarking technique. The proposed watermarking technique accepts A/D-D/A conversion and a lot of lossy compression such as MP3, AAC, WMA and Real Audio. Watermark robustness is enabled using group quantization, selecting watermark inserting point, and error correction code. Test results show that the correct extraction is about $90\%$ and SNR is above $50\~60dB$. The above figures means that the proposed technique is able to extract encoded information at least one more times per audio and that it is very difficult to discriminate between a watermarked audio and a original audio.

• Proceedings of the Acoustical Society of Korea Conference
• /
• spring
• /
• pp.335-338
• /
• 2002

본 연구에서는 주파수 영역에서의 확산 스펙트럼 방식을 이용한 오디오 워터마킹 기법을 사용하고 있다. 워터마크 삽입은 오디오 신호를 MCLT(Modulated Complex Lapped Transform)로 분석한 후, 특정 주파수 영역의 진폭에 삽입되며 추출은 상관도를 이용하여 추출하게 된다. 워터마크 삽입은 44.1 kHz의 음악에 80 bits의 정보가 4초 단위로 반복적으로 삽입되며, 추출에서는 무작위로 추출된 8초 분량의 오디오 신호로부터 80 bits 비트 열과의 상관도를 계산하여 선정된 문턱 값을 초과하게 되면 워터마크가 존재하는 것으로 판단하게 된다 피치 스케일에 대응하기 위하여 120개 정도의 탐색을 수행하며, 시간 스케일에 대응하기 위하여 상관도의 지역 최대 점을 추출하고, 이러한 지역 최대 점들로부터 추출된 비트 열과 실제 비트 열과의 상관도를 계산하게 된다. 그러나 추출된 비트 열은 삽입 에러와 삭제 에러를 가질 수 있기 때문에 이러한 비트 열과의 최대 상관도를 구하기 위하여 본 연구에서는 동적계획법에 의한 최대 상관도 추출 알고리즘을 제시한다. 제안된 방법은 피치 및 시간 스케일링 변환 뿐만 아니라, 오디오 압축에도 견고함을 보인다.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.205-214
• /
• 2016

Any open Riemann surface has a conformal model in any orientable Riemannian manifold of dimension 4. Precisely, we will prove that, given any open Riemann surface, there is a conformally equivalent model in a prespecified orientable 4-dimensional Riemannian manifold. This result along with [5] now shows that an open Riemann surface admits conformal models in any Riemannian manifold of dimension ${\geq}3$.

• Journal of the Korean Professional Engineers Association
• /
• v.38 no.3
• /
• pp.6-12
• /
• 2005

DMB(Digital Multimedia Broadcasting) Service was started, DMB enables people on the move to enjoy seamless video streaming, theater-quality audio and data through a hand-held digital device much like a handset or an in-car terminal. Realization of any-time, any-where, any-device, any-one DMB Service is needed for the government effective policy, Technical R&D and Standization, Corporate investment.

• Information and Communications Magazine
• /
• v.21 no.8
• /
• pp.66-87
• /
• 2004

유무선 통합은 컴퓨팅(Computing), 커뮤니케이션(Communication), 접속(Connectivity), 콘텐츠(Contents), 조용함(Calm)등 5C의 5Any화 (Any Time, Anywhere, Any Network, Any Device, Any Service)를 지향하며 유비쿼터스 컴퓨팅을 실현하는 핵심 기술이다. 유무선 통합은 가입자가 언제 어디서나 유선과 무선에 상관없이 동일한 정보통신 서비스를 제공받는 틀을 의미한다.(중략)

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.5
• /
• pp.1289-1304
• /
• 2022

In this note, we show that a strongly 𝜙-ring R is a 𝜙-PvMR if and only if any 𝜙-torsion-free R-module is 𝜙-w-flat, if and only if any GV-torsion-free divisible R-module is nonnil-absolutely w-pure, if and only if any GV-torsion-free h-divisible R-module is nonnil-absolutely w-pure, if and only if any finitely generated nonnil ideal of R is w-projective.