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

본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

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

실시간 시스템은 신뢰성이 중요하므로 실시간 시스템을 설계하는데 있어서 각 태스크의 기능적인 정확성의 검증은 물론 모든 태TM크에 대한 시간적인 요구사항들을 보장해야만 한다. 본 논문에서는 이러한 조건 즉, 실시간 시스템의 정확성과 시간성 보장을 위하여 기존의 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 TSC(Timed State Chart)에 자원(resource)의 개념을 추가한 TSCR(Timed State Chart with Resource)를 제안한다. TSCR을 통하여 실시간 시스템의 다양한 요구 사항을 명세하며, 태스크들의 시간성 보장을 위한 스케줄링 가능성 분석(schedulability analysis)을 할 수 있다. 실시간 시스템의 대표적인 예로 철도 건널목 제어 시스템을 TSCR를 이용하여 명세한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 춘계학술대회
• /
• pp.147-148
• /
• 2017

빅데이터 분석은 데이터베이스에 잘 정리된 정형 데이터뿐 아니라 인터넷, 소셜 네트워크 서비스, 모바일 환경에서 생성되는 웹 문서, 이메일, 소셜 데이터 등 비정형 데이터를 효과적으로 분석하는 기술을 말한다. 메타분석은 여러 실증연구의 정량적인 결과를 통합과 분석을 통해 전체 결과를 조망할 수 있는 기회를 제공하는 통계적 통합 방법이다. 전자상거래 연구에서 혁신확산에 영향을 미치는 요인으로 상대적 이점, 적합성, 복잡성, 시험 가능성, 관찰 가능성, 편리성 그리고 커뮤니케이션 채널을 외부 요인으로 설정된 연구를 대상으로 하고자 한다. 다음으로 국내 주요 학회지에 게재된 혁신확산이론 관련연구에서 어떠한 요인들을 사용하고 있고 또한 이러한 외부요인들이 종속변수에 어느 정도의 설명력을 가지는지를 메타분석을 통해 알아보고자 한다. 이러한 연구모델을 바탕으로 학문적 실무적 의의를 논의하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.1418-1420
• /
• 2004

비정형적인 방법에 의해 설계되어진 프로토콜은 불확실성과 오류를 내포하고 있을 수 있으며, 이러한 특성은 프로토콜의 안전성에 매우 심각한 영향을 미치게 된다. 또한 구형되어진 프로토콜 명세에 만족하게 구현되어졌는지를 확인하는 것 또한 프로토콜 엔지니어링에서 매우 중요한 부분이다. 즉, 프로토콜 명세의 정형검정과 적합성 시험은 프로토콜 개발 과정에서 매우 중요한 부분이다. 본 논문에서는 유한상태 레이블 천이시스템(LTS Labeled Transition System)으로 명세화된 철도 신호제어용 프로토콜 Type 1 모델에 대한 적합성 시험을 위하여 프로토콜 제어흐름을 IOFSM으로 모델링하였으며, 이 명세로부터 UIO 방법에 의한 적합성 시험계열 생성방법을 제시하였다. 또한, 프로토콜 검정 및 적합성 시험 방법을 실제 프로토콜의 정확성을 분석하는 데 사용할 수 있도록 프로토콜 검정기와 시험기를Windows 환경하에서 GUI기능에 의해 Window상에 구현되도록 하여 프로토콜 명세의 정확성을 평가할 수 있게 하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
• /
• pp.433-436
• /
• 2006

하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 많은 부분이 조합회로로 설계된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 효율적인 조합회로의 기능 검사를 위한 정형적 방법을 제시하고자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.10-15
• /
• 2000

개별화 웹 마케팅은 본질적으로 고객지향의 패러다임이다. 즉, 개별 고객의 특수한 니즈를 개별적으로 파악해서 각각의 고객에게 차별화된 서비스를 제공하는 것이 그 핵심이다. 웹 서버의 로그파일에 데이터마이닝의 연관규칙 기술을 이용하게 되면 고객행동 패턴의 파악 및 예측을 위한 기법으로 활용할 수 있다. 본 연구에서는 웹 사용자의 교차 판매를 위한 원투원 마케팅에 필요한 접근패턴을 분석하고자 하며, 이는 웹서버 로그파일 분석을 통하여 이루어진다. 분석하고자 하는 웹서버 로그파일은 기존의 데이터웨어하우스의 원천 데이터들과는 다르게 비정형적인 데이터 구조를 가지고있다. 이들 비정형 데이터 처리와 교차판매 지원을 위한 데이터마이닝 모델링, 이를 통한 원투원 마케팅 모델 제시, 그리고 이의 활용이 고객관계관리(CRM)에 미치는 효과를 제시한다.

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

위기대응 매뉴얼은 지진, 태풍 등 상황에 적절하게 적용되며 신뢰성 있게 작동한다는 것이 보장되어야 한다. 따라서 위기대응 매뉴얼의 검증은 필수적이며, 이를 위해 본 논문에서는 정형기법 도구인 Statemate를 이용한 명세, 검증 및 신뢰성 개선방안을 제시한다. 모델체킹을 통해서 매뉴얼 사용자들의 임의적인 판단을 일의킬 수 있는 Non-Determinism과 대응 매뉴얼이 달성하고자 하는 목표의 도달여부에 대해 검증을 수행할 수 있으며, 이외에도 사용자가 원하는 검증 속성을 Temporal Logic으로 작성해서 검증할 수 있다. 또한 도구에서 지원하는 시뮬레이션을 통해 제한적이지만 조치내용의 적절성 여부와 추가적으로 발생 가능한 트리거를 찾음으로써 위기대응 매뉴얼의 신뢰성을 향상시킬 수 있다.

• 한국정밀공학회지
• /
• 제14권8호
• /
• pp.92-100
• /
• 1997

An upper-bound elemental technique (UBET) analysis is carried out to improve the material flow and to reduce the load of bearing-race forming process. The UBET analysis, which adapts the advantages of stream function and finite element method, is useful for predicting the profile of complex geometric bound- ary. From the UBET analysis, the forming load, the velocity distribution and the stream line of the deformed billet are determined by minimizing the total power consumption with respect to chosen parameters. The results of present UBET analysis are better than those of previous UBET analysis. Experiments have been carried out with model material plasticine billets at room temperature. The theoretical predictions for forming load and flow pattern(stream line) are in good agreement with the experimental results.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2022년도 추계학술대회
• /
• pp.69-71
• /
• 2022

오늘날 AI의 발전으로 인하여 AI 시장은 매우 커지고 있다. 그중 가장 많이 발전된 AI는 이미지 탐지이다. 그리하여 YOLOv5을 이용하는 많은 객체 탐지 모델이 존재한다. 하지만 AI의 대부분의 객체 탐지는 정형화된 객체 탐지에 중점이 잡혀 있으며 비정형 객체에 대한 연구는 상대적으로 적은 편이다. 따라서 본 논문에서는 YOLOv5을 이용한 화재 감시 시스템을 설계하여 비정형 화재 데이터를 탐지 및 분석하여 화재 탐지시스템을 설계하고 구현하였다.

• 한국지진공학회논문집
• /
• 제7권6호
• /
• pp.81-91
• /
• 2003

최근 우리나라의 대도시에서는 주거와 상업기능을 동시에 갖는 복합용도의 건축물이 많이 건설되고 있는데, 이러한 건물은 대부분 하부골조에서 연층, 약층 또는 비틀림 비정형을 띠게 된다. 본 논문의 목적은 이러한 건물의 지진응답을 실험을 통해 관찰하는 것으로서 1:12 축소모델의 진동대 실험을 통해 다음과 같은 결론에 이르렀다. 1) 구조물의 불확실성으로 인한 우발비틀림을 예측하는 것은 정적해석에 의한 방법보다 동적해석에 의한 방법이 더 타당하였다. 2) 횡운동과 비틀림운동이 연관되어 있을 때, 전도모멘트는 지진방향 뿐만 아니라 지진방향에 수직인 방향으로도 상당부분 작용하였으며, 일반적인 해석프로그램에서 수행하는 모드해석법으로는 이와 같은 거동을 예측하기에 부적절하였다. 3) 모드형상과 BST 다이아그램을 통해 대상구조물과 같은 건물의 주요 진동모드와 파괴양상을 쉽게 예측할 수 있었다.