• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.10
• /
• pp.3885-3892
• /
• 2010

Safety-Critical systems, such as Plant Protection Systems in nuclear power plant, plays a key role that the facilities can be operated without undue risk to the health and safety of public and environment, and those systems shall be designed, fabricated, installed, and tested to quality standards commensurate with the importance of the functions to be performed. Computer-based Instrumentation and Control Systems to perform the safety-critical function have Real Time Operating Systems to control and monitoring the sub-system and executing the application software. The safety-critical Real Time Operating Systems shall be designed, analyzed, tested and evaluated to have capability to maintain a high integrity and quality. However, local nuclear power plants have applied the real time operating systems on safety critical systems through Commercial Grade Item Dedication method, and this is the reason of lack of detailed methodology on assessing the safety of real time operating systems, expecially to the new developed one. This paper presents the methodology and experiences of safety evaluation on safety-critical Real Time Operating Systems based upon design requirements. This paper may useful to develop and evaluate the safety-critical Real Time Operating Systems in other industry to ensure the safety of public and environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.3
• /
• pp.1417-1426
• /
• 2011

Business still relies heavily on pen and paper for legal reasons or convenience. The handwritten document is to be converted into digitalized document for IT system to manage and process in real time. Because the previous document digitalization systems convert the handwritten documents into digitalized documents by scanning and post-processing the documents, it is difficult to seamlessly proceed the work process. This paper proposes the LiveForm, a framework for digitalizing handwritten document using digital pen and handwriting recognition technology. To prove the applicability of the proposed LiveForm, we also implement a LiveForm based service in industrial gas distribution process and analyze effects of the system. The LiveForm generates the same digital image as the handwritten document by writing up the paper with absolute coordinates by digital pen and converts the handwriting data to digital text to insert the information into back-end system. The LiveForm based system eliminates scanning for document digitalization and data input with keyboard into back-end system in paper-based information gathering. Therefore, it is possible for the LiveForm to improve work process in various business areas.

• The KIPS Transactions:PartA
• /
• v.12A no.1 s.91
• /
• pp.53-58
• /
• 2005

The use of computers for control and monitoring of industrial process has expanded greatly in recent years. The computer used in such applications is shared between a certain number of time-critical control and monitor function and non time-critical batch processing job stream. Embedded systems encompass a variety of hardware and software components which perform specific function in host computer. Many embedded system must respond to external events under certain timing constraints. Failure to respond to certain events on time may either seriously degrade system performance or even result in a catastrophe. In the design of real-time embedded system, decisions made at the architectural design phase greatly affect the final implementation and performance of the system. Flexibility indicates how well a particular system architecture can tolerate with respect to satisfying real-time requirements. The degree of flexibility of real-time system architecture indicates the capability of the system to tolerate perturbations in timing related specifications. Given degree of flexibility, one may compare and rank different implementations. A system with a higher degree of flexibility is more desirable. Flexibility is also an important factor in the trade-off studies between cost and performance. In this paper, it is identified the need for flexibility function and shows that the existing real-time analysis result can be effective. This paper motivated the need for a flexibility for the efficient analysis of potential design candidates in the architectural design exploration or real time embedded system.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.33 no.10
• /
• pp.1676-1684
• /
• 2004

Gel properties of recovered protein from mackerel, frozen blackspotted croaker, chicken breast and pork leg using acidic and alkaline processing were evaluated. Myofibrillar protein from mackerel by acidic processing did not form a heat-induced gel. However, the recovered protein including sarcoplasmic protein formed heatinduced gel. Breaking force of gel from mackerel processed at pH 10.5 was the lowest. A deformation value of frozen blackspotted croaker was the highest, followed by chicken breast, pork leg and mackerel. Whiteness of frozen blackspotted croaker was the highest among heat-induced gel. Breaking force, deformation and whiteness were decreased by addition of recovered protein from mackerel, but price was increased. A breaking force and whiteness of heat-induced gel added recovered protein from chicken breast were increased, and the price was greatly decreased. When the constraint of breaking force, deformation and price of raw material were set up above 110 g, 4.5 mm and below 2,000 won/kg. A optimum formulation for blending protein was 36∼50% for frozen blackspotted croaker, 34∼40% for chicken breast, 14∼25% for pork leg. The heat-induced gel of recovered protein from frozen blackspotted croaker showed compact structure compared to that of recovered protein from mackerel. A formulation of chicken breast and pork leg based on blackspotted croaker can be used in surimi based seafood products having various texture.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.33 no.10
• /
• pp.1668-1675
• /
• 2004

The effect of pH on surface hydrophobicity, sulfhydryl group, infrared spectrum, SDS-PAGE (sodium dodecyl sulfate-polyacrylamide gel electrophoresis) pattern and enthalpy was investigated in recovered protein from mackerel and frozen blackspotted croaker by alkaline processing. Hydrophobic residue in myofibrillar protein exposed to the surface of protein, and hydrophobic interaction were the highest around 6$0^{\circ}C$. The surface hydrophobicity was different between myofibrillar protein and myofibrillar protein including sarcoplasmic protein (recovered protein). The peak at 1636 c $m^{-l}$ was increased with pH, and the recovered protein was unfolded in alkali pH. Difference of surface and total sulfhydryl group at pH 7.0 and 10 was comparative high, and decrease of surface sulfhydryl group indicated formation of S-S bonds. Mackerel and frozen blackspotted croaker in alkaline pH showed bands of polymerized myosin heavy chain on SDS-PAGE pattern. The transition temperatures of recovered protein were 33.1, 44.3 and 65.5$^{\circ}C$. Gelation of recovered protein from alkali processing was estimated by increase of $\beta$-sheet structure by pH treatment, S-S bonds by oxidation of surface sulfhydryl group in heating, polymerization of myosin heavy chain in order.r.

• Journal of KIISE:Information Networking
• /
• v.31 no.6
• /
• pp.643-658
• /
• 2004

Mobile ad hoc networks(MANET) have recently attrarted a lot of attention in the research community as well as in industry. Although the previous research mainly focused on the various problems of MANET in data link and network layers, we consider, in this paper, how to efficiently support applications such as service discovery on top of MANET. Peer-to-Peer(P2P) overlay network can be adopted to service discovery mechanism because P2P and MANET share certain similarities, primarily the fact that both arc instances of self-organizing decentralized systems. Especially, distributed hash table(DHT) systems used for r2r overlay network can be effective in reducing the communication overhead in service discovery. However, since overlay network is independent of physical network topology and existing topology-aware mechanisms are based on the wired network, they are inefficient in MANET. We propose a proximity-based overlay network routing to overcome the inefficiency of routing in overlay network. In the proximity-based overlay network routing, each node collects information of physically close nodes by using one hop broadcast and routes messages to the logically closest node to destination. In a detailed ns-2 simulation study, we show that the proximity-based overlay network routing reduces the number of physical hops comparable to the flooding-based mechanism with low communication overhead. We also find that the proposed scheme works well in the mobile environment.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.3
• /
• pp.699-707
• /
• 2016

This paper proposes a low-complexity central processing unit (CPU) that is suitable for deeply embedded systems, including Internet of things (IoT) applications. The core features a 16-bit instruction set architecture (ISA) that leads to high code density, as well as a multicycle architecture with a counter-based control unit and adder sharing that lead to a small hardware area. A co-processor, instruction cache, AMBA bus, internal SRAM, external memory, on-chip debugger (OCD), and peripheral I/Os are placed around the core to make a system-on-a-chip (SoC) platform. This platform is based on a modified Harvard architecture to facilitate memory access by reducing the number of access clock cycles. The SoC platform and CPU were simulated and verified at the C and the assembly levels, and FPGA prototyping with integrated logic analysis was carried out. The CPU was synthesized at the ASIC front-end gate netlist level using a $0.18{\mu}m$ digital CMOS technology with 1.8V supply, resulting in a gate count of merely 7700 at a 50MHz clock speed. The SoC platform was embedded in an FPGA on a miniature board and applied to deeply embedded IoT applications.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.1
• /
• pp.888-894
• /
• 2015

Inorganic composite particles have excellent physical and chemical characteristics and have been applied in various industries. Recently, many studies have examined the optical properties, such as light scattering, refraction, transmission characteristics, by coating organic-inorganic materials on a substrate, such as mica. Mica is widely applied as a pigment, plastics, painted products, and ceramics because of its high chemical stability, durability and non-toxicity. Magnesium oxide has a range of properties, such as high light transmittance, corrosion resistance and non-toxicity, and it is used as an optical material and polymer additives. To use the optical properties of mica and magnesium oxide, mica was coated with magnesium hydroxide by a dissolution and recrystallization process. In this study, the optimal conditions for the haze value of the particles were found by adjusting the amount of precursors and pH. Magnesium hydroxide layers were formed on the surfaces of mica and converted to MgO after calcination at $400^{\circ}C$ for 4 h. The results showed that the value of MgO-coated mica haze can be controlled easily by the amount of the magnesium hydroxide and pH. The optical properties of the inorganic composite powder were analyzed using a hazemeter and the highest haze value was 85.92 % at pH 9. The physicochemical properties of the synthesized composite was analyzed by SEM, XRD, EDS, and PSA.

• Korean Journal of Remote Sensing
• /
• v.27 no.2
• /
• pp.203-211
• /
• 2011

Recently, information communication technologies such as smartphone or mobile app greatly affect various application fields including geo-spatial domain. And development scheme of mobile web app or hybrid app regards as the most important computing technology which is combined each advantage of mobile app and mobile web. Despite these trends, it is general case that satellite images are used for the background image for other contents services. With this motivation, hybrid app for geo-metadata as the base for dissemination and service is designed and implemented as the prototype, in this study. At the design stage, HTML5, which is the core technology on an international standardization process for hybrid app, is applied. In the implementation, PhoneGap and Sencha Touch as mobile SDK(Software Development Kit) supporting HTML5 on cross-platform in open sources are used. In prototype, some KOMPSAT-2 images covering small area and mandatory elements in geo-metafata standard are tested. As mobile industry applications and business service models based on satellite images on mobile platform are progressing and diversifying, it is expected that this approach and implemented prototype are considered as an important reference.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.39 no.6
• /
• pp.477-483
• /
• 2015

Investigations into cavity flows have been conducted for noise and vibration problems that arise in cavity systems. Cavity systems have been applied in engineering devices and have undergone rapid development in the aerospace industry. Meanwhile, to the author's best knowledge, the cavity on a curved wall has been seldom studied. The present work is conducted to study the flow physics of a cavity mounted on a curved wall. Numerical analysis is performed to investigate the cavity flow. Two variables of sub- and supersonic cavity flows were considered: the radius of curvature of the curved wall (L/R) and the inlet Mach number. The results show that the uniform vortex generated by the cavity flow on the curved wall stabilize the pressure fluctuation as time passes. As the inlet Mach number increases, the pressure fluctuation amplitude increases. The results obtained from the curved wall are compared with those from a straight wall using Rossiter's formula. The Strouhal number of the curved wall is lower than that of the straight wall. Lower Strouhal numbers have been obtained in the present computational fluid dynamics (CFD) results than in the theoretical results using Rossiter's formula.