• KIEE International Transaction on Electrical Machinery and Energy Conversion Systems
• /
• v.5B no.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
• /
• v.3B no.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
• /
• v.3B no.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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2003.05a
• /
• 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.

• Journal of Climate Change Research
• /
• v.6 no.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.

• KIISE Transactions on Computing Practices
• /
• v.23 no.8
• /
• pp.466-472
• /
• 2017

Hardware Transactional Memory (HTM) has greatly changed the parallel programming paradigm for transaction processing. Since Intel has recently proposed Transactional Synchronization Extension (TSX), a number of studies based on HTM have been conducted. However, the existing studies support conflict prediction for a single cause of the transaction processing and provide a standardized TSX environment for all workloads. To solve the problems, we propose an efficient hardware transactional memory scheme for processing transactions in multi-core in-memory environment. First, the proposed scheme determines whether to use Software Transactional Memory (STM) or the serial execution as a fallback path of HTM by using a prediction matrix to collect the information of previously executed transactions. Second, the proposed scheme performs efficient transaction processing according to the characteristic of a given workload by providing a retry policy based on machine learning algorithms. Finally, through the experimental performance evaluation using Stanford transactional applications for multi-processing (STAMP), the proposed scheme shows 10~20% better performance than the existing schemes.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.45 no.9
• /
• pp.96-102
• /
• 2008

The SoC bus topology is classified to single and multiple bus systems due to bus number. In single bus system, the selected only one master among the masters that try to initiate the bus transaction can execute its data transaction. On the other hand, in multiple bus system, as several buses that can be operated independently are connected with bridge, multiple data can be transferred parallel in each bus. However, In the case of data communication from one bus system to the other, data latency has remarkably increased in multiple bus. Furthermore, the performance of multiple bus can be easily different from master number, slave type and so on. In this paper, the performance of single and multiple bus architecture is compared and quantitatively analysed with the variation of master number and slave type especially a tying SDRAM, SRAM and register with TLM simulation method.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.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
• /
• v.3B no.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.

• Journal of Internet Computing and Services
• /
• v.20 no.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.