• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2006년도 춘계학술대회논문집
• /
• pp.224-231
• /
• 2006

A six-degree-of-freedom dynamic model with time-varying mesh stiffness/damping and friction has been developed for the dynamic analysis of a gear driving system. This model includes a spur gear pair, bearing, friction and prime mover. Using Newton???s method, equations of motion for the gear driving system were derived. Two computer programs are developed to calculate mesh stiffness, transmission error and friction force and analyze the dynamics of the modeled system using a time integration method. The influences of mesh stiffness/damping, bearing, and friction affecting the system were investigated by performing eigenvalue analysis and time response analysis. It is found that the reduction of the maximum peak magnitude by friction is decided according to designing the positions of pitch point and maximum peak in the responses.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 한국컴퓨터종합학술대회 논문집 Vol.33 No.1 (C)
• /
• pp.142-144
• /
• 2006

모델 체킹(model checking)은 자동으로 소프트웨어의 속성을 검증하는 기법으로 그 필요성이 꾸준히 증가하고 있다. 시스템이 특정 속성(property)을 만족하지 않는 경우 모델 체커는 반례(Counterexample)를 생성하게 된다. 반례는 오류가 발생한 원인을 담고 있는 정보로서 오류를 이해하고 수정하는 작업에 많은 도움을 준다. 하지만 반례가 너무 길거나 이해하기 어려운 경우에는 분석에 많은 시간과 자원이 소요되기도 한다. 따라서 자동적으로 반례 안의 오류를 찾아내고 설명을 제공하는 기법의 필요성이 대두되고 있다. 본 논문에서는 추상모델(abstract model)에서 생성된 반례의 오류의 원인을 밝히는 자동화 기법을 제시한다.

• 디지털융복합연구
• /
• 제7권3호
• /
• pp.93-102
• /
• 2009

Recently, concerns regarding ubiquitous health have been on the increase according to development of ubiquitous technology and growth of health industry. This study suggested a necessity for market segmentation for the creation of new markets of ubiquitous health business under this background. This paper also analyzed possibile health service industry with characteristics of customers by making an analysis of market segmentation. It was grouped into 4 parts by factor analysis and cluster analysis with raw data collected, the results showed that they would be main potential ubiquitous health service industry. However, some are not significant in statistics, which means that since ubiquitous health industry has not yet been experienced, it probably shows uncertainty about its favour. Finally, the study suggested that a future study should build up more detailed market segmentation data with continuous supplementation.

• Nuclear Engineering and Technology
• /
• 제33권4호
• /
• pp.423-440
• /
• 2001

For sodium cooling liquid metal reactors during the last 25 years, it was most important to verify the safety of the steam generator, which absolutely requires a water leak detection system with fine sensitivity and response. This study describes the structure and leak classification of the HAMMER (Korea Advanced Liquid Metal Reactor) steam generator, compared with other classifications, and explains the effects of leak development. The requirements and experimental situations for the development of the KALIMER acoustic leak detection system (KADS) which detects micro leaks, not intermediate leaks, are introduced. We proposed four frequency bands, 1∼8kHz, 8∼20kHz, 20∼40kHz and 40∼200kHz, split effectively for analyzing the detected acoustic leak signals obtained from the sodium-water reaction model or water model in the mock-up system.

• 대한기계학회논문집A
• /
• 제27권1호
• /
• pp.42-47
• /
• 2003

Nonlinear models for a thin ring rotating at a constant speed are developed. The geometric nonlinearity of displacements is considered by adopting the Lagrange strain theory for the circumferential strain. By using Hamilton’s principle, the coupled nonlinear partial differential equations are derived, which describe the out-of-plane and in-plane bending, extensional and torsional motions. The natural frequencies are calculated from the linearized equations at various rotational speeds. Finally, the computation results from the nonlinear models are compared with those from a linear model. Based on the comparison, this study recommends which model is appropriate to describe the behavior of the rotating ring.

• 디지털산업정보학회논문지
• /
• 제5권4호
• /
• pp.109-116
• /
• 2009

In the paper, we designed an automatic security diagnostic evaluation System(SeDES) based on a security diagnostic evaluation model(SeDEM) for an organization's security assurance. The SeDEM evaluates a security level of an organization quantitatively by a security evaluation formula which is composed of security variables and security index as applying the statistical CAEL model for evaluate risk level of banks. The SeDES has a good expandability as changing security variables according to an organization scale, characteristics and so on. And it also has a excellent usage because it inputs only numeric data got from statistical technique to security index. We can understand more a security level correctly than the existent risk assessment system because it is possible to assess quantitatively with an security grade as well as score. analysis.

• ETRI Journal
• /
• 제24권2호
• /
• pp.69-81
• /
• 2002

This paper reviews the existing research activities on signaling and control procedures for IP over optical networks. We focus on the IP-centric signaling and control architecture based on the generalized multi-protocol label switching (GMPLS) protocol and analyze various scenarios and technical issues for deploying the IP over an optical network. We analyze the signaling and operations and administration and maintenance requirements for integrating an IP network and an optical network in order to cope with the high bandwidth and poor resource granularity of the optical network, including the optical cross-connect system. On the basis of network architecture and a reference configuration model, we investigate the GMPLS-based control architecture and interconnection model appropriate for controlling IP bandwidth and optical lambda resources. The signaling and control procedure based on GMPLS on optical user-network interface and network-network interface are comparatively investigated to provide the optical lightpath. We also study protection and restoration procedures to protect link failure when it applies to generalized MPLS signaling.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2005년도 봄학술 발표회 논문집(I)
• /
• pp.195-198
• /
• 2005

To investigate the strengthening efficiency of the Near Surface Mounted Reinforcement (NSMR) technique analytically, a structural model for the finite element method (FEM) able to simulate accurately the experimental results was determined. Applying the finite element model, parametric analysis was performed considering the groove depth and spacing of CFRP laminates. Analytical study on the groove depth revealed the existence of a critical depth beyond which the increase of the ultimate load becomes imperceptible. Analytical results regard to the spacing of the CFRP laminates showed that comparatively smooth fluctuations of the ultimate load were produced by the variation of the spacing and the presence of an optimal spacing range for which relatively better strengthening efficiency can be obtained. Particularly, a spacing preventing the interference between adjacent CFRP laminates and the influence of the concrete cover at the edges as well as allowing the CFRP laminatesto behave independently was derived.

• KIEAE Journal
• /
• 제3권3호
• /
• pp.51-58
• /
• 2003

This Study aims to evaluate the interior atmospheres of atrium by glass colours. For the purpose, the 1/50 scale model of one-sided atrium was made and images of interior atmospheres were pictured under clear sky conditions. And then, questionnaire surveys were conducted on K university students in department architecture engineering. The survey results were analyzed by SPSS program. Frequency and correlation analysis were performed. As results, clear glass is chosen as the most preferred glass colour in any seasons. And, green and blue glasses are preferred in the order. And then, it is revealed that the main variables affecting satisfaction of interior atmospheres are a little changed by thermal senses of seasons. These variables are "bright", "neat", "warm", "comfort", "stable", "active", "static", "elegant" and "cool" through correlation analysis.

• 반도체디스플레이기술학회지
• /
• 제10권2호
• /
• pp.97-102
• /
• 2011

Lots of 2D vision algorithms have been applied for inspection. However, these 2D vision algorithms have limitation in inspection applications which require 3D information data such as the height of semiconductor chips. Stereo vision is a well known method to measure the distance from the camera to the object to be measured. But it is difficult to apply for inspection directly because of its measurement error. In this paper, we propose two adjustment methods to reduce the error of the measured height data for stereo vision. The weight value based model is used to minimize the mean squared error. The average value based model is used with simple concept to reduce the measured error. The effect of these algorithms has been proved through the experiments which measure the height of semiconductor chips.