• Journal of KIISE:Computer Systems and Theory
• /
• v.31 no.1_2
• /
• pp.41-50
• /
• 2004

Detecting races is important for debugging shared-memory Parallel programs, because races result in unintended nondeterministic executions of the programs. Particularly, the first races to occur in an execution of a program must be detected because they can potentially affect other races that occur later. Previous on-the-fly techniques that detect such first races based on candidate events that are likely to participate in the first races monitor access events in order to collect the candidate events during a program execution, and try to report the races only from determining the concurrency relationships of the candidates. Such races reported in this way. however, are not guaranteed to be first races, because they are not determined by taking into account how they are affected with each other. This paper presents a new post-mortem technique that analyzes, on each nesting level, candidate events collected from an execution of a shared-memory program with nested parallelism in order to report only first races. 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. The Proposed technique facilitates more practical and effective debugging than the previous techniques, because it guarantees to detect first races if candidate events are collected from an execution instance of the program with nested parallelism.

• The KIPS Transactions:PartA
• /
• v.16A no.6
• /
• pp.463-472
• /
• 2009

Real-time operating systems must have satisfying various conditions such as effective scheduling policies, minimized interrupt delay, resolved priority inversion problems, and its applications to be completed within desired deadline. The real-time operating systems, therefore, should be designed and developed to be optimal for these requirements. MicroC/OS-II, a kind of Real-time operating systems, uses the basic priority inheritance with a mutex to solve priority inversion problems. For the implementation of mutex, the kernel in an operating system should provide supports for numerous tasks with same priority. However, MicroC/OS-II does not provide this support for the numerous tasks of same priority. To solve this problem, MicroC/OS-II cannot but using priority reservation, which leads to the waste of unnecessary resources. In this study, we have dealt with new design a protocol, so called TPSP(Temporary Priority Swap Protocol), by an effective solution for above-mentioned problem, eventually enabling embedded systems with constrained resources environments to run applications.

• Proceedings of the Korea Water Resources Association Conference
• /
• 1998.02d
• /
• pp.1101-1179
• /
• 1998

최근에 내무부에서는 개발사업으로 인한 토사유출 피해 중 인명과 재산 피해와 같은 재해 성격을 가진 대규모 토사유출을 사전에 미리 저감시킬 목적으로 재해영향평가제를 도입하여 추진하고 있다. 이에 따라 건설 엔지니어링 업계에서는 대규모 개발 사업으로 인한 가속화된 토양손실량 예측과 침사지 설계에 많은 관심이 쏟아지고 있으나 이 분야의 기술축적과 자료부족으로 과업수행에 어려움을 겪고 있다. 본 강좌에서는 이러한 엔지니어링 업계의 기술적인 어려움을 다소 나마 해소할수 있도록 개발사업으로 인한 가속화된 토양손실량 예측방법과 침사지 설계 기준에 대해 외국의 자료를 바탕으로 그 동안 국내에서 수행한 각종 재해영향평가 자료를 검토하여 제시한다. 먼저, 재해영향평가제의 취지, 토사유출과 재해, 토사유출 재해 저감대책 등에 대해 간략히 설명한다. 다음, 침식량 예측 방법으로 미국의 범용토양 손실공식(USEL) 방법의 적용 절차에 대해 구체적으로 소개한다. 침사지 설계 편에서는 침사지 설계 개념과 구체적인 설계 절차를 제시하고 참사지 규모의 결정방법을 소개한다. 본 강좌의 교재는 미국교통연구단(TRB)의 국립합동도로연구프로그램(NCHRP)#70 자료를 주로 참고하였다. 이 자료는 부록에 원본 전부를 수록하였다. 다만 아직 이 분야 연구가 미흡한 관계로 본 강좌에서는 재해저감 측면에서 합리적인 침사지 설계 기준을 완전히 제시하지 못하고 있다. 참고로 국립방재연구소의 박무종/강대환 연구팀이 기존의 재해영향평가서 자료 중에서 10개를 선정하여 침사지 소요수면적 산정, USEL 적용, 강우침식도 R의 산정 등에 대해 사례 조사 분석한 결과를 부록에 수록하였다.을 기해야 한다. 있다. 청주권의 무심천도 계획상은 대청댐의 물을 공급 받을수도 있도록 되어 있으나 현실상으로 상수도 원수로서의 공급마저도 매년 심한 원수 수질 문제(5-6월, 10월경의 취수장 부근의 부영양화 현상으로 인한 악취와 물 맛의 문제)를 1984년부터 겪고 있다. 이와 같이 도시권 하천의 수자원은 자연적, 인위적, 경제적, 법적, 제도적 여러 제한 요소로서 특성을 가지고 있으며 이는 날로 심해 가고 있는 실정이다. 그러므로 최적 물관리 시스템의 개발이 새로이 시작하는 수자원 개발 사업에서는 계획 단계에서부터 절실히 요구되는 바이며 기존 시설물의 관리 운영은 과감히 그 운영 관리 기준을 보완 재 정비하여야 할 것이다. 지금까지 대부분의 수자원 종합 개발 계획이 홍수방이나 용수 공급 및 수력 개발 등에 주력하여 왔으나 이제는 보다 더 수자원의 환경 보전적 차원과 도시의 안정적 발달을 위한 지역 및 권역 계획과 연계지워져서 양적인 안정 공급과 더불어 질적인 향상과 연계지워서 경제-사회적 요구에 부응할 수 있도록 도시권의 수자원을 최적 관리할 수 있는 방안을 강구하여야 할 것이다. 이는 각 도시 하천의 수자원의 정량적·정성적인 특성 및 제한 요소를 충분히 감안하여 수요-공급 개념에 의하여 과감히 기존 시설(예: 팔당댐의 운영, 대청댐의 운영 등)의 관리 운영 체계를 개선하여 나가야 할 것이며, 수질 보전적-환경 보전 차원에서 저수관리 체계를 확고히 할 수 있는 방안을 강구하여야 할 것이다.펄스주입법에 의해 증착된 박박은 강유전성 이력을 나타내었다.지역과 비도시지역을 비교하는 조사 연구가 필요하며, 이러한 조사결과를 바탕으로 자녀의 식습관에 대

• Korean Journal of Optics and Photonics
• /
• v.17 no.6
• /
• pp.507-513
• /
• 2006

In this paper, we propose an improved image encryption and fault-tolerance decryption method using phase wrapping and phase encoding in the frequency domain. To generate an encrypted image, an encrypting key which denotes the product of a phase-encoded virtual image, not an original image, and a random phase image is zero-padded and Fourier transformed and its real-valued data is phase-encoded. The decryption process is simply performed by performing the inverse Fourier transform for multiplication of the encrypted key with the decrypting key, made of the proposed phase wrapping method, in the output plane with a spatial filter. This process has the advantages of solving optical alignment and pixel-to-pixel mapping problems. The proposed method using the virtual image, which does not contain any information from the original image, prevents the possibility of counterfeiting from unauthorized people and also can be used as a current spatial light modulator technology by phase encoding of the real-valued data. Computer simulations show the validity of the encryption scheme and the robustness to noise of the encrypted key or the decryption key in the proposed technique.

• Archives of design research
• /
• v.17 no.1
• /
• pp.373-382
• /
• 2004

Large sized buildings have proliferated in the modern world in order to solve problems caused by the growth of cities, and this trend has lead to diversity in style and utilization of interiors. In particular, wayfinding within the shopping mall for a customer is a common problem, so if customers do not have to face these navigational problems and could find the way more easily, then shopping mall or the store can expect much better profits. Therefore, directional sign system that can provide accurate and speedy information for customers with diversified ages, gender and knowledge is necessary. Firstly, the definition and element of all directional sign are analyzed through the existing literature survey. The elements are based on the practical elements and six categories such as type, pictogram, color, layout, form, and location were considered. Secondly, directional signs in large underground shopping mall was considered, and the speciality of the underground shopping mall was investigated, and finally top three underground shopping malls was analyzed. Thirdly, through the questionnaire, an objective appraisal of directional signs and problems was developed, and following possible improvement was suggested. This study has its own limitations since it is only applicable to the specific locations, however, directional designs will be useful in other types of buildings as well. Through the continuous studies of the users' psychology, these kinds of studies will be related to the environmental characteristics of various places.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.5
• /
• pp.53-67
• /
• 2008

At present, for reuse of similar domains between feature model and class model. researches of transformation at the model level and of transformation using ontology between two models are being made. but consistent transformation through metamodel is not made. And the factors of modeling transformation targets are not sufficient, and especially, automatic transformation algorithm and supporting tools are not provided so reuse of domains between models is not activated. This paper proposes a method of transformation from feature model to class model using ontology on the metamodel. For this, it re-establishes the metamodel of feature model, class model, and ontology, and it defines the properties of modelling factors for each metamodel. Based on the properties, it defines the profiles of transformation rules between feature mndel and ontology, and between ontology and class model, using set theory and propositional calculus. For automation of the transformation, it creates transformation algorithm and supporting tools. Using the proposed transformation rules and tools, real application is made through Electronic Approval System. Through this, it is possible to transform from the existing constructed feature model to the class model and to use it again for a different development method. Especially, it is Possible to remove ambiguity of semantic transformation using ontology, and automation of transformation maintains consistence between models.

• Journal of Environmental Impact Assessment
• /
• v.28 no.2
• /
• pp.129-140
• /
• 2019

Majangcheon is a small agricultural stream which is located in Chuncheon-si, Gangwon-do. To understand ecological characteristics of Majangcheon as biological habitats, we surveyed its physical environment and fishes from June 2016 to September 2016. The altitudinal difference between lowest and highest point of the stream was 3 meters and the first-order stream under a map drawn on a scale of 1:25,000. The flow rate of stream was slow in overall with $0.09-0.48m{\cdot}s^{-1}$. More than 50% of clay were found in all points except for the point St. 3 in the riverbed structure surveyed. A total of 2,532 individuals of 22 species in nine families were collected from Majangcheon. Of them, stillwater-living species (Acheilognathinae and Carassius auratus) and floating species (Zacco platypus and Oryzias sinensis) were mainly collected. In Majangcheon, thus, both of stillwater-living and floating fishes were specifically coexisted. The correspondence analysis, based on fishes collected from Majangcheon and past research, showed that Majangcheon is closer to the flat streams in Gyeonggi-do rather than the mountainous streams in Gangwon-do but it appeared as an independent group from those of two regions. As a result, Majangcheon is a stream with specificity of fish community.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.3
• /
• pp.115-122
• /
• 2019

For Korean phoneme recognition, Hidden Markov-Gaussian Mixture model(HMM-GMM) or hybrid models which combine artificial neural network with HMM have been mainly used. However, current approach has limitations in that such models require force-aligned corpus training data that is manually annotated by experts. Recently, researchers used neural network based phoneme recognition model which combines recurrent neural network(RNN)-based structure with connectionist temporal classification(CTC) algorithm to overcome the problem of obtaining manually annotated training data. Yet, in terms of implementation, these RNN-based models have another difficulty in that the amount of data gets larger as the structure gets more sophisticated. This problem of large data size is particularly problematic in the Korean language, which lacks refined corpora. In this study, we introduce CTC algorithm that does not require force-alignment to create a Korean phoneme recognition model. Specifically, the phoneme recognition model is based on convolutional neural network(CNN) which requires relatively small amount of data and can be trained faster when compared to RNN based models. We present the results from two different experiments and a resulting best performing phoneme recognition model which distinguishes 49 Korean phonemes. The best performing phoneme recognition model combines CNN with 3hop Bidirectional LSTM with the final Phoneme Error Rate(PER) at 3.26. The PER is a considerable improvement compared to existing Korean phoneme recognition models that report PER ranging from 10 to 12.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.6
• /
• pp.460-468
• /
• 2021

This study investigated the enhanced combustion efficiency of an "air-cooled combustion system" with single F.D. fan, and performed a numerical analysis for the operation and design conditions to increase the combustion efficiency. The combustion efficiency in an actual combustor was compared before and after the structure modification. Numerical analysis for application of a single fan revealed the difficulty of forming a turbulence for circular combustion conditions. This is because the supply ratio of combustion air supplied into 2 flow paths becomes irregular in the combustion furnace due to a change in friction force and pressure in each flow path. Subsequently, two methods of supplying air into the combustion furnace were analyzed numerically to obtain the optimal combustion conditions of an air-cooled combustion system. The first method involved injecting the preheated combustion air after a 180~360 degree rotation from the outer wall, whereas in the second method, the combustion air was injected into the combustion furnace in a tangential direction after primary heat exchange outside the combustion furnace, by applying a rotatable vane structure in the combustion furnace. Results reveal that application of a single F.D. fan to the air injection into a rotatable combustion furnace is desirable for optimization of the combustion conditions for applying a duct structure having a dual cooling wall for the cooling of the outer wall of the combustion furnace, and for maintaining perfect mixing in the combustion furnace. We therefore confirmed enhanced combustion efficiency by comparing the actual combustion efficiency before and after structure modification.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.26 no.4
• /
• pp.54-63
• /
• 2022

A 3-tonf class liquid rocket engine that powers the upper stage of a small launcher and lifts 500 kg payload to 500 km SSO is designed. The small launcher is to utilize the flight-proven technology of the 75-tonf class engine for the first stage. A combination of liquid oxygen and liquid methane has been selected as their cryogenic states can provide an extra boost in specific impulse as well as enable a weight saving via the common dome arrangement. An expander cycle is chosen among others as the low-pressure operation makes it robust and reliable while a specific impulse of over 360 seconds is achievable with the nozzle extension ratio of 120. Key components such as combustion chamber and turbopump are designed for additive manufacturing to a target cost. The engine system provides an evaporated methane for the autogenous pressurization system and the reaction control of the stage. This upper stage propulsion system can be extended to various missions including deep space exploration.