• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.1
• /
• pp.99-108
• /
• 1999

The solid modelling program was developed for the 3-D representation and analysis of VEry High-rise Steel Artificial Reefs(VEHSAR) using Visual C++ on the Microsoft's Windows 95(or Windows NT) based on MFC(Microsoft Foundation Class). Importing oriented-object program and CAD/CAM technique, this integrated design system which aims at low cost and high efficiency makes it possible to predict problems and to establish counterplans through visualizing the construction of Very High-rise Steel Artificial Reefs in advance. Also it is useful in enhancing productivity. Introduction of OpenGL makes it display high quality 3D graphics more faster.

• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.31B no.11
• /
• pp.1-10
• /
• 1994

A concurrent computation model Doorae and its description language DL are developed to model problems of parallel and distributed systems. Doorae model has simple and uniform concepts of object and message passing for problem modeling and computation. A method for detecting parallelism implicitly. with no exact description of parallelism in program. is proposed. Furthermore, the method assures the maximum parallelism in dynamic environment by creating concurrent objects. Also a concept of Waiting Variable to insure maximum computation efficiency of objects is proposed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2017.05a
• /
• pp.463-463
• /
• 2017

최근 다변량 확률모형 연구 및 기후변화에 따른 강우패턴 연구의 증가에 따라 시계열로 기록되어 있는 강우량 자료로부터 강우사상(Event)을 분리하는 연구 또한 활발히 이루어지고 있다. 일반적으로 강우사상은 최소무강우시간(Inter-Event Time)을 기준으로 전후강우가 독립적인 강우인지 연속적인 강우인지 구별하는데 이 최소무강우시간을 결정하는 방법이 각 사용되는 분야마다 일관되지 않은 점이 있다. 본 연구에서는 30년 이상 기록된 기상청 강우관측소 자료를 이용하였으며, 설계강우의 시간분포를 위한 Huff 4분위법에서 사용되는 6시간의 최소무강우시간분터 지수확률분포 방법으로 얻어지는 최소무강우시간(일반적으로 12시간 내외)까지 최소무강우시간의 변화에 따라 분리된 강우사상의 특성을 분석하였다. 또한 강우사상의 이변량 빈도해석 적합성을 검토하기 위해 연최대강우량 사상을 선정하여 빈도해석을 수행하였으며 최소무강우 시간에 따라 이변량 확률분포형 적합성을 검토하였다.

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

설계홍수량의 결정은 하천기본계획, 댐 설계 등 수리·수문학적으로 중요한 변수 중 하나이다. 설계홍수량 산정을 위해서는 확률강우량 산정 및 강우-유출 모형의 일련의 과정을 통해 이루어지며, 홍수량 산정 표준지침(2018)에 자세히 수록되어 있다. 그러나 국내외 다양한 연구에서는 빈도별 확률홍수량의 경우 계측된 유량자료를 활용하여 직접 홍수빈도해석을 수행하는 것이 가장 정확한 방법이라 알려져 있지만, 홍수빈도해석을 위한 자연유량이 부족할 뿐만 아니라 홍수수문곡선(hydrograph)을 얻을 수 없는 단점이 있다. 더불어 우리나라의 경우 주요지점을 제외하고는 계측이 잘 이루어지지 않고 있으며, 수위-유량관계곡선(rating-curve)을 통해 산정된 유량자료를 활용하고 있어 자료의 신뢰성이 낮은 문제가 있다. 이러한 이유로 우리나라에서는 강우-유출 모형을 활용하여 빈도별 홍수량을 산정하고 있으며, 확률강우량의 시간분포를 입력자료로 하여 홍수수문곡선을 취득하고 있다. 그러나 확률강우량의 우량주상도 변환시 국내에서는 일반적으로 Huff 4분위법을 활용하지만, 실제홍수사상과 비교했을 때 과소 및 과대 추정하는 경우가 많다. 더불어 분포된 우량주상도를 면밀히 살펴보면 빈도해석된 확률강우량과 비교하였을 때 상당히 낮은 강우 빈도를 가지고 있다. 즉, 우량주상도는 특정 지속시간의 확률강우량을 Huff 분포를 활용하여 얻어지지만, 관측소별로 산정된 확률강우량의 빈도개념이 무너진다는 것이다. 이러한 결과로 인해 확률홍수량은 확률강우량과의 빈도개념의 상이하다고 할 수 있으며, 홍수빈도해석과의 비교에서도 차이를 보이고 있어 우량주상도의 개선 연구가 필요하다. 따라서 본 연구에서는 기존에 일관적으로 사용되어지는 Huff 3분위 50%를 지양하고, Huff의 다양한 분위(quartile)과 Blocking 방법 등을 비교·검토하여 보다 국내 실정에 부합하는 확률강우량의 우량주상도를 제공할 수 있는 연구를 진행하고자 한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.28 no.1A
• /
• pp.51-58
• /
• 2008

A cable element happens to vibration easily rather than other elements because a cable element has few rotational stiffness. Dynamic motion of stay cable is distinguished from vibration by wind and/or rain and excitation by support movement. Mostly a stay cable is vibrated by wind and/or rain except that when natural periods coincide between stiffening girder and stay cable. It happens to deterioration of serviceability and durability by vortex shedding, rainy-wind induced vibration, and galloping. Additional damping generated by installation of cable damper is well known good scheme against above phenomena. Researchers have lack of effort to develop the recommendations even if cable stayed bridges are designed and constructed in Korea. Therefore, development of the domestic recommendations should be achieved as soon as possible. This study suggests the consistent and systematic recommendations on vibration controlling design of stay cable by installation of damper. It gives readers two important methodologies that one evaluates required damping ratio, the other determines installing point considering efficiency.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.3B
• /
• pp.360-374
• /
• 2004

The OSPF protocol is the most widely used Interior Gateway Routing Protocol. Therefore, for the reliability of behavior of gigabit swiching routers, it is essential to guarantee the interoperability and the safety of the OSPF protocol. In this paper, we analyze the standard document of the OSPF protocol, so that we provide a formal specification that specifies the protocol behaviors by detailed design level using the algebraic formal method. By referring available source codes of the OSPF protocol, we supplement the formal specification to express more detailed behaviors that is not specified definitely in the standard. We also formally verify the interoperability and the safety of the protocol state machine of the specification. By showing that the formal specification specify all of the states and the transition events that appear in the standard document of the OSPF protocol, we prove that the state machine has the completeness, and prove it has the interoperability. To prove that the specification of the protocol has the safety, we formally verify the reachability, the liveness, the livelock-free property, and the deadlock-free property. As a result, we prove the protocol has the consistency. The specification and the validation are also effective to the OSPF Version 3 that inherit the protocol mechanism of the OSPF Version 2.

• The KIPS Transactions:PartD
• /
• v.17D no.1
• /
• pp.1-8
• /
• 2010

Association rule mining techniques enable us to acquire knowledge concerning sales patterns among individual items from voluminous transactional data. Certainly, one of the major purposes of association rule mining is utilizing the acquired knowledge to provide marketing strategies such as catalogue design, cross-selling and shop allocation. However, this requires too much time and high cost to only extract the actionable and profitable knowledge from tremendous numbers of discovered patterns. In currently available literature, a number of interest measures have been devised to accelerate and systematize the process of pattern evaluation. Unfortunately, most of such measures, including support and confidence, are prone to yielding impractical results because they are calculated only from the sales frequencies of items. For instance, traditional measures cannot differentiate between the purchases in a small basket and those in a large shopping cart. Therefore, some adjustment should be made to the size of market baskets because there is a strong possibility that mutually irrelevant items could appear together in a large shopping cart. Contrary to the previous approaches, we attempted to consider market basket's size in calculating interest measures. Because the devised measure assigns different weights to individual purchases according to their basket sizes, we expect that the measure can minimize distortion of results caused by accidental patterns. Additionally, we performed intensive computer simulations under various environments, and we performed real case analyses to analyze the correctness and consistency of the devised measure.

• Journal of the Korean School Mathematics Society
• /
• v.19 no.4
• /
• pp.357-371
• /
• 2016

The purpose of this study was to decide the task space and Rating Scheme of task difficulty in complicated mathematical modelling situations. One of main objective was also to conform the validation of Rating Scheme to determine the degree of difficulty by comparing the student performance with the statement of the theoretical model. In spring 2014, the experimental setting was in Modelling Course for 38 in-service teachers in mathematics education. In conclusions, we developed the Model of Task Space based on their solution paths in mathematical modelling tasks and Rating Scheme for task difficulty. The Validity of Rating Scheme to determine the degree of task difficulty based on comparing the student performance gave us the meaningful results. Within a modelling task the student performance verifies the degree of difficulty in terms of scoring higher using solution approaches determined as easier and vice versa. Another finding was some relations among three research topics, that is, degree of task difficulty on rating scheme, levels of students performance and numbers of specific heuristic. Those three topics showed the impressive consistence pattern.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.35 no.3
• /
• pp.105-112
• /
• 2017

Construction and urban development projects that drove urbanization were perceived as a main culprit that disturbs environment and ecosystems, including urban heat island, air pollution and a decrease in species diversity in urban area, as they do not consider natural environment and adopt consistent development behaviors and rapidly degrade the ecology of development sites. In order to build a sustainable green wall system, design process is configured as follows based on basic technology development direction, climate environment elements, climate design technology elements suggested earlier. Each part of required technology element is codified systematically and a sound Korean-style green wall system design direction will be suggested.

• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.2
• /
• pp.173-186
• /
• 2000

Real-time embedded systems should accommodate many kinds of hardware platforms and resource management policies that vary depending on their operating environments and purposes. It is not an easy job to adapt a multitasking kernel to new system services and hardware platforms, as the kernel must strictly satisfy constraints on its size and performance. This paper describes the design and implementation of an object-oriented multitasking framework that can be reused for implementing microprocessor-based real-time embedded multitasking kernels, In this kernel framework, those parts that can vary depending on hardware platforms and system resource management policies are separated into the hot spots and encapsulated by abstract classes. Our framework thus can be effectively used to implement microprocessor-based real-time embedded kernels that demand high portability and adaptability.