• Journal of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.993-1008
• /
• 1996

The white noise analysis, initiated by Hida [3] in 1975, has been developed to an infinite dimensional distribution theory on Gaussian space $(E^*, \mu)$ as an infinite dimensional analogue of Schwartz distribution theory on Euclidean space with Legesgue measure. The mathematical framework of white noise analysis is the Gel'fand triple $(E) \subset (L^2) \subset (E)^*$ over $(E^*, \mu)$ where $\mu$ is the standard Gaussian measure associated with a Gel'fand triple $E \subset H \subset E^*$.

• Proceedings of the KSRS Conference
• /
• 2004.10a
• /
• pp.245-248
• /
• 2004

In this paper, we propose a framework for synchronization of spatial data between mobile devices and a server by using SyncML(Synchronization Markup Language) that is standard specification for synchronization protocol. We used GML (Geographic Markup Language) to support interoperability of spatial data between various data sources. We also used metadata and catalog service to access and integrate distributed spatial data, considering relationships of spatial data and non-spatial data.

• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.15-20
• /
• 2003

Construction industry recognizes the necessity to manage is business from viewpoint of processes, and consider developing, evaluating and improving standard processes as important managerial target. SW-CMM provides basic framework for this process management. However, appropriate tailoring and adjustment are essential for SW-CMM concept to be applied to construction business. SW-CMM makes construction manager understand the capability of business process, based on which the priority of process improvement is judged. The capability is prescribed by common features. This paper introduces the basic frame for diagnosing construction business processes with SW-CMM, and presents the case study of analysing processes focusing on communication management.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.15 no.2
• /
• pp.83-96
• /
• 2011

This work proposes a binomial method for pricing the cliquet options, which provide a guaranteed minimum annual return. The proposed binomial tree algorithm simplifies the standard binomial approach, which is problematic for cliquet options in the computational point of view, or other recent methods, which may be of intricate algorithm or require pre- or post-processing computations. Our method is simple, efficient and reliable in a Black-Scholes framework with constant interest rates and volatilities.

• Communications for Statistical Applications and Methods
• /
• v.10 no.1
• /
• pp.203-210
• /
• 2003

In a standard Metropolis-type Monte Carlo simulation, the proposal distribution cannot be easily adapted to "local dynamics" of the target distribution. To overcome some of these difficulties, Duane et al. (1987) introduced the method of hybrid Monte Carlo(HMC) which combines the basic idea of molecular dynamics and the Metropolis acceptance-rejection rule to produce Monte Carlo samples from a given target distribution. In this paper, using the HMC within Gibbs sampler, an asymptotical estimate of the smoothing mean and a general solution to state space modeling in Bayesian framework is obtaineds obtained.

• ETRI Journal
• /
• v.26 no.2
• /
• pp.181-184
• /
• 2004

For communication between heterogeneous conference systems, it is important to build a conference control protocol independent from signaling protocols. We simulate an XML-based conference control that is under consideration as a standard mechanism. We describe the framework and operations for easy implementation in heterogeneous conference systems. The simulation results show that the proposed control protocol provides a consistent service for an increasing number of conferences and participants in small to mid-size centralized conferencing.

• Electronics and Telecommunications Trends
• /
• v.17 no.6 s.78
• /
• pp.163-172
• /
• 2002

MPEG-21 표준화는 다양한 비즈니스 모델과 수시로 변화하는 소비자의 요구를 만족시킬 수 있는 멀티미디어 프레임워크 구성을 목적으로 만들어졌다. ISO/IEC JTC1 SC29에서 현재까지 진행한 MPEG-1, MPEG-2, MPEG-3, MPEG-4, MPEG-7 표준에 이어 MPEG-21이 등장하게 된 배경과 함께 본 고에서는 사용자 요구사항을 기반으로 총 7개의 프레임워크 요소로 구성되어 있는 MPEG-21의 표준화 동향에 대하여 살펴보았다.

• Journal of the Korean Statistical Society
• /
• v.11 no.1
• /
• pp.45-58
• /
• 1982

The problem of comparing k normal populations with a control (or a standard) in terms of the absolute values of their means is considered. Under the framework of indifference-zone formulation a single-state and a two-stage procedures for selecting the best are proposed, according to their commom vairances known or unknown respectively. The procedures guarantee that the probability of correct selection is not less than some preassigned lower limit. Selected tables necessary to implement the procedures are provided.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.436-438
• /
• 2004

전자정부의 고도화 등 정보화 사업의 규모가 확대되면서 성공적인 정보화 사업의 추진을 위한 표준 및 지칭의 중요성이 증대되고 있다. 이러한 정보화 표준 밀 지칭은 조직의 지식, 인력, 정보기술, 업무, 시스템 등의 정보자원과 정보화 추진 절차 및 사용자/개발자 관점에 따라 체계적으로 개발되고 개선되는 것이 필요하다. 이 논문은 정보화 추진을 위해 필요한 표준 일 지침을 분류하는 다양한 과정을 통합하여 효율적이고 체계적으로 지침 및 표준을 관리, 개발할 수 있는 분류체계를 제시한다. 또한 이를 토대로 향후 정보화 표준/지침의 개발을 위한 방향을 모색한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.657-658
• /
• 2009

지속적으로 복잡해져가는 침입 기술과 이에 대응하는 보안소프트웨어의 다양화에 따라 보안 시스템의 개발 및 업데이트 비용은 지속적으로 증가하고 있다. 표준적인 프로토콜과 미들웨어를 구축함으로서 개발 시간 및 중복 개발의 비용을 절감 함과 동시에 각 모듈간의 크로스오버에 의한 성능 향상을 꾀할 수 있다. 본 연구는 이런 표준 프레임워크의 효용성과 이러한 프레임워크에 요구되는 여러 요소들을 제안한다.