• Journal of the Korea Society of Computer and Information
• /
• v.28 no.2
• /
• pp.111-119
• /
• 2023

In this paper, we investigate the feasibility of functional programming in the Scala language. The main issue is to what extent Scala is able to handle major properties of functional programming such as lambda expression, high-order functions, generic types, algebraic data types, and monads. For this purpose, we implement an interpreter of an imperative language. In this implementation, the same functional programming techniques are applied to both Haskell and Scala languages, and then these two versions of implementations are compared and analyzed. The abstract syntax tree of an imperative language is expressed as algebraic data types with generics and enum classes in Scala, and the state transition of imperative languages is implemented by using state monad. Extension and given, new features of Scala, are used as well.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1983-1986
• /
• 2002

분산 인터넷 환경에서 웹 애플리케이션의 상호운영성, 유연성, 확장성, 유지보수성 재사용성을 높이기 위해서 프레임웍 및 패턴을 시스템 개발에 적용하는 연구가 진행되고 있다. 프레임웍 및 패턴을 사용하여 시스템을 개발하기 위해서는 여러 가지 설비(facility)를 요구하며 개발자는 시스템에 대해 보다 많은 부분을 고려해야 한다. 본 논문에서는 특정 도메인에서 MVC Model 2 프레임웍을 기반으로 하는 시스템에 대해 공통으로 사용 가능한 코드를 재사용할 수 있도록 시스템의 골격 코드 및 프로토타입 형태의 시스템을 자동 생성하는 빌더를 설계하고 구현한다. 생성되는 프로토타입 시스템에서는 커스텀 태그 및 재사용 가능한 빈을 정의하고 XML, DOM, 국제화, 지역화 등을 지원하도록 작성되어 커스텀 태그 및 빈의 추가 및 변경에 의해 웹 애플리케이션의 기능을 변경시키고 성능을 향상시키는 것이 용이하게 된다. 본 연구에서 설계하고 구현한 Model 2 기반 프로토타입 자동생성 도구는 웹 애플리케이션 개발시에 활용되어 생산성 향상에 기여할 수 있다.

• Journal of Korea Multimedia Society
• /
• v.14 no.2
• /
• pp.269-281
• /
• 2011

For the MD-TIX(multidimensional type inheritance index) that supports query processing for the type inheritance concept in XML databases, this paper presents an index tuning algorithm that enhances the performance of the XML query processing according to the query pattern. The MD-TIX uses a multidimensional index structure to support complex XML queries involving both nested elements and type inheritance hierarchies. In this index tuning algorithm, we first determine a shape of index page regions by using the query information about the user's query pattern, and then construct an optimal MD-TIX by applying a region splitting strategy that makes the shape of the page regions into the predetermined one. The performance evaluation results indicate that the proposed tuning algorithm builds an optimal MD-TIX by a given query pattern, and in the case of the three-dimensional query regions for the nested predicates of path length 2, the performance is much enhanced according to the skewed degree of the query region's shape.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.42 no.1
• /
• pp.107-116
• /
• 2022

Recently, research has been actively conducted on the technology of inspection facilities through image-based analysis assessment of human-inaccessible facilities. This research was conducted to study the conditions of deep learning-based imaging data on bridges and to develop an evaluation prototype program for bridges. To develop a deep learning-based bridge damage detection prototype, the Semantic Segmentation model, which enables damage detection and quantification among deep learning models, applied Mask-RCNN and constructed learning data 5,140 (including open-data) and labeling suitable for damage types. As a result of performance modeling verification, precision and reproduction rate analysis of concrete cracks, stripping/slapping, rebar exposure and paint stripping showed that the precision was 95.2 %, and the recall was 93.8 %. A 2^nd performance verification was performed on onsite data of crack concrete using damage rate of bridge members.

• Applied Chemistry for Engineering
• /
• v.28 no.2
• /
• pp.153-157
• /
• 2017

Gel type internal electrolytes were synthesized by varying hydroxyethyl-cellulose (HEC) amounts and their durability and conductivity were measured. The ionic conductivity decreased as the content of HEC increased thus the internal electrolyte containing more than 12% of HEC could not be used as a reference electrode. Based on durability test results, as the HEC amount decreased carrier density resulting in increasing of the amount of KCl coming out of the porous membrane. Therefore in order to use long time at ballast water treatment systems, we selected 10% HEC for gel type internal electrolyte. The resolution test for total residual oxidants (TRO) was carried out using the TRO sensor and the gel type reference electrode made of 10% HEC. A 50 mV potential was applied to the TRO sensor for 30 sec and changes in the current were measured. It was confirmed that the TRO concentrations ranging from 0 to 15 mg/L could be separated at salinity conditions of 0.2~30 PSU. The results indicated that the TRO concentration at sea water and at fresh water was successfully measured by the TRO sensor constructed with the reference electrode using gel-type internal electrolyte of HEC.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2018.05a
• /
• pp.166-168
• /
• 2018

본 논문에서는 Whirlpool 해시 코어가 Cortex-M0의 슬레이브로 인터페이스된 보안 SoC 프로토타입 구현에 대해 기술한다. ISO/IEC에서 표준으로 채택된 경량 해시 알고리듬인 Whirlpool 해시 함수를 64-비트의 데이터 패스로 구현하였으며, 키 확장 연산과 암호화 연산을 수행하는 하드웨어를 공유하여 면적이 최소화되도록 설계하였다. 설계된 보안 SoC 프로토타입을 Cyclone-V FPGA에 구현한 후, ULINK2 어댑터와 Cortex 내부 디버거를 통해 Whirlpool 해시 코어에서 연산된 해시값을 확인함으로써 SoC 프로토타입의 동작을 확인했다.

• Review of KIISC
• /
• v.19 no.2
• /
• pp.43-52
• /
• 2009

본 논문에서는 가장 대표적 인 보안 운영 체제인 SELinux를 보다 쉽게 이용할 수 있도록 하는 보안 정책 템플릿과 도구를 설명한다. 제안하는 방법론을 위해 먼저 SELinux를 보다 편리하게 이용할 수 있도록 하기 위해 연구된 기존에 도구들이 가지는 문제점을 분석하였다. 그리고 SELinux를 심도 깊게 분석하여 SELinux에서 이용하는 주체, 객체의 타입 그리고 권한을 객체 타입과 객체별, 권한별로 축약하였다. 이처럼 축약되어 간소화된 객체 타입과 권한을 바탕으로 리눅스 시스템이 이용하는 임의적인 접근통제 형태를 지원하는 보안 정책 템플릿 기술언어를 정의하여 SELinux보안 정책의 복잡성을 개선하도록 하였으며 이를 통해 기존 리눅스 시스템 관리자가 이용하기 편리하도록 하였다. 또한 자동으로 제안된 보안 정책 템플릿 언어로 작성된 보안 정책을 SELinux의 보안 정책으로 변환하는 변환기와 자동으로 정책을 생성하는 생성기를 개발하여 SELinux 이용의 편리성을 최대화 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.365-368
• /
• 2004

소프트웨어 신뢰성을 보장하기 위한 Eiffel의 Design by Contract[1,2] 기법은 프로그램 코드 안에 코드가 뜻하는 바를 함께 기술하는 것으로 소프트웨어가 명세의 주어진 조건에 따라 정확히 동작하도록 하고 있다. 그것은 재사용성이 높은 콤포넌트를 기반으로 하는 콤포넌트 기반 소프트웨어 개발방법에 있어서 중요한 특징이다. 본 논문에서는 C++언어의 타입 상속에서 올바른 의미적 타입 계층구조를 유지할 수 있도록 Design by Contract 기법을 적용하고, 기능을 활용할 수 있는 방안을 제시하였다. 또한, 객체지향 프로그래밍에 있어서 올바른 타입 구조를 형성할 수 있도록 하여, 견고한 소프트웨어 콤포넌트를 제작할 수 있도록 유도하였다.

• The KIPS Transactions:PartC
• /
• v.9C no.6
• /
• pp.961-968
• /
• 2002

This paper proposes a new access method which is to considered the high variability in World Wide Web and manage the web cache space. Instead of using a single cache, we divide a cache and store all documents according to their file types. Proposed method was compares with current cache management policies using LFU, LRU and SIZE base algorithm. Using two different workload, we show the improvement hitting ratio and byte hitting ratio through simulating on the file type caching.

• Smart Media Journal
• /
• v.5 no.2
• /
• pp.51-58
• /
• 2016

Recently, the unmanned aerial vehicle Drone technology is attracting new interest around the world. The versatilities in science, military, marketing, sports, and entertainment fields are the driving force of the drone fever. Thus, the potential power of future industrial is expected as the application range is extensive. In this paper, we design and propose the prototype of unmanned aerial vehicle-based bigdata processing system.