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

현재의 코바 컴포넌트를 개발하는 방법은 대상 시스템 분석 후, IDL로 인터페이스와 시스템을 명세 한 다음 언어를 선택하여 구현을 한다. 하지만 시스템분석에서 IDL로 전환은 어려운 작업이며 아직까지 진행된 연구가 부족하다. 따라서 본 논문에서는 IDL작성 전의 시스템 분석과 검증 단계를 소프트웨어 아키텍쳐 접근 방법을 이용한 SACM(Software Architecture-based Component Modeling) 기법을 제안하였다. SACM은 정확한 IDL을 작성뿐만 아니라 구현 단계까지 청사진을 제시한다. SACM 기법을 따르는 경우 효과적으로 컴포넌트 개발이 가능하며, 코드의 재사용 측면도 효과적으로 지원해 준다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (2)
• /
• pp.355-357
• /
• 2003

본 응용에 새로운 기술이 적용되면서 그 구조가 더욱 복잡해져 사용자가 웹 응용을 사용할 때 자주 혼동을 느낀다. 따라서 사용자가 웹 응용 컨텐츠와 서비스에 효과적으로 접근할 수 있게 하기 위한 항해 설계를 위한 모델이 필요하다. 본 논문에서는 문맥 지표를 사용한 웹 응용의 항해를 UML을 사용하여 모델링하는 방법을 제안한다 본 방법은 웹 응용 구성 요소의 추상화 정도에 따라 다른 항해 모델을 지원하며 모델들 사이의 연결성을 제공하므로 웹 응용 개발에 적용이 용이하다.

• 한국컴퓨터정보학회논문지
• /
• 제10권3호
• /
• pp.119-132
• /
• 2005

헬스 케어 정보 시스템의 데이터는 병원 업무에 필요한 많은 정보들을 포함하고 있다. 이러한 정보들은 전자 분산 환경을 통하여 네트워크 상에서 분산되어 있으며 많은 의료 관계자들은 쉽게 환자들의 정보에 접근할 수가 있다. 또한 모바일 환경의 발달로 모바일 폰을 사용하는 사용자가 급격히 증가하였고 이에 따라서 환자와 의사가 자유롭게 이동하면서 의료서비스를 주고받는 모바일 헬스 케어가 나타나게 되었다. 또한 이는 원래 목적을 위해 사용되지 않을 뿐 아니라 환자 개인의 프라이버시를 침해 할 위험을 가져 올 수 있다. 본 논문에서는 모바일 헬스 케어 정보 시스템에서의 데이터 누출 및 수정 등에 의하여 환자의 생명과 직접적인 관련이 있는 정보들을 안전하게 보호하기 위하여 사용자의 접근을 제어하는 방법을 제시하고 이를 모델링함으로써 환자 개인의 정보 및 시스템 안전을 가져올 수 있는 효과적인 접근제어 방법을 제시한다.

• 대한수학교육학회지:학교수학
• /
• 제5권3호
• /
• pp.343-360
• /
• 2003

초등수학에서 중등수학으로의 이행에서 대수는 중요한 역할을 한다. 그리고 학교수학에서 어떻게 대수를 도입하는가 하는 문제는 중등수학 전반에서 그 성공여부를 결정짓는 중요한 요소가 된다. 일반적으로 학교대수는 대수 기호를 형식적으로 도입하는 전통적인 접근법을 따르고 있다. 이것은 대수를 일반화된 산술이라는 관점에서 보는 것으로, 여기서 문제는 이러한 접근법에서 학생들이 많은 어려움을 경험한다는데 있다. 따라서 이 글은 이러한 어려움을 해결하기 위한 하나의 대안으로 형식적인 대수 지도 방법을 대신하여 패턴과 일반화 측면을 강조하여 대수를 지도하는 방법에 대해 살펴보고자 한다. 이것은 대수를 도입하는 다양한 관점 곧, 문제해결과 모델링, 일반화된 산술을 비롯하여 함수를 포함하며, 동시에 대수에 내재된 패턴을 통해 대수학습에서 핵심으로 다루어지는 일반화라는 사고 양식을 이끌어내기 위한 것이다. 이를 위해 이 글은 먼저 대수와 패턴, 일반화 사이의 관계를 살펴보고, 그리고 패턴과 일반화를 강조한 대수 접근법이 대수 수업의 실제에서 어떻게 제시될 수 있는가에 대해 살펴볼 것이다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.9-9
• /
• 1992

시뮬레이션(simulation)은 실 시스템(real system)의 효과적이고 효율적인 운영을 도모하기 위하여 실 시스템의 동작을 이해하고 분석, 예측, 평가하는 과학적인 문제해결 접근방법이다. 시뮬레이션 수행단계는 실 시스템의 행위를 정확히 반영하도록 타당한 모델을 구축하는 모델링 단계와 모델에 의도하는 명령어들을 컴퓨터 프로그램으로 작성하는 구현단계로 나누어진다. 시뮬레이션 모델은 시간, 상태, 확률변수, 상호규칙 등의 여러 관점에 따라 다양하게 존재하는데, DEVS(Descrete EVent system Specification) 모델은 연속적인 시간상에서 이산적으로 발생하는 사건에 따라 시스템의 상태를 분석할 수 있고 모델링 및 시뮬레이션 방법론의 형식화를 위한 견고한 이론적 기반을 제공하고 있다. 또한, DEVS 모델은 모듈적, 계층적 특성을 제공하고 집합론에 근거한 수학적 형식구조를 제공하여 실 시스템에 대한 체계적인 분석과정을 수행하게 되어 보다 현실적인 모델링을 가능하게 한다. 그러나 타당하지 못한 DEVS 모델이 구축되면 시뮬레이션을 통한 분석결과의 신뢰성이 떨어져 아무런 효과가 없고 경제적인 손실만이 따른다. DEVS 모델에 대한 기존의 타당성 검사가 많은 시간과 노력이 요구되고, 반복적인 DEVS 모델링 과정으로 인한 전문적이고 경험적인 지식을 요구한다. 또한, 모델설계자에 의해 설정된 실험 프레임하에서 DEVS 모델의 구성요소에 속하는 상태전이함수, 시간진행함수 및 출력함수에 대하여 commutative 성질의 보전성 검사가 어렵다는 문제점을 가지고 있다. 본 연구에서는 이와 같은 문제점을 해결하기 위하여, DEVS 모델에 대한 타당성 검사를 SPN(Stochastic Petri Net) 모델로 변환하여 SPN 모델을 이용하는 간단하고 효과적인 타당성 검사 방법을 제안한다. 먼저, DEVs 모델에 대한 개념과 기존의 DEVS 모델에 대한 타당성 검사 방법을 고찰하고 그 문제점에 대하여 자세히 설명한다. DEVS 모델의 타당성 검사에 이용하는 SPN 모델에 대한 개념과 DEVS 모델과 행위적으로 동등한 SNP 모델로 변환을 위한 관점을 제조명하다. 동일한 관점에서 두 모델의 상태표현이 같도록 DEVS 모델이 SPN 모델로 표현됨을 보이는 변환이론을 제시하고 변환이론을 바탕으로 모델 변환과정을 제시한다. 모델 변환이론과 변환고정을 기본으로 타당성 검사를 위한 새로운 동질함수(homogeneous function)를 정의하고 이와 함께 SPN 모델의 특성을 이용하여 DEVS 모델에 대한 타당성 검사 방법을 새롭게 제안한다.

• 한국시뮬레이션학회논문지
• /
• 제19권3호
• /
• pp.45-54
• /
• 2010

반도체 제조공정에 내재된 복잡성은 작업일정(job scheduling) 문제를 해석적 방법으로는 풀기 어렵기 때문에 보통 시스템 파라미터의 변화에 대한 효과를 이산사건 모델링 시뮬레이션에 의존하여 왔다. 한편 장비 고장 등 예측 불가능한 사건들은 고정된 작업일정 기법을 사용할 경우 전체 공정의 효율을 악화시킨다. 따라서 이러한 불확실성에 대해 최적의 성능을 내기 위해서는 작업일정을 실시간으로 대처 변경하는 것이 필요하다. 본 논문은 반도체 제조 공정에 대해 시스템 제어관점의 접근방법을 적용하여 이 문제에 적응형 실시간 작업제어 틀을 제안하고, DEVS 모델링 시뮬레이션 환경을 기반으로 제안된 틀을 설계 구현하였다. 제안된 방법은 기존의 임기응변적인 소프트웨어적인 방법에 비추어볼 때 전체 시스템을 이해하기 쉬우면서도 또한 추가되는 작업제어 규칙도 쉽게 추가 적용할 수 있는 유연성을 장점으로 가지고 있다. 여러 가지 실험결과 제안된 적응형 실시간 작업제어 프레임워크는 고정 작업규칙 방법에 비해 훨씬 나은 결과를 보여주어 그 효용성을 입증하였다.

• Korean Chemical Engineering Research
• /
• 제53권5호
• /
• pp.545-552
• /
• 2015

복합발전 공정의 모델링 및 모사는 공정의 운전 및 설계 조건에 따른 공정변수의 변화를 정량적으로 예측하기 위한 중요한 접근방법이다. 본 연구에서는 현재 사용되는 복합발전공정의 정상상태 모사기의 단점을 보완하여, 사용자의 편의성과 개발자의 핵심기술 모델링을 가능하게 하는 공정 모델링 시스템을 개발하였다. 복합발전 공정의 주요 장치들을 분석하여 수학적 모델을 개발하였으며 이를 종합하여 모델라이브러리로 구성하였다. 또한 모사의 목적과 입수 가능한 자료에 따라 사용되는 모델의 상세도가 다르다는 점을 고려하여 주요장치에 대해 다른 상세도의 모델을 개발하였다. 복합발전 상업공정을 개발된 모델링 시스템을 사용하여 모델링과 모사를 수행하였으며 모사의 결과를 데이터자료와 비교 검증하였다. 검증의 모사결과와 자료데이터는 1% 내의 오차를 보였으며 개발된 모델링 시스템이 실제 공정에 응용될 수 있음을 보여주었다.

• 인터넷정보학회논문지
• /
• 제25권3호
• /
• pp.27-33
• /
• 2024

정보의 증가 속에서 학문 연구의 환경은 지속적으로 변화하고 있으며, 이에 따라 대량의 문서를 효과적으로 분석하는 방법의 필요성이 대두된다. 본 연구에서는 BART(Bidirectional and Auto-Regressive Transformers) 기반의 문서 요약 모델을 사용하여 텍스트를 정제하여 핵심 내용을 추출하고, 이를 LDA(Latent Dirichlet Allocation) 알고리즘을 통한 토픽 모델링의 성능 향상 방법을 제시한다. 이는 문서 요약을 통해 LDA 토픽 모델링의 성능과 효율성을 향상시키는 접근법을 제안하고 실험을 통해 검증한다. 실험 결과, 논문 데이터를 요약하는 BART 기반 모델은 Rouge-1, Rouge-2, Rouge-L 성능 평가에서 각각 0.5819, 0.4384, 0.5038의 F1-Score를 나타내어 원문의 중요 정보를 포착하고 있음을 보인다. 또한, 요약된 문서를 사용한 토픽 모델링은 Perplexity 지표를 통한 성능 비교에서 원문을 사용한 토픽 모델링의 경우보다 약 8.08% 더 높은 성능을 보인다. 이는 토픽 모델링 과정에서 데이터 처리량의 감소와 효율성 향상에 기여한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.157-159
• /
• 2001

교환기 시스템(switching system)과 같은 통신 시스템 환경에서는 매우 제한적인 시간제약하에서 명시된 이벤트들이 반드시 완료되어야 한다. 따라서, 시스템내에 유지되는 응용데이터에 대해, 매우 빠르고 균일한 접근 시간을 제공하여야 한다. 또한, 최근들어 통신 운용 환경과 교환기 소프트웨어의 복잡성의 증가로 다중테이블 죠인과 객체지향 특성과 같은 고급 기능을 포함한 보다 향상된 데이터 모델링이 요구되고 있다. 이를 위해, 본 논문에서는 1) 통신 응용 환경을 보다 쉽게 모델링하도록 다양한 설계 모델링 개념을 제공하고, 2) 죠인과 같은 연산을 위해 추가의 메모리공간이나 시간을 사용하지 않고, 객체식별자의 항해를 통해 직접 결과를 추출하는 방법에 대해 설명한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 추계학술발표대회
• /
• pp.649-651
• /
• 2008

상황인식 컴퓨팅 기술은 넓게 보면 유비쿼터스 컴퓨팅 기술의 일부분으로 볼 수 있다. 그러나 상황인식 컴퓨팅 기술의 적용측면에 대한 접근 방법이 유비쿼터스 컴퓨팅과는 다르다고 할 수 있다. 지금까지 연구된 상황인식 컴퓨팅 기술은 지정된 공간에서 상황을 발생시키는 객체를 식별하는 일과 식별된 객체가 발생하는 상황의 인식에 주된 초점을 두고 있다. 또한, 상황정보로는 객체의 위치 정보만을 주로 사용하고 있다. 그러나 본 논문에서는 객체의 얼굴표정을 상황정보로 사용하여 감성을 인식할 수 있는 상황인식 미들웨어로서 CM-FEIP의 구조를 제안한다. CM-FEIP의 가상공간 모델링은 상황 모델링과 서비스 모델링으로 구성된다. 또한, 얼굴표정의 인식기술을 기반으로 온톨로지를 구축하여 객체의 감성을 인식한다. 객체의 얼굴표정을 상황정보로 사용하고, 무표정일 경우에는 여러 가지 환경정보(온도, 습도, 날씨 등)를 이용한다. 온톨로지를 구축하기 위하여 OWL 언어를 사용하여 객체의 감성을 표현하고, 감성추론 엔진은 Jena를 사용한다.