• Proceedings of the KIPE Conference
• /
• 2005.07a
• /
• pp.275-278
• /
• 2005

본 논문에서는 입력 필터의 영향을 받는 스위칭 전력변환기의 이론적인 해석 과정을 나타내었다. Middle-brook의 extra element theorem을 이용하여 이론적으로 입력 필터 상호 작용을 해석하였으며, 컴퓨터 시뮬레이션을 통해 확인하였다. 또한 전압 제어 및 전류 제어방식 승압형 변환기를 제작하여 이를 검증하였다.

• Journal of the Korean Geotechnical Society
• /
• v.33 no.4
• /
• pp.47-56
• /
• 2017

Aseismic designs of pile-supported wharves are commonly performed utilizing simplified dynamic analyses, such as multi-mode spectral analyses. Simplified analyses can be useful for evaluating the limit state of structures. However, several pile-supported wharves, that have been damaged during past earthquakes, have shown that soil deformation and soil-pile dynamic interaction significantly affect the entire behavior of structures. Such behavior can be captured by performing nonlinear effective stress analyses, which can properly consider the dynamic interactions among the soil-pile-structure. The present study attempts to investigate the earthquake performance of a pile-supported wharf utilizing a three-dimensional numerical method. The damaged pile-supported wharf at the Kobe Port during the Hyogo-ken Nambu earthquake (1995) is selected to verify the applicability of the numerical modeling. Analysis results showed a suitable agreement with the observations on the damaged wharf, and the significant effect of excess pore pressure development and pile-soil dynamic interaction on the seismic performance of the wharf.

• Journal of Internet Computing and Services
• /
• v.8 no.2
• /
• pp.1-13
• /
• 2007

GPS/GIS and RFID technologies have been changing the paradigm af our society toward ubiquitous era. Especially, geographically distributed mobile agents with transporting objects need to be automatically recognizable and traceable under certain conditions. To do this, fundamental theories and technologies are required to specify and verify spatial and temporal behaviors of agents on geographical space. This paper presents a new formal method, called Calculus of Real-Time Distribution, Mobility, and Interaction (CaRDMI), for this purpose. For specification, CaRDMI defines a map, mobile agents with transporting objects. The movement of on agent is represented by a path on the map, consisting of a list of nodes and a list of edges with spatial and temporal constraints. Interactive constraints among agents are represented by synchronization modes on objects at nodes. These constraints are distinguishable features of CaRDMI from other methods. Especially, many-to-many timed synchronization constraints are noticeable. For verification, CaRDMI presents the spatial, temporal and interactive deduction rules and the spatial and temporal equivalence relations.

• Journal of Wetlands Research
• /
• v.15 no.1
• /
• pp.43-50
• /
• 2013

The groundwater-surface water interaction of Searsville Lake area, California, US was analyzed using 3-dimensional groundwater model. This study especially focuses on investigating the groundwater head drawdown near the lake when the abrupt decline of the lake water table occurs due to the implementation of the options to remove the accumulated sediments along the dam. The result of the investigation revealed that the groundwater head drawdown near the lake is not significant enough to adversely affect the wetland habitat of the area regardless of the hydrogeologic parameters of the aquifers. We expect this result provides useful information to the similar Korean case studies in which the surface water level abruptly changes due to the operation of the hydraulic gates of dams and wiers and the corresponding environmental impact should be considered.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.344-347
• /
• 2016

유비쿼터스 환경 시대에 맞춰 현재 스마트 디바이스의 발달과 시장의 확대로 스마트 미디어 기기의 보급이 급속도로 확산되고 있으며 많은 교육용 어플리케이션 또한 개발되고 있는 중이다. 이러한 교육용 어플리케이션들은 지식기반사회의 학습도구로서 지식접근 및 창출에 중요한 요소인 인터넷과 웹을 활용하게 되고 이동성과 편의성을 추구하는 모바일기기를 통해 학습이 가능하도록 지원하는 프로그램이다. 본 연구는 모바일러닝 기반의 '창의적 문제해결(CPS, Creative Problem Solving)' 모형을 활용하는 교육용 앱에 대한 설계방안을 제시하고자 하며 연구의 목적은 대학 교육에서 학생들의 창의적 사고와 문제해결능력 향상을 돕는 모바일러닝 기반의 학습환경을 설계하는 데 있다. 제안하는 학습지원 도구는 모바일 앱 형태로 제작되며 학습활동에 있어 다양한 창의적 사고과정 활동과 표현방식, 상호작용성 등의 기능을 통해 학습자의 고차원적인 사고능력을 향상시키는 인지적 도구로서 활용될 수 있도록 설계하였다. 개발환경은 안드로이드용 앱 인벤터 프로그램을 사용하였으며 앱 인벤터 서버환경에서 제공되는 컴포넌트와 이벤트 핸들러를 이용하여 교수자모드와 학습자모드의 앱을 각각 설계하였다. 교수자 앱은 학습활동 제공을 의미하는 프로바이더(Provider) 모드 기능이 포함되며 학습자 앱은 CPS 활동을 위한 학습활동 모드 기능이 설계된다. 대부분의 창의성 관련 앱들은 그래픽작업을 통한 두뇌활동 향상 프로그램, 체험활동 위주의 프로그램 등으로 출시가 되어 있으나 교수-학습 활동을 위한 창의적 문제해결활동 관련 앱은 존재하지 않는 상태이므로 수업활동에서의 활용측면에서 가치가 있을 것으로 기대된다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.7
• /
• pp.1364-1370
• /
• 2017

This paper proposes a method that automatically sets profile schedule context-based mobile phone by collecting the user's external situation based on the GPS sensor and accelerometer built into the smartphone and interacting with the data in the user's schedule to minimize the user's handset handling. However, real-time data collection in mobile phones causes energy shortage in the device due to battery consumption. In other words, a service control method is explained in a way that can efficiently handle resource consumption because accessing a measurement device such as GPS and other sensors may increase power consumption of the portable device. Therefore, effective data sharing for context awareness to reduce weekly schedules and smartphone mode has improved energy efficiency in sensing for data collection. The user can use the context more effectively by providing environmental adaptability for various situations such as the end user's local context and smartphone force control.

• Journal of Korea Water Resources Association
• /
• v.46 no.1
• /
• pp.25-34
• /
• 2013

In this study, the development processes of multiple bars in the channels with erodible banks were investigated by double Fourier analysis. The initially straight channels in the experiment flume were widened with eroding the side banks, and the multiple bars were generated and grew due to stalling of the sediment on the bed. The bars migrated downstream and the size of the bars increased with time. The flow was separated around the bars, and the bed and banks near the bars were scoured due to the impinged secondary flow. The morphologic changes were accelerated by the bank erosion, which affected the fluctuations of sediment discharge downstream. The double Fourier analysis of the bed waves showed that 1-1 mode (alternate bar) was dominant at the initial stage of the channel development. As time increased, 2-3 mode (central or multiple bars) was dominant due to the increased width to depth ratio. Moreover, the number of bars in a cross section of the channel were increased due to the non linearity of alternate bars. The width to depth ratio was increased by the bank erosion, which affected the bar migration and the bar wavelength. However, the dimensionless tractive force was decreased by it.

• Proceedings of the Korea Crystallographic Association Conference
• /
• 2003.05a
• /
• pp.11-11
• /
• 2003

전자현미경내에서 일부 무기 및 금속 시료들은 전자빔 조사에 의해 시료구조가 손상되거나 비정질화 또는 상전이 등과 같은 구조전이 현상들을 겪게 된다. 즉, 전자빔 조사에 의해 시료는 원자간 결합이 끊어져 나타나는 Knock-on damage, 시료 원자 주위의 전자들과의 상호 작용에 의해 나타나는 Ionization damage, 빔 에너지의 시료온도 상승 기여에 의한 Radiolysis damage 등의 현상들을 경험하게 된다. 이러한 현상은 전자현미경의 가속전압, 전자밀도, 시료 조건 등에 따라 그 지배기구가 다르며 동일한 시편이라도 시료의 두께와 시편온도를 결정하는 전자빔 조사선량에 따라 그 양상과 전이 속도가 달라진다. 본 연구에서는 전자빔 조사에 의해 구조 전이를 겪게 되는 대표적 무기수화물의 하나인 Cibbsite에 대해 전자빔 조사효과에 대한 정량적 고찰을 에너지 여과 투과전자현미경 (EF-TEM)을 이용하여 시도하였다. 전자빔 조사는 120분까지 실시하였고 각 시간별로 에너지 필터와 Imaging plate를 이용하여 Gibbsite의 회절패턴과 미세조직 변화를 기록하였다 빔조사 시엔 illumination angle을 1.25mrad(Dose rate : 334 × 10³ e/sup -//sec·n㎡)으로 하였으며 사진기록 시엔 최소 illumination angle인 0.04mrad(Dose rate : 413 e/sup -//sec·n㎡)을 사용하였다. 시료의 관찰방향은 [001]방향이고 관찰시료두께는 약 50nm로 평가되었으며 시료의 화학변화는 EDS를 이용하여 분석하였다. 회절자료의 Intensity는 ELD/CRISP 프로그램을 이용하였으며 빔조사선량은 평행조사빔이 시료와 상호 작용하는 면적과 상호작용하지 않을 때의 빔을 회절모드에서 faraday cup으로 측정한 빔전류로 부터 계산하였다. Gibbsite에 대한 전자빔 조사 시 1분 이내에 급격한 Hydroxyl Ion(OH-)의 이탈로 인해 Cibbsite의 구조는 거시적 비정질화가 되며 시간증가에 따라 χ-alumina → ν-alumina → σ-alumina or δ-alumina의 순으로 상전이를 겪는다. 전자빔 조사 시 관찰된 회절자료의 가시적 변화를 통해 illumination angle 1.25mrad(Dose rate : 334 × 10³ e/sup -//sec·n㎡)일 경우 약 3초 이내에 비정질화가 시작됨을 알 수 있었고 이는 약 1 × 10/sup 6/ e/sup -//sec·n㎡ 의 전자선량에 해당되며 이를 기준으로 각각의 illumination angle에 대한 임계전자선량을 평가할 수 있었다. 실질적으로 Cibbsite와 같은 무기수화물의 직접가열실험 시 전자빔 조사에 의해 야기되는 상전이 영향을 배제하고 실험을 수행하려면 illumination angle 0.2mrad (Dose rate : 8000 e/sup -//sec·n㎡)이하로 관찰하고 기록되어야 함을 본 자료로부터 알 수 있었다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11b
• /
• pp.416-421
• /
• 2002

This paper dealt with an experimental study on the hydro-elastic vibration of clamped perforated rectangular plates submerged in water. The penetration of holes in the plates had a triangular pattern with P/D (pitch to diameter) 1.750, 2.125, 2.500, 3.000 and 3.750. The natural frequencies of the perforated plates in air were obtained by the analytical method based n the relation between the reference kinetic and maximum potential energy and compared with the experimental results. Good agreement between the results was found for the natural frequencies of the perforated plates in air. It was empirically found that the natural frequencies of the perforated plate in air increase with an increase of P/D, on the other hand, the natural frequencies of the perforated plate in contact with water decrease with an increase of P/D. Additionally, the effect of the submerged depth on the natural frequency was investigated.