• 한국지하수토양환경학회:학술대회논문집
• /
• 한국지하수토양환경학회 2000년도 추계학술대회
• /
• pp.281-285
• /
• 2000

The effect of the presence of dissolved organic matters(DOM) on the binding of phenanthrene to cetylpyridinium chloride(CPC) coated sand was investigated. The distribution coefficient of phenanthrene increased with increase of sufactant coverage, and decreased with the presence of dissolved organic matters except for the 1.600mg/g coverage case. Both Aldrich humic acid and extracted dissolved organic matter showed the similar tendency. For the quantification of the overall distribution coefficient, this study presented mass distribution model and estimated the sorption equilibrium coefficients of hydrophobic organic compounds(HOCs) in multi system. The suggested model combined a series of sorption equilibrium relationships including the adsorption of DOMs on sorbents, the binding between HOCs and DOMs, and the sorption of HOCs on sorbents with or without DOMs.

• 로봇학회논문지
• /
• 제16권2호
• /
• pp.122-129
• /
• 2021

For the Simultaneous Localization and Mapping (SLAM) problem, a different path results in different SLAM results. Usually, SLAM follows a trail of input data. Active SLAM, which determines where to sense for the next step, can suggest a better path for a better SLAM result during the data acquisition step. In this paper, we will use reinforcement learning to find where to perceive. By assigning entire target area coverage to a goal and uncertainty as a negative reward, the reinforcement learning network finds an optimal path to minimize trajectory uncertainty and maximize map coverage. However, most active SLAM researches are performed in indoor or aerial environments where robots can move in every direction. In the urban environment, vehicles only can move following road structure and traffic rules. Graph structure can efficiently express road environment, considering crossroads and streets as nodes and edges, respectively. In this paper, we propose a novel method to find optimal SLAM path using graph structure and reinforcement learning technique.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제2권2호
• /
• pp.132-140
• /
• 2002

This paper presents an ARM-based SOC bus transaction verification IP and the usage experiences in SOC designs. The verification IP is an AMBA AHB protocol checker, which captures legal AHB transactions in FSM-style signal sequence checking routines. This checker can be considered as a reusable verification IP since it does not change unless the bus protocol changes. Our AHB protocol checker is designed to be scalable to any number of AHB masters and reusable for various AMBA-based SOC designs. The keys to the scalability and the reusability are Object-Oriented Programming (OOP), virtual port, and bind operation. This paper describes how OOP, virtual port, and bind features are used to implement AHB protocol checker. Using the AHB protocol checker, an AHB simulation monitor is constructed. The monitor checks the legal bus arbitration and detects the first cycle of an AHB transaction. Then it calls AHB protocol checker to check the expected AHB signal sequences. We integrate the AHB bus monitor into Verilog simulation environment to replace time-consuming visual waveform inspection, and it allows us to find design bugs quickly. This paper also discusses AMBA AHB bus transaction coverage metrics and AHB transaction coverage analysis. Test programs for five AHB masters of an SOC, four channel DMAs and a host interface unit are executed and transaction coverage for DMA verification is collected during simulation. These coverage results can be used to determine the weak point of test programs in terms of the number of bus transactions occurred and guide to improve the quality of the test programs. Also, the coverage results can be used to obtain bus utilization statistics since the bus cycles occupied by each AHB master can be obtained.

• 한국항공우주학회지
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

자동 코드생성이란 MATLAB의 Simulink 환경에서 설계한 블록 다이어그램을 c 코드로 변환시켜 주는 기능으로 MATLAB과의 연동을 통해 소프트웨어 설계부터 검증까지의 통합된 개발환경을 제공함으로서 개발 시간을 크게 줄일 수 있다. 하지만 생성된 c 프로그램을 무인기에 탑재하기 위해서는 소프트웨어의 신뢰성 확보가 필요하며 특히 원본이 되는 Simulink 블록의 검증이 중요하다. 본 연구에서는 자동 코드생성 기능을 고려하여 Simulink 환경에서 구성한 무인기용 자동비행 프로그램을 DO-178B에 명시된 소프트웨어 시험 과정에 따라 검증하였다. 이 과정을 통해 최종 프로그램은 기능 요구사항에 대한 만족함을 확인했을 뿐 아니라 Decision Coverage 93%, Condition Coverage 95% 그리고 MC/DC 90%로 구조적 측면에서 검증을 수행했다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권9호
• /
• pp.425-430
• /
• 2015

센서 레지스트리 시스템(Sensor Registry System, SRS)은 이기종 센서 네트워크 환경에서 센서 데이터의 즉각적 활용 및 끊김 없는 해석을 위해 사용자에게 센서 메타데이터를 제공한다. 하지만 기존 SRS는 네트워크 연결이 지원되지 않거나 신호가 불안정한 경우에 센서 메타데이터를 안정적으로 제공할 수 없다. 이 논문에서는 이러한 문제를 해결하기 위해, 네트워크 커버리지 정보를 이용한 센서 레지스트리 시스템 확장 방법을 제안한다. 제안 방법은 예측한 경로와 네트워크 커버리지에 대한 오픈 데이터(통신사, 신호 강도, 통신 타입)를 이용하여 사용자가 불안정한 네트워크 지역에 도착하기 전에 해당 지역의 센서 메타데이터를 추가로 송신한다. 이 논문에서 제안한 확장된 SRS는 사용자에게 보다 안정적으로 센서 메타데이터를 제공함으로써 응용서비스의 품질을 향상시킨다.

• Journal of Ecology and Environment
• /
• 제43권2호
• /
• pp.219-225
• /
• 2019

In order to assess the impacts of drawdown for land-use change on a Sphagnum-marsh, we compared the vegetation and flora of the wetland before and after the drawdown with focusing on the population of Sphagnum palustre L. Remarkable changes in the coverage of S. palustre and the major vegetational components of the wetland were observed. The coverage of S. palustre markedly decreased by about 75% (from approx. 247 ㎥ in 2011 to approx. 62 ㎥ in 2015) after the drawdown. Tree species such as Salix spp. extended (from about 70% to about 83% in the total coverage of the wetland), whereas herbaceous species shrunk after the drawdown. Upland-inhabiting species such as obligate plants for uplands (OBU) increased, whereas wetland-inhabiting species such as facultative plants for wetlands (FACW) and OBW decreased in terms of vegetational coverage. The total number of plant species decreased from 70 species to 62 species after the drawdown, including the disappearance of some wetland-inhabiting species from the wetland. We suggest that the attention for further studies on the abandoned paddy terraces (APTs) and effort for the management and conservation of APTs and APT-inhabiting species that are vulnerable to human-induced disturbances have to be paid more.

• 한국정보처리학회논문지
• /
• 제7권10호
• /
• pp.3226-3235
• /
• 2000

반도체 집적 회로가 점점 복잡해지고 고속화되면서 반도체 집적 회로의 동작에 대한 검사 뿐 아니라, 회로가 원하는 시간 내에 동작함을 보장하는 지연 고장 검사의 중요성이 점점 커지고 있다. 본 논문에서는 경로 지연 고장에 대한 효율적인 테스트 입력 생성을 위하여 새로운 부분 확장 주사 방법을 제안한다. 본 논문에서는 유추와 할당을 적용한 테스트 입력 자동 생성기를 기반으로 하여 새로운 부분 주사 방법을 구현하였다. 우선적으로 표준 주사환경에서 테스트 입력을 생성한 후에 테스트 입력이 제대로 생성되지 않은 주사 사슬에 대하여 테스트 입력 생성기를 수행하는 동안의 정보를 이용하여 확장 주사 플립플롭이 적용될 플립플롭을 결정하였다. 확장 주사 플립플롭을 결정하는 기준으로서는 고장 검출율과 하드웨어 오버헤드를 사용하였다. 순차 회로인 ISCAS 89 벤치 마크 회로를 이용하여 실험을 수행하였으며, 실험을 통하여 표준 주사와 확장 주사 환경, 부분 확장 주사 환경에서 고장 검출율을 비교, 확인하였다. 그리고 새로운 알고리즘이 적용된 부분 확장 주사 방법에서 높은 고장 검출율을 확인함으로써 효율성을 입증하였다.

• 한국환경생태학회지
• /
• 제26권5호
• /
• pp.801-811
• /
• 2012

본 연구는 도시공원의 토지피복 및 식재구조에 따른 온도 영향요인을 규명하는데 목적이 있다. 성남시 분당구 중앙공원을 대상으로 전 지역에 대한 토지피복 및 식재현황을 파악하였으며 30개의 조사구를 설정하여 정밀 토지피복 및 식재구조를 파악하고 온도는 10회 반복 측정하였다. 온도 영향요인은 토지피복유형, 식재유형, 층위구조, 녹지량(녹피율, 녹지용적계수)을 선정하여 실측 온도와의 통계분석을 실시하였다. 토지피복유형, 식재유형, 층위구조와 실측 온도와의 분산분석 결과, 토지피복유형에서 목본 식재지는 저온역으로 초지와 포장지는 고온역으로 구분되었다. 식재유형은 침엽수 및 활엽수 식재지는 저온역으로, 초지와 포장지는 고온역으로 구분되었다. 층위구조는 교목층과 교목층+하부식재 유형은 저온역으로, 초지와 포장지는 고온역으로 구분되었다. 녹지량과 실측 온도와의 상관관계 분석 결과 녹피율과 녹지용적계수는 모두 실측 온도값과 고도의 음(-)의 상관관계가 인정되었다. 녹지량과 실측 온도와의 회귀모형에 의하면 녹피율은 1% 증가할 때마다 $-0.002^{\circ}C$, 녹지용적계수는 $1m^3/m^2$ 증가할 때마다 $-0.122^{\circ}C$의 온도저감 효과가 있을 것으로 예측되었다.

• 한국주거학회논문집
• /
• 제24권1호
• /
• pp.51-59
• /
• 2013

This study aims to improve the thermal comfort level of detached housing area by reducing the impact of thermal environment. The study focused on reducing surface temperature that is generated in buildings and adjacent spaces as a result of sensible heat load and presented a proposal on implementing planting method considering its outdoor condition and structure and composed materials. To perform the study, we utilized 3D-CAD to examine the outdoor condition and structure and composed materials that impact on surface temperature and conducted space design after reflecting climatic elements in simulations. The result is as follows. In reviewing temperature distribution of Heat Island Potential (HIP) of buildings and adjacent spaces, in case where green coverage ratio is increased, there was a $6^{\circ}C$ temperature difference and in regard to changes in the thermal environment in detached housing area, in case where rooftop planting, surface improvement, planting, and overall green coverage ratio is increased, there was a $10^{\circ}C$ temperature difference. In addition, there was difference in temperature in detached housing area following the changes in wind.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제10권5호
• /
• pp.2124-2143
• /
• 2016

In Long Term Evolution-Advanced (LTE-A) systems, Inter-cell Interference (ICI) is a prominent limiting factor that affects the performance of the systems, especially at the cell edges. Based on the literature, Fractional Frequency Reuse (FFR) methods are known as efficient interference management techniques. In this report, the proposed Dynamic Fractional Frequency Reuse (DFFR) technique improved the capacity and cell edge coverage performance by 70% compared to the Fractional Frequency Reuse (FFR) technique. In this study, an improved power allocation method was adopted into the DFFR technique to reach the goal of not only reducing the ICI mitigation at the cell edges, but also improving the overall capacity of the LTE-A systems. Hence, an improved water-filling algorithm was proposed, and its performance was compared with that of other methods that were considered. Through the simulation results and comparisons with other frequency reuse techniques, it was shown that the proposed method significantly improved the performance of the cell edge throughput by 42%, the capacity by 75%, and the coverage by 80%. Based on the analysis and numerical expressions, it was concluded that the proposed DFFR method provides significant performance improvements, especially for cell edge users.