• Journal of the Korea Society of Computer and Information
• /
• v.19 no.4
• /
• pp.17-24
• /
• 2014

Detecting data races is important for debugging shared-memory programs with nested parallelism, because races result in unintended non-deterministic executions of the program. It is especially important to detect the first occurred data races for effective debugging, because the removal of such races may make other affected races disappear or appear. Previous dynamic detection tools for first race detecting can not guarantee that detected races are unaffected races. Also, the tools does not consider the nesting levels or need support of other techniques. This paper suggests a post-mortem tool which collects candidate accesses during program execution and then detects the first races to occur on the program after execution. This technique is efficient, because it guarantees that first races reported by analyzing a nesting level are the races that occur first at the level, and does not require more analyses to the higher nesting levels than the current level.

• Journal of Korean Society for Geospatial Information Science
• /
• v.1 no.1 s.1
• /
• pp.117-125
• /
• 1993

GSIS is a system that contains spatially referenced data that can be analyzed and converted to information for a specific set of purpose, or application. The key feature of a GSIS is the analysis of data to produce new information. The current emphasis in the transportation is to implement GSIS in conjunction with real time systems Requirements for a transportation GSIS are very different from the traditional GSIS software that has been designed for environmental and natural resource applications. A transportation GSIS may need to include the ability for franc volume, forecasting, pavement management A regional transportation planning model is actually a set of models that are used to inventory and then forecast a region's population, employment, income, housing and the demand of automobile and transit in a region. The data such as adminstration bound, m of landuse, road networks, location of schools, offices with populations are used in this paper. Many of these data are used for analyzing of traffic volume, traffic demand, time of mad construction using GSIS.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.20 no.5
• /
• pp.121-126
• /
• 2020

In many parts of the world, climate warming has caused tremendous environmental disasters to repeat every year. Overuse of fossil fuels, the main source of energy, has affected the global environment, destroying the global ecosystem and depleting resources. To overcome this, efforts to reduce carbon emissions through the development of renewable energy are being actively studied at home and abroad. Already, new technologies are being reported abroad to reduce carbon emissions. Zero Energy House is a model that reduces low carbon emissions and energy use due to the use of high-density materials for high-heated materials, and can live in real life by receiving the minimum required energy through renewable energy. Although the government is trying to apply this in Korea, it is difficult to become common because of the lack of economic feasibility. The purpose of this study is to study models that can zero carbon emissions, which are eco-friendly elements, secure construction economy of zero energy house by using ventilation system, heat exchanger and energy storage system for public use, and attach automation system to window opening/closing to maintain indoor temperature.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.237-247
• /
• 2005

Ubiquitous Sensor Network(USN) is the very core of a technology for the Ubiquitous environments. There is the weakness from various security attacks such that tapping of sensor informations, flowing of abnormal packets, data modification and Denial of Service(DoS) etc. And it's required counterplan with them. Especially it's restricted by the capacity of battery and computing. By reasons of theses. positively, USN security technology needs the lightweighted design for the low electric energy and the minimum computing. In this paper, we propose lightweight USN mutual authentication methology based on trust model to solve above problems. The proposed authentication model can minimize the measure of computing because it authenticates the sensor nodes based on trust information represented by subjective logic model. So it can economize battery consumption and resultingly increse the lifetime of sensor nodes.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.3
• /
• pp.617-630
• /
• 1996

In this paper, a shared-concurrent file system (S-CFS) is designed and implemented using conventional disks as disk arrays on a Workstation Cluster which can be used as a small-scale server. Since it is implemented on UNIX operating systems, S_CFS is not only portable and flexible but also efficient in resource usage because it does not require additional I/O nodes. The result of the research shows that on small-scale systems with enough disks, the performance of the concurrent file system on transaction processing applications is bounded by the bottleneck of CPUs computing powers while the performance of the concurrent file system on massive data I/Os is bounded by the time required to copy data between buffers. The concurrent file system,which has been implemented on a Workstation Cluster with 8 disks,shows a throughput of 388 tps in case of transaction processing applications and can provide the bandwidth of 15.8 Mbytes/sec in case of massive data processing applications. Moreover,the concurrent file system has been dsigned to enhance the throughput of applications requirring high performance I/O by controlling the paralleism of the concurrent file system on user's side.

• Korean Journal of Environmental Biology
• /
• v.40 no.2
• /
• pp.206-213
• /
• 2022

Ecological characteristics of a brown alga, Scytosiphon lomentaria, were investigated from January 2021 to December 2021 in its natural habitat off Sodol, Jumunjin, eastern coast of Korea. The S. lomentaria population at the site formed widespread patches on mid shore. During the investigation, environmental conditions including seawater temperature, salinity, and dissolved oxygen were monitored at the site. Growth and maturation of the S. lomentaria population were identified through qualitative and quantitative investigations. An estimation of the effective cumulative temperature for maturation of the alga was obtained based on growth data and a biological zero temperature of 8℃. Sporangia were observed from February to May when seawater temperatures ranged from 7.7℃ to 16.4℃. A maturation peak was detected in April when seawater temperature was 12.1℃. After zoospore release, the alga became bleached and only the crust remained after June. Developmental initiation of the thallus occurred at temperatures above 8℃. Its maturation required approximately 162 degree-days.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.128-128
• /
• 2020

최근 농업환경의 변화와 기후변화에 대응하기 위해 농업용수 관리 정보화 및 과학화의 필요성이 증대되어 실시간으로 저수지 저수량과 농업용수 공급량을 파악하기 위해 자동 수위계측시설이 도입되었다. 농림축산식품부의 저수지 자동수위측정기 설치 및 운영지침에 따라 현재 농어촌공사 관리 저수지 1,734개소 및 수로부 1,880개소에 자동수위계가 설치되어 있으며, 저수지와 수로에서 10분 간격으로 수위자료가 생성되고 있다. 농업용 저수지 수문자료의 공인지점은 2016년 6개소에서 2019년 49개소로 증대되고 있으며, 데이터 품질 저하의 최소화 및 신뢰성 있는 수문자료 생성의 필요성이 증가함에 따라 농업용 저수지의 특성을 반영한 저수지 수위 오결측 데이터 보정 방안 및 수문 자료 품질관리 방안이 요구된다. 농업용 저수지의 수위 변화 및 강우-유출 현상은 물리적 모형을 구축하여 기상, 지형 등 영향 인자와 수위(또는 유출)와의 상관관계를 분석하는 것은 무적으로 불가능하였지만, 최근 인공신경망 (Artificial Neural Network, ANN) 등과 같이 black-box 형태의 모형을 이용하여 비선형적인 수문해석이 가능해졌다. 본 연구에서는 빅데이터와 인공신경망을 결합시킨 알고리즘인 딥러닝 (Deep Learning) 기반의 LSTM (Long Short-Term Memory) 모형을 활용하여 농업용 저수지 수위자료를 검토하여 자동계측기에서 발생하는 오류 보정을 위해 품질관리 방안을 제시하고자 한다.

• Korean Journal of Plant Resources
• /
• v.27 no.5
• /
• pp.546-555
• /
• 2014

The final aim of this study is to develop a biofiltration system integrated with plant vegetation for improving indoor air quality effectively depending on indoor space and characteristics. However, to approach this final goal, several requirements such as constant pressure drops (PDs) and soil moisture contents (SMCs), which influence the capacity design for a proper ventilation rate of biofiltration system, should be satisfied. Thus, this fundamental experiment was carried out to adjust a proper wind speed and to ensure a stabilization of initial SMCs within biofilter for uniform distribution of SMCs and PDs, and for normal plant growth, especially avoiding root stress by wind. Therefore, we designed horizontal biofliter models and manufactured them, and then calculated the ventilation rate, air residence time, and air-liquid ration based on the biofilter depending on three levels of wind speed (1, 2, and $3cm{\cdot}s^{-1}$). The relative humidity (RH) and PD of the humidified air coming out through the soil within the biofilter, and SMC of the soil and plant growth parameters of lettuce and duffy fern grown within biofilter were measured depending on the three levels of wind speed. As a result of wind speed test, $3{\cdot}sec^{-1}$ was suitable to keep up a proper RH, SMC, and plant growth. Thus, the next experiment was set up to be two levels of initial SMCs (low and high initial SMC, 18.5 and 28.7%) within each biofilter operated and a non-biofiltered control (initial SMC, 29.7%) on the same wind speed ($3cm{\cdot}sec^{-1}$), and measured on the RH and PD of the air coming out through the soil within the biofilter, and SMC of the soil and plant growth parameters of Humata tyermani grown within biofilter. This result was similar to the first results on RHs, SMCs, and PDs keeping up with constant levels, and three SMCs did not show any significant difference on plant growth parameters. However, two biofiltered SMCs enhanced dry weights of the plants slightly than non-biofiltered SMC. Thus, the stability of this biofiler system keeping up major physical factors (SMC and PD) deserved to be adopted for designing an advanced integrated biofilter model in the near future.

• Journal of KIISE:Computer Systems and Theory
• /
• v.28 no.12
• /
• pp.660-673
• /
• 2001

In Video-on-Demand (VoD) servers, disk throughput is an important system design parameter because it is directly related to the number of user requests that can be served simultaneously. In this paper, we propose an efficient periodic request grouping scheme for disk array-based VoD servers that reduces the disk seek time, thus improving the disk throughput of VoD disk arrays. To reduce the disk seek time, the proposed scheme groups the periodic requests that access data blocks stored in adjacent regions into one, and arranges these groups in a pre-determined order (e.g., in left-symmetric or right-symmetric fashion). Our simulation result shows that the proposed scheme reduces the average disk bandwidth required by a single video stream and can serve more user requests than existing schemes. For a data block size of 192KB, the number of simultaneously served user requests is increased by 8% while the average waiting time for a user request is decreased by 20%. We also propose an adaptation technique that conforms the proposed scheme to the user preference changes for video streams.

• Journal of Korean Society of Forest Science
• /
• v.96 no.4
• /
• pp.477-482
• /
• 2007

Forest biomass became a topic because we have growing interest in global environmental issues and environment-friendly energy resources. This study was carried out to estimate the forest biomass and develop a program for biomass information management in Korea. The total forest biomass (million ton) were 521 for gross forest, 403 for productive forest and 201 for commercial forest in 2005. Also, the annual biomass production in forest was 20 million ton which was equivalent to 94,290 Gkcal of heating value and about 9 billion won of paraffin oil. The biomass growing rate (every 10year) increased from 4.95% in 1985 to 5.30% in 1995 but turn down 4.46% in 2005. The factors that the forest stock could be converted to the forest biomass have developed according to forest type. Therefore, it is impossible to estimate the exact biomass by tree species. In this reason, the demands of the development of the factors by tree species was raised. In addition, it is on time to develop an equation for estimation of biomass by species using dbh and height as independent factors.