• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.

• 한국항행학회논문지
• /
• 제21권6호
• /
• pp.521-528
• /
• 2017

다수의 UAV가 다양한 임무를 수행하면서도 편대를 유지할 수 있도록 하는 집단적 지능을 갖춘 시스템을 구축하기 위해서는 AI에 관한 연구가 필수적이다. AI의 전형적인 접근 방법에는 전문가시스템을 비롯한 규칙기반의 논리 추론방식인 '하향식' 접근 방법과 인공신경회로망, Flocking Algorithm과 같이 단순 개체간의 부분적 상호작용을 통해 전체적인 행동이 결정되는 '상향식' 접근 방법이 있다. 기존의 Flocking Algorithm과 같은 연구에서는 개개인은 개별적인 임무를 수행 할 수 없다. 또한 UAV의 편대비행과 같은 연구에서는 편대의 부분적인 결함으로 발생하는 문제에 대해 유연하게 대처 할 수 없다. 본 논문에서는 다중에이전트 시스템을 통해 하향식 접근 방법과 상향식 접근 방법 간의 유기적 통합을 제시하고, 이를 통해, 유연한 임무수행이 가능한 편대 비행 알고리즘을 제시하였으며, 시뮬레이션을 통해 대형형성 및 충돌회피 등 유효성을 확인하였다.

• 지능정보연구
• /
• 제17권4호
• /
• pp.109-130
• /
• 2011

연속발생 데이터는 데이터의 원천으로부터 데이터 저장소로 연속적으로 축적이 되는 데이터를 말한다. 이렇게 축적된 데이터의 크기는 시간이 지남에 따라 점점 커진다. 또한 이러한 대용량 데이터에서 정보를 추출하기 위해서는 저장공간, 시간, 그리고 많은 자원이 필요하다. 이러한 연속발생 데이터의 특성은 시간이 지남에 따라 축적된 대용량 데이터의 이용을 어렵고 고비용이 되게 한다. 만약 정보나 패턴을 추출할 때 누적된 전체 발생 데이터 중에서 최근의 일부만 사용 한다면 적은 일부 표본의 사용의 문제로 인하여 전체 데이터 사용에서 발견될 수 있는 유용한 정보의 유실이 있을 수 있다. 이러한 문제점을 해결하기 위해서 본 연구는 연속발생 데이터를 발생 시점에서 계속 모으기 보다 이러한 발생되는 데이터에서 규칙을 추출하여 효율적으로 지식을 관리하고자 한다. 이 방법은 기존의 방법에 비하여 적은 양의 데이터 저장공간을 필요로 한다. 또한 이렇게 축적된 규칙집합은 미래에 예측을 위해서 언제든 실시간 예측을 할 수 있게 준비가 된다. 여러 예측 모델을 결합시키는 방법인 앙상블 이론에 의하면 본 연구가 제시하는 데로 체계적으로 규칙집합을 시간에 따라 융합시킬 경우 더 나은 예측 성과가 가능하다. 본 연구는 주식시장의 변동성을 예측하기 위하여 주식시장 데이터를 사용하였다. 본 연구는 이 데이터를 이용해 본 연구가 제시하는 방법과 기존의 방법의 예측 정확도를 비교 하였다.

• 한국공간정보시스템학회 논문지
• /
• 제7권1호
• /
• pp.39-52
• /
• 2005

XML을 기반으로 지리 정보의 저장 및 전송을 위한 인코딩 표준으로 제안된 GML은 점차 그 활용도가 증가하고 있다. 이에 웹 환경에서 지리 정보의 상호 운용성을 제공하기 위해 다양한 모델링, 저장 및 질의에 관한 연구가 수행되어 왔으며, 특히 구조적인 특성을 갖는 GML 문서를 효율적으로 저장하는 연구는 필수적이다. 따라서, 본 논문에서는 GML 스키마를 기반으로 작성된 GML 문서를 공간 데이터베이스로 저장하기 위한 GML 문서 변환 기법을 제안한다. 제안 기법에서는 GML 스키마를 방향성을 갖는 그래프 구조로 변환하고 이를 기반으로 공간 스키마로의 매핑에 대해 기술한다. 그리고 GML 문서를 공간 데이터베이스로 변환할 때 발생하는 의미적 손실을 보상하기 위해 GML 스키마에 존재하는 제약 조건을 변환된 공간 스키마에서 유지하기 위한 규칙을 제안한다. 또한 제안 기법은 공간 데이터베이스를 GML 문서의 저장소로 활용할 수 있도록 함으로써 이질적인 지리 정보의 상호 운용성 제공뿐 아니라 대량의 GML 문서에 대해 효과적인 저장과 관리가 가능하게 한다.

• 한국정보통신학회논문지
• /
• 제23권2호
• /
• pp.111-116
• /
• 2019

웹에서, 모바일, 스마트에서 시작하여 사물인터넷, 빅데이터, 인공지능과 같은 형태의 새로운 기술들은 이전에 존재하지 않았던 새로운 비즈니스 모델을 가능하게 하고 있고, 이와 같은 비즈니스 모델에 기반한 다양한 형태의 인터넷 기업들이 출현하고 있다. 본 연구에서는 이와 같은 인터넷 기업들의 성공과 실패에 비즈니스 모델의 어떠한 요소가 영향을 미쳐왔는지를 중다사례 연구로 분석하고자 한다. 이를 위하여 비즈니스 모델에 대한 최근 연구들을 고찰하고, 인터넷 기업의 성공에 영향을 미치는 변수를 네트워크 효과 발생, 사용자 인터페이스, 제공 이해관계자와의 협력, 사용자에 대한 가치창출, 수익모델의 확보의 다섯 가지로 도출하고자 한다. 도출한 다섯 가지 변수를 사용하여, 상업화가 활발한 일곱 가지 카테고리에서 성공하고 실패한 인터넷 기업 14개를 선정하여 사례분석을 실시하고자 한다. 분석결과에 대하여 ID3 알고리즘에 기반을 둔 귀납적 추론을 적용하여 의사결정 나무를 도출하고, 도출한 의사결정 나무를 기반으로 성공과 실패에 영향을 미치는 규칙을 도출하고자 한다. 이와 같이 도출된 규칙을 가지고, 인터넷 기업들이 성공하기 위하여 필요한 전략적 방향을 이해관계자에게 제시하고자 한다.

• 한국통신학회논문지
• /
• 제19권9호
• /
• pp.1759-1771
• /
• 1994

잡음이 섞인 흐려진 영상을 복원하기 위해 정칙화 구속조건을 사용한 steepest-descent 영상복원방법을 제시하였다. Beimond 등에 의해 제시되어진 기존의 정착화방법의 경우 복원과정에서 발생가능한 잡음의 증폭과 악조건이나 특이점등에 의해 발생하는 오차를 억제하기 위해 사용하는 정칙화변수의 값을 실험적으로 설정하여 영상의 복원에 적용함으로써 잡음의 증폭과 파문현상 등을 초래하는 등 복원효과가 줄어드는 단점을 나타낸다. 본 방법은 복원영상의 각화소값으로부터 적응적으로 구속조건의 값을 구하여 훼손된 영상의 복원에 적용함으로써 잡음의 증폭을 억제하고 파문현상을 줄일 수 있는 장점을 갖는다. 또 복원결과가 원래의 해와 근사하거나 발산할 경우 자동적으로 반목을 멈추는 종료규칙을 제시하였다. 실험결과를 통하여 'Lena' 영상과 'Jaguar' 영상을 원영상으로 사용하였을 경우 제시된 방법은 평편한 영역에서의 잡음의 증폭이 억제되었을뿐 아니라 파문현상도 줄어들었는데, 이것은 우리의 사각이 갖는 평면에서의 잡음의 가시도에 의해 시각적인 효과가 개선되었음을 알 수 있고, 영상의 전반적인 평균자승오차도 Biemond 등에 의한 방법을 각각 216과 467인데 비하여 본 논문에서 제시된 방법의 경우 각각 196과 453으로서 더욱 낮은 평균자승오차를 얻을 수 있었다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.703-714
• /
• 1998

기존의 점자 부호 체계에서 한글문장을 점자문장으로 번역하는 작업은 1 : 1의 대응관계가 있으므로 아무런 문제를 야기시키지 않는다. 그러나 점자문장을 한글문장으로 번역하는 작업은 점자부호와 한글부호간의 1 : N의 대응관계로 인하여 피할 수 없는 오류를 파생시킨다. 분석 결과, 점자 부호 체계에서는 한글 초성과 숫자와의 충돌, 한글 종성과 문장부호와의 충돌, 한글 소괄호 열기와 소괄호 닫기 부호를 동일한 부호로 처리하는 것, 영문 열기 및 닫기 부호와 한글 종성과의 충돌 등이 번역 오류의 중요한 원인임을 알 수 있다. 본 논문에서는 이러한 충돌을 해소하기 위한 역점역 규칙을 제정하여, 일차적으로 역점역시에 발생하는 애매성을 앞, 뒤 문맥에 따라 해결할 수 있는 경우에는 원래의 점자 부호를 사용하도록 하고, 만일 이 방법으로 해결되지 않을 경우에는 역점역시에 충돌을 근본적으로 방지하는 확장 점자 부호를 사용하도록 하였다. 여러 가지 파일에 대한 실험 결과, 기존의 점자 부호체계에서의 오류발생율이 평균 25%이었음에 비하여 확장된 점자 부호체계에서는 번역에 따른 오류가 발견되지 않았다.

• 한국정보통신학회논문지
• /
• 제11권11호
• /
• pp.2047-2058
• /
• 2007

기업의 업무 환경이 지리적, 공간적으로 분산된 환경에서는 데이터 통합 시 발생되는 데이터 소스들을 표준 규칙과 메타데이터에 여과시켜서 중복성을 제거하고 데이터의 통합과 단일 뷰어를 제공하기에는 어려움이 따른다. 특히 이질적인 시스템이나 다양한 어플리케이션에서 나오는 대량의 데이터를 종류와 형식에 관계없이 호환이 가능하고, 지속적으로 정확한 통합 정보를 실시간으로 동기화할 수 있는 것이 관건이다. 따라서, 본 논문에서는 레거시 시스템간의 데이터 공유 및 교환에서 발생하는 의미적 상호 운용성의 문제점을 극복하는 SQL/XMDR 메시지 기반의 데이터 허브 시스템을 제안한다. 이 시스템은 데이터 협업 시 실시간으로 변화는 데이터를 일관성 있게 유지하기 위해서 질의 변환 방법인 메시지 사상 기법을 제시하여 이용한다. 이는 레거시 시스템들 간의 협업에 필요한 데이터를 공유 및 교환 하는데 실시간으로 변화하는 데이터를 일관성 있게 유지 할 수 있으며, 통합 검색 시 단일 인터페이스를 제공하여 각 시스템의 독립성을 유지하면서 데이터의 투명성과 가용성을 향상 시킬 수 있다.

• 경영정보학연구
• /
• 제15권2호
• /
• pp.1-19
• /
• 2013

아이폰3로 촉발된 스마트 혁명은 시간과 장소에 구애 받지 않고 똑똑하게 일하는 스마트워킹 시대를 열어가고 있다. 기업은 스마트워킹을 통해 정보를 실시간 처리하고, 신속한 의사결정과 적시 대응을 함으로써 기업의 생산성과 성과를 향상시킬 수 있다. 그러나 스마트워킹은 이러한 기회 이면에 취약한 보안문제를 지니고 있다. 스마트워킹 이전에는 단지 기업 내에서만 정보를 볼 수 있었다. 그러나 스마트워킹이 가능해지면서 유출, 해킹 등을 통해 정보가 종전보다 쉽게 기업 외부로 노출될 수 있게 되었다. 따라서 모바일 보안은 기업 비밀을 중시하는 사기업은 물론 사회 기반구조를 담당하는 공공기관에게 있어서 다루어야 할 매우 중요한 이슈가 되고 있다. 본 연구는 공공기관의 모바일 정보보안에 초점을 맞추고 있다. 공공기관이 스마트워크를 실행하기 위해서는 국가정보원의 모바일 정보보안규칙을 준수해야 한다. 이 보안규칙은 모바일 단말 보안, 모바일 단말과 무선망간 보안, 모바일 플랫폼과 업무망간 보안으로 구성되어 있다. 지금까지 공공기관은 이러한 보안규칙을 준수하기 위해 기업 소유의 모바일 단말기에 MDM(Mobile Device Management) 솔루션을 설치 운영해 왔다. 모바일 단말기에 MDM 솔루션이 설치되면 그 단말기는 Wi-Fi, 카메라, 화면캡쳐 등이 차단되어 이러한 기능을 사용할 수 없게 된다. 지금까지는 기업 소유의 모바일 단말기만 보안규칙을 적용하여 모바일 정보시스템을 사용해왔기 때문에 별 문제가 없었다. 그러나 기업은 스마트워킹의 효과를 높이기 위해 개인 소유의 모바일 단말기까지 모바일 정보시스템의 이용범위를 확산시키려하고 있다. 바로 이러한 상황에서 문제가 발생하고 있다. 개인 소유의 모바일 기기에 종전과 같은 보안규칙을 적용하면 개인은 기기 사용에 제한을 받기 때문이다. 즉, 개인 소유의 스마트폰에 MDM 솔루션을 설치하면 Wi-Fi, 카메라, 화면캡쳐 기능을 사용할 수 없게 되기 때문이다. 그 누구도 자신이 소유한 기기의 기능을 제한받으면서까지 모바일 정보시스템을 사용하려 하지 않기 때문에 지금까지의 모바일 정보보안 방식으로는 폭넓은 스마트워킹을 구현할 수 없게 된다. 따라서 개인 소유의 모바일 단말기에까지 스마트워킹을 구현하기 위해서는 모바일 정보시스템이 실행될 때에만 MDM 솔루션이 실행되도록 함으로써 개인의 자유로운 모바일 기기 사용을 보장해야 하고, 모바일 정보시스템 각각의 보안 요구 등급에 맞게 신축적으로 단말기 기능을 차단할 필요가 있다. 본 논문에서는 K사에서 바로 이러한 필요성을 충족시킨 구현 사례를 연구하여 제시하였다. 대부분의 정보시스템은 기업에 의해 개발되고 기업 소유의 기기에 설치되어 운영된다. 그러나 모바일 정보시스템은 이와 다르게 기업에 의해 개발되고 개인 소유의 모바일 기기에 설치되어 운영될 수 있다. 본 연구는 기업에게는 모바일 정보시스템에 대한 보안 목표를 충족시켜 주고 개인에게는 시스템 사용에 따른 제한을 최소화함으로써 BYOD(Bring Your Own Device) 시대에 최적의 해결 방안을 제시할 수 있을 것으로 기대된다. 본 연구결과는 스마트워크를 추진하고자 하는 공공기관은 물론 기업비밀에 민감한 사기업의 모바일 정보보호 문제를 해결함으로써 스마트워킹 확산에 기여할 것으로 본다.

• 대한교통학회지
• /
• 제29권3호
• /
• pp.103-114
• /
• 2011

본 연구는 2000년 이후 대형교통사고 발생지점 112건의 자료를 이용, 다양한 교차 및 빈도분석을 통해 대형교통사고와 도로 기하구조의 관계를 규명하고, 이를 토대로 대형교통사고 심각도 모형을 구축하였으며, 주행안전성 향상을 위해 720회의 컴퓨터 모의실험으로 다음과 같은 결론을 얻을 수 있었다. 첫째, 교차 및 빈도분석의 결과 커브구간에서 43.7%, 종단경사 기타조건에서 60.7%, 곡선반경 0~24m 구간에서 57.2%, 편경사 0.1~2.0% 구간에서 83.9%, 편도2차로 도로에서 49.1%, 차종별로는 승용(33.0%), 화물(20.5%), 버스(14.3%) 순이었으며, 편경사 설치 유 무가 대형교통사고 발생에 가장 큰 영향을 주는 것으로 분석되었다. 둘째, 순서형 프로빗 모형(Ordered Probit Model)을 이용하여 다양한 도로조건에서의 피해 예측이 가능한 대형교통사고 심각도 모형을 개발하였으며, 개발된 모형을 기반으로 도로의 위험성을 사전에 예측하고, 대책 마련이 가능토록 기여 하였다. 셋째, 컴퓨터 모의실험(Simulation) 결과, 이미 대형교통사고가 발생한 장소에 편경사를 설치했을 경우 약 85% 이상의 지점들에서 대형교통사고가 발생하지 않는 개선효과가 있는 것으로 분석되었으며, 이 분석결과를 통해 도로의 구조 시설 기준에 관한 규칙(해설 및 지침)의 편경사 설치 예외규정을 더욱더 강화시킬 필요가 있다고 사료된다.