• Interaction and multiscale mechanics
• /
• 제6권2호
• /
• pp.83-105
• /
• 2013

In this paper, a multi-scale meshfree-enriched finite element formulation is presented for the analysis of acoustic wave propagation problem. The scale splitting in this formulation is based on the Variational Multi-scale (VMS) method. While the standard finite element polynomials are used to represent the coarse scales, the approximation of fine-scale solution is defined globally using the meshfree enrichments generated from the Generalized Meshfree (GMF) approximation. The resultant fine-scale approximations satisfy the homogenous Dirichlet boundary conditions and behave as the "global residual-free" bubbles for the enrichments in the oscillatory type of Helmholtz solutions. Numerical examples in one dimension and two dimensional cases are analyzed to demonstrate the accuracy of the present formulation and comparison is made to the analytical and two finite element solutions.

• 한국지진공학회:학술대회논문집
• /
• 한국지진공학회 1999년도 춘계 학술발표회 논문집 Proceedings of EESK Conference-Spring
• /
• pp.223-230
• /
• 1999

The seismic damage assessment to the postulated earthquake is attempted for the buildings in the model district of Seoul City. The capacity spectrum method is employed in which the vulnerability functions are expressed as functions of the spectral displacement. the database of the building stock is constructed and managed using Geographic Information System software. The model district is selected to represent the typical structural and residential characteristics of Seoul City The structural properties were collected from the design documents. The field inspections were carried out to find out the current status of the building. They are classified into 11 structural types. The fragility curves in HazUS are employed, The ground motions from the postulated earthquakes are simulated using the Boor's methods, The surface soil in the district is classified into 3 profiles using the depth as the parameter. The one-dimensional wave propagation method is used to calculate he filtered ground motion through surface soil layer. The average spectrum of this sample time histories is used as the demand curves. The calculated results are expressed in maps using GIS software ArcView 3.0a

• 한국경제지리학회지
• /
• 제11권2호
• /
• pp.175-191
• /
• 2008

소프트웨어 기업들은 산업발전 초기에 서울의 중심업무지구와 강남을 중심으로 집적하였다. 그러나 초고속통신망의 확산, 집적지의 환경변화, 정부의 산업단지 조성정책 등과 같은 요인으로 기업들의 입지는 변화하고 있다. 본 연구에서는 1997년과 2007년에 조사된 기업편람을 이용하여 소프트웨어 산업의 집적지 변화와 기업이동의 특성을 분석하였다. 분석을 위해서 기존의 면형 자료를 이용한 공간패턴 분석의 단점을 보완하는 점형자료를 이용한 공간군집화 분석을 적용하였다. 연구결과, 형태적으로 소프트웨어 기업의 분포범위는 확장되었으나 집적정도에 있어서는 큰 차이가 나타나지 않았다. 집적지의 변화에 있어서 기업들은 기존의 도심지에서 이탈하여 도시외곽의 집적지들로 변화가 발생하였고 이러한 과정에서 기업의 규모에 따른 집적지 선택의 차이와 기업의 제품주기에 따른 집적지 선택의 양상을 확인하였다.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권3호
• /
• pp.257-262
• /
• 2015

소프트웨어가 복잡해짐에 따라 개발자가 인지하지 못하는 버그가 증가하고 있다. 공격자들은 시스템을 공격하거나 악성코드를 유포하기 위해 이와 같은 소프트웨어 버그 중 보안에 취약한 버그를 이용한다. 대표적인 방법으로 문서, 멀티미디어 등의 파일을 조작하여 보안에 취약한 버그를 발생시키는 방법으로 최근 지능적 지속 공격 빈번하게 사용되었다. 이에, 본 논문에서는 소프트웨어의 보안 취약점을 찾기 위한 프로그램 자동 분석 방법을 제안한다. 제안 방법은 문서, 멀티미디어 등 입력 값에 의해 발생되는 소프트웨어의 보안에 취약한 버그를 찾는 것을 목표로 한다. 먼저, 동적 오염 분석을 통해 입력 데이터가 취약 코드 지점까지 전파되는 과정을 추적하고 입력데이터 전파와 관련이 있는 명령어를 추출한다. 추출된 연관 명렁어를 수식화하고 이를 SMT 해석기를 이용하여 보안 취약점이 발생할 수 있는 입력 값을 찾는다. 제안 방법을 통해 아래아 한글, 곰 플레이어에서 크래시가 발생할 수 있는 입력값과 취약 코드 6개를 찾았다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2012년도 학술발표회
• /
• pp.39-39
• /
• 2012

Data assimilation techniques have received growing attention due to their capability to improve prediction in various areas. Despite of their potentials, applicable software frameworks to probabilistic approaches and data assimilation are still limited because the most of hydrologic modelling software are based on a deterministic approach. In this study, we developed a hydrological modelling framework for sequential data assimilation, namely MPI-OHyMoS. MPI-OHyMoS allows user to develop his/her own element models and to easily build a total simulation system model for hydrological simulations. Unlike process-based modelling framework, this software framework benefits from its object-oriented feature to flexibly represent hydrological processes without any change of the main library. In this software framework, sequential data assimilation based on the particle filters is available for any hydrologic models considering various sources of uncertainty originated from input forcing, parameters and observations. The particle filters are a Bayesian learning process in which the propagation of all uncertainties is carried out by a suitable selection of randomly generated particles without any assumptions about the nature of the distributions. In MPI-OHyMoS, ensemble simulations are parallelized, which can take advantage of high performance computing (HPC) system. We applied this software framework for several catchments in Japan using a distributed hydrologic model. Uncertainty of model parameters and radar rainfall estimates is assessed simultaneously in sequential data assimilation.

• 전기학회논문지
• /
• 제66권8호
• /
• pp.1250-1256
• /
• 2017

In this research, a high-performance ultrasonic positioning system is proposed to track the positions of an indoor mobile object. Composed of an ultrasonic sender (mobile object) and a receiver (anchor), the system employs three ultrasonic time-off-flights (TOFs) and trilateration to estimate the positions of the object with an accuracy of sub-centimeter. On the other hand, because ultrasonic waves are interfered by temperature, wind and various obstacles obstructing the propagation while propagating in air, ultrasonic pulse debounce technique and Kalman filter were applied to TOF and position calculation, respectively, to compensate for the interference and to obtain more accurate moving object position. To perform tasks in real time, ultrasonic signals are processed full-digitally with a Zynq SoC, and as a software design tool, Vivado IDE(integrated design environment) is used to design the whole signal processing system in hierarchical block diagrams. And, a hardware/software co-design is implemented, where the digital circuit portion is designed in the Zynq's fpga and the software portion is c-coded in the Zynq's processors by using the baremetal multiprocessing scheme in which the c-codes are distributed to dual-core processors, cpu0 and cpu1. To verify the usefulness of the proposed system, experiments were performed and the results were analyzed, and it was confirmed that the moving object could be tracked with accuracy of sub-cm.

• Smart Structures and Systems
• /
• 제5권4호
• /
• pp.457-468
• /
• 2009

A novel approach for integrating active sensing data interrogation algorithms for structural health monitoring (SHM) applications is presented. These algorithms cover Lamb wave propagation, impedance methods, and sensor diagnostics. Contrary to most active-sensing SHM techniques, which utilize only a single signal processing method for damage identification, a suite of signal processing algorithms are employed and grouped into one package to improve the damage detection capability. A MATLAB-based user interface, referred to as HOPS, was created, which allows the analyst to configure the data acquisition system and display the results from each damage identification algorithm for side-by-side comparison. By grouping a suite of algorithms into one package, this study contributes to and enhances the visibility and interpretation of the active-sensing methods related to damage identification. This paper will discuss the detailed descriptions of the damage identification techniques employed in this software and outline future issues to realize the full potential of this software.

• 조명전기설비학회논문지
• /
• 제17권5호
• /
• pp.43-50
• /
• 2003

본 논문은 신경회로망을 이용하여 변압기 사고검출 기법을 제안하였다. 계전기 정동작을 위하여 전력용 변압기의 외부사고와 돌입현상은 포화현상이 고려된 EMTP/ATP를 이용하였고, 내부사고는 EMTP/BCTRAN를 이용하여 얻은 전류 데이타를 신경회로망의 사고검출 성능으로 평가하였다. 신경회로망의 입력지수로는 변압기 양단전류를 FFT로 주파수 분석하여 얻은 억제전류와 동작전류의 고조파 비의 크기를 이용하였고, 외부사고 시 억제전류값이 크게 나타나는 것을 이용하기 위해 억제전류를 동작전류로 나눈값을 계전기 입력으로 사용하였고, 학습알고리즘은back-propagation을 사용하였다. 실 계통에 적용하고 있는 변압기 보호용 계전기의 특성을 신경회로망의 검출성능으로 테스트한 결과 제안된 기법이 뛰어남이 확인되었다.

• 한국정보통신학회논문지
• /
• 제17권7호
• /
• pp.1653-1659
• /
• 2013

본 논문은 Verilog HDL이나 VHDL로 설계된 디지털 회로의 구조를 효율적으로 분석하고 디버깅 할 수 있는 ECAD 소프트웨어를 제안한다. 이 소프트웨어는 HDL 코드를 파싱하여 내부 구조에 대한 정보를 추출한 후 여러 가지 종류의 그래픽 도우미 예를 들면, 배치배선 알고리즘을 적용하여 생성된 계층구조의 논리회로도, 각 모듈을 구성하는 요소들을 나타내는 객체 나무 그래픽, 인스턴스들의 계층구조를 나타내는 인스턴스 나무 그래픽, 내부 시그널 간의 관계를 나타내는 시그널 관계도(SPD, signal propagation diagram) 등으로 표현된다. 디버깅에 가장 중요한 기능은 여러 가지 다른 관점의 설계 정보(HDL 코드, 객체 나무, 인스턴스 나무, SPD, 파형 등)에서 임의의 객체로부터 출발하여 동일한 설계 정보를 찾아내는 기능이다. 이러한 기능들은 설계자가 수작업으로 HDL 코드를 분석하고 버그를 찾아내는 기능을 효율적으로 수행할 수 있도록 돕는다.

• 정보처리학회논문지C
• /
• 제18C권2호
• /
• pp.103-110
• /
• 2011

스마트폰의 등장으로 모바일 인터넷 전화 서비스의 보급이 활발하게 이루어지고 있는데 반하여 이의 품질 관리 체계에 대한 대비는 상대적으로 미흡한 상황이다. 향후 모바일 인터넷 전화 서비스가 성공적으로 정착되어 활성화되기 위해서는 철저한 품질 관리가 요구되는데 전통적인 계측기를 이용하는 방법으로는 실시간 모니터링이 불가능함으로 인한 여러 가지 한계점이 발생할 수 있다. 따라서 본 논문에서는 모바일 인터넷 전화의 예방적인 서비스 품질 관리 체계를 제안하고 이의 구현을 위한 소프트웨어를 개발하였다. 상용 소프트웨어와의 비교를 통한 개발된 소프트웨어의 검증을 위한 시험 절차가 진행되었고 시험 결과 개발된 소프트웨어의 측정 결과가 상당히 신뢰할 수 있음을 확인하였다.