• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.5
• /
• pp.21-30
• /
• 2008

The fuel cell generation convert fuel source, and gas directly to electricity in an electro-chemical process. Unlike traditional and conventional turbine engines, the process of fuel cell generation do not burn the fuel and run pistons or shafts, and it has not revolutionary machine, so have fewer efficiency losses, low emissions and no noisy moving parts. A high power density allows fuel cells to be relatively compact source of electric power, beneficial in application with space constraints. In this system, the fuel cell itself is nearly small-sized by other components of the system such as the fuel reformer and power inverter. So, the fuel cell energy's stationary fuel cells produce reliable electrical power for commercial and industrial companies as well as utilities. In this paper, a fuel cell system has been modeled using PSCAD/EMTDC to analyze its electric signals and characteristics. Also the power quality of the fuel cell system has been evaluated and the problems which can be occurred during its operation have been studied by modeling it more detailed. Particularly, we have placed great importance on its power quality and signal characteristics when it is connected with a power grid.

• KIISE Transactions on Computing Practices
• /
• v.21 no.11
• /
• pp.681-688
• /
• 2015

The k nearest neighbor (k-NN) graph construction is an important operation with many web-related applications, including collaborative filtering, similarity search, and many others in data mining and machine learning. Despite its many elegant properties, the brute force k-NN graph construction method has a computational complexity of $O(n^2)$, which is prohibitive for large scale data sets. Thus, (Key, Value)-based distributed framework, MapReduce, is gaining increasingly widespread use in Locality Sensitive Hashing which is efficient for high-dimension and sparse data. Based on the two-stage strategy, we engage the locality sensitive hashing technique to divide users into small subsets, and then calculate similarity between pairs in the small subsets using a brute force method on MapReduce. Specifically, generating a candidate group stage is important since brute-force calculation is performed in the following step. However, existing methods do not prevent large candidate groups. In this paper, we proposed an efficient algorithm for approximate k-NN graph construction by regrouping candidate groups. Experimental results show that our approach is more effective than existing methods in terms of graph accuracy and scan rate.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.7
• /
• pp.1585-1600
• /
• 2009

The goal of Semantic Web is to provide efficient and effective semantic search and web services based on the machine-processable semantic information of web resources. Therefore, the process of creating and adding computer-understandable metadata for a variety of web contents, namely, semantic annotation is one of the fundamental technologies for the semantic web. Recently, in order to manage annotation metadata, direct approach for embedding metadata into the document is mainly used in semantic annotation. However, many semantic annotation tools for web documents have been mainly worked with HTML documents, and most of these tools do not support semantic search functionalities using the metadata. In this paper, based on these problems and previous works, we propose the Ontology-based Semantic Annotation tool(OSA) to efficiently support semantic annotation for web documents(such as HTML, PDF). We define a semantic annotation model that represents ontological-semantic information by using RDFS(RDF Schema). Based on XMP(eXtensible Metadata Platform) standard, the model is encoded directly into the document. By using OSA with XMP, user can perform semantic annotation on web documents which are able to keep compatibility for managing annotation metadata. Eventually, the integrated semantic annotation metadata can be used effectively in semantic search for a variety of web contents.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.5
• /
• pp.583-594
• /
• 1999

With the advance of VLSI and network technologies, it has now become a common practice to deploy a various forms of distributed computing environments. A study shows that a lot of network-aware computers are in an idle state for considerable amount of time depending on the types of users and time frames of the day. If we can take the full advantage of those idle computers, we can obtain the enormous combined processing power without further costly investment. In this paper, we present a distributed batch-processing system, called the Java Distributed Batch-processing System (JDBS), which allows us to execute CPU-intensive, independent jobs across a pool of idle workstations on top of extant distributed computing environments. Since JDBS is implemented using a Java programming language, it not only extends the scope of machine types that can be joined to the pool, but makes it a lot easier to build an entire system. Besides, JDBS is scalable and fault-tolerant due to its multi-cluster organization and intelligent strategies. A graphical user interface is also provided to facilitate the registration and unregistration, job submission, and job monitoring.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.2
• /
• pp.113-118
• /
• 2013

The current GPU virtualization techniques incur large overheads when executing application programs mainly due to the fine-grain time-sharing scheduling of the GPU among multiple Virtual Machines (VMs). Besides, the current techniques lack of portability, because they include the APIs for the GPU computations in the VM monitor. In this paper, we propose a low overhead and high performance GPU virtualization approach on a heterogeneous HPC system based on the open-source Xen. Our proposed techniques are tailored to the bio applications. In our virtualization framework, we allow a VM to solely occupy a GPU once the VM is assigned a GPU instead of relying on the time-sharing the GPU. This improves the performance of the applications and the utilization of the GPUs. Our techniques also allow a direct pass-through to the GPU by using the IOMMU virtualization features embedded in the hardware for the high portability. Experimental studies using microbiology genome analysis applications show that our proposed techniques based on the direct pass-through significantly reduce the overheads compared with the previous Domain0 based approaches. Furthermore, our approach closely matches the performance for the applications to the bare machine or rather improves the performance.

• The KIPS Transactions:PartB
• /
• v.13B no.2 s.105
• /
• pp.163-170
• /
• 2006

With rapidly developing Internet applications, an e-mail has been considered as one of the most popular methods for exchanging information. The e-mail, however, has a serious problem that users ran receive a lot of unwanted e-mails, what we called, spam mails, which cause big problems economically as well as socially. In order to block and filter out the spam mails, many researchers and companies have performed many sorts of research on spam filtering. In general, users of e-mail have different criteria on deciding if an e-mail is spam or not. Furthermore, in e-mail client systems, users do different actions according to a spam mail or not. In this paper, we propose a mail filtering system using such user actions. The proposed system consists of two steps: One is an action inference step to draw user actions from an e-mail and the other is a mail classification step to decide if the e-mail is spam or not. All the two steps use incremental learning, of which an algorithm is IB2 of TiMBL. To evaluate the proposed system, we collect 12,000 mails of 12 persons. The accuracy is $81{\sim}93%$ according to each person. The proposed system outperforms, at about 14% on the average, a system that does not use any information about user actions.

• Journal of Intelligence and Information Systems
• /
• v.11 no.2
• /
• pp.59-79
• /
• 2005

Export containers in a container terminal are usually classified into a few weight groups and those belonging to the same group are placed together on a same stack. The reason for this stacking by weight groups is that it becomes easy to have the heavier containers be loaded onto a ship before the lighter ones, which is important for the balancing of the ship. However, since the weight information available at the time of container arrival is only an estimate, those belonging to different weight groups are often stored together on a same stack. This becomes the cause of extra moves, or rehandlings, of containers at the time of loading to fetch out the heavier containers placed under the lighter ones. In this paper, we use machine learning techniques to derive a classifier that can classify the containers into the weight groups with improved accuracy. We also show that a more useful classifier can be derived by applying a cost-sensitive learning technique, for which we introduce a scheme of searching for a good cost matrix. Simulation experiments have shown that our proposed method can reduce about 5$\sim$7% of rehandlings when compared to the traditional weight grouping method.

• Proceedings of the Korean Society of Laser Processing Conference
• /
• 1998.11a
• /
• pp.0-0
• /
• 1998

-Part I- As market needs become more various, the production of smaller quantities of a wider variety of products becomes increasingly important. In addition, in order to meet demands for more efficient production, long-term unmanned factory operation is prevailing at a remarkable pace. Within this context, laser machines are gaining increasing popularity for use in applications such as cutting and welding metallic and ceramic materials. FANUC supplies four models of $CO_2$ laser oscillators with laser power ranging from 1.5㎾ to 6㎾ on an OEM basis to machine tool builders. However, FANUC has been requested to produce laser oscillators that allow more compact and lower-cost laser machines to be built. To meet such demands, FANUC has developed six models of Slab type YAG laser oscillators with output power ranging from 150W to 2㎾. These oscillators are designed mainly fur cutting and welding sheet metals. The oscillator has an exceptionally superior laser beam quality compared to conventional YAG laser oscillators, thus providing significantly improved machining capability. In addition, the laser beam of the oscillator can be efficiently transmitted through quartz optical fibers, enabling laser machines to be simplified and made more compact. This paper introduces the features of FANUC’s developed Slab type YAG laser oscillators and their applications. - Part II - All-solid-state lasers employing laser diodes (LD) as a source of pumping solid-state laser feature high efficiency, compactness, and high reliability. Thus, they are expected to provide a new generation of processing tools in various fields, especially in automobile and aircraft industries where great hopes are being placed on laser welding technology for steel plates and aluminum materials for which a significant growth in demand is expected. Also, in power plants, it is hoped that reliability and safety will be improved by using the laser welding technology. As in the above, the advent of high-power all-solid-state lasers may not only bring a great technological innovation to existing industry, but also create new industry. This is the background for this project, which has set its sights on the development of high-power, all-solid-state lasers with an average output of over 10㎾, an oscillation efficiency of over 20%, and a laser head volume of below 0.05㎥. FANUC Ltd. is responsible for the research and development of slab type lasers, and TOSHIBA Corp. far rod type lasers. By pumping slab type Nd: YAG crystal and by using quasi-continuous wave (QCW) type LD stacks, FANUC has already obtained an average output power of 1.7㎾, an optical conversion efficiency of 42%, and an electro-optical conversion efficiency of 16%. These conversion efficiencies are the best results the world has ever seen in the field of high-power all-solid-state lasers. TOSHIBA Corp. has also obtained an output power of 1.2㎾, an optical conversion efficiency of 30％, and an electro-optical conversion efficiency of 12%, by pumping the rod type Nd: YAG crystal by continuous wave (CW) type LD stacks. The laser power achieved by TOSHIBA Corp. is also a new world record in the field of rod type all-solid-state lasers. This report provides details of the above results and some information on future development plans.

• Restorative Dentistry and Endodontics
• /
• v.23 no.1
• /
• pp.68-93
• /
• 1998

The physical properties of polymer are greatly influenced by the extent to which a resin cures. The presence of un reacted monomer can, have a plasticizing effect on the polymer, thereby altering the physical and mechanical properties of dentin bonding agent (DBA). If the DBA does not polymerize sufficiently, it will leave a weak bonding layer and lead to lower bond strength. The purpose of this study was to evaluate the shear bond strengths(SBS) and the degree of conversion (DC) of 4 commercialy avilable dentin bonding systems which are composed of 2 multi-bottle systems [Scotchbond Multi-Purpose (SMP), AeliteBond(AB)] and 2 onebottle systems [SingleBond(SB), One-Step(OS)]. For shear bond strength measurement, labial surfaces of freshly extracted bovine incisors were ground with # 600 grit SiC paper to expose dentin. Four different groups of samples were formed, with 10 samples. being made for each of the 4 commercial DBA in each group according to the curing sequences of DBA and overlayer thickness of composites: Group I (standard cure and 1mm thick composites) : The DBA was light cured and the composites of 1mm thickness was applied ; Group II (standard cure and 2mm thick composites) : The DBA was light cured and the composites of 2mm thickness was applied; Group III (simultaneous cure and 1mm thick composites) : The DBA was not light-cured and simultaneously cured with composites of 1mm thickness; Group N (simultaneous cure and 2mm thick composites) : The DBA was. not light-cured and simultaneously cured with composites of 2mm thickness. The SBS was measured immediately after the composites was bonded to the bovine dentin using an Instron machine. The DC of the DBA was examined in a thin film under simulated conditions of the experimental groups according to the curing sequences and overlayer thickness of composites in the SBS test. using a Fourier transform Infrared(FTIR) spectrometer. The following results were obtained from SBS tests and DC measurements 1. In SBS tests, the multi-bottle DBA(SMP, AB) had a generally higher bond strength values than the one bottle DBA(SB, OS). In DC measurements, the one bottle DBA(SB, OS) had a significantly higher DC than the multi-bottle DBA(SMP, AB). 2. In all DBAs except OS, there was no significant difference between the bond strength of group I (standard cure and 1mm thick composites) and that of group III (simultaneous cure and 1mm thick composites). SMP, SB in Group I had a significantly higher DC than those in group III, but AB, OS in group I had a significantly lower DC than those in group III 3. All DBAs in Goup II (standard cure and 2mm thick composites) had significantly higher bond strength and DC than those in Group N (simultaneous cure and 2mm thick composites). 4. In all DBAs, there was no significantly different SBS and DC between Group I and Group II, but all DBAs in Group III had significantly higher SBS and DC than those in Group IV.

• Journal of KIISE:Software and Applications
• /
• v.28 no.3
• /
• pp.224-238
• /
• 2001

본 논문은 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템을 검증하기 위한 방법을 기술한다. ATM은 임무 위급 시스템인 실시간 시스템을 명세, 분석, 검증하기 위한 정형기법이다. ATM은 모드와 전이, 포트로 구성되어 있으며 모드는 머신의 압축된 상태를 표현한다. 전이는 하나의 모드에서 다른 모드로의 전환을 나타내며 조건과 이벤트로 구성되어 있다. 포트는 ATM간의 상호작용을 위한 진입을 표현한다. 다른 정형기법과 비교하여 ATM은 소프트웨어의 순환공학 과정에서 사용하기 위해 설계되었다. 역공학 측면에서 볼 때 ATM은 계산 논리뿐만 아니라 실시간 시스템의 실제 소스코드에 있는 설계나 환경정보를 표현할 수 있다. 이러한 목적을 위해 ATM의 모드는 계산모드, 추상화 모드, 주제모드로 구분된다. 계산 모드는 코드 상에서의 논리와 계산을 나타내며 추상화 모드는 모드와 전이의 블록을 하나의 ATM으로써 표현한다. 대개의 경우, 이것은 코드 상에서의 블록을 ATM내 하나의 모드로 나타낼 때 사용한다. 주제 모드는 예외나 주기적 동작 등과 같은 다수의 ATM의 주제를 표현한다. 실시간 시스템을 검증하기 위해 시스템의 소스 코드는 역명세 과정을 통하여 ATM으로 표현된다. 검증은 ATM에 대한 도달성 그래프를 생성하는 것에 의해 수행된다. 도달성 그래프는 상태와 시간을 추상화되고 압축된 형태로 표현할 수 있으며 그 결과 시간 속성을 지닌 상태 공간을 감소시킬 수 있다. 또한 시스템의 교착상태를 쉽게 발견할 수 있다. 본 논문은 ATM과 실행 모델, 도달성 그래프, 검증을 위한 속성 등을 기술하며 이들을 다른 정형 방법들과 예제를 통하여 비교한다.수 있다. 모피우스는 헤더나 광고와 같은 불필요한 정보들을 제거하는 별도의 단계를 거치지 않으므로 wrapper를 빠르게 생성한다. 궁극적으로 모피우스는 새로운 웹 상점을 사용자가 자유롭게 추가, 삭제할 수 있는 환경을 제공한다.X>와 반응시킬 경우에는 반응식 c에 의거 진행됨을 예측할 수 있었다.의거 진행됨을 예측할 수 있었다.이 거의 산화되지 않았고, $700^{\circ}C$에서도 ZnS와 ZnO 상이 공존한 것으로 보아 SnO$_2$코팅이 ZnS의 산화를 억제하는 것으로 나타났다.pplied not only to the strike system in the RSC circle, but also to the logistics system in the SLC circle. Thus, the RSLC model can maximize combat synergy effects by integrating the RSC and the SLC. With a similar logic, this paper develops "A Revised System of Systems with Logistics (RSSL)" which combines "A New system of Systems" and logistics. These tow models proposed here help explain several issues such as logistics environment in future warfare, MOE(Measure of Effectiveness( on logistics performance, and COA(Course of Actions)