• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
• /
• pp.340-342
• /
• 2005

임베디드 소프트웨어의 적용영역이 확장됨에 따라 학계와 업계에서 임베디드 소프트웨어 개발 기술에 대한 관심이 고조되고 있다. UML 2.0은 산업체에서 많이 사용되는 모델링 언어로, 그 동안 현장에서는 주로 상태머신 다이어그램(State Machine Diagrams)을 사용하여 임베디드 소프트웨어의 동적 행위를 모델링하여 왔다. 그러나 모델러는 상태머신 다이어그램보다 시퀀스 다이어그램(Sequence Diagrams)을 선호하는데, 이는 시퀀스 다이어그램을 사용하는 것이 직관적이고 정확한 행위 모델을 개발할 수 있기 때문이다. UML 2.0이 최근 다양한 모델링 요소를 반영하도록 확장되었음에도 불구하고, 시퀀스 다이어그램을 사용하여 임베디드 소프트웨어를 모델링을 하기에는 아직 부족한 점이 있다. 이를 보완하고, 임베디드 소프트웨어를 더욱 잘 디자인하기 위하여 예외 상황과 인터럽트를 처리할 수 있는 방법을 제안한다.

• 한국조리학회지
• /
• 제21권2호
• /
• pp.11-26
• /
• 2015

본 연구에서는 커피전문점을 방문하는 고객이 인지하는 종사원의 비언어적 커뮤니케이션이 브랜드 이미지 및 고객만족도에 미치는 영향력을 고찰하였다. 실증연구를 위해 확보된 317개의 표본을 바탕으로 연구모형의 신뢰성, 적합성 등을 검토하였고, 구조방정식 모형을 사용하여 총 3개의 가설을 검증하였으며 모형의 적합도는 ${\chi}^2=434.380$(p<0.001), df=178, CMIN/DF=2.440, GFI=0.886, AGFI=0.852, NFI=0.900, CFI=0.938, RMSEA=0.068으로 조사되었다. 연구결과, 비언어적 커뮤니케이션의 하위 차원인 신체언어(${\beta}=.311$), 의사언어(${\beta}=.242$), 신체적 외형(${\beta}=.382$), 공간적 행위(${\beta}=.481$)는 브랜드 이미지에 유의한 영향을 주는 것으로 조사되었으며, 브랜드 이미지(${\beta}=.217$)는 고객만족도에 유의한 영향을 주는 것으로 나타났다. 이러한 결과를 통해 비언어적 커뮤니케이션은 브랜드 이미지에 영향을 미치며, 결과적으로 고객만족도에 긍정적인 영향을 미치는 것을 확인할 수 있었다. 한편, 비언어적 커뮤니케이션과 고객만족도와의 인과관계에서 브랜드 이미지는 부분적으로 매개역할을 하는 것으로 조사되었다.

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

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

• 한국정보처리학회논문지
• /
• 제3권3호
• /
• pp.417-428
• /
• 1996

본 논문에서는 자연언어 대화를 통한 데이타베이스 인터페이스 시스템을 설계 및 구현한다. 시스템은 크게 언어해석부, 문맥처리부, 대화처리부,및 데이타베이스 처리 로 구성된다. 언어해석에 있어 입력 발화문의 미정의어를 분류하여 처리하는 방법을 제시함으로써 데이타 베이스 인터페이스의 난점으로 지적되어 온 사전의 크기를 효과 적으로 줄일 수 있었다. 그리고 기존의 개별적인 임력 발화문에 의한 자연언어 검색 시스템과는 달리 본 시스템은 대화 처리부를 통하여 한 문장의 입력문이 아닌 연속된 대화를 통하여 데이타베이스 정보를 검색할 수 있는 인터페이스 환경을 제공한다. 라서 본 논문에서는 명제적 내용뿐 아니라 사용자의 의도가 포함된 화행을 정의하고 따문헌 검색을 위한 사용자 행위 모델을 설정하였다. 따라서 시스템은 이와 같은 지식들 을 이용하여 사용자의 계획을 인식하였으며 효율적으로 대화 이해 및관리를 수행할 수 있었다.그리고 본논문에서제안된 방법론의 검증을 위하여 문헌 데이타베이스 영역에서 시스템을 구현하였다.

• 한국아동복지학
• /
• 제26호
• /
• pp.87-111
• /
• 2008

본 연구는 중학생의 또래폭력피해 실태를 살펴보고, 우리나라에서 지금까지 진행되지 않은 또래폭력에 영향을 미치는 학교분위기의 다양한 요인을 파악하고 그 상대적인 영향력을 밝히는 것이다. 연구의 목적을 위해 서울지역에 있는 11개의 중학교를 편의표집 하여 선정된 중학생들이며 최종적으로 1,204부의 설문조사지를 분석하였다. 분석방법으로 빈도분석, 기술통계, 피어슨의 상관분석, 위계적 회귀분석을 사용하였다. 분석결과, 중학생의 또래폭력피해 행위 중 언어폭력의 피해행위가 상대적으로 높게 나타났다. 2단계로 구분하여 위계적 회귀분석을 실시하였다. 1단계 모델보다 2단계 모델에서는 설명 변량이 19.6% 증가하였다. 또래폭력 피해 행위에 교사와 학생간의 상호작용(${\beta}=.130$), 학교건물의 유지보수(${\beta}=.067$), 교내환경의 안전성(${\beta}=.331$)의 변수들과 통제변수 중 성별과 경제력이 유의미한 변수였으며 전체모델의 23.0%를 설명하고 있었다. 이와 같은 연구결과에 근거하여 학교분위기를 개선시키기 위한 실천적, 정책적 제언들을 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제26권12호
• /
• pp.1428-1444
• /
• 1999

MSC는 ITU에 의해 표준화된, 병행 시스템의 명세를 기술하기 위한 그래픽 형태와 텍스트 형태를 제공하는 언어로서 실시간 시스템 특히 통신 교환 시스템의 특성을 기술하기 위해 자주 사용된다. 통신 시스템이 제대로 동작함을 보이기 위해서는 정형적인 방법을 사용하여 시스템 행위를 검증할 필요가 있다. 통신 소프트웨어를 검증하는 방법 중 하나의 방법으로 유한 상태를 기반으로 하는 방법이 있다. 유한 상태를 기반으로 하는 방법에서는 먼저 시스템 명세에 해당하는 전체 상태 전이 그래프를 생성한 후 이를 바탕으로 model-checking 등의 방법을 사용하여 시스템의 특성을 검증한다. 본 논문에서는 MSC로 기술된 통신 소프트웨어 명세로부터 전체 상태 전이 그래프를 생성하는 방법에 초점을 맞추었다. 시스템 명세에 해당하는 상태 전이 그래프를 생성하기 위해 보다 직관적으로 MSC의 의미론을 표현할 수 있고, 또한 쉽게 전체 상태 전이 그래프를 생성할 수 있는 행위 종속 그래프를 제안하였다. MSC 명세는 일단 행위 종속 그래프로 변환이 되고 이 행위 종속 그래프를 이용하여 전체 상태 전이 그래프가 생성된다.Abstract Message Sequence Chart (MSC) standardized by International Telecommunication Union is a graphical and textual language for describing the specification of concurrent systems. It is frequently used both formally and informally for specifying the behavior of real-time systems, in particular telecommunication switching systems. To ensure that a communication system operates properly, the verification process showing the correctness of system's behavior formally is necessary. One of the verification methods is a finite-state method. In the finite-state method, the global state transition graph (GSTG) is constructed and then safety and liveness properties of systems are verified through a well-known method such as model checking. In this paper, we forcus on the construction of GSTG from the specifications of telecommunication software written in MSC. We suggest Action Dependency Graph (ADG) which can present the semantics of MSC intuitively and also provide a GSTG construction method from ADG. MSC specifications are translated to ADGs and, in turns, the GSTGs are constructed by using these ADGs.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2003년도 제15회 한글 및 한국어 정보처리 학술대회
• /
• pp.246-251
• /
• 2003

한국어의 언어적 특성에 의해 빈번하게 등장하는 명사와 기능어의 나열은 기능어나 연결 구문의 잦은 생략현상에 의해 복합 명사의 출현을 발생시킨다. 따라서, 한국어 분석에서 복합 명사의 처리 방법은 매우 중요한 문제로 인식되었으며 활발한 연구가 진행되어 왔다. 복합 명사의 의미 결정은 복합 명사구 내 단위 명사간의 의미적인 수식 관계를 고려하여 머리어의 선택과 의미를 함께 결정할 필요가 있다. 본 논문에서는 정보 검색의 색인어 추출 방법에서 사용되는 복합 명사구 내의 서술성 명사 처리를 이용하여 복합 명사의 의미 결정을 인접 명사의 의미 공기 정보가 아닌 구문관계에 따른 의미 공기 정보를 사용하여 분석하는 방법을 제시한다. 복합 명사구 내에서 구문적인 관계는 명사구 내에 서술성 명사가 등장하는 경우 보-술 관계에 의한 격 결정 문제로 전환할 수 있다. 이러한 구문 구조는 명사 의미를 결정할 수 있는 추가적인 정보로 활용할 수 있으며, 이때 구문 구조 파악을 위해 구축된 의미 제약 조건을 활용하도록 한다. 구조 분석에서 사용되는 격틀 정보는 동사와 공기하는 명사의 구문 관계를 분석하기 위해 의미 정보를 제약조건으로 하여 구축된다. 이러한 의미 격틀 정보는 단문 내 명사들의 격 결정과 격을 채우는 명사 의미를 결정할 수 있는 정보로 활용된다. 본 논문에서는 현재 개발중인 한영 기계 번역 시스템 Tellus-KE의 단문 단위 대역어 선정을 위해 구축된 의미 대역패턴인 동사구 패턴을 사용한다. 동사구 패턴에 기술된 한국어의 단문 단위 의미 격 정보를 사용하는 경우, 격결정을 위해 사용되는 의미 제약 조건이 복합 명사의 중심어 선택과 의미 결정에 재활용 될 수 있으며, 병렬말뭉치에 의해 반자동으로 구축되는 의미 대역 패턴을 사용하여 데이터 구축의 어려움을 개선하고자 한다. 및 산출 과정에 즉각적으로 활용될 수 있을 것이다. 또한, 이러한 정보들은 현재 구축중인 세종 전자사전에도 직접 반영되고 있다.teness)은 언화행위가 성공적이라는 것이다.[J. Searle] (7) 수로 쓰인 것(상수)(象數)과 시로 쓰인 것(의리)(義理)이 하나인 것은 그 나타난 것과 나타나지 않은 것들 사이에 어떠한 들도 없음을 말한다. [(성중영)(成中英)] (8) 공통의 규범의 공통성 속에 규범적인 측면이 벌써 있다. 공통성에서 개인적이 아닌 공적인 규범으로의 전이는 규범, 가치, 규칙, 과정, 제도로의 전이라고 본다. [C. Morrison] (9) 우리의 언어사용에 신비적인 요소를 부인할 수가 없다. 넓은 의미의 발화의미(utterance meaning) 속에 신비적인 요소나 애정표시도 수용된다. 의미분석은 지금 한글을 연구하고, 그 결과에 의존하여서 우리의 실제의 생활에 사용하는 $\ulcorner$한국어사전$\lrcorner$ 등을 만드는 과정에서, 어떤 의미에서 실험되었다고 말할 수가 있는 언어과학의 연구의 결과에 의존하여서 수행되는 철학적인 작업이다. 여기에서는 하나의 철학적인 연구의 시작으로 받아들여지는 이 의미분석의 문제를 반성하여 본다.반인과 다르다는 것이 밝혀졌다. 이 결과가 옳다면 한국의 심성 어휘집은 어절 문맥에 따라서 어간이나 어근 또는 활용형 그 자체로 이루어져 있을 것이다.으며, 레드 클로버 + 혼파 초지가 건물수량과 사료가치를 높이는데 효과적이었다.\ell}$ 이었으며 , yeast extract 첨가(添加)하여 배양시(培養時)는 yeast extract 농도(濃度)가 증가(增加)함에 따라 단백질(蛋白質) 함량(含量)도 증가(增加)하였다. 7. CHS-13 균주(菌株)의 RNA 함량(

• 한국언론정보학보
• /
• 제43권
• /
• pp.314-358
• /
• 2008

신문에서는 사회의 커다란 갈등이 생겼을 시 '국론분열'이라는 표현을 사용한다. 하지만 이 말은 매체 속에서 사회적으로 특정한 의미를 구성하고 있는 사회맥락적인 언어이다. 본 논문에서는 우리 사회에서 '국론 분열'이라는 표현이 함축하고 있는 의미는 무엇이며 이것이 우리 사회에서 맡고 있는 역할은 무엇인지를 살펴보았다. 특히 이 단어가 특정한 상황을 명명하고 있으며, 그중에서도 특히 사회 내의 최고 위계를 갖는 사회적 단어인 승부수 언어라는 점에서 '국론 분열'의 쓰임을 분석하였다. 연구대상으로는 세계, 중앙, 문화, 동아, 서울, 국민, 한국, 경향, 조선, 한겨레 등 총 10개의 주요 일간지를 선정하였다. 그리고 각 신문에서 나타나는 '국론 분열'이라는 단어의 텍스트적 의미를 밝히기 위해 은유와 등치된 단어들의 빈도를 살펴보았다. 그리고 사회적 맥락속에서 구성되는 의미를 알아보기 위해 각 신문에서 지칭한 '국론 분열'적 사건과 '국론분열'의 주체를 찾아 빈도를 측정하였다. 결과는 다음과 같다. 첫째 '국론 분열'은 병, 재앙, 비용의 은유로 주로 표현되고 있었으며, 이에 대한 태도나 제시하는 대처행동은 부정적이면서 수동적이었다. 둘째 '국론 분열'은 국정, 국가적 손실, 사회문제, 이념 등과 같은 단어들과 같은 위계를 가지고 있었다. 셋째 '국론 분열'적 사건과 '국론 분열'의 주체는 각 신문사마다 각기 다르게 지칭되어 신문사에 따라 승부수 언어를 다르게 의미 구성하고 있음을 알 수 있었다. 그리고 이러한 승부수 언어는 참여자들과 기존 행위자간의 권력 불균형을 만들고 일부 개인이나 집단을 배제시킨다는 점에서 수사적 힘을 갖게 된다는 논의 또한 이뤄졌다.

• 정보처리학회논문지D
• /
• 제12D권6호
• /
• pp.849-856
• /
• 2005

XML이 데이터를 주고받기 위한 수단으로 활발히 도입되면서 XML 데이터 관리를 위한 사용자 입력 폼 인터페이스의 자동생성 기술이 웹기반 응용의 구축이나 웹 서비스 클라이언트 개발에서 주목받고 있다. 본 연구에서는 DTD의 XML 구조 정의에 기반하여 XForms 언어를 이용한 사용자 인터페이스 코드를 자동 생성하는 방법을 살펴본다. 본 연구에서는 계층적이고 반복적인 XML 데이터의 특징을 고려하여 반복부에 대한 삽입 삭제를 허용하는 반복부 편집 행위 모델을 제안하고 이를 바탕으로 XForms 코드 생성 알고리즘을 기술하였다. 또한 생성된 코드는 새로운 웹 폼 표준 언어인 XForms를 목적 언어로 하여 MVC(Mudel, View, Control) 구조를 가진다. 제안된 방법을 검증하기 위하여 Orbeon 프리젠테이션 서버 플랫폼 상에서 동작하는 코드생성기 XFormsGen 시스템을 개발하였다.

• 경영정보학연구
• /
• 제23권4호
• /
• pp.45-67
• /
• 2021

온라인 C2C 중고거래에 대한 수요가 증가하고 있으나 물품을 보내지 않거나 명시한 것과 다른 물건을 보내는 방식으로 부당한 금전적 이득을 챙기려는 사기 행위자들의 수도 증가하고 있다. 본 연구는 이러한 사기를 미연에 방지하기 위한 머신 러닝 방법을 이용한 사기 탐지 모델을 구축하였다. 이를 위해 대표적 C2C 중고거래 플랫폼인 중고나라에서 145,536건의 거래 게시글을 수집하였다. 이후 이들 게시글에서 토픽 모델링 기법을 이용하여 상품 설명 내용의 주제를 추출하였으며, 상품 설명의 언어적 특성, 준언어적 특성, 상품의 특성, 게시글의 포스팅 특성, 구매자 특성, 거래 특성들을 추출하였다. 이를 XGBoost 방법에 기반한 머신 러닝 모델을 구축하여 사기 게시글을 탐지하였다. 분석 결과, 사기 게시글은 글 자체의 길이가 대체로 짧고, 제공하는 정보가 적고 상대적으로 구체적이지 않은 것으로 나타났으며 명사를 상대적으로 적게 쓰고 이미지도 사용하지 않거나 적게 사용하는 글이 대부분인 것으로 나타났다. 또한 상대적으로 숫자와 공백의 비율이 높게 나타났으며 정상 게시글의 경우 명사의 경우 상품의 정보, 동사의 경우 전달, 형용사의 경우는 행위와 관련된 단어들이 사용되었으나 사기 게시글은 뚜렷한 주제를 가지지 못하는 것으로 나타났다. 본 연구는 전화번호나 계좌번호를 사용한 기존의 방법과 달리 다양한 게시글의 특성으로 사기 여부를 탐지하는 모델을 구축했다는 점에서 학술적, 실무적 시사점을 가지고 있다.