• Steel and Composite Structures
• /
• 제22권1호
• /
• pp.161-182
• /
• 2016

A state space differential reproducing kernel (DRK) method is developed for the three-dimensional (3D) analysis of functionally graded material (FGM) axisymmetric circular plates with simply-supported and clamped edges. The strong formulation of this 3D elasticity axisymmetric problem is derived on the basis of the Reissner mixed variational theorem (RMVT), which consists of the Euler-Lagrange equations of this problem and its associated boundary conditions. The primary field variables are naturally independent of the circumferential coordinate, then interpolated in the radial coordinate using the early proposed DRK interpolation functions, and finally the state space equations of this problem are obtained, which represent a system of ordinary differential equations in the thickness coordinate. The state space DRK solutions can then be obtained by means of the transfer matrix method. The accuracy and convergence of this method are examined by comparing their solutions with the accurate ones available in the literature.

• Communications for Statistical Applications and Methods
• /
• 제10권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.

• 전력전자학회논문지
• /
• 제25권4호
• /
• pp.303-310
• /
• 2020

Estimating the accurate internal state of lithium ion batteries to increase their safety and efficiency is crucial. Various algorithms are used to estimate the internal state of a lithium ion battery, such as the extended Kalman filter and sliding mode observer. A state-space model is essential in using algorithms to estimate the internal state of a battery. Two principal methods are used to express the state-space model, namely, continuous time and discrete time. In this work, the extended Kalman filter is employed to estimate the internal state of a battery. Moreover, this work presents and analyzes the estimation performance of algorithms consisting of a continuous time state-space model and a discrete time state-space model through static and dynamic profiles.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권9호
• /
• pp.669-675
• /
• 2010

이른 시스템 개발 단계에서 요구사항 에러를 찾기 위해서는 시스템의 행위가 정형 언어로 표현되어야 하고, 도달성 분석이나 싸이클 탐색과 같은 분석 기술로 분석해야 한다. 하지만 이 기술들은 시스템의 상태 공간 순회를 기반으로 하기 때문에 시스템이 복잡해지면 상태 폭발 문제가 발생할 수 있다. 즉, 순회를 위한 메모리와 수행 시간이 큰 상태 공간 때문에 기하 급수적으로 증가한다. 본 논문에서는 병행 시스템에서 이러한 문제가 나타나는 원인을 지적하고 순회에 필요한 메모리를 줄이기 위해서 병행적 상태 공간을 합성하지 않고 순회한다. 또한 수행 시간을 줄이기 위해서 방문 기록을 최소한으로 유지하는 새로운 기술을 제시한다. 마지막으로 이 기법이 효과적임을 실험 결과를 통해 보인다.

• International Journal of Computer Science & Network Security
• /
• 제21권12호
• /
• pp.323-327
• /
• 2021

The article examines the process of professional training in educational institutions, media technologies and methods of media communication in the educational space of the institution, characterizes the place of media technologies in the educational space in the context of the term "educational space" itself, systematizes the methods of media communications in education. The peculiarities of media education as a set of means and methods of teaching young people adequate media perception are pointed out.

• Journal of Computing Science and Engineering
• /
• 제9권1호
• /
• pp.9-19
• /
• 2015

The most important challenge in the region-based abstraction method as an approach to compute the state space of time Petri Nets (TPNs) for model checking is that the method results in a huge number of regions, causing a state explosion problem. Thus, region-based abstraction methods are not appropriate for use in developing practical tools. To address this limitation, this paper applies a modification to the basic region abstraction method to be used specially for computing the state space of TPN models, so that the number of regions becomes smaller than that of the situations in which the current methods are applied. The proposed approach is based on the special features of TPN that helps us to construct suitable and small region graphs that preserve the time properties of TPN. To achieve this, we use TPN-TCTL as a timed extension of CTL for specifying a subset of properties in TPN models. Then, for model checking TPN-TCTL properties on TPN models, CTL model checking is used on TPN models by translating TPN-TCTL to the equivalent CTL. Finally, we compare our proposed method with the current region-based abstraction methods proposed for TPN models in terms of the size of the resulting region graph.

• Communications for Statistical Applications and Methods
• /
• 제29권6호
• /
• pp.695-708
• /
• 2022

Recently, several studies have been conducted using state space model. In this study, a dynamic linear model with state space model form is applied to stock data. The monthly returns for 135 Korean stocks are fitted to a dynamic linear model, to obtain an estimate of the time-varying 𝛽-coefficient time-series. The model formula used for the return is a capital asset pricing model formula explained in economics. In particular, the transition equation of the state space model form is appropriately modified to satisfy the assumptions of the error term. k-shape clustering is performed to classify the 135 estimated 𝛽 time-series into several groups. As a result of the clustering, four clusters are obtained, each consisting of approximately 30 stocks. It is found that the distribution is different for each group, so that it is well grouped to have its own characteristics. In addition, a common pattern is observed for each group, which could be interpreted appropriately.

• 한국정보통신학회논문지
• /
• 제9권6호
• /
• pp.1341-1345
• /
• 2005

비선형이고 정규분포에 따르지 않는 state-space모형분석에서 순차적 몬테 칼로(SMC)는 유용한 도구 중의 하나이다. 모수와 시그럴을 동시에 추정하기 위해 Monte Carlo particle filters를 사용할 수가 있다. 그러나 SMC는 여러단계의 반복을 요구하는 특별한 particle filtering 기법을 필요로 하게 된다. 본 논문은 particle filtering과 순차적 hybrid Monte Carlo(SHMC)을 결합하는 방법을 제시하고자 한다. 실험을 위해 짱뚱어 자료를 사용하였다.

• Current Optics and Photonics
• /
• 제6권3호
• /
• pp.304-312
• /
• 2022

Digital images of cultural relics captured using line scan cameras present limitations due to uneven intensity and low contrast. To address this issue, this report proposes a colour linear array image enhancement method that can maintain a constant colour. First, the colour linear array image is converted from the red-green-blue (RGB) colour space into the hue-saturation-intensity colour space, and the three components of hue, saturation, and intensity are separated. Subsequently, the hue and saturation components are held constant while the intensity component is processed using the established intensity compensation model to eliminate the uneven intensity of the image. On this basis, the contrast of the intensity component is enhanced using an improved local contrast enhancement method. Finally, the processed image is converted into the RGB colour space. The experimental results indicate that the proposed method can significantly improve the visual effect of colour linear array images. Moreover, the objective quality evaluation parameters are improved compared to those determined using existing methods.

• 대한전기학회논문지
• /
• 제45권3호
• /
• pp.399-406
• /
• 1996

This paper presents a method of hierarchical state estimation of the time-varying linear systems via Block-pulse function(BPF). When we estimate the state of the systems where noise is considered, it is very difficult to obtain the solutions because minimum error variance matrix having a form of matrix nonlinear differential equations is included in the filter gain calculation. Therefore, hierarchical approach is adapted to transpose matrix nonlinear differential equations to a sum of low order state space equation from and Block-pulse functions are used for solving each low order state space equation in the form of simple and recursive algebraic equation. We believe that presented methods are very attractive nd proper for state estimation of time-varying linear systems on account of its simplicity and computational convenience. (author). 13 refs., 10 figs.