• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2007년도 춘계학술대회 논문집
• /
• pp.1000-1007
• /
• 2007

Recently, many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier error of overlooked requirement specification can be detected using formal specification method. Also the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In the comparison of other formal specification methods, we choose the Z formal language for applying to the train control system. Using Z is able to realize higher correctness in the requirement specification, and we propose the Statemate of the best solution in formal verification tools for the system modeling and verification. The Statemate makes it possible to prove thoroughly the system execution from the simple graphical modeling of the complicated train control system. Then we can expect that the model-based formal method combining Z with Statemate will be utilized widely for the railway systems due to various strong points.

• 드라이브 ㆍ 컨트롤
• /
• 제11권3호
• /
• pp.1-6
• /
• 2014

In forklifts, the machine performance is largely depended on the transmission performance. The aim of this paper is to develop a complete model of transmission control valve (TMV) system of a typical forklift using AMESim simulation tool. By using the developed TMV model, it becomes easy to investigate the system concept, working principle, and performance. In addition, an optimization on the TMV structure can be achieved by using this model with tunable parameters. Simulations have been carried out in a comparison with the actual experiments to verify the model.

• 국제강구조저널
• /
• 제18권5호
• /
• pp.1607-1616
• /
• 2018

Quantitatively modeling and propagating all sources of uncertainty stand at the core of seismic fragility assessment of structures. This paper investigates the effects of various sources of uncertainty on seismic responses and seismic fragility estimates of single-layer reticulated domes. Sensitivity analyses are performed to examine the sensitivity of typical seismic responses to uncertainties in structural modeling parameters, and the results suggest that the variability in structural damping, yielding strength, steel ultimate strain, dead load and snow load has significant effects on the seismic responses, and these five parameters should be taken as random variables in the seismic fragility assessment. Based on this, fragility estimates and fragility curves incorporating different levels of uncertainty are obtained on the basis of the results of incremental dynamic analyses on the corresponding set of 40 sample models generated by Latin Hypercube Sampling method. The comparisons of these fragility curves illustrate that, the inclusion of only ground motion uncertainty is inappropriate and inadequate, and the appropriate way is incorporating the variability in the five identified structural modeling parameters as well into the seismic fragility assessment of single-layer reticulated domes.

• 대한기계학회논문집A
• /
• 제26권5호
• /
• pp.843-850
• /
• 2002

This paper presents a simulation method using the transmission line modeling to reduce simulation runtime of hydraulic control systems. This method is based on separating the system components each other using the transmission line elements prior to simulation, which leads to divide the simulated system into several subsystems suitable for an even more efficient integration. It can also handle nonlinearities and discontinuities without flag signal when restarting integration. By applying variable integration timestep to parallel hydraulic circuits via parallel processing, it is shown that simulation run-time can be reduced significantly compared with that of Runge Kutta method.

• 전자공학회논문지 IE
• /
• 제44권4호
• /
• pp.35-40
• /
• 2007

본 논문은 엘리베이터의 분산 제어 시스템을 수학적으로 모델링 하여 이 모델을 기반으로 미리 정의된 제어 목적 하에서 보다 안정되고 향상된 성능을 보이는 제어 알고리즘을 설계하는 것을 목적으로 한다. 또한 승강장 요구 응답 시간 추정과 실제 값을 분석하였다.

• 디지털산업정보학회논문지
• /
• 제12권4호
• /
• pp.107-114
• /
• 2016

Recently, 3D related technology has become a hot topic for IT. 3D technologies such as 3DTV, Kinect and 3D printers are becoming more and more popular. According to the flow of the times, the goal of this study is that the general public is exposed to 3D technology easily. we have developed a web-based application program that enables 3D modeling of facial front and side photographs using a mobile phone. In order to realize 3D modeling, two photographs (front and side) are photographed with a mobile camera, and ASM (Active Shape Model) and skin binarization technique are used to extract facial height such as nose from facial and side photographs. Three-dimensional coordinates are generated using the face extracted from the front photograph and the face height obtained from the side photograph. Using the 3-D coordinates generated for the standard face model modeled with the standard face as a control point, the face becomes the face of the subject when the RBF (Radial Basis Function) interpolation method is used. Also, in order to cover the face with the modified face model, the control point found in the front photograph is mapped to the texture map coordinate to generate the texture image. Finally, the deformed face model is covered with a texture image, and the 3D modeled image is displayed to the user.

• Structural Engineering and Mechanics
• /
• 제58권6호
• /
• pp.1087-1107
• /
• 2016

A method of damage detection based on the moving harmonic excitation and continuous wavelet transforms is presented. The applied excitation is used as a moving actuator and its frequency and speed parameters can be adjusted for an amplified response. The continuous wavelet transforms, CWT, is used for cracks detection based on the resulting amplified signal. It is demonstrated that this identification procedure is largely better than the classical ones based on eigenfrequencies or on the eigenmodes wavelet transformed. For vibration responses, free and forced vibration analyses of multi-cracked beams are investigated based on both analytical and numerical methodological approaches. Cracks are modeled through rotational springs whose compliances are evaluated using linear elastic fracture mechanics. Based on the obtained forced responses, multi-cracks positions are accurately identified and the CWT identification can be highly improved by adjusting the frequency and the speed excitation parameters.

• 태양에너지
• /
• 제20권1호
• /
• pp.1-9
• /
• 2000

Wind turbine system converts wind energy into electric energy. Since the velocity of wind is random in nature, control of the angular velocity of the blade is necessary in order to generate high quality electric power. The control of a blade can be divided into a stall regulation and a pitch control types. The stall regulation type which is based on the characteristics of an aerodynamic stall of the blades is simple and cheap, but it suffers from fluctuation of the resulting power. Or the contrary, pitch control type is based on the fact that the torque of the blade can be changed by varying the pitch angle of the blade. It is mechanically and mathematically complicated, but the control performance is better than that of the stall regulation type. This paper suggests a method of denying a mathematical modeling of the wind turbine system, and develops a speed control algorithm by pitch control. The validity of the algorithm is demonstrated with the results produced through sets of simulation.

• 전자공학회지
• /
• 제20권9호
• /
• pp.51-58
• /
• 1993

• Geomechanics and Engineering
• /
• 제20권6호
• /
• pp.517-525
• /
• 2020

The long-term stability of rock engineering is significantly affected by the time-dependent deformation behavior of rock, which is an important mechanical property of rock for engineering design. Although the hard rocks show small creep deformation, it cannot be ignored under high-stress condition during deep excavation. The inner mechanism of creep is complicated, therefore, it is necessary to investigate the relationship between microscopic creep mechanism and the macro creep behavior of rock. Microscopic numerical modeling of sandstone creep was performed in the investigation. A numerical sandstone sample was generated and Parallel Bond contact and Burger's contact model were assigned to the contacts between particles in DEM simulation. Sensitivity analysis of the microscopic creep parameters was conducted to explore how microscopic parameters affect the macroscopic creep deformation. The results show that the microscopic creep parameters have linear correlations with the corresponding macroscopic creep parameters, whereas the friction coefficient shows power function with peak strength and Young's modulus, respectively. Moreover, the microscopic parameters were calibrated. The creep modeling curve is in good agreement with the verification test result. Finally, the creep curves under one-step loading and multi-step loading were compared. This investigation can act as a helpful reference for modeling rock creep behavior from a microscopic mechanism perspective.