• 한국음향학회:학술대회논문집
• /
• 한국음향학회 1991년도 학술발표회 논문집
• /
• pp.3-6
• /
• 1991

본 연구에서는 음성의 패턴작성법을 개선하고 음성인식율을 향상시키기 위하여 퍼지패턴매칭을 개선한 뉴럴퍼지패턴매칭에(a neural-fuzzy pattern matching)의해 특정화자 고립단어인식을 수행하였다. 이 방법에서는 신경회로망의 연상기억에 의한 사상에 의해 패턴을 작성하여 주파수변동을 흡수하고 표준패턴고 선형매칭에 의해 유사도를 측정하여 인식하므로써 시간변동의 문제를 보완하였다. 또한, 이 방법에서 사용하는 특징피라미터는 2진화 스펙트럽이며, 유사도는 논리연산에 의해 측정되기 때문에 종래의 왜곡척도를 이용한 DTW 방법에 비해 기억용량과 계산량이 매우 작다. 이 방법의 인식성능을 평가하기 위하여 남녀가 발성한 28개의 도시명을 대상으로 인식실험을 수행한 결과, 신경회로망을 이용하지 않은 퍼지패턴매칭보다 오인식을 감소시켰으며, 뉴럴-퍼지 패턴매칭에 의한 특정화자 고립단어인식의 우수성을 확인하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.472-474
• /
• 1998

병렬 객체를 이용한 소프트웨어의 개발시, 병렬성에서 기인한 경쟁 조건의 만족 여부나 교착 상태, 기아 상태 등의 오류를 모델의 검증을 통하여 개발의 초기 단계에 발겨하고 수정하는 것은 개발의 효율성을 높일 수 있다. 이러한 병력 객체모델의 검증을 위해서는 객체간의 상호 메시지 교환과 동적 행위를 기술할 수 있는 모델링 언어가 필요하며, 검증하고자 하는 속성을 기술하기 위한 방법이 요구된다. 본 연구에서는 시스템의 모델링을 위해 SPIN에서 사용되는 PROMELA를 쓰레드 기반의 객체 모델링 언어인 SPIN++로 확장하고, 속성의 기술을 위해 확장된 선형 시제 논리를 제안하였으며, 유한 상태에서는 모델 검사(model checking) 도구인 SPIN을 이용하여 검증하는 방법을 제시하고자 한다. 이러한 연구를 통하여 병렬 객체 모델의 정형적인 검증을 수행할 수 있으며, 시스템 개발의 효율성을 높이는 데 도움을 줄 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.178-181
• /
• 1998

워게임 모형을 이용하여 다양한 전장환경과 부대편제하에서 전투모의를 실시함으로써 개별 무기체계가 전투효율에 미치는 정도를 판단할 수 있다. 워게임은 부대간의 상호작용과 무기체계 효과, 전투력수준간의 비선형적인 요소들을 반영할 수 있다. 또한 모의 분석결과는 무기체계의 비용대 효과분석 및 소요 산출과 운영개념 정립 등에 활용될 수 있다. 특히, JANUS 모형은 개별 무기체계에 대한 상세한 특성자료를 반영하고 수십 미터 단위의 해상도를 갖는 수치지형자료를 사용할 뿐만 아니라, 세밀한 전투모의 논리로 구성되어 있기 때문에 지상 무기체계의 효과 분석에 매우 적합하다. 본 고에서는 JANUS 모형의 일반적인 특징과 모형 운용을 위해 필요한 입출력 자료를 소개하고 전투효율 분석 방법에 대해 설명하고자 한다.

• 한국지능시스템학회논문지
• /
• 제11권9호
• /
• pp.788-792
• /
• 2001

일반적으로 슬라이딩모드 제어는 외란이나 시스템의 변수변환에 강인한 특성을 가지나, 그 변화의 최대 경계 값을 알아야한다. 그러나, 이 값은 쉽게 얻어질 수가 없다. 퍼지 논리는 잘 정의되어 있지 않거나 복잡한 시스템의 제어기 설계에 효과적인 방법을 제시하나, 과도응답을 미리 결정할 수가 없다. 본 논문에서는 두 이론의 장점을 결합하여 새로운 제어 알고리듬을 제시한다. 최적의 퍼지변수 값을 결정하기 위하여 적응이론을 도입한다. 마지막으로 제안한 제어 알고리듬의 타당성을 살펴보기 위하여 수치적인 예를 가변길이진자시스템에 적용한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 하계학술대회 논문집 B
• /
• pp.922-924
• /
• 1995

The modeling of accurate timing in storage elements of ASIC cell library was studied. The propagation delay time of clock signal affects the critical time and this can cause malfunction in the chip designed in synchronous. In this paper, an analysis on the effect of input slope of clock signal in timing modeling were carried out. For the first time, in ASIC design, the design guides that can be used in both $0.6{\mu}M$ and $0.8{\mu}m$ design rule were offered, reducing the run time of SPICE and the time of cell library development.

• 전자공학회논문지S
• /
• 제34S권3호
• /
• pp.46-54
• /
• 1997

In this paper, we psropose the feedback linearization technique for a nonlinear system using genetic algorithms (GAs) and fuzzy logic system. The proposed control scheme approximates the nonlinear term of a nonlinear system using the fuzzy logic system and computes the control input for cancelling the nonlinear term. Then in the fuzzy logic system, the number and shape of membership function of the premise aprt will be tuned to minimize the control error boundary using GAs. And the parameters of the consequence of fuzzy rule will be tuned by the adaptive laws based on lyapunov stability theory in order to guarantee the closed loop stability of control system. The evolution of fuzzy logic system is processed during the on-line adaptive control. The effectiveness of proposed method will be demonstrated by computer simulation of simple nonlinear sytem.

• 정보보호학회논문지
• /
• 제7권2호
• /
• pp.3-10
• /
• 1997

상관면역 함수는 스트림 암호의 여과 함수, 비선형 결합 함수 뿐만 아니라 블럭 암호의 핵심 논리설계에 많이 이용된다. 본 논문에서는 새로운 방식으로 상관면역 함수를 설계하는 방법을 제시한다. 이 방법을 이용하여 상관면역 함수 개수의 하한값과 상한값을 구하였다. 이 값은 Mitchell(1990), Yang-Guo(1995)가 구한 하한값과 상한값을 크게 개선한다.

• 정보보호학회논문지
• /
• 제9권1호
• /
• pp.127-134
• /
• 1999

부울 함수는 정보 보호 기술 구현의 핵심 기본 논리로서 암호학적으로 우수한 특성을 가지는 부울 함수 설계 방법 및 부울 함수의 자체 특성에 관하여 많은 연구가 추진되고 있다 본 논문은 참고 문헌[2,5]에서 제안된 균등 함수이며 2개의 상관값만을 가지는 semi-bent 함수의 상관 무결 특성에 관한 것으로 상관값이 0인 선형 함수를 결정할 수 있으며, 상관값이 0이 아닌 경우에는 상관값이 균일한 최적의 상관 특성을 가지는 semi-bent 함수 설계 방법을 제안하고, 제안 함수의 암호학적 특성을 분석한다.

• 정보보호학회논문지
• /
• 제9권1호
• /
• pp.135-146
• /
• 1999

공개 키 암호 시스템에서의 주 연산은 멱승 연산이며 이는 모듈라 곱셈의 반복으로 이루어져 있다. 본 논문에서는 고속 모듈라 곱셈을 위해 Montgomery 알고리듬에 기반한 선형 시스토릭 어레이 곱셈기를 제안하고 이를 설계하였다. 제안 곱셈기는 각 처리기 내부 구조를 간소화할 수 있어 기존 곱셈기에 비해 하드웨어 설계에 필요한 논리 게이트를 약 14%정도 줄일 수 있을 뿐만 아니라 모듈라 곱셈 속도를 약 20%정도 감소시킬 수 있다.

• 한국산학기술학회논문지
• /
• 제18권5호
• /
• pp.86-92
• /
• 2017

고령화 인구 증가에 따른 만성질환자, 노약자 및 독거인의 일상생활에서 위험하거나 불안정한 건강 상태를 관리할 수 있는 요구가 커지고 있다. 최근 무선 통신 기술의 발달로 특정한 장소에 구애받지 않고 언제 어디서나 개인의 건강 상태를 감시할 수 있는 장치가 주목 받고 있다. 본 논문은 생체 신호로 심박수와 체온을 주기적으로 측정하고 밴드 착용자의 나이와 측정된 생체 신호를 토대로 건강관리가 필요함을 알리는 팔목형 건강관리용 밴드를 개발하는 것이 목적이다. 나이, 체온 및 심박수 사이의 정상 범위 관계는 비선형이고 측정된 생체 신호는 오차를 포함 부정확하기 때문에 생체 신호 기반의 건강관리 판정에는 부정확하고 애매한 정보의 처리가 필요하다. 본 논문은 이런 문제를 해결하기 위해 부정확하고 애매한 정보를 처리하는데 적합한 퍼지 논리 기반의 건강관리 판정 시스템을 밴드에 구현한다. 밴드에 연동해 동작하는 건강관리 앱(Apps)도 함께 개발된다. 앱은 측정 데이터를 저장, 관리하며 밴드에서 건강관리가 필요한 신호가 감지되면 앱에 사전 등록된 보호자 또는 간병인에게 해당 정보를 전송한다.