• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.854-861
• /
• 2005

The functional behavior of a portable consumer electronic (PCE) product is nearly all expressed with human-machine interaction (HMI) tasks. Although physical prototyping and computer aided design (CAD) software can show the appearance of the product, they cannot properly reflect its functional behavior. In this paper, we propose a virtual prototyping (VP) system that incorporates virtual reality and HMI functional simulation in order to enables users to capture not only the realistic look of a PCE product but also its functional behavior. We obtain geometric part models of the product and their assembly and kinematics information with the help of CAD and reverse engineering tools, and visualize them with various display tools. We adopt state transition methodology to capture the HMI functional behavior of the product into a state transition chart, which is later used to construct a finite state machine (FSM) for the functional simulation of the product. The FSM plays an important role to control the transition between states of the product. The proposed VP system receives input events such as mouse clicks on buttons and switches of the virtual prototype model, and it reacts to the events based on the FSM by activating associated activities. The VP system provides the realistic visualization of the product and the vivid simulation of its functional behavior. It can easily allow users to perform functional evaluation and usability testing. Moreover, it can greatly reduce communication errors occurring in a typical product development process. A case study about VP of an MP3 player is given to show the usefulness of the proposed VP system.

• International Journal of Concrete Structures and Materials
• /
• v.7 no.3
• /
• pp.225-238
• /
• 2013

In this study, a two-layer feed-forward neural network was constructed and applied to determine a mapping associating mix design and testing factors of cement-nano silica (NS)-rice husk ash ternary blended concrete samples with their performance in conductance to the water absorption properties. To generate data for the neural network model (NNM), a total of 174 field cores from 58 different mixes at three ages were tested in the laboratory for each of percentage, velocity and coefficient of water absorption and mix volumetric properties. The significant factors (six items) that affect the permeability properties of ternary blended concrete were identified by experimental studies which were: (1) percentage of cement; (2) content of rice husk ash; (3) percentage of 15 nm of $SiO_2$ particles; (4) content of NS particles with average size of 80 nm; (5) effect of curing medium and (6) curing time. The mentioned significant factors were then used to define the domain of a neural network which was trained based on the Levenberg-Marquardt back propagation algorithm using Matlab software. Excellent agreement was observed between simulation and laboratory data. It is believed that the novel developed NNM with three outputs will be a useful tool in the study of the permeability properties of ternary blended concrete and its maintenance.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.30 no.4
• /
• pp.573-582
• /
• 2020

Fuzzing is a method of testing software by randomly generating test cases. Since its introduction, a variety of fuzzing techniques have been studied. Among them, mutation-based fuzzing is an efficient method that finds real-world bugs even though it uses a simple approach such as probabilistic bit-flipping and character substitution. However, the interpreter fuzzing has difficulty in applying general mutation techniques because the interpreter requires grammar and semantic correctness input values. In this paper, we present a novel mutation-based fuzzing on JavaScript interpreters with a dynamic data flow analysis. To this end, we implement JMFuzzer that can generate various types of mutated test cases that operate normally without runtime errors in JavaScript interpreter considering syntax and semantics. As a result, we found numerous unknown vulnerabilities in the latest JavaScript interpreters. We reported all of them to the vendors.

• Journal of KIISE:Software and Applications
• /
• v.28 no.9
• /
• pp.662-668
• /
• 2001

Since the problem of disproving a tautology is as hard as the problem of proving it, no polynomial time algorithm for falsification(or testing invalidity) is feasible. Previous algorithms are mostly based on either divide-and-conquer or graph representation. Most of them demonstrated satisfactory results on a variety of input under certain constraints. However, they have experienced difficulties dealing with big input. We propose a new falsification algorithm using a Merge Rule to produce a counterexample by constructing a minterm which is not satisfied by an input expression in DNF(Disjunctive Normal Form). We also show that the algorithm is consistent and sound. The algorithm is based on a greedy method which would seek to maximize the number or terms falsified by the assignment made at each step of the falsification process. Empirical results show practical performance on big input to falsify randomized nontautological problem instances, consuming O(nm$^2$) time, where n is the number of variables and m is number of terms.

• Journal of KIISE:Software and Applications
• /
• v.31 no.1
• /
• pp.8-19
• /
• 2004

In this paper, we propose an efficient method for locating destination address block on both of machine-Printed and handwritten Korean mail piece images. The proposed method extracts connected components from the binary mail piece image, generates text lines by merging them, and then groups the text fines into nine clusters. The destination address block is determined by selecting some clusters. Considering the geometric characteristics of address information on Korean mail piece, we split a mail piece image into nine areas with an equal size. The nine clusters are initialized with the center coordinate of each area. A modified Manhattan distance function is used to compute the distance between text lines and clusters. We modified the distance function on which the aspect ratio of mail piece could be reflected. The experiment done with live Korean mail piece images has demonstrated the superiority of the Proposed method. The success rate for 1, 988 testing images was about 93.56%.

• Atmosphere
• /
• v.17 no.4
• /
• pp.339-348
• /
• 2007

Global Environment Laboratory at Yonsei University in Seoul ($37.57^{\circ}N$, $126.95^{\circ}E$) has carried out the ozone layer monitoring program in the framework of the Global Ozone Observing System of the World Meteorlogical Organization (WMO/GAW/GO3OS Station No. 252) since May of 1984. The daily measurements of total ozone and the vertical distribution of ozone amount have been made with the Dobson Spectrophotometer (No.124) on the roof of the Science Building on Yonsei campus. From 2004 through 2006, major parts of the manual operations are automated in measuring total ozone amount and vertical ozone profile through Umkehr method, and calibrating instrument by standard lamp tests with new hardware and software including step motor, rotary encoder, controller, and visual display. This system takes full advantage of Windows interface and information technology to realize adaptability to the latest Windows PC and flexible data processing system. This automatic system also utilizes card slot of desktop personal computer to control various types of boards in the driving unit for operating Dobson spectrophotometer and testing devices. Thus, by automating most of the manual work both in instrument operation and in data processing, subjective human errors and individual differences are eliminated. It is therefore found that the ozone data quality has been distinctly upgraded after automation of the Dobson instrument.

• Fashion & Textile Research Journal
• /
• v.16 no.1
• /
• pp.128-136
• /
• 2014

The virtual try-on technologies of the current level have limitations with material expression as well as some difficulties with commercialization. There are differences in simulation results and subjective evaluations perceived by consumers according to the types and physical characteristics of materials used in virtual try-on simulations. This study were to analyze the exterior clothing shapes and visual images from 3D virtual try-on simulations with materials whose drapability was differentiated and then test the accuracy of the expression of the drapability of the materials. The study carried out 3D virtual try-on simulations by selecting flared skirts as an item to best express differences in drapability along with five materials of different physical properties and offered some basic data for greater utilization of virtual try-on simulations by comparing and analyzing them with the exterior shapes and visual images of actual flared skirts. The analysis results of hemline shapes between actual and virtual try-on according to the types of materials showed no match among the quantitative items of exterior shapes factors. There were no significant differences in the visual images except for "soft" according to the simulation methods, which means that the items can serve as part of a scale for visual image comparison. It is necessary to reflect quantitative numbers regarding "drapability" proposed in the study simulation software and to continue to build a systematic database for virtual simulations by investigating and testing various materials.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.19 no.4
• /
• pp.7-18
• /
• 2013

Purpose: The aim of this paper is to reduce the stress and the disturbance occur in selective action of patient. This article will also help us to control spreading and reduce the order and bacteria produced by leprosy disease among the lepers. This will be achieved with the help of several variables and these variables help us on health benefits is 5S (Sort, Straighten, Shine, Standardize, Sustain) i.e. ratio of sectional morphology, lessor 90 degree angles, day light, universal design building and maximum ventilation. The replies from the questionnaire were collected based on varying levels of satisfaction and gloominess on the scale of 1-10. Methods: The multi-layer methodological framework for maximising the healing environment obtained from the observation of schemes and parameters of ANOVA: (Analysis Of Variance between five deciding factors) are. Firstly applied for the calculation of the patient's satisfaction for U.V light from sun on ECOTECT simulation, secondly the number of $90^{\circ}$ angle, along the corridors. Thirdly understanding the ways to represent people's perceptual structures and way finding with Space Syntax software. Fourthly the ratio of depth to height of the building typology and finally interviewing the subjects describing their special experiences based on scale value. The focus of this testing of human subjects was to receive data for the existence of image scheme in way-finding and to identify the mechanisms by which sun light impacts human (lepers) health. Results: AMPVA studies concluded that there is similarity between I and O plan as well as L and H plan whereas U plan was difference among the five selected architectural shapes. Implications: The purpose of this research is to show the effects of the I-type, L-type, C-type, U-type and O-type plan design, and to analyse the morphology for EBD (Evidence-Based Design) healing environment which is a universal design for Munghopir Karachi, in Pakistan.

• Structural Engineering and Mechanics
• /
• v.74 no.6
• /
• pp.789-807
• /
• 2020

Multiple earthquakes that occur during short seismic intervals affect the inelastic behavior of the structures. Sequential ground motions against the single earthquake event cause the building structure to face loss in stiffness and its strength. Although, numerous research studies had been conducted in this research area but still significant limitations exist such as: 1) use of traditional design procedure which usually considers single seismic excitation; 2) selecting a seismic excitation data based on earthquake events occurred at another place and time. Therefore, it is important to study the effects of successive ground motions on the framed structures. The objective of this study is to overcome the aforementioned limitations through testing a two storey RC building structural model scaled down to 1/10 ratio through a similitude relation. The scaled model is examined using a shaking table. Thereafter, the experimental model results are validated with simulated results using ETABS software. The test framed specimen is subjected to sequential five artificial and four real-time earthquake motions. Dynamic response history analysis has been conducted to investigate the i) observed response and crack pattern; ii) maximum displacement; iii) residual displacement; iv) Interstorey drift ratio and damage limitation. The results of the study conclude that the low-rise building model has ability to resist successive artificial ground motion from its strength. Sequential artificial ground motions cause the framed structure to displace each storey twice in correlation with vary first artificial seismic vibration. The displacement parameters showed that real-time successive ground motions have a limited impact on the low-rise reinforced concrete model. The finding shows that traditional seismic design EC8 requires to reconsider the traditional design procedure.

• The Journal of the Korea Contents Association
• /
• v.13 no.6
• /
• pp.137-147
• /
• 2013

The purpose of this study is to examine what variables influence on tweet credibility and attitude toward tweet. For this, the present research used the tweet content(information/opinion), tweet function(without URL and RT/URL/RT) and involvement(low/hight) as independent variables and applied a triangular research design which are in-depth interview, survey and computer usability testing software. Main findings are as follows. First, the participants read tweets listed in order regardless of tweet content, function and involvement. Second, there was a significant main effect of the tweet content on the tweet credibility and an interaction effect of those three independent variables on the attitude toward tweet. Finally, the in-depth interview showed that information is perceived to be more credible than opinion and URL>RT>just information or opinion are listed in order on the tweet credibility.