• 한국멀티미디어학회논문지
• /
• 제21권3호
• /
• pp.423-431
• /
• 2018

In this paper, we try to verify a normative module based house design procedure consisted of several sequential steps. The first step is to suggest formalization of designing so that we could clarify each phase and operation we are adopting in our design process. The second step is the clearing up the conceptual schema of traditional skills that we adopt and utilize from traditional Hanok framing techniques. The third step is to formulate adequate modular kits for the assembly of house design solutions for the schematic, conceptual and preliminary phases of designing. The fourth step is to implementing our ideas and methods to a proper computational platform such as Unity3D. The final step is to verify our symbolic descriptions of design formalization with the output of our experiments so that we have better understanding of design reasoning characteristics such as in house design.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제19권4호
• /
• pp.247-265
• /
• 2015

Mathematics textbook plays a significant role in shaping students' learning of mathematics. Logic, rigor and abstraction as typical features of the formalization of mathematics, dominate mathematics textbooks around the world, which is regarded as one of the important origins of students' learning difficulties in mathematics. An innovative series of Chinese mathematic textbooks is presented in this paper. Supported by the supplementary materials excerpts from the textbooks, it gives a comprehensive theoretical analysis of the principles of design and implementation of this series of mathematics textbooks. The effectiveness of this series of textbooks is demonstrated by student achievement and secondary research data. It shows that series of Chinese mathematic textbooks has largely decreased students' learning difficulties in mathematics and enhance classroom teaching efficiency. It suggests that prioritizing the essence of mathematics and reducing abstraction is an important notion for mathematics textbook design and implementation.

• 한국실내디자인학회논문집
• /
• 제15권5호
• /
• pp.28-35
• /
• 2006

During the modern age, various fields have fundamentally changed from the preconceived ideas of the past. The concept of time-space relationship changed also. E. J. Marey was almost the first one to visualize the movement of animals and people through scientific methods. Frank B. Gilbreth used more precise photographic equipments to develop more accurate and specific body movement diagrams. The emergence of visualization of body movement is not the only product from the scientific field. The new concept of time-space can be easily noticed in modem art, music and dance. In space design, Futurism attempted to represent the dynamism and speed in a sculptural form. On the other hand, there were examples to further investigate the specific analysis of body movements such as 'Scientific Management'. Body movement diagrams are widely used in various projects in contemporary space design. The difference is that now the design process is more integrated with the analysis. The representation of speed and the container of movements are interwoven in a complex manner in which fluid relationship between body and space is possible. Three types can now be considered: Object, Container and Interactivity. This study attempts to analyze brief history of body movement studies and their application for contemporary space design.

• 한국생물정보학회:학술대회논문집
• /
• 한국생물정보시스템생물학회 2005년도 BIOINFO 2005
• /
• pp.373-378
• /
• 2005

The diagrammatic language for pathways is widely used for representing systems knowledge as a network of causal relations. Biologists infer and hypothesize with pathways to design experiments and verify models, and to identify potential drug targets. Although there have been many approaches to formalize pathways to simulate a system, reasoning with incomplete and high level knowledge has not been possible. We present a qualitative formalization of a pathway language with incomplete causal descriptions and its translation into propositional temporal logic to automate the reasoning process. Such automation accelerates the identification of drug targets in pathways.

• 전자공학회논문지B
• /
• 제31B권4호
• /
• pp.155-165
• /
• 1994

An analog neural network circuit of rhigh density integration is introduced. It's prototype chip is designed in 3 by 3 mm2 die. It uses only one MOSFET to implement a synapse. The number of synapses per neuron can be expanded by cascading several chips. The influence of nonlinearity in synapses is analyzed. A formalization of the back propagation which can be applied to this circuit is shown. Some simulation results are shown and disscussed.

• International Journal of Computer Science & Network Security
• /
• 제22권10호
• /
• pp.369-373
• /
• 2022

In the decision-making domain, a document warehouse is designed to meet the analysis needs of users who may have a wide variety of analysis purposes. In this paper, we propose to integrate the preferences and interactions of users based on profiles to the concept of document warehouses. These profiles guarantee the integration of personalized documents and the collaborative recommendation of documents between different users sharing common interests.

• 한국실내디자인학회논문집
• /
• 제27호
• /
• pp.20-27
• /
• 2001

The tendency of formalization in Contemporary Architecture deeply relies on the thought of Western Philosophy, which emphasizes the art of image perceived visually but ignores the body and perception of a human beig who uses the architecture and lives in it. On the contrary, Merleau-Ponty asserted long time ago that the world and the body are inseparably related to each other. The phenomenology is important in Architecture, since the center of thought should be taken back to the human body if a artistic meaning can be obtained by Architecture. From this point of view, the meaning of Contemporary Architecture can be renewed by the phenomenological idea of Merleau-Ponty as a means of expanding thought that overcomes the limit of formalization in Contemporary Architecture. This research aims to ream from Steven Holl's work, and show the Architectural elements that are used for preceptual experience of phenomenon and the function of those element sin Architectural space of his works. The result of study on about the phenomenal light and water in Architectural space of Steven Holl is as follows; First, in perceptional experience of phenomenon, time is an important element, which is successive and make a field that cause perceptional experience. Second, light, as a phenomenological element, acted as a means of expressing the comparison and change of light and shadow in Architectural space and showing the change of color by the diversity of time in inner space. Third, water, as a phenomenal lens, not only acted functional but also functioned as an element of sensual experience in Architectural space. It acted as an image containing time, space, just like a mirror that reflect the environment.

• 한국실내디자인학회논문집
• /
• 제20호
• /
• pp.84-90
• /
• 1999

This study is on relations between minimalism, which is one of important theme in the contemporary design, and East-oriented speculatiov. Minimalism, one inclination of neo-modernism is characterized by Essentialism. That is connected with East-oriented thinking, especially Taoism. The paradigm of contradiction and paradox replaces the paradigm of rationality and the law of cause and effect. Minimal tendency is appeared at Modernism in 60's and Neo-modernism in 90's. The differences are originated with their manner on simplicity. Minimal tendency in Modernism is characterized by 'less is more' and that in Meo-modernism is by 'more with less'. The minimizing strategy is not considered as means as in modern age but as purpose in neo-modern age. This paper explains minimal architectural space as spatial problem and recognitions on that, not as the figurative problem. Conclusively the relationships between minimalism and eastern ideas are represented through the boundary and extensity of space, void and solid, de-formalization and Essentialism.

• 대한간호학회지
• /
• 제27권2호
• /
• pp.253-263
• /
• 1997

This second study on the effectiveness of nursing organization was designed to test the relationships between effectiveness of nursing organizations and structural variables that had been significant variables in the first study, the group design variable and the personal characteristic variables that had not been analyszed in the first study based on personal resource productivity model. The data were collected through self-reported questionnaires completed by 605 nurses working in hospitals in seoul and 782 patients being hospitalized in 5 tertiary hospitals in Seoul. The results showed that according to the canonical correlation analysis, the managing job design, nursing delivery system. nurse's age, career. and formalization were revealed as predicting variables of a nurses' job satisfaction and patients satisfaction among the five hospitals. Hospitals in which the team nursing method was used showed a higher score in nurses' job satisfaction and patient satisfaction than in hospitals which used the functional nursing model.

• 국제학술발표논문집
• /
• The 4th International Conference on Construction Engineering and Project Management Organized by the University of New South Wales
• /
• pp.550-555
• /
• 2011

Utilizing construction knowledge and experiences in design phase can reduce change orders and improve productivity in construction phase. To do so, information must be made available to the design team in time. Current approaches for effective utilization of constructability knowledge, however, only focus on the formalization of constructability knowledge such as a checklist, which lacks the consideration of the appropriate use at the proper point in time. The inadequate use of constructability knowledge can result in unnecessary reworks. To deal with this problem, the design team needs to know what constructability knowledge is required for specific design activities in the design process. This paper presents a constructability implementation model using the dependency structure matrix (DSM) that focuses on information flows between design activities and constructability knowledge. For this objective, design activities in the design process are modeled in a matrix form based on their dependency. Then, constructability knowledge, which needs to be considered in the design stage, is mapped into activities and incorporated into the matrix, creating Constructability-DSM (C-DSM). Next, the partitioning algorithm is applied to C-DSM for optimal information flow. The Partitioned C-DSM is then analyzed based on the relationship between activities. Finally, the optimal utilization of construction knowledge in the design process is determined by identifying what constructability knowledge is required for each design activity, and how and when it is reflected to design for constructability. Thus, this research can help provide robust control actions to reduce unnecessary iterative cycles in design process for efficient constructability implementation.