• Journal for History of Mathematics
• /
• v.25 no.1
• /
• pp.29-43
• /
• 2012

In this paper, we survey the history of search for axiomatic set theory and show that ${\exists}U(0{\in}U{\wedge}{\forall}x(x{\in}U{\leftrightarrow}{\exists}z(z{\in}U{\wedge}{\forall}y(y{\in}x{\rightarrow}y{\subseteq}z))){\rightarrow}$ ZR.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 1995.10b
• /
• pp.293-299
• /
• 1995

본 논문은 컴퓨터 시각을 이용하여 동적 제스쳐를 인식하기 위한 효율적인 지식 표 현 기법의 개발을 목표로 한다. 제스쳐란 시각적인 언어로서 소리를 대신하여 몸짓이나 손 짓을 통하여 자신의 생각이나 의도를 전달하는 보조적인 의사 전달 수단이다. 제안된 기법 은 여러 다양한 지식을 통합하여 총체적으로 표현하기에 적합한 프레임 구조를 기반으로 한 다. 프레임 지식을 물체의 특성을 표현하는 객체 지식, 물체의 움직임을 표현하는 행동 지 식, 그리고 객체 지식과 행동 지식의 순서화 된 집함으로써 동적인 제스쳐를 표현하는 스키 마로 분류한다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.3
• /
• pp.336-341
• /
• 2004

This paper proposes an independent component analysis(ICA) of the fixed-point (FP) algorithm based on secant method and the kurtosis. The FP algorithm based on secant method is applied to improve the analysis speed and performance by simplifying the calculation process of the complex derivative in Newton method, the kurtosis is applied to cluster the components. The proposed ICA has been applied to the problems for separating the 6-mixed signals of 500 samples and 8-mixed images of $512{\times}512$ pixels, respectively. The experimental results show that the proposed ICA has always a fixed analysis sequence. The result can be solved the limit of conventional ICA based on secant method which has a variable sequence depending on the running of algorithm. Especially, the proposed ICA can be used for classifying and identifying the signals or the images.

• Journal of KIISE:Information Networking
• /
• v.32 no.6
• /
• pp.668-675
• /
• 2005

With the proliferation of wireless network and the advances of the embedded systems, the traditional distributed systems begin to include the wireless embedded systems. Clock synchronization in the distributed systems is one of the major issues that should be considered for diverse Purposes including synchronization, ordering, and consistency. Many clock synchronization algorithms have been proposed over the years. Since clock synchronization in wireless embedded systems should consider the low bandwidth of a network and the poor resources of a system, most traditional algorithms cannot be applied directly. We propose a clock synchronization algorithm in wireless embedded systems, extending IEEE 802.11 standard. The proposed algorithm can not only achieve high precision by loosening constraints and utilizing the characteristics of wireless broadcast but also provide continuous time synchronization by tolerating the message losses. In master/slave structure the master broadcasts the time information and the stave computes the clock skew and the drift to estimate the synchronized time of the master. The experiment results show that the achieved standard deviation by the Proposed scheme is within the bound of about 200 microseconds.

• Journal of Broadcast Engineering
• /
• v.16 no.6
• /
• pp.1036-1046
• /
• 2011

MPEG and VCEG have constituted a collaboration team called JCT-VC(Joint Collaborative Team on Video Coding) and have been developing HEVC(High Efficiency Video Coding) standard. All transform coefficients in a TU(Transform Unit) have been equally quantized according to the quantization and inverse quantization method which is used in HEVC standard. Such an equal quantization is not efficient because the transformed coefficients in the TU are not eqully distributed. Furthermore, the quantized coefficients which is positioned in later scanning order cannot be efficient due to the entropy scanning method. We suggest an algorithm that transform coefficients are quantized at different values according to the position in TU considering a scanning order of entropy encoding to improve the coding efficiency. The principle of this algorithm is that quantization and inverse quantization are carried out according to the scanning order which is in accordance with the statistical characteristic of distribution of quantized transform coefficients. The proposed algorithm shows on the average of 0.34% Y BD-rate compression rate improvement.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1992.04b
• /
• pp.149-155
• /
• 1992

본 사례연구는 자동차용 스프링 제조업체의 생산합리화를 위하여 조립라인에서의 효율적인 조립을 위한 전 생산공정의 평준화 생산 방안에 관한 것이다. 조립라인에서 조립작업의 지연 및 불균형은 그 근본 원인이 애로공정인 열간작업 및 열처리공정에서의 모델별.낱장로트별로 작업공정 구성과 작업처리속도에서 불균형을 이루기 때문이다. 결국 열간작업과 열처리공정이 전공정에서의 생산량과 공정간재고를 통제한다. 위와 같은 문제를 해결하기 위해서는 모기업의 수요를 기점으로하여 필요한 제품을 필요한 양만큼 필요할 때에 공급할 수 있는 마케트인(market in)방식의 인출(pull)시스템을 구축하여야 한다. 따라서 전 생산공정을 크게 압연공정, 열간작업공정, 열처리.조립공정으로 나누어서 용량(capacity)측면에서가 아니라 흐름(flow)측면에서 주문품목에 대하여 모델별.낱장별로 그룹화하고 모델별 조립작업순서와 열처리공정의 투입순서 및 투입량, 열간작업에 대한 작업순서를 결정하여 전체의 생산공정이 평준화 될 수 있는 생산통제방안을 제시한다. 아울러 이 생산통제 방안들의 타당성을 평가하기 위하여 컴퓨터 시뮬레이션을 통한 분석도 행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.571-573
• /
• 1998

정보전달에 있어서 멀티미디어 정보가 차지하는 비중이 점점 증대됨에 따라 멀티미디어 데이터 암호화의 필요성이 부각되고 있는 실정이다. 그러나 기존의 암호화에 일반적으로 적용되어온 DES(Data Encription Standard)와 같은 전통적인 암호화 알고리즘은 멀티미디어 데이터를 암호화하여 실시간으로 처리하기에는 충분히 신속하지 못한 단점이 있다. 그래서 본 논문에서는 디지털 이미지 프로세싱 기법중 압축기법과암호화 기법을 일련의 과정으로 통합하여 멀티미디어 정보의 중요부분을 차지하는 디지털 이미지의 실시간 암호화 처리기법을 연구하였다. 디지털 이미지의 저주파수 성분과 고주파수 성분을 다단계의 레벨로 분리하여 각 대역별로 성분을 집중시킨 후 임의의 배치 순서로 재배치하는 방법을 통해 DCT(Discrete Cosine Transform)과정 및 양자화과정을 거친 공간주파수 성분을 Zig-Zag순서가 아닌 임의의 배치 순서로 재배열할 때 발생되는 이미지의 크기가 상대적으로 커지는 점과 저주파수 성분이 주요 성분으로 구성된 이미지의 경우 해독이 비교적 용이하다는 점, 또한 약간의 응용으로 각 블록의 DC값만을 추출하여 이미지의 주요 내용을 파악할 수 있는 문제점을 해결하였다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.22 no.51
• /
• pp.163-174
• /
• 1999

본 연구는 혼합모델 조립라인의 길이를 최적화하고 이 라인의 길이에서 완성시간을 최소화하는 새로운 제품투입순서를 결정하기 위하여 이단계법(two phase method)을 사용하였다. 최적화된 라인의 길이를 가지고 완성시간을 최소화하면 이 완성시간은 최적해이거나, 최적해에 가까운 근사해이고 이때 제품투입순서는 두 목적함수를 만족하는 새로운 투입순서이다. 제안된 이단계법으로 수식화한 모델들은 수치예를 통해 여러 가지 문제들을 실행한 결과 두 목적함수를 각각 실행시킨 결과보다 좋은 결과임을 증명하였다.

• Journal of Agricultural Extension & Community Development
• /
• v.16 no.2
• /
• pp.405-438
• /
• 2009

This study aims to analyse the consumer and regional dwellers preferences of nonghyup influenced by contributions of socio-economical using ordered logit model. The survey data were obtained from 225 adults in Chungnam province, cross sectional data in 2007. This paper especially estimates the impact of socio-economic characteristics, such as sex, occupation, school career, and emotional and subjective recognition of contributions of regional socio-economical and culture development, social welfare, It also examines the impact of recognition of cooperational level with local government's policy, customer satisfaction ratings, degree of business ethics. The main results are as follows; the consumer and regional dwellers preferences of nonghyup is not affected by sex, occupation, school career. But the consumer and regional dwellers preferences of nonghyup is influenced by emotional and subjective recognition of contributions of regional socio-economical and culture development, social welfare, It also influenced by emotional and subjective recognition of policy cooperation level with local government, customer satisfaction ratings, degree of business ethics.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.23-30
• /
• 2004

In order to approximate the spatial query result size we partition the input rectangles into subsets and estimate the query result size based on the partitioned spatial area. In this paper we examine query result size estimation in skewed data. We examine the existing spatial partitioning techniques such as equi-area and equi-count partitioning, which are analogous to the equi-width and equi-height histograms used in relational databases, and examine the other partitioning techniques based on spatial indexing. In this paper we propose a new spatial partitioning technique based on the Hilbert space filling curve. We present a detailed experimental evaluation comparing the proposed technique and the existing techniques using synthetic as well as real-life datasets. The experiments showed that the proposed partitioning technique based on the Hilbert space filling curve achieves better query result size estimation than the existing techniques for space query size, bucket numbers, skewed data, and spatial data size.