• Communications of Mathematical Education
• /
• v.32 no.3
• /
• pp.297-314
• /
• 2018

This article aims at providing implication for teacher preparation program through interpreting pre-service teachers' knowledge by using Shulman-Fischbein framework. Shulman-Fischbein framework combines two dimensions (SMK and PCK) from Shulman with three components of mathematical knowledge (algorithmic, formal, and intuitive) from Fischbein, which results in six cells about teachers' knowledge (mathematical algorithmic-, formal-, intuitive- SMK and mathematical algorithmic-, formal-, intuitive- PCK). To accomplish the purpose, five pre-service teachers participated in this research and they performed a series of tasks that were designed to investigate their SMK and PCK with regard to students' misconception in the area of geometry. The analysis revealed that pre-service teachers had fairly strong SMK in that they could solve the problems of tasks and suggest prerequisite knowledge to solve the problems. They tended to emphasize formal aspect of mathematics, especially logic, mathematical rigor, rather than algorithmic and intuitive knowledge. When they analyzed students' misconception, pre-service teachers did not deeply consider the levels of students' thinking in that they asked 4-6 grade students to show abstract and formal thinking. When they suggested instructional strategies to correct students' misconception, pre-service teachers provided superficial answers. In order to enhance their knowledge of students, these findings imply that pre-service teachers need to be provided with opportunity to investigate students' conception and misconception.

• Korean Institute of Interior Design Journal
• /
• v.19 no.3
• /
• pp.30-37
• /
• 2010

Dutch artist, Theo van Doesburg had shown short but strong experimental aesthetics in his works through De Stijl movement. He played a leading role for editing De Stijl magazine and performed various formative works such as painting, sculpture, and architecture. In 1923 he opened the first De Stijl exhibition cooperated with Cornelis van Eesteren. In this architecture exhibition he showed rich formal spirits of counter-construction in his major design works, that is Maison Particuliere and Maison D'artiste among three houses projects. Formal characteristics of counter-construction can be summed up under two categories, time and space. Analytical results are as follows; First, the characteristics of counter-construction related to time category include two types of two mode. One is linear aspect of time based on the viewer's movement. The other aspect is simultaneity caused by synoptical effect. These could be proved by the analysis of arrangement of color planes. Secondly, the spatial aspects of counter-construction are produced through two different ways of formal strategies. Van Doesburg arranged cubes in very irregular pattern. This treatment induces ambiguous void and creates feeling of subject's space. And, through deleting, shifting, and extending he could make dynamic spatial effect by interpenetration between in and out. This fluid space thus introduces movements of one's gaze and circulation. He denied traditional classical values which had ruled the western aesthetical discipline for centuries and believed that mankind can reach the realm of universal equilibrium by contrast and tension created by counter-construction. In this vein Theo van Doesburg was an avant-garde artist of Hegelian thoughts who adopted the dialectical method without following the formal characteristics from ancestors.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.25 no.2
• /
• pp.217-227
• /
• 2001

The purpose of this research was to investigate the difference in fabric preference of formal wear attire between the Korean and American female consumers. For such purpose, fabrics which were used in the womens formal wear market of Korean(n=25) and U.S.A.(n=25) in the 1999 spring/summer season were collected from different fabric converters of the two countries. The respondents were comprised of 50 Korean and 50 U.S.A. female volunteers in the age group of 20s and 40s. A 5 point Likert Scale was used to evaluate the degree of the \"like\" preference of fabrics. T-test and Spearmans rho statistics were conducted for data analysis. The followings are the results. 1. Korean 20s and American 20s preferred Korean fabrics but Korean 40s and American 40s preferred U.S.A. fabrics. 2. Generally, the 20s preferred greyish or tone down color, whereas the 40s preferred both greyish and colorful fabrics. 3. Koreans preferred melange colored fabrics as well as solid color fabrics. 4. Americans liked knit fabrics as well as woven fabrics for formal wear and 20s liked compact density fabrics compared to the 40s age group.age group.

• Journal of Fashion Business
• /
• v.14 no.6
• /
• pp.11-22
• /
• 2010

The main purpose of this research was to examine the linguistic characteristics of domestic men's formal wear brand name. Four linguistic characteristics of language type, combined structure type of language, word class, length of brand name were investigated in this research and also examined the difference between brand type. For sample selection, the 209 men's fashion brands were selected from '2009 Korea Fashion Yearbook' and then, 25 brands which could not collect proper informations about the brand name or naming were excluded. Among total 184 men's brand names, 66 men's formal wear brands were selected and studied. For data analysis, quantitative evaluation of the frequency and qualitative evaluation have been used. The result as follows.; (1) Seven language types were found in domestic men's formal wear brand names. English has been used the most, then followed by Italian and French. (2) For combined structure type of brand name language, the single word used the most, followed by separately combined word type, artificially combined word, and unified word type. (3) The most frequently used the type of word class was noun, and followed by phrase, adjective, and verb. In the noun type, 6 different types which expressed a person, concrete & abstract entity, place, acronym, and neologic were found. For phrase, only noun type was appeared, however, 6 out of 20 phrases were abbreviated type. All eight adjective brand names implied an attributive character of the brand such as 'Dainty' or 'Solus(Solo)'. (4) The long name used most and then followed by normal and short length of brand name. Looking by the number of syllable, 4 syllables appeared the most and then followed by 3, 5, 6, 2 & 7 showed the same rate, and 8 syllables. (5) The result which compared the difference according to each brand type showed a difference in its language type, language combined style, word class, but length of brand name.

• Journal of the Korean Institute of Traditional Landscape Architecture
• /
• v.32 no.4
• /
• pp.132-142
• /
• 2014

This study is the first stage to identify distinctive characteristics of American Romantic Garden compared to English Romantic Garden. The purpose of the study is to identify characteristics of transitional garden in the early period of America by analyzing of Paca garden, Mount Vernon and Monticello when English Naturalistic Garden was firstly imported. The analysis studied historical background, people who designed garden, formal garden and characteristics of natural garden through reference. Also based on data through reference and field research, spatial configuration and garden factors of each site were analyzed. In spatial configuration, straight line and curve line, formal terrace and natural slope, visible axis and invisible axis, symetric and asymmetric, and perspective and oblique perspectives were used as analyzing factors. As a result of analysis, each garden showed different type from that of formal gardens from colony period, which is natural garden of asymmetric garden(English natural garden) coexisted. Paca garden which planned formal garden and natural garden in each space showed characteristics of each space, but in formal garden residential axis and garden axis does not coincide which shows it is out of formal garden type. Such phenomena and the fact that naturalistic garden coexist in the same garden shows that the formal garden type from early days in US is starting to change in different types. Mount Vernon garden, similar to Paca garden, was designed to have two different types of gardens in harmony rather than divide the space into different space and design it. It adapted serpent walkway but shows symmetric by central axis and considered formalistic plan through same materials. However through terrace in hills and spatial plan of oblique perspective, one could observe that naturalistic type was beginning to settle in US gardens. Through Monticello analysis, space was designed with major characteristics of naturalistic garden which is serpent walkway, ornamental farm, winding flower bed grove and bush and oblique perspective, and it completely duplicates characteristics of naturalistic garden which could not be found in gardens imported from UK.

• Journal of the Economic Geographical Society of Korea
• /
• v.16 no.2
• /
• pp.233-246
• /
• 2013

This paper investigates both the spatial patterns of aging population and its formal regional structure in 2010. The results are as follows: first, aging index shows high values in remote mountainous and coastal regions while showing relatively low values in Capital Region and large provincial cities. Aging index has low negative correlation with such variables as population increasing rate, ratio of youth population, ratio of apartments, and ratio of newly built housing. However, aging index shows high positive correlation with variables including ratio of single unit house, ratio of aged peoples' house ownerships, ratio of welfare recipients, ratio of old housing, and number of public healthcare facilities. Secondly, four factors are identified from factor analysis including aging factor, welfare factor, economic vitality factor, and new town factor. The aging level of a region is negatively related to the strong level of those factors. Thirdly, cluster analysis results in four different types of formal regions including rural mountainous coastal type, rural non-capital region type, large metropolitan type, and provincial industrial city type.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.43 no.1
• /
• pp.91-98
• /
• 2023

Since risks occurring in construction projects can have a significant impact on schedules and costs, there have been many studies on this topic. However, risk analysis is often limited to only certain construction situations,and experience-dependent decision-making is therefore mainly performed. Data-based analyses have only been partially applied to safety and contract documents. Therefore, in this study, cluster analysis and a Word2Vec algorithm were applied to formal documents that contain important elements for contractors or clients. An initial classification of document content into six types was performed through cluster analysis, and 157 occurrence types were subdivided through application of the Word2Vec algorithm. The derived terms were re-classified into five categories and reviewed as to whether the terms could develop into potential construction risk factors. Identifying potential construction risk factors will be helpful as basic data for process management in the construction industry.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Nuclear Engineering and Technology
• /
• v.35 no.1
• /
• pp.64-79
• /
• 2003

In the risk and reliability analysis of complex technological systems, the primary concern of formal uncertainty analysis is to understand why uncertainties arise, and to evaluate how they impact the results of the analysis. In recent times, many of the uncertainty analyses have focused on parameters of the risk and reliability analysis models, whose values are uncertain in an aleatory or an epistemic way. As the field of parametric uncertainty analysis matures, however, more attention is being paid to the explicit treatment of uncertainties that are addressed in the predictive model itself as well as the accuracy of the predictive model. The essential steps for evaluating impacts of these model uncertainties in the presence of parameter uncertainties are to determine rigorously various sources of uncertainties to be addressed in an underlying model itself and in turn model parameters, based on our state-of-knowledge and relevant evidence. Answering clearly the question of how to characterize and treat explicitly the forgoing different sources of uncertainty is particularly important for practical aspects such as risk and reliability optimization of systems as well as more transparent risk information and decision-making under various uncertainties. The main purpose of this paper is to provide practical guidance for quantitatively treating various model uncertainties that would often be encountered in the risk and reliability modeling process of complex technological systems.

• The KIPS Transactions:PartD
• /
• v.15D no.4
• /
• pp.557-568
• /
• 2008

An ontology as the core element of Semantic Web is a formal specification of a conceptualization of shared domain knowledge. The use of well-defined ontologies can increase the quality of interoperable information systems in the area of Semantic Web. However, in practice, it is not easy to develop high-quality ontologies which have no errors. Therefore, with methodologies for ontology design, various methods or tools for ontology analysis supporting for error-detection might be very helpful for ontology developers. In this paper, we propose a novel approach for analyzing the core constructs of ontology based on the Formal Concept Analysis and develop a tool that supports error-checking ontologies. Our approach can serve not only as a guidance to modify the existing ontologies, but also as a valuable tool in developing high-quality ontologies.