• 한국정보처리학회논문지
• /
• 제7권5호
• /
• pp.1426-1433
• /
• 2000

As distributed computing systems become popular, many modeling techniques and methods have been developed in specify the specification formally and verify the distributed/concurrent sytems. In spite of importance of communication in distributed object-oriented systems, specifying of communication method generally has not been emphasized in the design phase. One reason is due to the system designer misunderstanding, that is, a specification needs to be independent on the implementation. However, since defining communication pattern indistributed object-oriented systems is more serious than the required message passing method in the design phase. specifying the communication pattern is necessary instead of postponing until the implementation. In this paper, two formal specification techniques, temporal logic method and Petri nets method, for the communication in distributed systems are discussed. One is based on the temporal logic, which specifies the different patterns of primitive predicates. This method enable to define the underlying mechanism which can be interpreted as constraints. The Petri net method helps to specify the dynamic behavior of communicational patterns using the properties of Petri nets.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.74-77
• /
• 1998

This paper presents a real design and implementation of an intelligent client-server equipment controller in computer-integrated manufacturing systems. An automated manufacturing process is commonly controlled by a number of PLC (Programmable Logic Controllers), which are attached to various equipments. A manufacturing cell consists of a set of equipments or workstation, which are also controlled by equipment or cell controller. We propose an intelligent equipment controller which has two function: one is to request (collect) an important information from each equipment and the other is to send the collected equipment information to the upper level controller (shop floor controller). Two-phase approaches are considered for the development of equipment client-server controller. The first events are generated virtually using computer simulation. Using the virtually generated activities, operating software of equipment server is developed. The second phase is to embed the virtually developed software (controller) into a real manufacturing system. The proposed methodology might be a novel design and implementation of a virtual simulator, which could be used for developing an intelligent equipment server.

• Journal of Power Electronics
• /
• 제16권6호
• /
• pp.2057-2066
• /
• 2016

An extension of the one-cycle control (OCC) method for switched-capacitor (SC) converters is proposed in this paper, featuring a fast dynamic response, wide line and load operation ranges, and simplicity in implementation. To illustrate the operation principle of this nonlinear control method and to demonstrate its simplicity in design, a dual-phase unity gain SC converter is examined. A new control loop based on the charge balance in a flying capacitor is formulated for the OCC technique and implemented with a 15W dual-phase unity gain SC converter on a circuit board for control verification. The obtained experimental results show that external disturbances can be rejected in one switching cycle by the OCC controlled SC converter with good line and load regulations. When compared to other control methods, the proposed nonlinear control loop exhibits superior dynamic performance in suppressing input and load disturbances.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 추계학술대회 논문집 학회본부 B
• /
• pp.549-551
• /
• 1998

This paper deals with the new gait implementation of biped walking robot(IWR-III). In the case of using old gait. The trunk should be stopped during the phase changing time. But using new gait, the trunk moves continuously for all walking time. As a result, IWR-III has a walking gait similar to human being, and the motion of balancing joints can be reduced by the trunk ahead effect in the double support phase, moreover, ZMP tracking is improved, therefore the stability of IWR-III is improved. The trajectory is planned with a 5th order spline interpolation and stability of IWR-III is certified with a biped simulator.

• 한국정보통신학회논문지
• /
• 제1권2호
• /
• pp.193-197
• /
• 1997

In this paper, we propose a new PN chip clock generator which employs two synchronous counters to achieve precise phase control of chip clock. In a CDMA code acquisition and tracking system, the PN chip clock is required to operate highly reliable without any glitch even under harsh environment condition such as temperature and voltage fluctu-aliens. The digital implementation of the proposed PN chip clock generator imparts it with much desired reliability. Since the proposed chip clock generator can be easily controlled into one of the states: free running, phase advance, and delay state, it can be applied to data processing as well as code synchronization. We have done FPGA implementation of the proposed logic and have verified its satisfactory operation up to 50 MHz.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2001년도 전력전자학술대회 논문집
• /
• pp.372-376
• /
• 2001

Due to several advantages of Pulse Width Modulation(PWM) Converter, such as unity power factor operation, elimination of low-order harmonics and regeneration of motor braking energy to source, the application range of PWM Converter has been rapidly extended in industrial application. Nowadays, vector control algorithm and space vector PWM(SVPWM) method are applied to improve the performances of PWM Converter, but vector control algorithm and SVPWM require to use Microprocessor and other digital devices in hardware, causing costly and somewhat large dimension system. In every practical application of energy conversion equipments, the design and implementation should be carried out considering cost and performance. High performance and low cost is the best choice for energy conversion equipments. So, this paper presents the practical design method and implementation results of 3-phase PWM Converter with analog hysteresis current controller, and verifies the performances of unit power factor operation and energy regeneration operation via experimental results.

• 한국IT서비스학회지
• /
• 제5권3호
• /
• pp.45-62
• /
• 2006

The research is intended to satisfy two interesting research purposes: one is to examine activities of both BSC adotion phase and implementation phase under carrying BSC project. The second purpose is to analyze the influence from those activities towards innovating business world. This study was conducted thru online questionnaires via online survey system during 3 months for targeting mainly on business users and consultants. The findings of the study suggest that employee's involvement, BSC information sharing, collaboration cross task related teams have major roles to operate BSC successfully. From findings, KPI choice, top-down goal allocation, budgeting allocation have strong influences on upgrading business innovations. Those businesses like to considering adoption of BSC can benefit from the findings of the research.

• 전력전자학회논문지
• /
• 제27권2호
• /
• pp.118-125
• /
• 2022

With the aim to maximize the use of a given voltage source in the field of railway and electric vehicles, this study applies a technique for controlling the overmodulation region between the linear and the six-step regions. High linearity overmodulation techniques that do not use look-up table (LUT) to digital signal processor (DSP) using carrier based pulse width modulation (PWM) are proposed. Such technique requires the phase of the voltage vector at the point where the circular trajectory of the voltage command vector and hexagonal cross each other. Therefore, a method is proposed to obtain a phase of a voltage vector that is derived through an equation and applied to a carrier-based PWM. Validity of the proposed implementation method is confirmed through simulation and experiment.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.472-476
• /
• 2015

The purpose of this study is to fully understand the present state of the domestic construction companies, and to analyze phased business types and construction management techniques in order to initiate overseas expansion. Because of the recession in the domestic construction market, a thorough and strategic perspective to constantly develop inroads into overseas market is required. So we carried out a questionnaire survey targeting the experts of the overseas construction and researcher, and consulted them in depth. The questionnaire survey was divided into three sections. The first section is the necessity of overseas construction and the reason. The second is the overseas business types classified into the way of advance in short-term and long-term phase possibility of expansion. Lastly, the importance of the phased construction management techniques and the current capacity of the domestic and the foreign business trends were scrutinized. On the basis of the consultation and surveys, we analyzed the overseas business types and the construction management types in the short-term and long-term phase.

• 대한임베디드공학회논문지
• /
• 제18권5호
• /
• pp.209-215
• /
• 2023

This study proposes an AC servo motor control program structure and its implementation method to efficiently integrate 13 types of additional compensation algorithms into the basic FOC (field-oriented control) algorithm program. Various compensation algorithms are necessary to enhance the stability and performance of machine tools by compensating for interference from disturbances and vibrations. Each compensation algorithm is implemented as a separate, independent function and called from a switch-case statement in the ISR (interrupt service routine) of the PWM (pulse-width modulation) device. The advantages of this approach include facilitating not only debugging and testing but also reducing the possibility of errors during the program development phase. Thus, it is easy to add and activate each specific compensation algorithm for the program update during the program operation phase. The implemented motor control program was experimented with a single-axis feed shaft testbed driven by a commercial AC servo motor control drive board and a 750 Watts SPMSM (surface-mounted permanent magnet synchronous motor), and the results verified its normal operation and performance improvement.