• Proceedings of the KSME Conference
• /
• 2001.06b
• /
• pp.366-371
• /
• 2001

Dynamic stability of an oscillating cantilever plate is investigated in this paper. The equations of motion include harmonically oscillating parameters which originate from the motion-induced stiffness variation. Using the multiple scale perturbation method is employed to obtain a stability diagram. The tability diagram shows that relatively large unstable regions exist when the frequency of oscillation is near twice the frequencies of the 1st torsion natural mode and the 1st chordwide bending mode.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 1998.09a
• /
• pp.56-60
• /
• 1998

하천 및 해상에서의 구조물 건설시 세굴에 대한 영향으로부터의 구조물 안정성 확보는 구조물의 설계 및 시공상 중요한 검토 항목 중 하나이다 따라서, 과거부터 이와 같은 구조물 주변의 세굴문제를 해명하고자 하는 연구가 계속 되어져 왔다. 특히 교각 주변의 국소세굴에 대한 현상의 해명 및 방지대책의 개발은 더욱더 중요한 과제 중의 하나로서 인식되어지고 있다. (중략)

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.8
• /
• pp.1435-1442
• /
• 2006

The ideal method of safety evaluation is to verify results of execution against all possible operations within operating system, but it is impossible. However, the formal method can theoretically prove the safety on actual logic of operating system. Therefore we explain the contents of the art of the safety verification of security kernel, and make a comparative study of various standardized formal verification tools. And then we assigned PVS(Prototype Verification system) of SRI(Stanford Research Institute) to verify the safety of a modified BLP(Bell & LaPadula) model, the core access control model of multi-lavel based security kernel. Finally, we describe formal specification of the revised BLP model using the PVS, and evaluate the safety of the model by inspecting the specification of the PVS.

• Journal of the Korea Society for Simulation
• /
• v.23 no.1
• /
• pp.1-10
• /
• 2014

A cloud computing is one of a parallel and distributed computing. The cloud computing provides some service for user with virtual resources. However, a user's service request does not show a time pattern. As a result, each resource also shows a different availability at the same time. This difference affects a quality of service (QoS) and a resource selection for users. Therefore, we propose the resource availability-based multi auction model for cloud service reservation and resource brokering system. The proposed system is to select the proper resource provider based on the users' request. The proposal adopts the multi phase of the auction to transact resources. The system evaluates the available factor of each resource on the auction phase, and finally reserves the service on the adaptive queue. The proposed model shows the better performance than other existing method.

• Tunnel and Underground Space
• /
• v.23 no.2
• /
• pp.150-159
• /
• 2013

It is generally well known that the stratification of thermal energy in heat stores can be improved by increasing the aspect ratio (the height-to-width ratio) of the stores. Accordingly, it will be desirable to apply a high aspect ratio so as to demonstrate the good thermal performance of heat stores. However, as the aspect ratio of a store increases, the height of the store become larger compared to its width, which may be unfavorable for the structural stability of the store. Therefore, to determine an optimum aspect ratio of heat stores, a quantitative mechanical stability assessment should be performed in addition to thermal performance evaluations. In the present study, we numerically investigated the mechanical stability of silo-shaped rock caverns for underground thermal energy storage at different aspect ratios. The applied aspect ratios ranged from 1 to 6 and the mechanical stability was examined based on factor of safety using a shear strength reduction method. The results from the present study showed that the factor of safety of rock caverns tended to decrease with the increase in aspect ratio and the stress ratio of the surrounding rock mass was influential to the stability of the caverns. In addition, the numerical results demonstrated that under the same conditions of rock mass properties and aspect ratio, mechanical stability could be improved by the reduction in cavern size (storage volume), which indicates that one can design high-aspect-ratio rock caverns by dividing a single large cavern into multiple small caverns.

• Journal of Korea Multimedia Society
• /
• v.15 no.6
• /
• pp.770-783
• /
• 2012

In this paper, we propose a novel structure recovery algorithm in the projective space using image feature points. We use normalized image feature coordinates for the numerical stability. To acquire an initial value of the structure and motion, we decompose the scaled measurement matrix using the singular value decomposition. When recovering structure and motion in projective space, we introduce matrix decomposition constraints. In the reconstruction procedure, a nonlinear iterative optimization technique is used. Experimental results showed that the proposed method provides proper accuracy and the error deviation is small.

• Journal of KIISE:Information Networking
• /
• v.29 no.2
• /
• pp.174-180
• /
• 2002

With the invention of MPLS and the Improvement in traffic engineering, multipath packet forwarding and dynamic load control has become a reality. A dynamic load control, while it can improve network efficiency by controlling loads between paths according to the network state, can lead to unstable and oscillating state because of the staleness of the state information. In this paper, we propose a efficient load control scheme which remains stable. The proposed scheme introduces prediction to reduce the staleness of state message and to prevent oscillation.

• Journal of the Korean GEO-environmental Society
• /
• v.8 no.2
• /
• pp.11-18
• /
• 2007

Slope failure triggered by rainfall produces severe effects on the serviceability and stability of railway, Therefore, slope stability problem is one of the major concerns on the operation of railway. In this study, the rainfall conditions triggering slopes failure adjacent to railroads are investigated and the numerical analysis approach in consideration of infiltration and limit equilibrium method based upon multiple slip surfaces are proposed. The rainfall conditions triggering slope failure are as follow: cumulative rainfall is in the range of 150~500 mm, and duration is from 3 to 24 hours. Base upon the rainfall conditions, infiltration analysis and limit equilibrium method for infinite slope condition are carried out. The depth of infinite slope is assumed as 2 m and the multiple slip surfaces modeled with 16.7 cm interval from the bottom slip surface located at the 2 m depth. The assumed bottom slip surface is the location at which factor of safety is converging. The proposed approach shows more reasonable results than the results from the general codes assuming water table at slope surface. In addition, three dimensional plot of cumulative rainfall, rainfall duration, and factor of safety shows that slope stability analysis in consideration of rainfalll must account for cumulative rainfall (rainfall duration).

• 전기의세계
• /
• v.38 no.3
• /
• pp.43-50
• /
• 1989

오늘날 각국의 전력산업계에서는 발전단가를 경제적으로 유리하도록 낮추고 전력수요에 탄력적으로 대처하며 기존 발전설비를 효율적으로 활용하기 위하여 발전설비의 성능개선 및 발전소 운전 수명 연장 계획을 추진하고 있다. 최신 기술에 의한 제어게통 성능 개선은 이러한 목적을 제한된 예산과 짧은 기간내에 효과적으로 수행할 수 있는 사업으로 고려되고 있다. 근본적으로 고장-내력 기능을 가지고 있는 마이크로프로세서를 이용한 분산 디지탈 제어기술은 대용량의 공정계통을 실시각 성능분석과 예측제어를 가능케 할 뿐만 아니라 다중 제어계통으로 계통의 신뢰도 및 이용율을 높이고 발전소 운전 및 제어를 용이하게 계층적으로 구성시킬 수 있는 최신 제어 기술이다. 이로써, 사례에 밝혀진 바와 같은 제어 설계 개선 및 설비 대체로 발전소 운영의 경제성, 안전성, 신뢰성 및 편이성의 개선 효과를 달성시키고 있음을 알았다. 특히, 선진국의 원자력 발전소의 제어계통 성능개선 사례는 경제성은 물론 안전성 확보에도 큰 기여를 하고 있음이 밝혀졌다. 우리나라도 전력 수요에 경제적으로 대처하고 보다 양질의 전기를 생산하며 기존설비를 효과적으로 이용하기 위하여 현재 추진중에 있는 화력발전소 제어계통 성능 개선을 단계적으로 추진하고 있는 것은 고무적인 계획임에 틀림이 없다 하겠다. 또한, 원자력 발전소의 경우에도 안정성을 제고시키고, 발전소의 이용율을 증대시키기 위하여 추진중인 신기술을 적용한 성능 개선 사업의 단계적 추진은 당연한 추세라 할 수 있다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.31 no.7
• /
• pp.9-14
• /
• 2003

In this work, a multi-block/multi-partitioning method is suggested for a multi-block parallelization. It has an advantage of uniform load balance via subdividing of each block on each processor. To make a comparison of parallel efficiency according to domain decomposition method, a multi-block/single-partitioning and a multi-block/ multi-partitioning methods are applied to the flow analysis solver. The multi-block/ multi-partitioning method has more satisfactory parallel efficiency because of optimized load balancing. Finally, it has applied to the CFDS code. As a result, the computing speed with sixteen processors is over twelve times faster than that of sequential solver.