• 한국경영정보학회:학술대회논문집
• /
• 한국경영정보학회 2008년도 춘계학술대회
• /
• pp.440-445
• /
• 2008

기업 간 공동의사결정은 기업의 업무 효율성 향상을 통하여 기업의 성과에 영향을 미친다. 두 기업이 상호 목표를 동시에 이루기 위해서는 협력적 공동의사결정이 매우 중요한 역할을 한다. 따라서 협력적 의사결정의 선행요인과 결과요인을 파악하고 실증적 연구가 필요하다. 본 연구는 PLS 통계적 방법을 이용하여 제시된 가설을 검증하였으며, 그 결과 상대기업의 지식창조 능력, 기입간 프로세스 모듈화, 기업간 신뢰가 기업간 협력적 의사결정에 긍정적인 영향을 미치는 것으로 나타났으며, 결과적으로 업무성과와 기업성과를 향상시키는 것으로 나타났다.

• 지능정보연구
• /
• 제7권2호
• /
• pp.65-81
• /
• 2001

본 논문에서는 전문가 시스템 개발에 있어서 체계적인 규칙추출을 위하여 지식베이스 구축에 관한 분석/설계단계까지를 5개 단계로 세분화하여 지식획득과정을 강화하였다. 또한 각 단계별로 지식공학자가 수행해야 하는 프로세스와 각 프로세스별로 지식공학자가 실질적인 작업을 통해 결과를 산출하는 태스크를 정형화하였다. 본 논문에서는 제안한 체계적인 규칙추출 방법론을 이용하여 아군 화력자산의 파괴율을 고려하고, 지휘관의 의도에 부합하는 아군 화력자산을 배분하는 STAFS 전문가시스템의 지식베이스 모듈 개발에 관한 연구를 수행하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.2125-2128
• /
• 2002

ebXML은 기업간의 전자상거래를 위한 글로벌 표준으로 비즈니스 프로세스 및 문서, 메시지 서비스, 기업의 공용 등록소 및 저장소, 거래 약정 등에 관련된 세부 표준들로 구성되어 있다. 기업간에 혐의된 비즈니스 프로세스에 따라 상대 기업과 문서를 주고받고자 할 때에는, 비즈니스 응용 프로그램은 전송하고자 하는 문서와 메시지를 생성하고 전송하는데 필요한 파라미터들을 메시지 전송 모듈에 전달해야 한다. 본 논문에서는, 비즈니스 응용 프로그램과 메시지 전송 모듈 사이에 메시지 서비스 인터페이스를 제공할 때의 문제점을 정의하고, 이에 대한 해결책으로 효율적인 메시지 서비스 인터페이스인 메시지 채널을 제안한다. 더불어, 메시지 채널을 생성하는 방법을 제안한다. 메시지 채널을 사용함으로써 비즈니스 응용 프로그램은 메시지를 전송하는데 필요한 파라미터들을 프로그램 내에 하드 코딩하지 않고 효율적으로 전달할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 춘계학술발표대회
• /
• pp.937-940
• /
• 2007

오늘날 대부분의 임베디드 시스템에서 사용하는 uClinux에서 기본적으로 프로세스가 이용할 수 있는 범위의 시스템 클럭은 10m/s 이상이다. 기존에는 무리하게 시스템 클럭의 속도를 무리하게 높여 더 높은 정밀도를 요구하는 프로세스를 처리해 왔다. 이는 시스템 리소스를 많이 사용함과 동시에 타이머 인터럽트를 처리하는 오버헤드도 상대적으로 증가하여 전체적으로 시스템의 성능과 안정성에 좋지 못했다. 이에 본 논문에서는 uClinux기반의 임베디드 장치와 Real-Time Clock(RTC)모듈과의 인터페이스 최적화 방안에 관하여 제안한다. 이로써 시스템 클럭을 사용하지 않고, RTC 자체의 인터럽트를 사용해서 작업을 진행해 나가기 때문에 시스템 리소스를 적게 사용하며, 시스템의 성능에 영향을 적게 준다. 또한 알고리즘적인 최적화를 사용 코드최적화를 사용하여 임베디드 시스템에서 가장 효율적으로 관리해야할 리소스인 메모리를 절약, 기존의 방식과 차별을 두었다.

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

모델 체킹은 시스템이 올바르게 동작하는 지를 자동으로 검증해주는 기법이다. 지금까지 모델 체킹은 방법의 특성상 상태폭발문제 때문에 작은 규모의 상태공간을 갖는 하드웨어나 프로토콜 검증에 주로 사용되어져 왔다. 그러나 최근에는 상태폭발문제를 다루기 위한 연구와 술어추상화 등과 같은 추상화기술의 발달로, 다를 수 있는 상태공간의 크기가 증가하고 정리증명기의 성능이 향상됨에 따라 소프트웨어 자체의 논리적 오류를 검증하려는 움직임이 활발하다. 일반적으로 소프트웨어 검증을 위해 추상화-모델 체킹-추상화 개선의 3단계 프로세스를 사용하는데 주로 C프로그램에 대해서만 이루어져 왔다. 우리는 이 프로세스를 자바프로그램에 적용하고 자동으로 자바프로그램을 이진프로그램으로 변환하는 술어추상화 모듈을 개발하였다. 이 모듈은 우리가 개발한 자바 모델 체커의 front-end부분이다. 본 논문에서는 자바프로그램에 대한 주요 추상화 알고리즘을 보이고 특정 자바프로그램의 안전성과 궁극성을 검증한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 춘계학술발표대회
• /
• pp.316-318
• /
• 2014

주식 데이터의 분석을 위해서는 전문적인 분석 알고리즘 지식, 주식 데이터의 확보, 대용량 데이터를 처리하기 위한 인프라의 구축 등 정보 분석에 관심을 가지는 일반 사용자들이 쉽게 해결하지 못하는 어려움이 존재한다. 이 논문에서는 수학적 알고리즘을 기반으로 경제물리학 분야에서 다양하게 응용되고 있는, MST 알고리즘을 활용하기 위한 정보 분석 프로세스를 정의하고 이 프로세스를 수행할 수 있는 분석모듈과 프로토타입을 소개한다. 개발된 프로토타입에서 일반 사용자는 분석에 필요한 주요 파라미터를 선택하고, 서버에서는 Raw 데이터의 전처리 과정을 거쳐 MST를 생성하여 결과를 사용자에게 전송한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권4호
• /
• pp.227-238
• /
• 2013

업무에 초점을 둔 BPMN 모델은 서비스 지향 비즈니스 모델링에 한계점을 안고 있다. 이에, SOA 기반의 시스템 개발을 위해 서비스 수준에서 복잡한 응용 시스템을 디자인할 수 있는 서비스 지향의 비즈니스 모델링 기법이 요구된다. 본 논문은 BPMN 비즈니스 모델의 모듈성과 재사용성을 향상시키기 위해, 서비스 지향으로 BPMN 모델을 계층적으로 구축할 수 있는 메타모델과 이에 기반한 비즈니스 모델링 프로세스를 제시한다. 이를 위해, BPMN 모델의 모델링 요소들을 MDA와 MVC 패턴에 의해 계층화하고 서비스 지향의 모델링을 위한 확장된 XL-BPMN 메타모델을 정의한다. 이 메타모델의 모델링 요소를 이용해서, 모델링 단계에 의한 BPMN 서비스 모델링 프로세스를 정립한다. 이 기법은 온라인쇼핑몰시스템의 비즈니스 모델링에 사례로서 적용되고 평가되어진다. 잘 정의된 메타모델과 모델링 프로세스를 통해, 서비스 중심의 BPMN 비즈니스 모델을 생성할 수 있고, BPMN 모델의 모듈성을 증진시킬 수 있으며, 또한 독립적으로 재사용 가능한 모델의 수를 극대화할 수 있다.

• 정보처리학회논문지D
• /
• 제13D권4호
• /
• pp.535-548
• /
• 2006

비즈니스 프로세스 관리 측면에서 XPDL, BPML, BPELAWS와 같은 많은 비즈니스 프로세스 실행 언어들이 각기 다른 기반과 목적에 따라 정의되었다. 이 중에 WfMC에서 제안한 XPDL은 서로 상호 작용할 수 있는 개념의 워크플로우 관련 비즈니스 프로세스 애플리케이션에서 범용적으로 이용되고 있다. 한편, 최근 BPMI에서 주도하는 BPMN(Business Process Modeling Notation)은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 정의되었다. 그래서 BPMN을 지원하는 디자인 툴을 이용하면 다양한 비즈니스 프로세스를 일반화된 형태로 디자인하고 분석할 수 있다. BPMN 형식의 비즈니스 프로세스가 비즈니스 프로세스 실행 엔진에서 실행되기 위해서는 XPDL과 같은 비즈니스 프로세스 언어로 의미적으로 동일하게 변환되어야 한다. 이러한 관점에서 본 논문에서는 BPMN 형식의 비즈니스 프로세스로부터 이와 대응되는 XPDL 프로세스로의 변환 기법을 제안한다. 본 논문을 통하여 프로세스 모델링 표기법(BPMN)과 프로세스 실행언어(XPDL) 사이의 의미적 간격을 줄임으로써 현업의 프로세스 설계자와 프로세스 실행 모듈의 차이를 최소화하였다.

• 한국강구조학회 논문집
• /
• 제22권1호
• /
• pp.99-108
• /
• 2010

본 연구는 구조상세설계와 모델링 단계에서 활용 가능한 철골 접합부 모델링 자동화 모듈의 개발을 목적으로 한다. 이를 위해 접합부의 구조해석 결과를 3D 모델링의 입력 변수와 표준접합상세지침을 고려하여 라이브러리 D/B로 구축하였다. 구축된 라이브러리 D/B를 접합부 3D 모델링 단계에서 활용하기 위하여 상용 S/W에서 제공하는 OpenAPI 함수를 이용하여 접합부 자동 생성 모듈을 개발하였다. 개발된 모듈을 검증하기 위해 6층 규모의 철골 오피스 구조물을 대상으로 접합부 모델링을 수행하였으며, 접합부 모델링 과정에 대해 기존 프로세스와 연구 프로세스의 비교를 통해 적용성과 효율성을 검증하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2011년도 정기 학술대회
• /
• pp.656-659
• /
• 2011

최근 우리나라뿐만 아니라 전 세계적으로 고층건물의 규모가 점점 커짐에 따라 고층 건물은 초기단계에서부터 막대한 자원과 비용이 발생하고 도중에 설계변경이 어렵거나 불가능한 경우가 많아졌다. 때문에 초기구조설계과정과 실시설계, 시공과정에서의 차이를 최대한 줄이는 것이 사업의 경제성을 좌우할 만큼 중요한 비중을 차지한다. 이러한 정보를 제대로 관리할 초고층 BIM 정보환경이 구축된다면 발주자 설계자 시공자가 얻게 될 이익은 결코 적지 않을 것이다. S-BIM 프로세스 상에서 철골조를 형성하기 위해서는 세 단계의 프로세스를 거치는데 구조 해석 및 설계 단계, 구조 해석 및 설계 결과 데이터베이스 구축, 철골구조설계 및 형상화 모듈에 의한 부재 생성이다. 본 연구에서는 구조해석 및 설계(Analysis and Design, A&D) 데이터베이스를 C#코딩을 통해 형상, 길이 및 위치 정보를 결정하는 데 필요한 정보를 모듈 상에 불러오고, 이를 이용한 부재의 치수, 길이, 좌표 값을 산정하였다. 모듈 결과 생성된 정보를 BIM 플랫폼 상에 모델링함으로써 사용자 입력 값을 최소로 하여 기존 BIM 플랫폼의 모델링 방법 대비, 생산성이 향상된 철골구조설계의 자동화를 구현해 보고자 하였다.