• 한국정보통신학회논문지
• /
• 제5권5호
• /
• pp.970-976
• /
• 2001

본 논문에서는 IDL 정의를 입력받아 파싱하는 컴파일러의 전반부를 위해 OMG IDL 컴파일러를 사용하였다. 또한 ORB를 위해 omniORB3[1]를 사용했다. OMG IDL CFE는 IDL 정의를 입력받아 어휘 및 구문 분석을 한 후 AST 트리를 생성하며, 생성된 각 노드는 우리가 새로 추가한 BE_* 클래스의 인스턴스로 구성된다. IDL 컴파일러의 후반부는 AST의 각 노드를 반복자인 UTL_ScopeActiveIterator 클래스를 사용하여 반복적으로 각 순회하면서 해당하는 출력을 덤프한다. 이때 두개의 출력 파일을 생성토록 했다. 모든 코드 생성은 BE_produce.cc에서 시작되며, idl_global->root() 노드를 시작으로 하여 각 클래스에 해당 코드를 생성하는 dump* 함수를 호출하여 생성했다. 본 논문은 IDL 정의를 C++언어로 맵핑만을 실험했으며, 이것은 omniORB3에서 제공하는 IDL 컴파일러와 동일한 결과를 생성했으며, omniORB3[1] 환경에서 동작하는 변환된 C++ 코드임을 실험했다. 향후 IDL 컴파일러를 통한 성능 향상을 위해 마샬링 코드의 최적화를 할 수 있도록 하는 코드를 생성하는 문제에 관심을 가지고 있다.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2012년도 제42회 동계 정기 학술대회 초록집
• /
• pp.286-287
• /
• 2012

Reset-first resistive switching mechanism based on reduction reaction in HfO2-x with oxygen drift-diffusion was studied. we first report that the indirect evidence of local filamentary conductive path formation in bulk HfO2 film with local TiOx region at Ti top electrode formed during forming process and presence of anion-migration at interface between electrode and HfO2 during resistive switching through high resolution transmission electron microscopy (HRTEM), electron disperse x-ray (EDX), and electron energy loss spectroscopy (EELS) mapping. Based on forming process mechanism, we expected that redox reaction from Ti/HfO2 to TiOx/HfO2-x was responsible for an increase of initial current with increasing the post-annealing process. First-reset resistive switching in above $350^{\circ}C$ annealed Ti/HfO2 film was exhibited and the redox phenomenon from Ti/HfO2 to TiOx/HfO2-x was observed with high angle annular dark field (HAADF) - scanning transmission electron microscopy (STEM), EDX and x-ray photoelectron spectroscopy. Therefore, we demonstrated that the migration of oxygen ions at interface region under external electrical bias contributed to bipolar resistive switching behavior.

• Corrosion Science and Technology
• /
• 제7권3호
• /
• pp.162-167
• /
• 2008

Degradable implants have been in use for bone surgery for decades. However, degradable metal implants are one of the new research areas of biomaterials science. Magnesium has good biocompatibility due to its low toxicity, and it is a corroding, i.e. dissolvable, metal. Furthermore, magnesium is needed in human body, and naturally found in bone tissue. There have been some published reports also asserting the potential bone cell activation or bone healing effect of high magnesium ion concentrations. The classic method for achieving intertransverse process fusion involves autogenous iliac crest bone graft. Several investigations have been performed to enhance this type of autograft fusion. However, there is no research which has been undertaken to investigate the efficiency of pure magnesium particles in posterolateral spinal fusion. In this study, corrosion behavior of magnesium metal at the bone interface, the possibility of new bone cell formation and the degree of effectiveness in producing intertransverse process lumbar fusion in a sheep model have been investigated. Cortical bone screws were machined from magnesium alloy AZ31 extruded rod and implanted to hip-bones of sheep via surgery. Three months after surgery, the bone segments carrying these screws were removed from the sacrificed animals. Samples were sectioned to reveal Mg/bone interfaces and investigated using optical microscope, SEM-EDS and radiography. Optical and SEM images showed that there was a significant amount of corrosion on the magnesium screw. The elemental mapping results indicate, due to the presence of calcium and phosphorus elements, that there exists new bone formation at the interface. Furthermore, sixteen sheep were subjected to intertransverse process spinal fusions with pedicle screw fixation at various locations along their spines. Each animal was treated with 5cc autograft bone at one fusion level and 1cc magnesium+5cc autograft bone at the other. Six months after surgery, bone formation was evaluated by gross inspection and palpation, and radiological, histological, scanning electron microscopic and x-ray diffraction analyses. It may be stated that the potential for using useful corrosion of magnesium alloys in medical applications is expected to be significant.

• Structural Engineering and Mechanics
• /
• 제66권1호
• /
• pp.15-25
• /
• 2018

Post-construction subgrade settlement especially differential settlement, has become a key issue in construction and operation of non-ballasted track on high-speed railway soil subgrade, which may also affect the dynamic performance of passing trains. To estimate the effect of differential subgrade settlement on the mechanical behaviors of the vehicle-slab track system, a detailed model considering nonlinear subgrade support and initial track state due to track self-weight is developed. Accordingly, analysis aiming at a typical high-speed vehicle coupled with a deteriorated slab track owing to differential subgrade settlement is carried out, in terms of two aspects: (i) determination of an initial mapping relationship between subgrade settlement and track deflections as well as contact state between track and subgrade based on a semi-analytical method; (ii) simulation of dynamic performance of the coupled system by employing a time integration approach. The investigation indicates that subgrade settlement results in additional track irregularity, and locally, the contact between the concrete track and the soil subgrade is prone to failure. Moreover, wheel-rail interaction is significantly exacerbated by the track degradation and abnormal responses occur as a result of the unsupported areas. Distributions of interlaminar contact forces in track system vary dramatically due to the combined effect of track deterioration and dynamic load. These may not only intensify the dynamic responses of the coupled system, but also have impacts on the long-term behavior of the track components.

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 춘계학술대회
• /
• pp.967-972
• /
• 2004

The role of transfer films formed during sliding of polymer composites against steel counterfaces was studied in terms of the tribological behaviors of composites. Four kinds of composites were included in this study: (1) unfilled PPS, (2) PPS+2%CuO, (3) PPS+2%CuO+5% carbon fiber (CF), and (4) PPS+2%CuO+15%Kevlar. The filler material CuO was in nanoscale particulate form and the reinforcing material was in the form of short fibers. The composites were prepared by compression molding at $310^{\circ}C$ and sliding tests were run in the pin-on-disk sliding configuration. The counterface was made of tool steel hardened to 55-60 HRC and finished to a surface roughness of 0.09-0.10 ${\mu}m$ Ra. Wear tests were run for 6 hrs at the sliding speed of 1 m/s and contact pressure of 0.65 MPa. Transfer films formed on the counterfaces during sliding were investigated using AFM and SEM. The results showed that as the transfer film became smooth and uniform, wear rate decreased. PPS+2%CuO+15%Kevlar composite showed the lowest steady state wear rate in this study and its transfer film showed the smoothest and the most uniform characteristics. The examination of worn surfaces of PPS+2%CuO composite using X-ray area scanning (dot mapping) showed back-transfer of steel counterface material to the polymer pin surface. This behavior is believed to strengthen the polymer pin surface during sliding thereby contributing to the decrease in wear rate.

• 한국ITS학회 논문지
• /
• 제13권2호
• /
• pp.68-79
• /
• 2014

본 연구는 고령자의 통행사슬(trip chaining)의 유형별 특성을 살펴보고, 시 공간적 분포 패턴을 분석한다. 또한 순서형프로빗모형(ordered probit model)과 이항로지스틱모형(binary logistic model)을 구축하여 고령자 통행사슬에 영향을 미치는 다양한 요인을 규명하고, 고령자 통행의 수단선택 특성을 분석해 본다. 이를 위해 2006년과 2010년에 실시한 수도권 가구통행실태조사의 고령자 자료를 활용하였다. 분석결과, 고령자 통행사슬은 전반적으로 증가추세이며, 단순통행사슬이 전체의 85% 이상을 차지하는 것으로 나타났다. GIS 맵핑을 통해 통행사슬의 공간적 이동 패턴을 분석하였으며, 단순직장 통행사슬이 과거 서울과 인접지역에 집중되어 있던 반면 2010년에는 경기도 지역으로 점차 확산되고 있음을 알 수 있었다. 또한 모형구축을 통해 2010년에 통행사슬에 영향을 미치는 개인 가구 통행특성이 과거에 비해 상대적으로 많아지고, 통행시간보다는 통행비용이 고령자가 교통수단을 결정하는 요인임을 규명하였다. 본 연구의 결과는 다가오는 초고령사회에 대응한 교통정책을 수립하기 위한 기초자료로 활용될 수 있을 것이다.

• 한국통신학회논문지
• /
• 제22권12호
• /
• pp.2834-2851
• /
• 1997

본 논문에서는 VHDL '87 및 '93 LRM의 전체 사양을 지원하며 VHDL-to-C 사상의 전처리 과정을 수행하는 VHDL 컴파일러 전반부의 설계 및 구현에 대해서 논한다. VHDL 컴파일러 전반부는 I)VHDL의 계층적 구조체, 선언 영역 및 가시성, 다중 정의 및 동형 이의어, 병행적 다중 스택 구조를 표현하기 위해서 분석 터미널 데이터에 심볼 트리를 구성하였으며, 2) VHDL 고유의 객체, 타입 및 서브타입, 속성과 연산자 등을 나타내기 위한 구조체 및 지원 함수를 설계하였고, 3) VHDL의 병행문/순차문, 행위/구조 기술, 동기 메커니즘 등을 분석하여 VHDL-to-C 사상에 필요한 어의 정보를 구축하고, 4) VHDL 분석 과정에서 어의 데이터의 저장 및 검색이 효과적으로 이루어 지도록 어의 토큰 정의 및 어의 전파 기능 등을 설계하였다. Validation suite를 이용한 실험에서 VHDL 컴파일러 전반부는 LRM 전체 사양을 분석할 수 있음을 확인하였고, VHDL의 계층성/가시성/병행성/어의 검사 등을 효과적으로 처리하기 위해 설계 및 구현된 심볼 트리와 어의 토큰 등의 분석 데이터 모델에 대한 성능 분석 실험에서 VHDL컴파일러 전반부는20- 30%의 개선 효과를보였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국지진공학회논문집
• /
• 제8권2호
• /
• pp.19-25
• /
• 2004

일반적으로 운동방정식을 풀기 위해 많이 이용되는 선형근사모델은 계산이 용이한 반면에 큰 변형상태에서는 그 오차가 커지는 단점이 있다. 따라서 엄밀한 구조물의 응답해석을 위해서는 물성과 기하에 대한 비선형성을 고려해야 한다. 또한, 강과 같이 연성이 큰 재료는 소성 변형을 일으키면서 소산되는 에너지의 대부분이 열로 변하게 되며, 이 열은 열역학 제1 법칙과 2 법칙에 따라 다른 부분으로 전달된다. 이렇게 전달된 열은 온도를 상승시켜 재료의 강도를 약화시키는 역할을 하며, 이것이 다시 구조물의 응답에 영향을 미친다. 본 논문에서는 지진 등의 큰 하중을 받거나 화재로 인한 열 하중을 받는 강구조물의 비선형 대 변형 현상을 적절히 해석할 수 있는 열-탄소성 물성모델을 제안하고 3차원 유한요소해석을 수행하려다.

• Journal of Preventive Medicine and Public Health
• /
• 제54권5호
• /
• pp.301-308
• /
• 2021

Objectives: Despite its advantages, it is not yet common practice in Korea for researchers to investigate disease associations using spatio-temporal analyses. In this study, we aimed to review health-related epidemiological research using spatio-temporal analyses and to observe methodological trends. Methods: Health-related studies that applied spatial or spatio-temporal methods were identified using 2 international databases (PubMed and Embase) and 4 Korean academic databases (KoreaMed, NDSL, DBpia, and RISS). Two reviewers extracted data to review the included studies. A search for relevant keywords yielded 5919 studies. Results: Of the studies that were initially found, 150 were ultimately included based on the eligibility criteria. In terms of the research topic, 5 categories with 11 subcategories were identified: chronic diseases (n=31, 20.7%), infectious diseases (n=27, 18.0%), health-related topics (including service utilization, equity, and behavior) (n=47, 31.3%), mental health (n=15, 10.0%), and cancer (n=7, 4.7%). Compared to the period between 2000 and 2010, more studies published between 2011 and 2020 were found to use 2 or more spatial analysis techniques (35.6% of included studies), and the number of studies on mapping increased 6-fold. Conclusions: Further spatio-temporal analysis-related studies with point data are needed to provide insights and evidence to support policy decision-making for the prevention and control of infectious and chronic diseases using advances in spatial techniques.