• 한국경영정보학회:학술대회논문집
• /
• 2008.06a
• /
• pp.440-445
• /
• 2008

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

• Journal of Intelligence and Information Systems
• /
• v.7 no.2
• /
• pp.65-81
• /
• 2001

This paper presets the process of knowledge aquisition by partitioning the phase of analysis & design for knowledge-base module construction of Expert System into five steps to derive rule systematically. Also, this paper presents the process and the task that knowledge engineer must do work each step. The knowledge-base module of STAFS expert system was constructed by considering the destruction rate and the commander\`s intention using the proposed rule derivation methodology.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.2125-2128
• /
• 2002

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.325-327
• /
• 2005

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.316-318
• /
• 2014

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.937-940
• /
• 2007

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

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.4
• /
• pp.227-238
• /
• 2013

The business based existing BPMN model is a lack of service oriented modeling techniques. Therefore, it requires a layered technique of service oriented business modeling so that can meet the design for a complex application system, developing a system based on SOA. In order to enhance reusability and modularity of BPMN business model, this paper proposes a metamodel and business modeling process based on this metamodel that can hierarchically build a BPMN model. Towards this end, the XL-BPMN metamodel hierarchically established based on MDA and MVS styles are first defined. Then a BPMN service modeling process is constructed based on modeling elements of this metamodel according to the modeling phases. Finally, the result of a case study in which the proposed method is applied to an online shopping mall system is discussed. With the use of well-defined metamodel and modeling process, it is hoped that it can be shown that a service dominated and layered BPMN business model can be established, and that the modularity and reusability of the constructed BPMN business model can be maximized.

• The KIPS Transactions:PartD
• /
• v.13D no.4 s.107
• /
• pp.535-548
• /
• 2006

To formally describe business process, many business process languages have been so far specified with different origins and goals such as XPDL, BPML and BPELAWS. Especially, XPDL proposed by WfMC has been widely used in various business process environments for a long time. On the other hand, the necessity of a standard graphical notation for a business process may create BPMN driven by BPMI. Because BPMN is composed of graphical constructs which can be used to graphically depict business process, BPMN-formed business processes should ultimately be converted to their corresponding semantically equivalent business process language(XPDL). Then, the business process languages can be consequently executed by business process engines. In this paper, we proposed a transformation mechanism from BPMN to XPDL for a business process. By this paper, We minimized the difference between process designers and process execution modules as reducing the gap of semantics between BPMN and XPDL.

• Journal of Korean Society of Steel Construction
• /
• v.22 no.1
• /
• pp.99-108
• /
• 2010

This paper presents the results of a study that aimed to develop a module for auto connection modeling that can be applied to the structural details design and modeling phase. It was established that the steel connection library database from the structural analysis resulted from the consideration of the input parameters of the 3D modeling program and the guidelines for Korean standard steel connections. The module for the auto connection modeling in steel structures was developed by linking it with the established library database through the use of the OpenAPI software to prove that the developed module carried out the modeling of the six story (steel structure) office building. The productivity and efficiency of the module introduction was verified by comparing the conventional process and the proposed process.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.656-659
• /
• 2011

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