• Journal of Korea Society of Industrial Information Systems
• /
• v.4 no.1
• /
• pp.1-6
• /
• 1999

This paper is on the analysis for the real-time software requirement. This method can be used for TNPN(Timed Numerical Peri Net) as a easy communication means with real-users. It is based on the RTTL(Real Time Temporal Logic) for correctness the system. TNPN is used to represent a behavior specification language, the validity of specified behaviors in TNPN is expressed in RTTL, and analyzed through the teachability graph. Thus, the requirement between user and system is satisfied Using the example of shared track, the validity of the property of real-time(safetiness, responsiveness, liveness, priority) is verified. Also this framework if given to connection with a object, natually.

• Journal of Korea Multimedia Society
• /
• v.8 no.5
• /
• pp.587-595
• /
• 2005

The vision for MPEG-21 is to define a multimedia framework to enable transparent and augmented use of multimedia resources across a wide range of networks and devices used by different communities MPEG-21 Event Reporting is required within the MPEG-21 Multimedia Framework in order to provide a standardized means for sharing information about Events amongst Peers and Users. There are several Time used in MPEG-21 Event Reporting. In this paper, we analyze and categorize various kinds of Time used in Event Reporting. And we define ERTimeType to be applied for every. Time used in Event Reporting and implement it by XML to support interoperability of standard. The ERTimeType structure we defined is established its objectivity as it is selected to 'ISO/IEC 21000-Part IS: Event Reporting WD 2.0'.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.12 no.4
• /
• pp.33-47
• /
• 1992

A study for the material and geometric nonlinear analysis of segmentally erected cable-supported prestressed concrete plane frames including the time-dependent effects due to load history, creep, shrinkage, aging of concrete, and relaxation of prestressing steel and cable is presented. Updated Lagrangian formulation is used to account for the nonlinear behavior of the structure. For the time-dependent analysis. the time domain is divided into a discrete number of intervals, and a step-forward integration is performed as the solution progresses in the time domain. At each time step. a nonlinear finite element analysis is performed in the space domain. Segmental erection methods are implemented by providing the capability to change the configuration of the structure at any time step of the solution. The computer program CFRAME is developed and a series of numerical examples are presented to study the validity of the program.

• The Korean Journal of Applied Statistics
• /
• v.30 no.3
• /
• pp.403-415
• /
• 2017

In this paper, we investigate cosponsorship networks found in the 17th National Assembly of Republic of Korea. New legislation should be sponsored by at least 10 legislators including one main sponsor. Cosponsorship networks can be constructed, using directional links from cosponsors of legislation to its main sponsor; subsequently, these networks indicate the social relationships among the legislators. We apply Exponential Random Graph Model (ERGM) for valued networks to capture structural properties and the covariate effects of networks. We find the effect of the same party has the greatest influence on the composition of the network. Mutuality also plays an important role in the cosponsorship network; in addition, the effect of the number of elections won by a legislator has a small but significant influence.

• Journal of the Korean Society for Railway
• /
• v.14 no.1
• /
• pp.80-86
• /
• 2011

The purpose of this study is to develop conflict management considering justification of planning decision by public involvement (PI) in the context of Korea as an approach to prevent conflicts for railway projects and to achieve consensus building between public and governments. In this study, to evaluate the effectiveness of conflict management in the process of railway planning, we examined the before and after survey on the light rail transit (LRT) planning that was previously conducted. We first conducted estimation on the causal relationships among factors related to acceptance of LRT planning by structural equation model. The estimation results show that conflict management activities and acceptance are positively related. We also discussed as follows: the level of recognition of railway project influences positive effects regardless of conflict management activities, the most important factor with respect to the acceptance is awareness for planning necessity.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.26 no.4A
• /
• pp.677-687
• /
• 2006

Kriging interpolation is one of the generally used interpolation techniques in Geostatistics field. This technique includes the experimental and theoretical variograms and the formulation of kriging interpolation. In contrast to the conventional least square method for stress recovery, kriging interpolation is based on the weighted least square method to obtain the estimated exact solution from the stress data at the Gauss points. The weight factor is determined by variogram modeling for interpolation of stress data apart from the conventional interpolation methods that use an equal weight factor. In addition to this, the p-level is increased non-uniformly or selectively through a posteriori error estimation based on SPR (superconvergent patch recovery) technique, proposed by Zienkiewicz and Zhu, by auto mesh p-refinement. The cut-out plate problem under tension has been tested to validate this approach. It also provides validity of kriging interpolation through comparing to existing least square method.

• Korean Journal of Legislative Studies
• /
• v.24 no.1
• /
• pp.135-170
• /
• 2018

The recent success of populist parties and candidates in the US and European countries leads to a massive amount of empirical research on populism, a deviant form of representative democracy. Much ink has been spilled to define populism and to identify the causes of its rise and continued success in democratic political system. However, little is known about populist attitudes of individual voters. Using a large-scale online survey fielded in the context of the South Korean presidential election in 2017, this study examines (1) what determines populist attitudes of South Korean voters and (2) how populist attitudes are associated with evaluations of political parties, candidates, and political issues. Statistical analysis reveals that people high on populism are more likely to support an underdog left-wing political party and its presidential candidate, and are less likely to support policies implemented or proposed under the auspices of the Park Geun-hye administration. These findings do not necessarily suggest the inherent affinity between populism and left-wing ideology; rather, it implies populist attitudes happened to appear in 2017, in reactions to lack of confidence in the previous government.

• Korean Journal of Social Welfare Studies
• /
• v.42 no.1
• /
• pp.31-54
• /
• 2011

This study investigates the nature of the welfare state under the Kim Dae Jung and Roh Moo Hyun regime focusing on participatory democracy in the policy decision making procedure for the National Health Insurance. Participatory democracy was introduced not for the qualitative development of Korean democracy but for securing political legitimacy to change the Korean economic structure after the IMF financial crisis. Although participatory democracy played the positive role in winning higher benefit level in National Health Insurance. an index for the development of the welfare state, in 2007 A policy of higher benefit level ended in failure because of the pursuit of the neoliberal ideology, lack of government's responsibility for public finance, and thwarting policy holders' substantial participation in the decision-making process. Like those of past welfare systems, participatory democracy under the Kim Dae Jung and Roh Moo Hyun regime was introduced for securing political legitimacy. But it was managed under restrictions imposed by pro-economic-growth ideology. Nevertheless, the Kim Dae Jung and Roh Moo Hyun governments are different from the former welfare states because of the fact that participatory democracy system is not 'service' system but 'political structure' and the fact that the grant of powers by participatory democracy played positive roles in the development of welfare state through request of higher benefit level policy.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.13 no.1
• /
• pp.1-12
• /
• 1993

Tangent stiffness matrices are derived for the torsional and lateral stability analysis of the space beams and framed structures with the symmetric thin-walled section by using the principle of virtual displacement. In the cases of restrained torsion and unrestrained torsion, the elastic and geometric stiffness matrices are evaluated by using the Hermitian polynomials which represent the displacement field of the beam element in simple flexure. Numerical examples illustrate the accuracy and convergence characteristics of the derived formulations.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2001.11b
• /
• pp.129-133
• /
• 2001

영상에 포함된 잡음은 화질 및 영상의 압축효율을 저하시킨다. 최근 들어, 영상의 에지 성분을 효율적으로 고려하면서 잡음을 제거하기 위하여 다양한 비정적(nonstationary) 영상 모델에 근거한 잡음제거 알고리즘이 제안되어 왔다. 하지만, 기존의 비정적 영상모델에서는 연산량의 부담을 덜기 위하여 각 화소들 사이에 상관관계(correlation)가 없다는 가정을 하고 있어 영상의 미세한 정보들이 필터링에 의하여 훼손된다. 본 논문에서는 영상의 비정적 상관관계를 고려한 적응적 잡음제거 알고리즘을 제시한다. 영상신호는 비정적 평균을 가진다고 가정되며, 또한 각기 다른 정적(stationary) 상관관계를 가지는 부분 영상으로 분리된다고 가정된다. 제안된 영상 모델에서의 공분산(co-variance) 행렬의 특수한 구조를 이용하여 계산적으로 효율적인 FFT에 기반한 선형 minimum mean square error 필터를 유도한다. 제안된 영상 모델의 정당성 및 알고리즘의 효율성을 제시한다.