• ETRI Journal
• /
• v.11 no.4
• /
• pp.105-118
• /
• 1989

HARP(High performance Architecture for RISC type Processor)는 고유의 명령어 세트, 데이터 타입, 메모리 입출력, 예외 처리 기능을갖는 32비트 VLSI 프로세서 구조이다. 마이크로 아키텍츄어는 설계된 구조를 기대할 수 있는최고 성능을 갖도록 구조(architecture)와 구현(implementation) 사이의 최적 모델링을 통해 정의되는 구조체로서 구조의 개념 설계를 구현의 실물 설계로 변환 시켜주는 조율(tuning)모델이다. HARP의 고유한 명령어 세트를 비롯한 구조적 기능들을 최적 구현 하기위해 32비트 크기의 명령어 입력 유니트(Instruction Fetch Unit), 데이터 입출력 유니트(Data I/O Unit), 명령어/데이터 처리유니트(Instruction/Data Processing Unit), 예외 상황 처리 유니트(Exception Processing Unit)등 4개 유니트가 설계되었으며 이들 4개 유니트의 동작을 최대 속도로 유지시키기 위해 각급 주요 설계 변수들이 시뮬레이션을 통해 최적화 되었다. 유효 채널길이 $0.7\mum$급 3층 메탈 배선의 HCMOS(High performance CMOS)공정 기술을 구현 기준 기술로 사용하여 50MHz외 동작 주파수에서 최대50 MIPS(Million Instructions Per Second)의 성능을 갖도록 3단계 파이프라인이 설계되었다. 단일 위상의 50MHz클럭 입력과 동기화된 명령어/데이터 입출력을 위해 액세스 타임 20nsec이내의 고속 메모리 입출력 구조가 시뮬레이션되었으며 설계된 마이크로 아키텍츄어를 이용하여 HARP구조의 기대된 최대 성능을 검증하였다.

• Proceedings of the Plant Resources Society of Korea Conference
• /
• 2022.09a
• /
• pp.122-122
• /
• 2022

현재, ‘마약류 관리에 관한 법률’에 의해 규제되고 있는 대마는 “대마초와 그 수지 및 이를 원료로 제조된 제품 일체”에 대한 판매 및 유통이 엄격히 금지되어있다. 예외로, “대마초의 종자·뿌리 및 성숙한 대마초의 줄기와 그 제품”은 규정예외 되어있지만, 이를 식품 및 화장품 등의 산업재료로 활용하기 위해서는 대마의 새싹 및 근경부의 생산량과 안전성이 확보되어야만 한다. 그러므로, 본 연구에서는 동일 생육조건하에 LED광원에 따른 대마(Cannabis sativa L.)의 생육 및 생산량 차이를 확인하였다. 또한, LED광원 별 새싹대마의 독성을 확인하기 위해 대식세포인 RAW 264.7에 추출물을 처리하여 세포독성을 평가하였다. 실험결과, 청색광 처리 새싹대마가 생체 중 12.8 g로 가장 높았다 (적색광 10.8 g, 차광 8.8 g). 광원 별 세포독성은 모든 광원별 새싹대마 추출물에서 0.1 ~ 1 mg/ml까지 농도에서 독성이 없음을 확인하였다. 결과적으로, 빛을 처리한 조건의 새싹대마가 차광된 조건의 새싹대마보다 생산량이 증대되었으며, 광원별 새싹대마에서 세포독성이 없음을 확인하였다. 그러므로, 본 연구를 통해 대마 새싹이 식품 및 산업적 소재로서의 경쟁성과 안전성을 가지고 인체에 유익한 소재로 활용될 수 있는 가능성을 보였다.

• The Journal of the Korea Contents Association
• /
• v.11 no.12
• /
• pp.597-610
• /
• 2011

In database application developments, data coexists in memory and disk spaces. To manipulate the memory data, the general programing languages are used and to manipulate the disk data, SQL is used. In particular, the procedural languages for the memory manipulation are difficult to create and manage than declarative languages such as SQL. Thus, this paper shows that a particular structure of memory data, tree structured, can be manipulated by SQL. Most of all, the model data of the user interfaces can be represented by a tree structure and thus, it can be processed by SQL except non set computations. The non set computations could be done by helper classes. The SQL memory data manipulation is more suited to the database application developments which have few complex computations.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.21 no.8
• /
• pp.1531-1539
• /
• 2017

The existing SSD storage tester processed logs in a 1-N structure between server and client using TCP and network file system. This method causes some problems for example, an increase in CPU usage and difficulty in exception handling, etc. In this paper, we implement a log processing message layer that can deal with asynchronous distributed processing using open source messaging system such as kafka, RabbitMQ and compare this layer with existing log transmission method. A log simulator was implemented to compare the transmission bandwidth and CPU usage. Test results show that the transmission using the message layer has higher performance than the transmission using the message layer, and the CPU usage does not show any significant difference The message layer can be implemented more easily than the conventional method and the efficiency is higher than that of the conventional method.

• Journal of Korea Multimedia Society
• /
• v.6 no.7
• /
• pp.1200-1208
• /
• 2003

Java Card technology allows us to run Java applications on smart cards and other memory-constrained devices. Java Card technology supports high security, portability and ability of storing and managing multiple applications. However, constrained memory resources of the Java Card Platform hinder wide deployment of the Java Card applications. Therefore, in this paper we propose a bytecode optimization algorithm to use the memory of a Java Card efficiently. Our algorithm can reduce the size of the bytecode by sharing the memory of the parameters of the catch clause in the try-catch-finally sentence.

• Review of KIISC
• /
• v.26 no.3
• /
• pp.58-63
• /
• 2016

최근 금융IT를 대상으로 한 사이버 공격이 지속적으로 증가되고 있어 금융 정보와 관련된 개인정보유출 및 금융전산망의 마비에 대한 우려의 목소리가 커지고 있다. 이에 따라 금융위원회에서는 "금융전산 보안강화 종합대책"을 발표하며 금융IT에 대한 보안대책의 일환으로 금융전산망에 대한 분리를 의무화시켰다. 하지만, 망분리 정책 실시 이후 금융회사들은 업무 환경과 맞지 않은 일부 규정들로 주요 업무 처리에 대한 어려움을 호소하였다. 이에 금융위원회에서는 금융회사의 업무의 연속성과 투명성을 보장하기 위해 망분리 예외기준을 마련하였다. 본 논문에서는 금융권 망분리의 동향을 살펴보고 망분리 예외기준과 관련하여 신설 개정된 전자금융감독규정 및 전자금융감독규정 시행세칙에 대해 소개하고자 한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.05a
• /
• pp.1272-1281
• /
• 2006

RFID 기술을 이용함으로써 얻을 수 있는 많은 장점으로 인하여, 공급망에서 발생하는 실시간 제품 정보를 수집하고 관리하기 위하여 RFID 기술이 도입되고 있다. 기존의 RFID 기반의 공급망 관리 시스템은 제품의 위치에 따른 가시성은 확보할 수 있지만, 제품의 모든 상태에 따른 가시성은 확보하지 못한다는 단점이 있다. 이러한 단점을 해결하기 위해, 본 논문에서는 공급망 상의 제품 이동을 계획하고, 제품이 계획에 따라 이동할 때 발생하는 정보를 실시간으로 모니터링하고 통제할 수 있는 제품 상태 기반의 물류 통제 시스템을 설계하고 개발하였다. 이를 위해 본 연구에서는 첫째, 공급망에서 발생하는 제품 상태의 정의와 상태 변화의 흐름을 state chart로 표현하고, 둘째, 공급망에서의 폐쇄형관리 패러다임을 통한 제품 통제(감시 및 예외처리)를 정의하였으며, 셋째, Temporal data modeling을 통해 RFID 데이터 기반의 Database를 설계하고, 마지막으로, Publish/Subscribe 모델을 통해 효율적인 제품 상태 기반의 물류 통제 시스템 아키텍처를 설계하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.1
• /
• pp.192-201
• /
• 2001

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.193-195
• /
• 2012

소프트웨어 시스템의 신뢰성과 안정성을 보장하기 위해서는 시스템에 내재된 결함을 가능한 많이 줄이는 것이 중요하다. 이는 테스팅을 통해 수행할 수 있으며, 상태 다이어그램을 기반으로 한 테스팅 기법들이 많이 연구되고 있다. 이러한 연구들은 상태와 전이의 경로 커버리지에 초점을 두고, 메시지 시퀀스에 따른 테스트를 고려한다. 하지만 메시지 시퀀스에 따른 테스트 케이스는 모두 정상적인 환경의 테스트 데이터를 반영하고, 그에 따라 무효한 테스트에 취약성을 보인다. 따라서 본 논문에서는 부가적인 산출물을 최소화하고, 시스템의 예외처리를 강화하기 위해 가상의 비정상 전이와 상태를 추가하여 상태 다이어그램으로부터 무효한 테스트 케이스를 도출하는 방법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.558-560
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에 대해서 기술한다. ATM 은 임무 위급 시스템과 같은 실시간 시스템을 명세, 분석 및 검증할 수 있는 정형 기법이다. ATM 은 모드(mode), 전이(transition), 포트(port)로 구성된다. 모드는 머신의 압축된 상태를 의미하고 전이는 모드와 모드 사이의 변화를 말한다. 포트는 ATM 들 사이의 상호작용을 위한 진입을 나타내기 위한 것이다. ATM 은 소프트웨어 순환 공학을 위해 디자인 되었다. ATM은 재/역공학적 측면에서 계산 이론과 더불어 기존의 실시간 시스템의 소스코드에 대한 디지안 및 환경 정보를 나타낸다. 본 논문은 병렬성, 병렬적으로 동작하는 엔터티들 사이의 제어 정보이 흐름, ATM 타입과 클래스로부터의 인스턴스, 비/동기적 이벤트, 포트와 이벤트 타입, 포트의 타입, 통신, 입/출력, 예외처리, 시간에 관한 요구사항, 다수를 대상으로 하는 통신 주기적 작업등과 같은 ATM의 여러 개념을 기술하고 이러한 속성들을 Producer-Buffer-Consumer 예제로 살펴본다.