http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
A Small Scale Registry Concept for Microcontroller Configuration
Arne Kutzner(아네 쿠츠너),Pok-Son Kim(김복선) 한국지능시스템학회 2012 한국지능시스템학회 학술발표 논문집 Vol.22 No.2
We propose a registry concept that is optimized with respect to the special architectural and computational aspects of microcontroller centered systems. Our registry concept is self-contained, allows the realization of hierarchically organized configuration environments and is minimal regarding the consumption of volatile memory. The proposed model allows the distribution of different parts of the registry over different kinds of memory as e.g. EEPROM and Flash. Using an imperative programming language the central registry access algorithm can be transparently implemented as a singular function construct. For import and export purposes our model supports the XML representation of registries. We report about a practical implementation in the context of a microcontroller based system for model railway control.
Stable한 Minimum Storage 병합을 위한 단순알고리즘의 복잡도 분석
쿠츠너 아네(Arne Kutzner),김복선(Pok-Son Kim),김정숙 한국지능시스템학회 2012 한국지능시스템학회 학술발표 논문집 Vol.22 No.1
We contribute to the research on complexity analysis of a stable minimum storage merging algorithm that is particularly simply structured and transparently implemented by few lines of Pseudocode compared to its competitors. The algorithm presented in [4] is based on a structurally simple principle of symmetric splitting, where the start and end point of a rotation are computed by a repeated halving of two search spaces. The algorithm performs ?logn?+1 comparisons in the best case and O(mlog(n/m))comparisons in the worst case, where m and n are the sizes of the input sequences with m≤n. Hence, according to the lower bounds of merging the algorithm is asymptotically optimal regarding the number of comparisons. For proving the worst case complexity we consider several special cases. Based on the complexity of these special cases we prove the worst case complexity of the algorithm.
디지털 모델기차 콘트롤을 위한 실시간 OS에 기반한 Firmware의 디자인 및 구조
아네 쿠츠너(Arne Kutzner),김복선(Pok-Son Kim) 한국지능시스템학회 2011 한국지능시스템학회 학술발표 논문집 Vol.21 No.2
We propose the structure and components of a real-time operating system based solution for digital model-railway control. Digital model railways, where pulse-width modulation (PWM) based data generation is used for locomotive and accessory control, are quite popular within the community of model railway enthusiast. These systems are always to some degree vendor specific and require some central control for performing several parallel tasks as e.g. track signal generation, scheduling of control messages and collection of feedback events. There are already many commercial as well as community maintained solutions for central controls available. However, aside from some community projects, little is known about the inner software of such Microcontroller centered systems. We will report about a FreeRTOS based firmware for the Central Control hardware of the OpenDCC project. The application of a real-time Operating System togetherwith preemptive multitasking poses a non-trivial problem in the context of model railway control, due to the strict timing requirements of many digital model railway protocols. These timing requirements come quickly into conflict with the natural inner delays of real-time Operating Systems. In the context of our work we could successfully solve such conflicts by avoiding specific programming constructs with FreeRTOS.
효율적 In-Place Block Rotation 알고리즘과 복잡도 분석
김복선(Pok-Son Kim),쿠츠너 아네(Arne Kutzner) 한국지능시스템학회 2010 한국지능시스템학회논문지 Vol.20 No.3
μ와 υ를 두 인접수열 (consecutive sequence)이라고 했을 때 이때 “block rotation”이란 μυ를 υμ로 바꾸는 연산을 의미한다. 기존에 3개의 block rotation 알고리즘 즉 “BlockRotation”, “Juggling” 그리고 “Reversal 알고리즘”이 소개되었는데 최근 우리는 하나의 새로운, QuickRotation 이라고 명명한 block rotation 알고리즘을 소개했다. 우리는 이 논문에서 QuickRotation 알고리즘을 이들 기존의 알고리즘들과 비교해 보이고자 한다. 벤치마킹 뿐만 아니라 복잡도 분석을 통한 비교를 통해 QuickRotation 알고리즘의 우수성을 증명해 보이고자 한다. The notion “block rotation” denotes the operation of exchanging two consecutive sequences of elements μυ to υμ. There are three already well-known block rotation algorithms called BlockRotation, Juggling and Reversal algorithm. Recently we presented a novel block rotation algorithm called QuickRotation. In this paper we compare QuickRotation to these three known block rotation algorithms. This comparison covers a complexity analysis as well as benchmarking and shows that a switch to QuickRotation is almost always advantageous.
On a Simple and Stable Merging Algorithm
김복선(Pok-Son Kim),쿠츠너 아네(Arne Kutzner) 한국지능시스템학회 2010 한국지능시스템학회논문지 Vol.20 No.4
단순하고 스테이블한 머징알고리즘의 비교횟수와 관련된 worst case 복잡도를 분석한다. 복잡도 분석을 통해 소개되는 알고리즘이 m 과 n, m≤n 사이즈의 두 수열에 대해 O(mlog(n/m))의 비교횟수를 요구하는 사실을 증명한다. 그래서 병합에 있어서의 하계가 Ω(mlog(n/m))이라는 사실로부터 우리의 알고리즘이 비교횟수와 관련해 점근적 최적 알고리즘에 해당함을 추론가능하다. worst case 복잡도 증명을 위해 모든 입력수열로 구성된 정의구역을 두개의 서로소인 집합으로 나눈다. 그런 후 서로소인 각각의 집합으로 부터 특수한 subcase를 구별한 후 이들 subcase 각각에 대해 점근적 최적성을 증명한다. 이 증명을 바탕으로 나머지 모든 경우에 대한 최적성 또한 추론 또는 증명 가능함을 소개한다. 이로써 우리는 복잡도 분석이 까다로운 알고리즘에 대해 투명한 하나의 해를 제시한다. We investigate the worst case complexity regarding the number of comparisons for a simple and stable merging algorithm. The complexity analysis shows that the algorithm performs O(mlog(n/m)) comparisons for two sequences of sizes m and n m≤n. So, according to the lower bound for merging Ω(mlog(n/m)), the algorithm is asymptotically optimal regarding the number of comparisons. For proving the worst case complexity we divide the domain of all inputs into two disjoint cases. For either of these cases we will extract a special subcase and prove the asymptotic optimality for these two subcases. Using this knowledge for special cases we will prove the optimality for all remaining cases. By using this approach we give a transparent solution for the hardly tractable problem of delivering a clean complexity analysis for the algorithm.
Service Oriented Architecture를 기반으로 한 Financial Product Factory
권택환(Taek-Hwan Kwon),쿠츠너 아네(Arne Kutzner),김복선(Pok-Son Kim) 한국지능시스템학회 2011 한국지능시스템학회 학술발표 논문집 Vol.21 No.1
Product Factory는 넓은 의미로 보면 상품 기획, 개발, 판매, 분석이 통합적으로 연계되어 전자 비즈니스를 지원하는 시스템을 의미하며, 좁은 의미로는 개발된 상품형상을 관리하고 업무시스템에 상품정보를 제공하는 상품시스템을 의미한다. 본 논문은 금융권 기업의 경쟁력 확보를 위해 Product Factory가 달성해야 하는 목표를 신속한 금융상품의 출시와 운영상의 유연성으로 보고 이를 해결하기 위한 방법으로 SOA를 제시하고자 한다.
효율적 Block Rotation 알고리즘과 복잡도 분석
김복선(Pok-Son Kim),쿠츠너 아네(Arne Kutzner) 한국지능시스템학회 2010 한국지능시스템학회 학술발표 논문집 Vol.20 No.1
u와 u를 두 인접수열 (consecutive sequence)이라고 했을 때 이때 “block rotation"이 란 uv를 vu로 바꾸는 연산을 의미한다. 기존에 3개의 block rotation 알고리즘 즉 “BlockRotation", "Juggling" 그리고 "Reversal 알고리즘"이 소개되었는데 최근 우리는 하나의 새로운 QuickRotation 이라고 명명한 block rotation 알고리즘을 소개했다. 우리는 이 논문에서 QuickRotation 알고리즘을 이들 기존의 알고리즘들과 비교해 보이고자 한다. 벤치마킹 뿐만 아니라 복잡도 분석을 통한 비교를 통해 QuickRotation 알고리즘의 우수성을 증명해 보이고자 한다.
이동하(Dong-Ha Lee),김복선(Pok-Son Kim),쿠츠너 아네(Arne Kutzner) 한국지능시스템학회 2010 한국지능시스템학회 학술발표 논문집 Vol.20 No.2
본 논문은 오늘날 연구의 중심이 되고 있는 병렬 프로그래밍을 수학적 도구이자 함수형 언어의 기반이 되는 Lambda Calculus [1]의 Reduction을 GPGPU 상에서 병렬로 Reducing 하는 모델에 적용하고자 하며 더 나아가 새롭게 개발된 모델의 성능을 알아보고자 한다.