• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.457-459
• /
• 2001

정보검색시스템은 지역적으로 분산된 이기종의 컴퓨터들 간의 데이터 교환과 다양한 종류의 DB에 대한접근을 가능하게 함으로써, 기업에게 공급망 관리에 대한 통합된 정보를 제공한다. 정보검색시스템은 X3.285에 기반한 데이터 레지스트리 모델을 이용하여 모델링되었고, 모델링이 주어진 가정 하에서 요구사항을 만족하는지를 검증하기 위해 핵심 부분인 메타데이터 레지스트리 관리기(MDR Manager) 부분 만을 SMV를 이용하여 검증하였다.

• 정보보호학회지
• /
• 제28권6호
• /
• pp.45-49
• /
• 2018

방위산업기술보호법 및 방위산업보안업무훈령에 따라 체계종합업체는 협력업체 보안관리 업무를 수행하고 있으며, 비정형 상태의 불특정한 다수의 협력업체를 효율적으로 관리하기 위한 협력업체 등급 분류 기준, 등급별 보안점검 지표 마련을 위한 방법 및 PDCA 모델 적용을 통한 지속적 발전 방향에 대하여 알아본다.

• 정보처리학회논문지D
• /
• 제15D권6호
• /
• pp.803-814
• /
• 2008

제품계열아키텍처는 제품에 따라 선택될 수 있는 가변요소를 포함하고 있는 아키텍처이다. 제품계열아키텍처부터 특정 제품을 위한 유효한 아키텍처를 유도하기 위해서는 제품계열아키텍처 내의 가변요소들을 체계적으로 관리해야 한다. 본 논문에서는 특성모델과 제품계열아키텍처 모델간의 명시적인 대응관계를 통해서 제품계열아키텍처의 가변성을 관리한다. 하지만, 이들 모델 간의 대응관계가 올바르지 않거나, 제품계열 아키텍처의 구성요소들 간에 일관성이 없다면, 제품계열아키텍처의 가변성 관리가 올바르게 이루어지지 않게 된다. 따라서 본 논문에서는 먼저, 제품계열아키텍처를 개념, 프로세스, 배치, 모듈의 네 가지 관점의 모델로 정의하고, 특성 모델과 이들 모델 사이의 대응관계를 정형적으로 정의 한다. 이를 바탕으로 제품계열아키텍처의 올바른 가변성 관리를 위해서, 제품계열아키텍처 모델의 일관성, 다른 관점의 아키텍처 모델간의 일관성, 특성모델과 제품계열아키텍처 모델간의 일관성 검사를 위한 규칙을 정의한다. 이러한 일관성 규칙은 제품계열아키텍처로부터 유효한 제품 아키텍처를 유도하기 위한 이론적 기반을 제공한다.

• 대한의용생체공학회:의공학회지
• /
• 제22권1호
• /
• pp.69-80
• /
• 2001

본 연구에서는 환자의 골다공증 유무에 따른 내고정 장치 시술 직후 및 융합 후의 안정성을 평가하기 위해 다양한 하중 모드에서 C5-C6 운동분절의 생체역학적 거동을 분석하였다. 이러한 목적으로 먼저, C5-C6 경추부의 유한요소 모델을 구현하여 검증하였다. 모델의 결과는 기존 실험치와 유사하여 신뢰성이 부여되었다. 검증된 모델은 Smith-Robinson 방식으로 골이식물을 삽입한 후 전방 내고정 장치를 적용한 시술 상황을 재현하기 위해 수정되었다. 수정된 모델은 두 종류로 구현되었다. (1) 첫 번째 모델에서는, 시술 직후의 상황을 재현하기 위해 골이식물과 종판의 경계면에 접촉요소를 사용하였다. (2)두 번째 모델에서는 완전히 융합된 상황을 나타내기 위해 골이식물을 종판에 고정하였다. 골다공증의 효과를 예측하기 위하여 두 모델의 해면골에 대한 탄성계수를 변화시켰다(정상: 100MPa, 골다공증: 40MPa). 각 모델의 C5 주체의 상위면에 73.6N의 압축 하중을 가한 후에 108Nm의 굴곡/신전, 굽힘, 비틀림 하중을 가하였으며, C6 추체의 하단면은 모든 방향에 대하여 구속하였다. 전체적인 결과에 있어서 상대적 회전운동, 미끄럼운동, 골이식물 내에서의 von Mises 응력의 경우 정상 모델에 비해 골다공증 모델에서 증가함을 보였으며, 특히 시술 직후의 모델에서 비틀림 하중이 가해진 경우, 상대적 회전운동 및 미끄럼 운동이 가장 높게 예측되었다. 이는 골다공증환자에게 전방 내고정 장치를 시술한 경우 골이식물의 파단 및 유합의 실패가 비틀림 하중에서 발생할 수 있음을 나타낸다. 해면골의 von Mises 응력은 시술 직후에 골다공증 모델의 모든 하중 모드에서, 유합 후에는 굽힘 하중 외의 모든 하중에서 ultimate strength를 초과하는 것으로 나타나 골다공증 환자에게 screw의 해리가 발생할 가능성이 높은 것으로 예측되었다. 따라서 골다공증 환자에게 과도한 운동이 발생하지 않도록 하기 위해서 시술 후 세심한 주의와 halo 같은 견고한 정형술이 필요할 것으로 사료된다.

• 정보화연구
• /
• 제11권1호
• /
• pp.63-73
• /
• 2014

웹의 발달로 텍스트 등으로 이루어진 비정형 데이터의 활용에 대한 관심이 높아지고 있다. 웹상에서 사용자들이 작성한 대부분의 비정형 데이터는 사용자의 주관이 담겨져 있어 이를 적절히 분석할 경우 사용자의 취향이나 주관적인 관점 등의 아주 유용한 정보를 얻을 수 있다. 이 논문에서는 이러한 비정형 텍스트 문서를 다양한 차원으로 분석하기 하는데 OLAP(온라인 분석 처리)의 다차원 데이터 큐브 기술을 활용한다. 다차원 데이터 큐브는 간단한 문자나 숫자 형태의 정형적인 데이터에 대해 다차원 분석하는데 널리 사용되었지만, 텍스트 문장으로 이루어진 비정형 데이터에 대해서는 활용되지 않았다. 이러한 텍스트 데이터베이스에 포함된 정보를 다차원으로 분석하기 위한 방법으로 텍스트 큐브 모델이 최근에 제안되었는데, 이 텍스트 큐브는 정보 검색에서 널리 사용하는 용어 빈도수(Term Frequency)와 역 인덱스(Inverted Index)를 측정값으로 이용하여 텍스트 데이터베이스에 대한 다차원 분석을 지원한다. 이 논문에서는 이러한 다차원 텍스트 큐브를 활용하여 실제 서비스되고 있는 호텔 정보 공유 사이트의 리뷰 데이터 분석에 활용하였다. 이를 위해 호텔 리뷰 데이터에 대한 다차원 텍스트 큐브를 생성하였으며, 이를 이용하여 다차원 키워드 검색 기능을 제공하여 사용자 중심의 의미있는 정보 검색이 가능한 시스템을 설계 및 구현하였다. 또한, 본 논문에서 제안하는 시스템에 대해 다양한 실험을 수행하였으며 이를 통해 제안된 시스템의 실효성을 검증하였다.

• 정보과학회 논문지
• /
• 제44권12호
• /
• pp.1307-1312
• /
• 2017

ICT 기술과의 융합으로 인해 산업 자동화 시스템은 복잡도와 신뢰성 요구 수준이 급격히 증가하고 있다. 최근에는 이러한 요구에 대응하기 위해 응용 개발 초기 과정에서부터 정형 기법을 활용하는 연구들이 주목받고 있다. 본 논문에서는 산업 자동화 응용을 위한 타임드 오토마타 모델 기반 네이티브 코드 자동 생성 프레임워크를 제안한다. 사례 연구로 산업용 네트워크를 사용하는 신호등 제어 시스템을 모델링하고, 탑재되는 응용의 타이밍 속성을 검증하였다. 제안하는 프레임워크의 유효성을 검증하기 위해 자동 변환된 네이티브 코드를 사용하여 EtherCAT 네트워크 기반 테스트베드의 동작을 확인한 결과, 모델 명세와 동일하게 동작하는 것을 확인하였다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.971-982
• /
• 2003

다이어그램의 일관성이란 하나의 요구사항으로부터 설계된 여러가지 UML 다이어그램이 통일된 의미로 작성되었는가를 나타내는 성질이고, 정확성은 사용자가 작서안 다이어그램이 UML 표준에 적합하게 작성이 되었는가를 나타내는 성질이다. 본 연구에서는 UML(Unified Modeling Language) 버전 1.4 표준에 의해 작성된 객체지향 다이어그램의 일관성과 정확성을 검즈아는 방법으로서 UML 표중의 모델제약언어로 사용되는 OCL(Object Constraint Language)을 이용하여 검증하는 방법을 제시한다. 검증의 초기작업으로서 구성요소와 관계로 표현된 각 다이어그램의 메타모델을 유도하고, 메타 모델을 통해 정확성 및 일관성 검증규칙을 유도한다. 유도된 검증규칙은 명확화와 자동화를 위하여 특징적으로 OCL을 사용하여 정형적으로 명세한다. 명세된 규칙은 USE 도구를 이용하여 그 유용성을 검증한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권1호
• /
• pp.1-8
• /
• 2018

소프트웨어 테스트는 시스템의 신뢰도를 판단하는 중요한 작업이지만, 많은 노력과 비용이 요구된다. 모델 기반 테스트는 시스템 요구사항을 정형적으로 표현한 모델로부터 테스트 설계를 자동화함으로써 이러한 비용을 줄이기 위한 방안으로 제안되었다. 모델의 각 경로마다 입력값을 생성하여 테스트를 수행하는데, 이 때, 적절한 입력 값을 찾기 위해 메타-휴리스틱 기법을 사용한다. 본 논문은 슬라이싱 기법과 우선순위 정책을 적용한 테스트 데이터 자동 생성 기법을 제안하며, 목적 경로와 관련이 없는 변수를 제외하여 불필요한 계산을 억제한다. 실험을 통해 기존의 기법보다 효과적으로 테스트 데이터를 생성함을 보인다.

• 대한조선학회논문집
• /
• 제31권3호
• /
• pp.19-30
• /
• 1994

제품정보의 모델링은 엔지니어링 환경에서, 특히 통합하된 생산시스템의 핵심인 CAD/CAM 시스템의 개발을 위해 매우 중요한 과제가 되어가고 있다. 모델이란 실세계의 개념과 현상에 대한 정형적인 표현의 결과이며, 모델링이란 제품의 관련한 정보를 식별하고 추상화 하여 정형화 하는 작업이다. 본 연구에서는 선박의장시스템의 대표적인 배관시스템을 모델링하였다. 배관시스템 정보의 전주기 정보를 표현하기 위한 메카니즘은 STEP(Standard for the Exchange of Product Model Date)의 개념을 기초로 하였고, 시스템의 분석, 설계 및 구현을 위한 수단으로는 객체지향기술을 이용하였다. 본 연구에서 정의된 배관시스템 모델을 향후 제품모델개념의 배관 CAD/CAM 시스템 구현의 기초가 될 것이다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권5_6호
• /
• pp.414-429
• /
• 2003

시스템 개발 시 복잡성을 감소시키고 개발 비용과 기간을 단축하기 위하여 컴포넌트 기반 개발(CBD)이 산업계에서 보편화 되고 있다. 그러나, 현재 대표적인 CBD는 한 회사나 하나의 어플리케이tus에 의존적인 컴포넌트를 개발하고 있다[1,2]. 따라서 어떤 도메인의 여러 패밀리에서 컴포넌트를 재사용하기 위한 컴포넌트 가변성이 강조 되고 있다. 하지만, 컴포넌트 가변성의 정의나 유형에 대해 구체적으로 제시된 연구가 미흡하여, 컴포넌트의 주 목적인 재사용 측면보다. 유지보수 목적의 컴포넌트가 개발되고 있다[3]. 본 논문에서는 컴포넌트의 재사용성을 높이기 위하여, 컴포넌트 특징을 반영한 컴포넌트 가변성을 정형적으로 정의한다. 또한, 기존의 컴포넌트 가변성으로 인식된 논리 가변성을 명확하게 정의하고, 추가로 3가지 가변성 유형을 제시함으로써, 컴포넌트에서 존재하는 모든 가변성 유형을 제시한다. 컴포넌트 커스터마이제이션시에 가변성의 경우의 수를 예측, 확인 할 수 있는 컴포넌트 가변성 Scope를 제시한다. 컴포넌트 개발에 있어서 이러한 기법을 적용함으로써, 여러 패밀리 멤버에서 재사용 할 수 있는 고품질의 컴포넌트 개발을 지원 할 수 있다.