• 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.

• The Korean Fashion and 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.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.12
• /
• pp.899-912
• /
• 2009

With greater utilization of web application and growth of its market, the function of such application is being expanded With today's increasing demand for high quality software, we see a sharp rise in the interest for web application test. The current trend is that web applications are being developed based on a framework of developmental environment. Hence, as the scope of that framework expands, each module of the entire web application is being configured by the combination of heterogeneous files. The distinctive characteristics of a web application are based on the fact that the framework that is provided in partially completed form controls the structure of all objects of development. The present study defines the web business logic as a minimal unit which has meaning as a unit of application for the web application. In this paper, we define web business logic as a least meaningful execution unit of web applications, propose how to generate automatically the BizUnit test code for it, and analyze the effectiveness of testing of the web application via the BizUnit test codes.

• Journal of The Korean Association of Information Education
• /
• v.21 no.6
• /
• pp.639-646
• /
• 2017

As computational thinking(CT) is gaining focus as a key 21st century skill much attention has been paid to promoting CT through software education. However, more studies are needed to design and implement effective CT assessment methods. This study aims to investigate the effects of three CT assessment methods in a course designed to enhance CT competencies of 52 pre-service teachers with a non-computer science background during one semester. To analyze pre-service teachers' CT competencies, we used 3 CT assessment methods: (1) pre-and post-testing based on Bebras computational thinking challenge questions, (2) Dr. Scratch to analyze group scratch projects automatically, and (3) scratch exam designed in this study to evaluate the development of CT. Our results show the positive effects of integrating assessment methods for promoting CT competencies. We end this paper with the discussion of advantages and implications of this integration.

• Journal of Environmental Health Sciences
• /
• v.40 no.2
• /
• pp.105-113
• /
• 2014

Objectives: It is necessary to apply quantitative structure activity relationship (QSAR) for the various chemicals with insufficient toxicity data that are used in the workplace, based on the precautionary principle. This study aims to find application plan of QSAR software tool for predicting health hazards such as genetic toxicity, and carcinogenicity for some chemicals used in the electronics industries. Methods: Toxicity prediction of 21 chemicals such as 5-aminotetrazole, ethyl lactate, digallium trioxide, etc. used in electronics industries was assessed by Toxicity Prediction by Komputer Assisted Technology (TOPKAT). In order to identify the suitability and reliability of carcinogenicity prediction, 25 chemicals such as 4-aminobiphenyl, ethylene oxide, etc. which are classified as Group 1 carcinogens by the International Agency for Research on Cancer (IARC) were selected. Results: Among 21 chemicals, we obtained prediction results for 5 carcinogens, 8 non-carcinogens and 8 unpredictability chemicals. On the other hand, the carcinogenic potential of 5 carcinogens was found to be low by relevant research testing data and Oncologic TM tool. Seven of the 25 carcinogens (IARC Group 1) were wrongly predicted as non-carcinogens (false negative rate: 36.8%). We confirmed that the prediction error could be improved by combining genetic toxicity information such as mutagenicity. Conclusions: Some compounds, including inorganic chemicals and polymers, were still limited for applying toxicity prediction program. Carcinogenicity prediction may be further improved by conducting cross-validation of various toxicity prediction programs, or application of the theoretical molecular descriptors.