• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• 제5B권1호
• /
• pp.13-19
• /
• 2005

The performance of two designs of permanent magnet brushless motor, by having self-shielding magnetized magnets or sinusoidally shaped parallel-magnetized magnets with essentially sinusoidal airgap flux distributions, are compared. It is shown that the parallel-magnetized motor with shaped sintered NdFeB magnets can result in a higher airgap flux density and torque density than that of a self-shielding magnetized motor equipped with an anisotropic injection moulded NdFeB ring magnet.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• 제3B권4호
• /
• pp.173-178
• /
• 2003

The rotational force of ultrasonic motors is able to get from the frictional force of elliptical vibration by contact between rotor and stator. Generally, ultrasonic motors are suitable for driving at resonant frequencies of about 20∼80［KHz］. The driving characteristics of ring type ultrasonic motors are the object of this study. A two-phase driving signal is delivered to the tested ultrasonic motor, which has a $90^0$ phase difference respectively with both sine and cosine voltage waveforms. The driving frequency is almost equal to the mechanical resonant frequency for the proper operation, and the driving signal is supplied by the two-phase parallel resonant inverter. The validity of the proposed driving method is verified by experimental results with stable operation.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• 제3B권1호
• /
• pp.44-51
• /
• 2003

The module UPS can flexibly implement expansion of power system capacities. Further-more, it can be used to build up the parallel redundant system to improve the reliability of power system operation. To realize the module UPS, load sharing without interconnection among parallel connecting modules as well as a small scale and lightweight topology is necessary. In this paper, the three-arm converter/inverter is compared with the general full-bridge and half-bridge topology from a practical point of view and chosen as the module UPS topology. The switching control approaches based on a pulse width modulation of the converter and inverter of the system are presented independently. The frequency and voltage droop method is applied to parallel operation control to achieve load sharing. Two prototype 3㎸A modules are designed and implemented to confirm the effectiveness of the pro-posed approaches. Experimental results show that the three-arm UPS system has a high power factor, a low distortion of output voltage and input current, and good load sharing characteristics.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회/대한산업공학회 2003년도 춘계공동학술대회
• /
• pp.772-779
• /
• 2003

In the real world, business processes are very complex and composed or heterogeneous business activities. As the advent or the Web services enables business processes to be Integrated and to be automated. It makes enterprises integrate heterogeneous business processes from different business partners as well as their internal business processes. To support recent trends in integration of business processes, BPEL, WS-E and WS-T specipications have been established since 2002 WS-C and WS-T describe the reliable business environment including compensation (undo) or completed business processes. The compensation of business processes is a basic requirement for automation or business processes among business partners. Systems implementing these specifications, however, very rarely exist. It's not only because those specifications are developed recently. but also because they are not perfect yet. In this paper, a new business process transaction management, which complements the deficiency of WS-E and WS-T, is suggested. Furthermore, the new approach proposes the business logics for supervisory coordinators which manage serial and parallel business gates The modification or traditional WS-T specification and the simplification or WS-E specification make business processes managed effectively.

• 한국기후변화학회지
• /
• 제6권1호
• /
• pp.11-19
• /
• 2015

This study has aimed to compare an emission trading system (ETS) in the EU and Japan that introduced the scheme prior to Korea and provided the latter with a benchmarking model. Especially, the EU has a reputation for its well-organized and evolving system, and Japan has also successfully established the system despite its similar condition with Korea, such as an industrial structure and the degree of energy dependence. However, there are noticeable differences between the EU and Japan in their ETS. Whereas Japan has focused on securing certifications in CDM as the implementation of Kyoto protocol, EU has shown a tendency to transform the trading market from a parallel structure of EUA and CER transaction to only the EUA transaction after ending of 1st commitment period of the Kyoto Protocol. Since the differences were mainly caused by not only in a design of the system but also in internal governance and their national circumstance, it is meaningful to analyse the Korean case with a similar framework. This study may contribute to designing an appropriate system for emission trading in Korea through the comparison of the EU and Japanese case.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제23권8호
• /
• pp.466-472
• /
• 2017

하드웨어 트랜잭셔널 메모리(HTM)는 트랜잭션 처리를 위한 병렬 프로그래밍 패러다임을 크게 바꾸었으며, 최근 Intel에서 TSX를 제안함에 따라 HTM에 기반한 다수의 연구들이 수행되었다. 그러나 기존 연구들은 트랜잭션 처리에서 하나의 원인에 대한 충돌 예측만을 지원하며, 모든 워크로드에 대해 획일화된 TSX 환경을 제공한다. 이러한 문제점을 해결하기 위해, 본 논문에서는 멀티코어 인메모리 환경에서 트랜잭션을 처리하기 위한 효율적인 HTM 기법을 제안한다. 첫째, 제안하는 기법은 과거 트랜잭션 처리 정보를 수집한 매트릭스를 이용하여, HTM 실패시의 대비책 경로로써 STM 혹은 single lock을 선택한다. 둘째, 머신러닝 알고리즘 기반 재시도 정책을 제공함으로써, 워크로드 특성에 맞는 효율적인 트랜잭션 처리를 수행한다. 마지막으로 STAMP를 이용한 성능평가를 통해, 제안하는 기법이 기존 연구에 비해 10~20%의 성능 향상이 있음을 보인다.

• 대한전자공학회논문지SD
• /
• 제45권9호
• /
• pp.96-102
• /
• 2008

SoC의 버스 구조에는 싱글버스와 다중버스로 구분된다. 싱글버스는 전송을 원하는 여러 개의 마스터 중 선택된 하나의 마스터만이 데이터 트랜잭션을 수행할 수 있다. 반면에 다중버스는 개별적으로 동작이 가능한 버스를 브리지를 통해 연결하여 각각의 버스에서 여러 데이터를 병렬 처리할 수 있다. 그러나 현재의 버스에서 다른 버스로 데이터 통신을 수행할 경우, 레이턴시가 급격하게 증가할 수 있다. 게다가, 다중버스의 성능은 마스터의 개수, 슬레이브의 종류 등에 따라 쉽게 바뀔 수가 있다. 이에 본 논문에서는 TLM(Transaction Level Model) 시뮬레이션 방법을 이용하여 마스터의 개수, SDRAM, SRAM, 레지스터 등의 슬레이브 종류에 따른 싱글버스와 다중버스 아키텍처의 성능을 정량적으로 비교 분석하였다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• 제3B권4호
• /
• pp.179-187
• /
• 2003

In the machine tool industry, direct drive linear motor technology is of increasing interest as a means to achieve high acceleration and to increase reliability. This paper analyzes and compares the characteristics of the tubular linear actuator with the cylindrical Halbach and radial array, respectively. A tubular linear actuator with cylindrical Halbach array, consisting of parallel magnetized arc segments instead of ideal radial and axial magnetized rings, is manufactured. The magnetic field solutions due to the PMs and to the currents are established analytically in terms of vector potential, using the 2-D cylindrical coordinate system. Motor thrust, flux linkage and back emf are then derived. Thrust characteristics according to such design parameters as magnet height and air gap length are also given. The results are validated extensively by comparison with finite element analysis (FEA). Test results such as thrust measurements are also given to confirm the analysis.

• 인터넷정보학회논문지
• /
• 제20권3호
• /
• pp.85-92
• /
• 2019

In this paper, we extract the quantitative relation data of activities from the workflow event log file recorded in the XES standard format and connect them to rediscover the workflow process model. Extract the workflow process patterns and proportions with the rediscovered model. There are four types of control-flow elements that should be used to extract workflow process patterns and portions with log files: linear (sequential) routing, disjunctive (selective) routing, conjunctive (parallel) routing, and iterative routing patterns. In this paper, we focus on four of the factors, disjunctive routing, and conjunctive path. A framework implemented by the authors' research group extracts and arranges the activity data from the log and converts the iteration of duplicate relationships into a quantitative value. Also, for accurate analysis, a parallel process is recorded in the log file based on execution time, and algorithms for finding and eliminating information distortion are designed and implemented. With these refined data, we rediscover the workflow process model following the relationship between the activities. This series of experiments are conducted using the Large Bank Transaction Process Model provided by 4TU and visualizes the experiment process and results.