• 산업경영시스템학회지
• /
• 제31권1호
• /
• pp.59-65
• /
• 2008

Manufacturing Execution System (MES) is a system that companies can use to measure and control critical production activities. This paper shows case study of implementation of MES (Manufacturing Execution System) and its methodology in a medium sized production company. This study focused on two important things in MES implementation. First, it provides critical success factors (CSFs) and construction method for success of MES implementation. Second, it presents guidelines for MES implementation in small and medium-size company. Some of the benefits with regards to MES implementation and its results are introduced in the end of this paper.

• 한국IT서비스학회지
• /
• 제11권1호
• /
• pp.141-153
• /
• 2012

USM(Unit Service Management System) is the development tool and methodology to handling the event process in a U-City integrated platform by using the minimum unit services. USM can be one of the SOA development methodology. Minimum unit service has a minimum business logic that can be executed with input and output parameters. Minimum unit service consists of three parts : service profile, service input and output parameters and service execution information. USM provides two types of the execution method. One is module execution and the other is web service execution. The development of the event sinario by the USM development methodology can reduce the cost and duration of the u-service development by raising the rate of reusing minimum unit service.

• 정보처리학회논문지D
• /
• 제8D권5호
• /
• pp.513-522
• /
• 2001

능동 데이터베이스는 미리 정의된 규칙(rule)에 의해 규칙에 대응하는 사건이 발생하면 자동으로 트리거나 되어 조건을 평가하고 조치를 수행한다. 이러한 능동 규칙은 연속적으로 서로 다른 트리거 할 수 있고 그로 인해 종료하지 못하고 무한한 순환적 동작을 반복할 가능성이 있다. 따라서 이 논문에서는 규칙집합의 종료를 보장하는 종료 분석방법을 제안한다. 여기서 제안한 방법은 정확한 종료 분석을 위해 복합사건의 규칙과 규칙 실행시간을 고려한다. 아울러 규칙간에 형성되는 비활성과 관계를 이용하여 그래프를 기존의 트리거그래프와 결합시킴으로서 규칙 종료의 복잡성 개선과 분석 결과의 정확성을 향상시킨다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.715-718
• /
• 2000

Although shared memory parallel programs are designed to be deterministic both in their final results and intermediate states, the races that occur when different processes access a common memory location in an order not guaranteed by synchronization could result in unintended non-deterministic executions of the program. So, Detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. It is possible that all data races reported by other on-the-fly algorithms would disappear once the first races were removed. To detect races parallel programs with nested loops and inter-thread coordination, it must guarantee the order of synchronization operations in an execution instance. In this paper, we propose an improved restructuring method that guarantee ordering execution instance and preserve the semantics of original program. This method requires O(np) time and (s + up) space, where n is the number of total operations, s is the number of synchronization operations and p is the number of parallelism in the execution. Also, this method makes on-the-fly detection of parallel program with nested loops and inter-thread coordination more easily in space and time complexity.

• 정보학연구
• /
• 제3권2호
• /
• pp.13-21
• /
• 2000

자바 네이티브 메소드는 시간 소모적인 작업의 효율적 실행, 플랫폼 종속적인 작업의 수행, 라이브러리의 재사용 등을 위해 제안되었다. 실행 속도 향상을 위해 네이티브 메소드를 사용한다면, 네이티브 메소드 구현에 자바 언어가 아닌 컴파일 방식의 다른 언어를 사용해야한다. 또한 자바 네이티브 인터페이스의 개념을 습득해야한다. 이러한 부담을 경감시키기 위해 렬 논문에서는 자바 메소드를 네이티브 메소드로 자동 변환하여 주는 자바 네이티브 메소드 생성 시스템을 제안하였다. 또한 본 시스템은 JNI의 개념을 요구하지 않기 때문에 C 언어로 네이티브 메소드를 작성하려는 프로그래머에게 편의를 제공한다.

• 경영과학
• /
• 제13권3호
• /
• pp.105-113
• /
• 1996

Constructing an initial basis is an important process in the simplex method. An initial basis greatly affects the number of iterations of iterations and the execution time in the simplex method. The purpose of this paper is to construct a good initial basis. First, to avoid linear dependency among the chosen columns, an enhanced Gaussian elimination method and a method using non-duplicated nonzero elements are developed. Second, for an order to choose variables, the sparsity of the column is used. Experimenal results show that the proposed method can reduce the number of iterations and the execution time compared with Bixby's method by 12%.

• 스마트미디어저널
• /
• 제5권4호
• /
• pp.116-123
• /
• 2016

최근 들어, 스마트 단말에서 오피스, 화상회의 등 스마트워크 업무와 관련된 중요한 정보들을 다루는 경우가 많아졌다. 또한 스마트 단말의 실행환경이 공개 소프트웨어 환경 위주로 발전하면서, 사용자들이 임의의 응용소프트웨어를 다운받아 사용하는 것이 용이하게 됨에 따라, 스마트 단말이 보안적 측면에서 취약하게 되었다. 본 논문에서는 TEE(Trusted Execution Environment) 기반의 격리된 안전실행환경 영역을 가지는 모바일 단말 플랫폼인 가상화 기반 스마트 단말 보안 기술의 특징을 알아본다. 또한, 본 논문에서는 스마트 단말에서 실행되는 응용프로그램을 위한 도메인 분리 기반의 안전한 스마트 단말 보안 플랫폼에 대한 구현 방법을 제안한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권2호
• /
• pp.125-133
• /
• 2004

개발 방법론과 도메인의 특성을 반영하여 테스팅 하기 위해서는 프로세스 표준을 테일러링 해야 하며 테일러링 된 프로세스에 따라 테스트를 수행해야 한다. 그러나 상용화된 테스트 도구들은 테일러링 된 프로세스의 일부만을 지원하기 때문에 실제 테스팅 현장에서는 개발 환경에 적합한 테스트 도구를 구입하거나 개발해야 한다. 본 논문에서는 프로덕트 라인 개발 개념을 이용한 테스트 프로세스 수행 도구 개발 방안을 제안하고 이를 ‘테스트 프로세스 수행 도구(Test Process Execution Tool: Test PET)’로 구현한다. 표준에 명시된 테스트 활동의 공통점과 차이점을 추출하여 이를 컴포넌트로 명세 및 구현하고 개발 방법론과 도메인에 맞는 특성을 반영하여 특정 개발 방법론과 도메인에 맞는 테스트 수행 도구를 개발하는 단계를 제안한다. 제안한 방안으로 구현된 Test PET은 개발 방법론과 도메인, 어플리케이션에 맞는 테스트 프로세스를 생성 한 후 생성된 테스트 프로세스에 따라 테스트를 수행할 수 있는 도구이다.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.497-511
• /
• 1999

최근 많은 명령어 수준 병렬 처리 기술들이 개발되면서 ILP 프로세서 성능이 급격히 증가하고 있다. 특히, 새로운 기술로 주목 받고 있는 EPIC(Explicitly Parallel Instruction Computing) 아키텍쳐는 조건실행 (Predicated Execution)과 투기적실행(Speculative execution)을 하드웨어와 접목하여 성능 향상을 시도하고 있다. 본 논문에서는 EPIC 아키텍쳐의 특성을 최대로 활용하여 코드 스케줄 가능성을 높이는 새로운 레지스터 할당 알고리듬을 제안한다. 그리고, 제안된 레지스터 할당 알고리듬은 조건실행의 적용으로 인하여 더욱 효율을 높일 수 있음을 실험을 통하여 입증한다. 실험 결과 기존의 레지스터 할당 방법에 비하여 평균 19%의 성능 향상을 보임으로써 제안된 레지스터 할당 방법이 효과적임을 검증한다.

• International Journal of Contents
• /
• 제14권3호
• /
• pp.7-16
• /
• 2018

The extent and depth of the event plan determines the scope of pedagogical experience in situations and consequently the quality of immersive learning based on our simulated world. In contrast to planning in conventional narrative-based systems mainly pursuing dramatic interests, planning in virtual world-based pedagogical systems strive to provide realistic experiences in immersed situations. Instead of story plot comprising predetermined situations, our inter-event planning method aims at simulating diverse situations that each involve multiple events coupled via their associated agents' conditions and meaningful associations between events occurring in a background world. The specific techniques to realize our planning method include, two-phase planning based on inter-event search and intra-event decomposition (down to the animated action level); autonomous and independent agents to behave proactively with their own belief and planning capability; full-blown background world to be used as the comprehensive stage for all events to occur in; coupling events via realistic association types including deontic associations as well as conventional causality; separation of agents from event roles; temporal scheduling; and parallel and concurrent event progression mechanism. Combining all these techniques, diverse exogenous events can be derived and seamlessly (i.e., semantically meaningfully) integrated with the original event to form a wide scope of situations providing chances of abundant pedagogical experiences. For effective implementation of plan execution, we devise an execution scheme based on multiple priority queues, particularly to realize concurrent progression of many simultaneous events to simulate its corresponding reality. Specific execution mechanisms include modeling an action in terms of its component motions, adjustability of priority for agent across different events, and concurrent and parallel execution method for multiple actions and its expansion for multiple events.