• 감성과학
• /
• 제11권4호
• /
• pp.541-552
• /
• 2008

감정은 수량, 크기, 종류를 측정하기 어려워 언어로 표현하는데 한계가 있다. 세익스피어의 '햄릿'에서 주인공 햄릿의 경우 여러 가지 극적인 상황으로 인해 말로 표현하기 힘든 감정 상태를 가진다. 따라서 본 논문은 현재의 감정 상태를 말 대신 위치와 색으로 시각화하여 표현하는 인공감정을 제안하고, 이를 이용하여 '햄릿'에 나오는 등장인물들의 감정을 시각화했다. 제안된 인공감정은 네 단계에 걸쳐 구성된다. 첫 번째 단계에선 감정을 인과관계에 따라 분석하여 어떤 종류의 감정자극이 얼마만큼 들어왔는지 분석한다. 두 번째 단계에선, 감정의 생성과 소멸을 표현하는 단위감정그래프를 제안하고, 이를 통해 들어온 감정 자극의 생성, 유지, 소멸을 성격에 따라 표현한다. 세 번째 단계에선 단위감정그래프를 이용하여 같은 종류의 연속된 감정자극을 표현하는 감정그래프를 제안한다. 그리고 감정별로 감정그래프를 하나씩 둬서 각 감정들의 생성과 소멸을 개별적으로 관리한다. 네 번째 단계에선 서로 다른 감정 간의 상호관계에 따라 감정별 감정그래프의 현재 감정을 복합하는 감정장을 제안하고, 감정장상의 위치와 위치에 따른 색으로 현재의 감정 상태를 표현한다. 제안된 인공감정으로 감정상태의 변화를 시각화해보기 위해 '햄릿'에서 등장인물인 햄릿과 거트루드의 감정변화를 인공감정을 통해 시각화하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제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)

• 한국콘텐츠학회논문지
• /
• 제15권3호
• /
• pp.219-228
• /
• 2015

본 연구는 간호대학생의 분노표현방식, 사회적 지지 및 대학생활적응 간의 관계를 파악하고 대학생활적응에 영향을 미치는 요인을 규명하는 서술적 조사연구이다. 연구대상자는 D시와 C시에 소재한 2개 대학의 간호대학생 266명이었다. 구조화된 자가 보고식 설문지를 이용하여 자료를 수집하였으며, 자료 분석은 SPSS WIN 18.0 프로그램을 사용하여 빈도와 백분율, 평균과 표준편차, t-test, ANOVA, Pearson correlation coefficient, multiple stepwise regression analysis를 실시하였다. 연구결과, 간호대학생의 대학생활적응 수준은 중간 이상이었다. 대학생활적응은 일반적 특성 중 지원동기와 지각된 신체건강상태에 따라 유의한 차이가 있었다. 대학생활적응은 분노표현방식과 사회적 지지와 유의한 상관관계를 보였고, 대학생활적응에 영향을 미치는 요인은 분노표출, 사회적 지지, 지각된 신체건강상태, 분노조절, 분노억제이었으며 이들 변수의 대학생활적응에 대한 설명력은 27.1%이었다. 결론적으로, 적절한 분노표현과 사회적 지지 및 신체건강상태를 증진시키는 것은 간호대학생의 대학생활적응을 향상시키는데 효과적인 전략이 될 수 있다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년 학술대회 논문집 정보 및 제어부문
• /
• pp.276-278
• /
• 2006

인간의 감성은 의사결정과 의사소통에 있어서 중요한 역할을 한다. 감성의 생성과 표현은 성격에 의해 영향을 받는다. 이와 같은 감성과 성격을 반영한 로봇은 보다 자연스러운 표현과 효율적인 의사소통을 할 수 있다. 본 논문은 상태방정식과 출력 방정식으로 구성된 성격을 고려한 감성 시스템을 제안한다. 상태방정식은 외부자극으로부터 감정을 생성하고, 출력방정식은 성격과 환경을 반영하여 감정의 표현 강도를 결정한다. 감성시스템에서 성격은 입력된 자극을 통한 성격 5요인이론에 언급된 5요인의 값을 변화시킴으로써 학습된다. 또한 고전적 학습방법으로 자극을 학습하여 감정의 형성에 영향을 주는 자극의 수를 증가시킨다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2022년도 제66차 하계학술대회논문집 30권2호
• /
• pp.567-568
• /
• 2022

헤어 시뮬레이션은 수많은 가닥으로 구성되어 있으며, 헤어 동역학을 기반으로 계산되기 때문에 일반적으로 계산양이 큰 범주에 속한다. 뿐만 아니라 곱슬머리 형태를 유지하려는 제약은 더 큰 계산을 요구하며, 본 논문에서는 수분에 의해 곱슬머리가 젖었을 때 표현되는 구부러짐과 수축을 모델링 할 수 있는 새로운 알고리즘을 제시한다. 이전 연구에서는 곱슬머리에 대한 헤어 시뮬레이션은 곱슬머리의 회전(Curl)형태를 유지하려는 알고리즘을 제안했지만, 강한 외력에 의한 회전형태만을 유지하려고 했으며, 수분이나 열에 의한 곱슬머리의 상태변화는 고려하지 못했다. 따라서 본 논문에서는 IIR(Infinite impulse response) 필터로 스무딩된 헤어 커브를 따라 회전의 수직 성분을 추출하여 회전의 세로방향 신축성을 제어할 수 있는 방법을 제안한다. 우리의 헤어 모델은 곱슬머리의 회전과 신축성을 제어하기 위해 스프링 동역학을 사용하며, 젖은 헤어의 부분적인 상태 변화에도 안정적으로 표현할 수 있음을 보여준다.

• 한국감성과학회:학술대회논문집
• /
• 한국감성과학회 1997년도 한국감성과학회 연차학술대회논문집
• /
• pp.98-101
• /
• 1997

사람 사이의 가장 간단한 의사 표현인 긍정/부정을 뇌파를 통해 분별하려는 작업의 첫걸음으로 시각자극에 의해 일어난 긍정/부정 감성 상태에 대해 전두부와 후두부에서 뇌파를 측정하였다. 시간-주파수 분석을 행하고, 특정 주파수 세부 대역에서 상대출력의 시간에 따른 변화를 살펴보았다. 긍정적 감성상태에서는 느린 a 파의 증가가, 부정적 감성상태에서는 빠른 a파일의 증가가 관찰된다. 이러한 상대출력의 시간에 따른 증감을 통해 긍정/부정 감성상태의 분별 규칙을 설정하여 측정된 뇌파에 적용을 보았다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.501-503
• /
• 2000

인터넷을 기반으로 웹이 급속하게 성장함에 따라 웹 기반 어플리케이션의 품질이 점차 중요시되고 있다. 이로 인하여 웹 어플리케이션의 품질을 검증할 수 있는 수단이 필요하게 되었고 산업계에서도 연구가 활발히 이루어 지고 있는 실정이다. 하지만 대부분의 연구가 웹 사이트에 대한 부하시험들에 치중하고 있고, 기능적 측면의 시험은 제대로 지원하고 있지 못한다. 본 논문에서는 웹의 기능적 측면을 시험할 수 있는 기법을 제시하려 한다. 웹을 기반 모델로 보고, 웹의 동적 행위를 웹의 상태 전이로 정의하였다. 이러한 상태 전이를 표현하기 위한 상태 전이 그래프를 제안하였고, 이를 기반으로 기존의 상태 기반 시험 기법을 도입하여 시험사례를 생성하는 기법을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• 전자공학회논문지CI
• /
• 제48권3호
• /
• pp.76-81
• /
• 2011

침입방지시스템은 내부 시스템 보안 또는 외부 공격의 문제를 해결하기 위한 중요한 솔루션이다. 이러한 침입방지시스템을 도입 시 가장 우선적으로 고려해야 될 사항으로는 다양한 기능보다 안정성이다. 본 논문은 침입방지시스템 보안모델의 사용자 인증기능에 대한 안정성 검증을 위하여 칼라 페트리 네트를 이용하였다. CPN은 분산되어있고, 동시 발생적이며, 결정적 또는 동기화 방식의 비결정적인 시스템들에 대하여 그래픽적인 모델링 언어로 표현이 가능하다. 이런 칼라 페트리 네트는 각 처리 단계에 대하여 모든 가능한 상태와 발생 그래프로 표현된다. 침입방지시스템 보안 모델의 안정성은 칼라 페트리 네트를 이용한 모든 상태표현과 발생그래프의 분석결과가 무한반복 혹은 교착상태가 없으므로 검증되었다.

• 대한지리학회:학술대회논문집
• /
• 대한지리학회 2003년도 추계학회술표회 논문집
• /
• pp.19-23
• /
• 2003

해안 퇴적 환경의 가장 기본적인 특징은 퇴적물의 입도 특성을 통해 파악할 수 있다. 퇴적물 특성을 정량적으로 표현하는 대표적인 방법은 입자 크기에 대한 값을 이용하여 평균입도(mean size), 분급도(sorting), 왜도(skewness), 첨도(kurtosis) 등의 퇴적물 입도 조직 변수를 구하여 표현하는 것이다. 퇴적 환경에서 입도 분포는 퇴적물의 이동과 퇴적의 동적 상태를 나타내는 기본적인 정보이다. (중략)