• Journal of the Korea Society of Computer and Information
• /
• v.13 no.3
• /
• pp.57-63
• /
• 2008

As diverse memory cards based on NAND flash memory are getting popularity with consumer electronics such as digital camera, camcorder and MP3 player the compatibility problems between a newly developed memory card and existent host systems have become a main obstacle to time-to-market delivery of product. The common practice for memory card compatibility test is to use a real host system as a test bed. As an improved solution, an FPGA-based prototyping board can be used for emulating host systems. However, the above approaches require a long set-up time and have limitations in representing various host and device systems. In this paper, we propose a co-validation environment for compatibility test between memory card and host system using formal modeling based on Esterel language and co-simulation methodology. Finally, we demonstrate the usefulness of the proposed environment with a case study of real memory card development.

• Journal of Korean Society of Water and Wastewater
• /
• v.31 no.4
• /
• pp.321-328
• /
• 2017

Recently EC-MBR (Elctrocoagulation - Membrane Bio Reactor) has been suggested as one of alternative processes to overcome membrane fouling problems. Most important operational parameters in the EC-MBR are known to current density and contact time. Their effect on membrane filtration performances has been reported well, however, quantitative interrelationship between both parameters not been investigated yet. The purpose of this study is to give a kinetic model suggesting the current density and the contact time required to reduce the membrane fouling. The 4 different set of current densities (2.5, 6, 12 and $24A/m^2$) and contact times (0, 2, 6 and 12 hr) were selected as operational parameters. After each electro-coagulation under the 16 different conditions, a series of membrane filtration was carried out. The membrane fouling decreased as the current density and contact time increased, Total fouling resistances under different conditions, $R_t(=R_c+R_f)$ were calculated and compared to those of the controls ($R_0$), which were calculated from the data of experiments without electro-coagulation. A kinetic approach for the fouling reduction rate ($R_t/R_0$) was carried out and the equation ${\rho}^{0.46}_it=7.0$ was obtained, which means that the product of current density and the contact time needed to reduce the fouling in certain amounts (in this study, 10% of fouling reduction) is always constant.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.234-246
• /
• 1999

As an application software in distributed computing environment becomes large, the number of objects to be created increases drastically and the interfaces among them become very complex, The concept of group object resolves this problem to some extent by grouping a set of related objects, encapsulating them and controlling their interfaces systematically. In this paper, we propose an implementation model f the group object concept in CORBA, which is a standard middle ware for developing distributed application software on heterogeneous networks. To support group objects we extends CORBA ORB without modifying its internal structure for the compatibility with existing CORBA applications. And we devise an interface definition language by extending CORBA IDL to describe group objects in a language-independent style, which is one of the most important characteristics in CORBA. Finally, we experiment the implementation model on a CORBA ORB compliant product which supports the Java language.

• Journal of Digital Convergence
• /
• v.18 no.8
• /
• pp.29-35
• /
• 2020

This study identified the impact of augmented reality advertising on attitude toward advertising and memory according to the type of presence and flow level. The presence (cognitive, emotional, media) and flow level (high vs. low) of the augmented reality(AR) advertising were set as independent variables and analyzed by Two-Way MANOVA. As a result of the research, first, the augmented reality advertising attitude was positive when the emotional presence and flow level were high. Second, when the flow level is high, the ARM such as product attribute information increases, but when the flow level is low, the evaluation-oriented GRM increases. Third, emotional presence increases GRM when the flow level is high, but ARM increases when the flow level is low. Fourth, the memory effect was low regardless of the flow level. In the future research, it would be desirable to produce augmented reality advertisements through virtual brands in the generalization of research.

• Korean Journal of Veterinary Service
• /
• v.36 no.2
• /
• pp.95-103
• /
• 2013

The hazard analysis critical control point (HACCP) system was introduced to the Korean livestock slaughter and product processing business in 1997. Ice cream manufacturers focus on the sterilization process in order to reduce microorganism, so the HACCP-accredited ice cream manufacturers particularly set the sterilization process as critical control point (CCP). Therefore, the microbiological test results on the finished products can be considered as one of the indicators which show the level of microbiological control in the ice cream manufacturers. Accordingly, this study was carried out to examine if there is a meaningful difference in terms of the microbiological control level between the HACCP-accredited and non-accredited ice cream manufacturer groups by comparing aerobic plate count (APC) of ice creams. The mean of APC was 1.68 Log CFU/g in the HACCP-accredited ice cream manufacturer group and 2.59 Log CFU/g in the non-accredited ones respectively and there was a statistically significant difference (P<0.05). The test results suggest that the level of microbiological control in the HACCP-accredited ice cream manufactures is much higher than that of non-accredited ones.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.17 no.4
• /
• pp.67-76
• /
• 2015

The purpose of this study is to set a direction for the development of men's underwear after analyzing current applications for patent regarding men's special-purpose underwear. In terms of a research method, the disclosed patents and utility models were investigated using the patent information database provided by Korea Institute of Patent Information (KIPRIS, http://www.kipris.or.kr). For this, the patents applied from 1990 to October 2015 were targeted. The keywords used for patent search were 'men's underwear' and 'men's special-purpose underwear.' When searched by the keywords above, a total of 1,089 cases were found. Except for expired or cancelled ones, 243 cases were investigated. Then, annual application trends, current registrations on literature records, classification of utility model right holders and contents by topic were analyzed. In terms of data analysis, frequency analysis, crosstabulation analysis and multiple response analysis were conducted, using SPSS 18.0. The results found the followings: In terms of annual application trends, the number of applications for patent started to gradually increase since 2007. Since 2011, it has rapidly increased. In terms of the number of patent registrations, literature registration was far higher than utility model registration. In terms of application rights, 'individually registered (58.8%)' was higher than 'registered by the organization (41.2%).' Among 243 cases, 'underwear (58%)' was the highest, followed by 'men's underwear-related items (29.2%)' and 'thermals (8.2%).' According to analysis on the details of the patent applied for men's underwear, 'penis-scrotum separation' was most focused, followed by 'disposable product' 'airy features,' 'scrotum protection' and 'structure of underwear.'

• Journal of Korea Game Society
• /
• v.14 no.5
• /
• pp.137-146
• /
• 2014

Recently, the games on the market are getting rich and excellent in the category of design and productions. The style and production quality of cut-scenes also have achieved a continuous development, so how to stand out from multiple designs and gain popularity always acts as a challenge to designers. However, such design strategy up to developers will be failed to judge whether or not design achievements are loved by players and thus cannot meet rapidly changing market demands on both in a quantity and quality. Therefore, this study holds that cut-scene design for video games must set out from user-centered design(UCD). According to literatures with respect to product market, we know that Market Pull imposes far more impacts on success in bringing new products to the market than the technology Push, hence players actually determines the success of a game in competitive game market. This study will help to enhance the immersion of playing game, including the interest and standing out the designer's message without distorting the original impression in the game publishing environment.

• Industrial Engineering and Management Systems
• /
• v.9 no.3
• /
• pp.285-293
• /
• 2010

To obtain visible and traceable information from the supply chain, HW/SW standards for the EPC global network, which process electronic product code (EPC) data read from Radio frequency identification (RFID) tags, are regarded as the de facto industry standard. Supply chain participants install information service systems and provide logistics information to partners by following the EPCglobal architecture framework. Although quality of service (QoS) is essential for providing dependable and scalable services as pointed out by Auto-ID Lab, only a few models for the performance analysis of QoS-related work have been developed in the context of EPC information service systems. Specifically, doing so allows alternative design choices to be tested in an easy and cost-effective manner and can highlight potential performance problems in designs long before any construction costs are incurred. Thus, in this study we construct a model of an EPC information service system for the purposes of performance analysis and designing a dependable system. We also develop a set of building blocks for analytical performance models. To illustrate how the model works, we determine the characteristics of an EPC information service system and then select a combination of these proven modeling concepts. We construct a performance model that considers the response time and shows how to derive meaningful performance values. Finally, we compare the analytical results to measurements of the EPC information service system.

• Honam Mathematical Journal
• /
• v.1 no.1
• /
• pp.21-25
• /
• 1979

Abelian군(群)의 presheaf에 관한 직적(直積)과 직화(直和)를 Category 입장에서 정의(定義)하고 presheaf $F_{\lambda}\;({\lambda}{\epsilon}{\Lambda})$들의 두 직적(直積)(또는 直和)은 서로 동형적(同型的) 관계(關係)에 있으며, 특히 ${\phi}:X{\rightarrow}Y$가 homeomorphism이라 하고 ${\phi}_*F$를 X상(上)의 presheaf F의 direct image이라 하면 (1) $({\phi}_*F, \;{\phi}_*(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직적(直積)일 때 오직 그때 한하여 $(F,\;(f_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직적(直積)이다. (2) $({\phi}_*F,\;{\phi}_*(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$가 $({\phi}_*F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}$의 직화(直和)일 때 오직 그때 한하여 $(F,\;(l_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$는 $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$의 직화(直和)이다. Let $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ be an indexed set of presheaves of abelian group on topological space X. We can define the cartesian product $$\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda}$$ of $(F_{\lambda})_{{\lambda}{\epsilon}{\Lambda}})$ by $$(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U)=\prod_{{\lambda}{\epsilon}{\Lambda}}(F_{\lambda}(U))$$ for U open in X $${\rho}_v^u:\;(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(U){\rightarrow}(\prod_{{\lambda}{\epsilon}{\Lambda}}\;F_{\lambda})(V)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}(_{\lambda}{\rho}_v^u(s_{\lambda}))_{{\lambda}{\epsilon}{\Lambda}})$$ for $V{\subseteq}U$ open in X where $_{\lambda}{\rho}^U_V$ is a restriction of $F_{\lambda}$, And we have natural presheaf morphisms ${\pi}_{\lambda}$ and ${\iota}_{\lambda}$ such that ${\pi}_{\lambda}(U):\;({\prod}_\;F_{\lambda})(U){\rightarrow}F_{\lambda}(U)((s_{\lambda})_{{\lambda}{\epsilon}{\Lambda}}{\rightarrow}s_{\lambda})$ ${\iota}_{\lambda}(U):\;F_{\lambda}(U){\rightarrow}({\prod}\;F_{\lambda})(U)(s_{\lambda}{\rightarrow}(o,o,{\cdots}\;{\cdots}o,s_{\lambda},o,{\cdots}\;{\cdots}o)$ for $(s_{\lambda}){\epsilon}{\prod}_{\lambda}\;F_{\lambda}(U)$ and $(s_{\lambda}){\epsilon}F_{\lambda}(U)$.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.38 no.3
• /
• pp.78-86
• /
• 2015

Up-to-date business environment for manufacturers is very complex and rapidly changing. In other words, companies are facing a variety of changes, such as diversifying customer requirements, shortening product life cycles, and switching to small quantity batch production. In this situation, the companies are introducing the concept of JIT (just-in-time) to solve the problem of on-time production and on-time delivery for survival. Though many companies have introduced ERP (enterprise resource planning) systems and MRP (material requirement planning) systems, the performance of these systems seems to fall short of expectations. In this paper, the case study on introducing an APS (advanced planning and scheduling) system based on dispatching rules to a machining company and on finding a method to establish an efficient production schedule is presented. The case company has trouble creating an effective production plan and schedule, even though it is equipped with an MRP-based ERP system. The APS system is applied to CNC (computer numerical control) machines, which are key machines of the case company. The overall progress of this research is as follows. First, we collect and analyze the master data on individual products and processes of the case company in order to build a production scheduling model. Second, we perform a pre-allocation simulation based on dispatching rules in order to calculate the priority of each order. Third, we perform a set of production simulations applying the priority value in order to evaluate production lead time and tardiness of pre-defined dispatching rules. Finally, we select the optimal dispatching rule suitable for work situation of the case company. As a result, an improved production schedule leads to an increase in production and reduced production lead time.