• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 3부
• /
• pp.152-157
• /
• 2007

개인의 감성에 잘 부합하는 컨텐츠를 제공하기 위해선 개인의 취향과 컨텐츠를 이용할 때 어떤 감정을 가지고 있는지 알아야 한다. 개인의 취향을 알고 있다면 취향에 부합하는 컨텐츠를 재분류 할 수 있고 개인이 컨텐츠를 이용하려할 때의 감정 상태를 알 수 있다면 분류된 컨텐츠 중에서 감성에 부합하는 컨텐츠를 빠르게 제공할 수 있다. 본 논문은 개인의 취향을 인식하고 감정상태를 추측하여 연동된 플랫폼에 감정상태에 따른 결과를 출력하는 감성엔진을 제안 한다. 성격이 비슷한 사람은 비슷한 취향을 가지는 성향이 있으므로 취향인식을 위해 개인의 성격을 구별했고, 구별도구로 MBTI를 이용했다. 감정 추측을 위해 주변에서 일어나는 환경의 정보를 OCC 모델을 기반으로 분석하여 감정자극의 종류와 크기를 산출했다. 감정자극들을 감정그래프를 이용해 감정의 생성, 유지, 소멸을 관리하고 감정감정 상태에 맞는 결과를 출력했다.

• 한국정보처리학회논문지
• /
• 제4권7호
• /
• pp.1821-1841
• /
• 1997

본 논문은 형식 기술 기법 중의 하나인 LOTOS 명세로부터 적합성 시험 시퀀스를 자동 생성하는 방법을 기술한다. 전체적인 시스템 구현을 위해 현재까지 연구된 여러가지 알고리즘들을 응용하여 적용하였고, 또 Rural Chinese Postman tour 개념을 개선한 후 적용하였다. 통신 프로토콜에 대한 LOTOS 명세로부터 CAESAR 도구의 Petri-net을 통한 시뮬레이션 기능을 이용하여 해당상태 천이 그래프를 생성하고, 얻어진 상태 천이 그래프에 대해 적합성 시험 시퀀스를 생성하기 위해 주어진 그래프의 각 상태에 대한 유일한 시퀀스인 UE sequence(Unique Event sequence)를 정의하였다. 또한 이러한 UE 시퀀스가 존재하지 않는 상태에 대해서는 부분 UE sequence(Partial UE sequence) 및 signature를 정의하였고, 또 이러한 특성 시퀀스에 대한 경험적 연구 결과를 정리하였다. 한편, 최적의 시험 시퀀스 생성을 위해 얻어진 특성 시퀀스들을 Rural Chinese Postman tour 개념에 적용하는 방법론에 대해서도 제시하였다. 또 생성된 적합성 시험 시퀀스의 오류 판단 영역 예측 방법 및 과정과 결과에 대해서도 기술하였고, 얻어진 시험 시퀀스를 표준 시험 표준기법인 TTCN으로의 변화 방법론도 제시하였다. 마지막으로 제안된 생성방법론에 대한 프로토타입은 실제 통신 프로토콜에 적용하기 위해 실질적인 많은 부분을 고려하면서 실행시험 스우트 생성을 위해 구현되었고, 이 프로토타입은 지능망이나 PCS 또는 ATM 프로토콜을 위한 적합성 시험 목적으로 사용될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권3호
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.653-656
• /
• 2006

본 논문은 Cumulative Distribution Function(CDF) 부합에 의한 영상 개선 방법에 대해서 제안하였다. 제안한 방법은 원본 영상의 히스토그램 분포도를 조사하여 히스토그램 그래프상의 특정 색도값들을 선정, 이 점들을 보간법을 이용하여 히스토그램을 재 작성한다. 이를 이용하여 원본 CDF 그래프를 크게 벋어나지 않고, 즉 밝기 정보가 크게 훼손 되지 않은 상태로 색도 값을 재 배치 함으로써 히스토그램 평활화와 스트레칭 효과를 모두 만족하는 영상 향상의 결과를 얻을 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.189-192
• /
• 2011

클라우드 컴퓨팅에서 사용되는 웹 서비스들은 BPEL에 의해 여러 서비스들이 새로운 웹 서비스로 조합 되어지며, 서비스가 제대로 동작하는지를 검증하기 위해 Petri nets, Abstract State Machine(ASM), BPECalculus 등의 검증 방법을 사용한다. 이러한 검증 방법은 BPEL을 사용하여 새로 만들어진 웹 서비스들이 안정적으로 동작하는지를 검증하는 것으로, 웹 서비스 설계와 검증이 서로 분리되어 있다. 본 논문에서는 명세, 분석 및 검증의 전 과정에서 프로세스의 포함관계, 상태정보, Interaction, Mobility 등을 그래프로 표현하며, 한 단계의 그래프를 통하여 시스템 전체의 복잡도 및 시스템의 행위를 예측할 수 있는 Onion Visual Language(OVL)을 사용하여 BPEL로 설계 되는 클라우드 웹 서비스들을 OVL로 변환 후 이를 분석 및 검증한다. 추후 OVL은 서로 다른 클라우드 안에서의 웹 서비스 재사용을 위한 동일성 검증을 위한 방법으로 사용될 수 있다.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2007년도 학술대회 1부
• /
• pp.1045-1050
• /
• 2007

단백질 상호작용 네트워크의 데이터의 양이 증가함에 따라 이를 보다 쉽게 분석하기 위해 고속으로 시각화 방법이 요구되고 있다. 본 논문은 방대한 단백질 상호작용 네트워크에서 물리적 관계도가 높은 단백질을 중심으로 다단계에 걸쳐 스프링-포스(spring force)레이아웃 기법을 적용하여 그래프를 시각화하는 방법을 제안한다. 본 논문에 따른 단백질 상호작용 네트워크에서 시각화하는 방법은 물리적 관계도가 높은 단백질을 선정하는 단계, 선정된 단백질을 기반으로 네트워크를 합병하는 단계 및 합병된 노드들을 확장하는 단계를 거쳐 시각화하는 것을 특징으로 한다. 이에 따라, 단백질 상호작용 네트워크를 균형 상태의 그래프로 표현하고 고속으로 시각화할 수 있다는 장점이 있다.

• 전기의세계
• /
• 제28권3호
• /
• pp.27-34
• /
• 1979

회로망을 해석하는데는 i) 지로해석법, ii) 루우프해석법, iii) 메슈해석법, iv) 마디해석법, v) 컷세트해석법및 vi) 상태공간해석법 등이 사용됨은 이미 알고 있다. 다루는 회로가 비교적 간단한 구성의 선형, 시불변 회로망이고 또한 종이와 연필로 회로망해석을 수행하여야 될때에는 익혀온 이들 해석법을 관례대로 따르면 될 것이나, 다룰려는 회로망이 대형인 복잡한 구조의 것이든지 혹은 비선형소자, 시변소자 등을 포함하는 경우에는 독립회로방정식들을 체계있게 세워 나가는데에도 어려움이 있거니와, 설혹 회로방정식군을 세웠다 하드라도 이들을 풀어 나가는데에도 이젠 우리가 할 수 있는 능력한계를 느끼게 된다. 전자계산기가 스스로 독립성을 지닌 필요한 개수의 회로망방정식들을 작성하고, 또한 풀이도 요구되는 특성을 갖는 회로망을 설계하여주면, 많은 수고와 번거로움이 덜어진다. 이러한 뜻에서 전산기의 활용에 의한 회로망의 해석, 설계 (computer oriented network analysis and synthesis)이론이 바람직하다. 여기서는 이러한 전산기의 사용에 의한 회로망의 해석, 설계이론의 기초가 되는 부분을 가려서 위상 그래프이론에 따른 회로망 해석방법을 해설한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2008년도 하계종합학술대회
• /
• pp.677-678
• /
• 2008

이 연구는 프로그래밍 교과의 수행평가에서 자기주도적 학습능력 촉진을 위하여 학업성취도를 분석 및 예측하는 시스템을 목적으로 하였다. 이 연구에서 학업성취도의 평가는 루브릭을 적용하여 프로그래밍 수행평가의 채점을 논리력, 문제해결력, 창의력으로 측정하였으며 학업성취도를 분석하기 위해 학습자별 학업성취도를 측정 준거 별로 그래프로 표현하며 이동평균법을 적용하여 향후 점수를 예측하였다. 이로 인해 학습자는 평가 결과 그래프로 현재 자신의 학습상태를 파악하고 예측 결과로 자신의 학습의 준거 별 장 단점을 분석하여 학습 방향 및 학습시간에 대한 자기 성찰에 도움을 주어 자기주도적 학습능력을 촉진시킬 수 있도록 하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1986년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 17-18 Oct. 1986
• /
• pp.266-268
• /
• 1986

최근에 측정할 수 있는 상태만을 피드백하여 시스템의 극점을 의도한 영역에 배치하는 상수들의 영역을 찾아내는 방법이 제시되었고, 비행체의 제어에 적용한 결과가 발표되었다. 이 방법은 근궤적법과 극점배치법의 단점을 상호 보완하며 견실성(Robustness)에 대한 판단을 용이하게 할 뿐 아니라 컴퓨터를 사용하여 쉽게 설계에 이용될 수 있는 장점이 있다. 그러나 S 평면상에 배치되는 각각의 극점쌍의 위치를 제어 상수들의 조합으로 부터 유추해내기 어렵고, 중요하지 않은 극점이 의도하는 영역밖에 있는 경우에는 적용하는데 난점이 있었다. 본 논문에서는 이 방법을 확장하여 S 평면상에 배치되는 복소극점쌍의 위치를 제어상수 평면에서 간단하게 유추할 수 있고, 이득여유 위상여유를 동시에 고려할 수 있는 제어상수 영역 그래프법을 제시하고 노드롭(Northrop) 항공사의 시험용 비행기를 대상으로 하여 종방향운동 제어기의 설계 예를 보인다.

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

복잡하고 난해한 웹 응용을 이해하고 테스트하는 것은 사용자가 요구하는 품질을 만족시키기 위한 필수적인 과정이지만 실제로 이 과정을 제대로 수행하는 것은 쉬운 일이 아니다. 지금까지 웹 응용의 테스트를 위해 여러 가지 프레임워크가 제시되어 사용되고 있지만 이러한 프레임워크의 효율성은 어떤 접근법을 사용하느냐에 의존적인 경우가 많다. 본 논문에서는 웹 응용 상태를 표현하는 도메인 모델과 테스트 활동 그래프를 통해 객체의 활동과 의존성을 표현하여 웹 응용의 정확성을 검증하는 테스트 기법을 제안하고자 한다. 이 기법은 웹 응용을 사용자가 이해하기 쉬운 활동으로 모델링하여 테스트할 수 있도록 도와줄 수 있으므로 업무의 효율성과 편의성을 증대시킬 수 있을 것으로 기대된다.