• Title/Summary/Keyword: 부분 가능도 함수

Search Result 185, Processing Time 0.027 seconds

Approximation-Based Decentralized Adaptive Output-Feedback Control for Nonlinear Interconnected Time-Delay Systems (비선형 상호 연결된 시간 지연 시스템을 위한 함수 예측 기법에 기반한 분산 적응 출력 궤환 제어)

  • Yoo, Sung-Jin
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.22 no.2
    • /
    • pp.174-180
    • /
    • 2012
  • This paper proposes a decentralized adaptive output-feedback controller design for nonlinear interconnected systems with unknown time delays. The interaction terms with unknown delays are related to all states of subsystems. The time-delayed functions are compensated by using appropriate Lyapunov-Krasovskii functionals and function approximation technique. The observer dynamic surface design technique is employed to design the proposed memoryless local controller for each subsystem. In addition, we prove that all signals in the closed-loop system are semiglobally uniformly bounded and control errors converge to an adjustable neighborhood of the origin.

JAVA Based a Software Development Environment for Embedded Linux Systems (자바 기반의 임베디드 리눅스 소프트웨어 개발 환경 구축)

  • Lee, Jin-Kwan;No, Si-Yong;Park, Deok-Gyu;Park, Sang-Jun;Lee, Jong-Chan;Park, Ki-Hong
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2009.01a
    • /
    • pp.263-266
    • /
    • 2009
  • 임베디드 시스템을 지원하는 JAVA API를 개발하면 임베디드 시스템을 개발자가 JAVA를 사용함으로서 코드의 재사용, 객체지향 개념의 시스템 개발들을 가능하게 한다. JAVA API를 구현하는데 있어 시스템에 의존적인 부분들이 존재하게 되는데, 이는 native 함수에서 구현한다. 본 논문에서는 리눅스 기반의 임베디드 시스템 디바이스를 제어하기 위한 JAVA API를 구현하는데 있어 플랫폼 독립적인 자바 부분과 의존적인 native 부분으로 나눠 설계 및 구현하였고, 임베디드 시스템 디바이스의 JAVA API를 통한 제어에 초점을 두었다.

  • PDF

Design of the Kernel Hardening Function for Stability the Linux Operating System (리눅스 운영체제 안정화를 위한 커널 하드닝 기능 설계)

  • Jang Seung-Ju
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.9 no.6
    • /
    • pp.1333-1340
    • /
    • 2005
  • This paper is based on the study to reduce a system panic state. A panic state could be caused by a programmer or an administrator's careless mistake. The proposed hardening Operating System of this paper stops the process which is running in the kernel with an error. The error process for the value type and the address type of a certain variable have to be restored. Installed with kernel hardening, Operating System checks the recovery possibility of the process first and then restores the process which can be recovered. When it is possible to recover the kernel code with an error, it is to be recovered in ASSERT() function.

Dominant Point Detection Algorithm on Digital Contours with Constrained Number of Points (특징점의 수를 제약조건으로 하는 선도형의 특징점 검출 기법)

  • Seo, Won-Chan
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.9
    • /
    • pp.2412-2420
    • /
    • 1997
  • An algorithm for detecting dominant points on a digital contour is proposed. The algorithm detects the dominant points from the given contour with the given number of points as a constraint condition. on the basis of the principle of the top-down approach. The dominant points are detected by minimizing the object function that presents the similarity between the given contour and the approximated polygon drawn by connecting the dominant points of candicate. The penalty multiplier method is applied to minimize the augmented Lagrangean function which is made by adding the penalty of the constraint condition to the object function. On the minimization, a local searching method by the partial problem division is considered, and it is clarified that the reasonable solution is obtained by the method. The proposed algorithm has a merit that the dominant points can be detected exactly and stably even for the digital contour composed of multiple-scale features and the similar contours, because it detects them on considering the property of a whole figure of the given contour. It is confirmed that the proposed algorithm is more excellent than other previously proposed algorithms by the comparison and the evaluation through the experiment on suing typical digital curves.

  • PDF

A Study on the Hardware Implementation of Competitive Learning Neural Network with Constant Adaptaion Gain and Binary Reinforcement Function (일정 적응이득과 이진 강화함수를 가진 경쟁학습 신경회로망의 디지탈 칩 개발과 응용에 관한 연구)

  • 조성원;석진욱;홍성룡
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.7 no.5
    • /
    • pp.34-45
    • /
    • 1997
  • In this paper, we present hardware implemcntation of self-organizing feature map (SOFM) neural networkwith constant adaptation gain and binary reinforcement function on FPGA. Whereas a tnme-varyingadaptation gain is used in the conventional SOFM, the proposed SOFM has a time-invariant adaptationgain and adds a binary reinforcement function in order to compensate for the lowered abilityof SOFM due to the constant adaptation gain. Since the proposed algorithm has no multiplication operation.it is much easier to implement than the original SOFM. Since a unit neuron is composed of 1adde $r_tracter and 2 adders, its structure is simple, and thus the number of neurons fabricated onFPGA is expected to he large. In addition, a few control signal: ;:rp sufficient for controlling !he neurons.Experimental results show that each componeni ot thi inipiemented neural network operates correctlyand the whole system also works well.stem also works well.

  • PDF

Test Case Generation for Black-Box Testing based on Function Abstraction (블랙박스 테스팅을 위한 함수 추상화 기반의 테스트 케이스 생성기법)

  • Ryu, Hodong;Lee, Woo Jin
    • Annual Conference of KIPS
    • /
    • 2013.11a
    • /
    • pp.1019-1021
    • /
    • 2013
  • 오늘날 소프트웨어의 복잡화에 따라 그 테스트 방법 또한 다양화 되고 있다. 입력의 따른 결과 값을 비교하여 대상의 내부 구조에 대한 깊은 이해 없이 가능한 블랙박스 테스팅은 오늘날의 복잡한 소프트웨어의 테스팅에 있어 매우 적합한 방법이다. 하지만 이러한 테스트를 위한 테스트 케이스 생성을 위해서는 요구 명세와 더불어 이에 대한 깊은 이해를 필요로 한다. 이러한 문제를 해결하기 최근에는 UML과 같은 정형화된 명세 기반의 테스트 케이스 생성기법이 연구되고 있지만, 모델 기반의 개발 방법이 사용되지 않는 부분에서는 매번 이루어지는 코드 변경에 따라 모델을 다시 수정하는 번거로움이 필요하다. 이에 본 논문에서는 함수 레벨의 블랙박스 테스트를 위하여 코드를 이용하여 테스트 케이스를 생성하는 방법을 제안한다. 이를 위해 먼저 대상 함수를 추상화한 후 함수의 각 인자들을 이용하여 각 조건문 상의 인자의 쓰임을 분석하여 각 조건의 기준 값을 추출하고 이로부터 테스트 케이스를 추출하는 방법을 제안한다. 이러한 방법은 이미 구현되어 있는 코드를 사용함으로써 새로운 요구 명세에 대한 이해의 필요성을 줄이고 더불어 코드 기반의 테스트 케이스의 자동 생성연구의 초석이 된다.

Evaluation of Characteristics of Simulated Extreme Rainfall Obtained from NSRP model under Different Object Functions (목적함수에 따른 다지점 NSRP 모형의 극치강우 재현능력 평가)

  • Cho, Hemie;Yu, Jae-Ung;Moon, Jangwon;Kwon, Hyun-Han
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2021.06a
    • /
    • pp.363-363
    • /
    • 2021
  • 수자원설계 및 계획 시 제한된 강우자료로 인해 나타나는 한계를 개선하기 위한 목적으로 추계학적 강수모의 모형을 활용한다. 대표적인 추계학적 강수모형으로 Bartlett-Lewis Rectangular Pulse Modified Model(BLPRM)과 Neyman-Scott Rectangular Pulse Model(NSRPM) 등이 활용되고 있으며, 관측강수량의 통계적 모멘트를 재현할 수 있도록 모형 매개변수를 최적화하는 과정이 필수적으로 요구된다. 기본적으로 모형 매개변수들의 조합을 통해 추정되는 통계적 모멘트와 관측값의 통계적 모멘트를 반복적으로 비교하면서 최적 매개변수를 추정하게 된다. 그러나 상대적으로 적은 관측값을 이용하여 매개변수를 추정하기 때문에, 매개변수 추정이 어려울 뿐만 아니라 매개변수의 불확실성도 큰 특징을 가지고 있다. 모형 매개변수 추정과정에서 다양한 목적함수가 활용되고 있으나, 고려되는 통계적 모멘트가 평균 및 분산 등 2차 모멘트에 제한되고 있어 극치강수량에 대한 재현성은 상대적으로 부족한 부분이 있다. 본 연구에서는 3차 모멘트를 포함한 목적함수를 활용하여 NSRP모형 매개변수를 추정하고, 기존 2차 모멘트를 이용한 매개변수 접근방법과 극치강수량 재현 측면에서 비교를 수행하였다. 최종적으로 유역 단위에서 극치강수량 재현효과를 평가하기 위해서는 면적강수량 추정이 매우 중요하며, 본 연구에서는 이러한 점을 감안하여 강우 지점 간의 상관성을 유지하면서 강우모의가 가능한 다지점 NSRP 모형과 연계하여 극치강우 재현 가능성을 평가하였다.

  • PDF

Investigation to Teach Graphical Representations and Their Interpretations of Functions to Fifth Graders (함수의 그래프 표현 및 그래프 해석 지도 가능성 탐색 - 초등학교 5학년을 중심으로 -)

  • Lee, Hwa-Young;Ryu, Hyun-Ah;Chang, Kyung-Yoon
    • School Mathematics
    • /
    • v.11 no.1
    • /
    • pp.131-145
    • /
    • 2009
  • This research was designed to investigate the possibility to teach function concept and graph representation of functions in explicit manner toward at elementary level. Eight class-hours instruction was given to four Grade 5(age 11) students, and dynamic geometry software GSP was partially used in the class. Results indicate that the students could conceptualize the function relation, interpret linear function graphs, recognize the meaning of their slopes, and discuss the relationships among linear graphs and real life situation. Results also indicate that GSP helped students to recognize the relation between dots and the linear graph clearly and that GSP-line graph did decisive role for children to understand the meaning of graph representation of function.

  • PDF

Implementation of the Multi-Channel Speech Recognition System for the Telephone Speech (전화음성인식을 위한 멀티채널 음성인식 시스템 구현)

  • Yi Siong-Hun;Suh Youngjoo;Kang Dong-Gyu
    • Proceedings of the Acoustical Society of Korea Conference
    • /
    • autumn
    • /
    • pp.179-182
    • /
    • 2000
  • 본 논문은 전화음성 서비스 시스템의 핵심 기술인 멀티채널 음성인식 시스템의 구현에 대해서 기술하고자 한다. 구현한 시스템은 전화망 인터페이스 모듈, 음성입력 모듈, 음성인식 모듈, 및 서비스 제어모듈로 구성되어 있다. 전화망 인터페이스 모듈은 전화망을 이용한 교환기와의 호 처리 및 이벤트 처리를 담당하며, 전화망 접속카드와 밀접한 관계를 가지고 있다. 음성입력 및 인식 모들은 호 접속이 이루어진 채널로부터 음성을 입력받아 단어인식 기능을 수행하는 부분으로서 멀티 채널을 수용할 수 있는 구조로 설계되어 있다. 음성인식 모델은 문맥 종속형 CHMM 모델이며, 각각의 HMM 모델은 3-state, skip path 로 구성되어 있다. 음성인식 모듈내의 함수들은 모두 re-entrant 하도록 구성함으로써 멀티 채별이 가능하며, 각각의 채널은 모두 독립적인 메모리 공간에서 동작하도록 되어있다. 이와 같은 멀티채널 전화음성인식 시스템은 Dialogic보드를 이용하여 Windows NT에서 동작하도록 구현하였다. 실험결과, 구현된 시스템은 실시간으로 상용서비스가 가능한 인식율을 보였으며 원활한 멀티채널 지원이 가능하였다.

  • PDF

Design of education program for mathematical-gifted student and Teaching-learning strategy - Focusing on functions - (수학영재교육 프로그램의 설계 및 교수-학습전략 -함수중심으로-)

  • Lee Joong-Kwoen;Lee Jea-Hyun
    • Communications of Mathematical Education
    • /
    • v.20 no.1 s.25
    • /
    • pp.61-73
    • /
    • 2006
  • Studying functions is the fundamental that makes people understand complicate social events by using mathematical symbol system. But there are not enough program design and Teaching-learning strategy for mathematical-gifted student. So this research aim to design education program and teaching-learning strategy in functions area for mathematical-gifted student. 1 use real life-related problems to make students develop their problem-solving skill. And in this research I encourage students to study functions by grouping, discussion and presentation for self-directed teaming.

  • PDF