• Archives of design research
• /
• v.12 no.3
• /
• pp.143-152
• /
• 1999

Although in art an idea which visualizes a certain concept is generally such an essential part as it would be decisive to the success or failure of an art work in reality various difficulties are involved in idea making. Thus, directions for the idea making for visualization works are suggested in this paper. This paper classifies several cases of expression skills among non-abstracts showing the contents which visualize abstract concepts in western art after Renaissance when freedom of individual artistic expression and personal characteristics initiated. Also, this paper selects and introduces art works in which expression skills can be obviously explained. The expression skills are divided into symbolizing, allegory, specific pattern, non-abstract skills of surrealism, metaphysical distortion of logic and situation fixing, and specific examples on how the abstract concepts are formed and delivered are described. This is a case study done for the purpose of supplying help for the idea making in the applied art field which is lack of this kind of study.

• Journal of KIISE
• /
• v.41 no.12
• /
• pp.1099-1109
• /
• 2014

Web-accessibility evaluation tools can be used to determine whether or not a website meets accessibility guidelines. As such, many such tools have been developed for web accessibility, but most of them dynamically fetch and analyze pages and as a result, some pages maybe omitted due to the lack of access authorization or environment information. In this paper, we propose a static method that analyzes web accessibility via abstract parsing. Our abstract parsing technique understands syntactic and semantic program structures that dynamically generate web pages according to external inputs and parameters. The static method performs its analysis without omitting any pages because it covers all execution paths. We performed an experiment with a PHP-based website to demonstrate how our tool discovers more accessibility errors than a dynamic page accessibility analysis tool.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Journal of Korean Elementary Science Education
• /
• v.38 no.2
• /
• pp.275-286
• /
• 2019

The purpose of this study is to investigate the features of inquiry activities using technology in the 2015 revised elementary science digital textbooks. For this, we analyzed the features of inquiry context and inquiry method presented in inquiry activities using three kinds of technology: Virtual experiment, virtual reality and augmented reality. As a result, firstly, the most common types of 77 inquiry activities were realistic type which shows the phenomenon actually and vividly as possible and realistic-abstract type which shows the phenomena with the abstract concepts. Second, the ways of using three technologies were different depending on the processes of inquiry and the sub-domains of science. For example, virtual experiment technologies were mostly used in the contents of physics and chemistry with the inquiry context of realistic-abstract type for investigating the relationship between variables of experiments and describing the phenomena mechanically. On the other hand, virtual reality and augmented reality techniques tended to be used more frequently in biology and earth science contents with the inquiry context of realistic type for observing and describing the phenomena. Finally, we discussed educational implications in terms of developing and applying technology-based inquiry activities.

• Optical Science and Technology
• /
• v.5 no.4
• /
• pp.44-51
• /
• 2001

No Abstract, See Full-text

• Optical Science and Technology
• /
• v.5 no.4
• /
• pp.3-4
• /
• 2001

No Abstract, See Full-text

• Journal of the Korea Furniture Society
• /
• v.20 no.4
• /
• pp.374-387
• /
• 2009

Gerrit Rietveld who is Dutch architect and furniture designer had explored the plastic abstractness based on the universality of De Stijl principle. He had tried to expand the boundary of furniture design bound to traditional form and decorative aesthetics. Beginning of 20th century, he opened the new aesthetic realm of pure and abstract value for furniture design for the first time. Through this research, the results can be summarized as follows. The characteristics of his deign are abstractness, spatial consideration and tectonic construction. The abstractness is attained by simplifying constructional material into geometrical forms such as straight line, rectangle and square. And he adopted unconventional way of construction in order to increase this abstractness. The space included in his furniture can be expressed in the new technology of joint, the visual transparency using linear material, and the destruction of corners. All these aspects harmoniously helped the feeling of architectural space of flow. Through the exposed frame of furniture, Rietveld emphasized on the tectonic construction by methodological treatment such as piling-up or overlapping material. The characteristics of Gerrit Rietveld's design are abstract, spatial and tectonic. These aesthetical tendencies could be understood as a junction between De Stijl's principles and modern architecture's spatial preferences-flow and extension of space-.

• Journal of the Ergonomics Society of Korea
• /
• v.29 no.4
• /
• pp.673-680
• /
• 2010

The effects of different auditory warnings on response time and accuracy were studied in a laboratory ship-bridge work environment. Subjective preference on the type of auditory warnings was also of a primary concern. Twenty five subjects were asked to select an appropriate button for the warning sound presented with three types of auditory warning (abstract sound, auditory icon, and voice alarm) and five levels of warning situation (fire, steering failure, collision, engine failure, and low power). Results showed that the response time and accuracy was significantly affected by the types of auditory warning. The voice alarm resulted in a higher accuracy and subjective preference, as compared to the auditory icon and abstract sound. Regarding the response time, auditory icons and voice alarms were equivalent and superior to abstract sounds. Actual or potential applications of this research include guidelines for the design of integrated ship bridge systems.

• Journal of architectural history
• /
• v.13 no.3
• /
• pp.37-50
• /
• 2004

Presentation is the way of revealing regionality that is hidden into the inner world. The expression of regionality has to be based on the origin and at the same time created newness as always suitable for the present through combination of 'familiarity' and 'unfamiliarity'. Regionality that has been maintained even under the application modern trends, spirits, technologies and materials should be now disclosed. Creating new forms that reflect regionality is possible only when a keen sense(emotion) always focusing on the essence of the earth works together with foresight(imaginative power) clarifying global pattern changes, under high tensions between both of them. Kim Su-Keun succeeded in reinterpreting traditional spaces, but failed in communicating patterns of life, ultimately revealing stiffness with no tension and no creativity. Kim Jung-Up could not draw out a whole meaning of relations among traditional fragments or relations between them and the present. He only borrowed such fragments from the view of formative art. For 'disclosed abstract', 'familiarity' and 'unfamiliarity' are repeated circularly and cope with pattern changes, continuously creating new forms and showing unity as a complete calmness(rest). In "YangDuk Catholic Church" by Kim Su-Keun provides a simultaneous reactivation of various images through continuous cross-weaving rather than being inclined to either the earth or the world. Based on the technique of 'disclosed abstract', "YangDuk Catholic Church" created a new form and space never seen before.

• Journal of the Institute of Convergence Signal Processing
• /
• v.23 no.3
• /
• pp.143-149
• /
• 2022

This excerpt delineates a quantitative measure of relationship between a research title and its respective abstract extracted from different journal articles documented through a Korean Citation Index (KCI) database published through various journals. In this paper, we propose a machine learning-based similarity metric that does not assume normality on dataset, realizes the imbalanced dataset problem, and zero-variance problem that affects most of the rule-based algorithms. The advantage of using this algorithm is that, it eliminates the limitations experienced by Pearson correlation coefficient (r) and additionally, it solves imbalanced dataset problem. A total of 107 journal articles collected from the database were used to develop a corpus with authors, year of publication, title, and an abstract per each. Based on the experimental results, the proposed algorithm achieved high correlation coefficient values compared to others which are cosine similarity, euclidean, and pearson correlation coefficients by scoring a maximum correlation of 1, whereas others had obtained non-a-number value to some experiments. With these results, we found that an effective title must have high correlation coefficient with the respective abstract.