• Korean Journal of Logic
• /
• v.14 no.2
• /
• pp.39-76
• /
• 2011

We explain some basic elements of Martin-L$\ddot{o}$f's type theory and examine the distinction between propositions and judgments. In section 1, we introduce the problem. In section 2, we explain the concept of proposition in the intuitionistic type theory as a development of the intuitionistic conception of proposition. In section 3, we explain the concept of judgment in the intuitionistic type theory. In section 4, we explain some basic inference rules and examine a particular derivation in the theory. In section 5, we examine one route from the Fregean distinction between propositions and judgments to the distinction between them in the intuitionistic type theory, paying attention to the alleged necessity for introducing different forms of judgments.

• Journal of Korean Society of Rural Planning
• /
• v.29 no.1
• /
• pp.1-10
• /
• 2023

This study aims to establish a landscape plan that can preserve the identity of the region while meeting the unique functions related to land use of the Saemangeum agricultural land. In addition, it was intended to prepare a mid- to long-term landscape plan basic concept for the formation and management of the Saemangeum agricultural land landscape. Therefore, in this study, landscape management by type for processing/storage facilities, production/processing facilities, complex/sales facilities, and research/experimental facilities for facilities scheduled to move in after setting the direction and five strategies for landscape management considering the specificity of agricultural land direction was set. In addition, the landscape management direction for 6 common landscape elements such as buildings, open spaces, advertisements, colors, public facilities, and night scenery was also presented. In particular, Agroworks, Agro City, and Agro Town, which are important landscape areas, are landscape-focused management areas, and the landscape management direction for the area has been established. This study is considered to have great utility value when setting landscape standards for public or private buildings and infrastructure, development projects, etc. to be moved in prior to establishing a landscape plan for agricultural land. It is expected that it can be used as a basis for deliberation and review of the landscape standards derived from this study in the future landscape-related licensing for agricultural land.

• Journal of Embryo Transfer
• /
• v.31 no.4
• /
• pp.349-353
• /
• 2016

This study was carried out to evaluate the influencing factors that affect the reproductive performance of cows at the Monirampur upazila in Jessore district of Bangladesh. A total of 224 cows were brought to the upazila livestock hospital for artificial insemination (AI). The cows were inseminated between 12 to 18 hours from the onset of estrus and data was obtained from the owner. Out of 224 cows, 133 became pregnant and 91 were non pregnant. In this study, the overall pregnancy rate was 59.29%. Among the age variability, the highest pregnancy rate (70.27%) was at the age of 4 years old. In case of breed variation, the highest pregnancy rate was observed in local breed (69.07%) compared with other crossbred cows. Hence the breed variations significantly influence the conception rate of cows. According to the parity, we found that the pregnancy rate was increasing with their parity but decreasing after 4th parity. The highest conception rate was observed in 3rd parity (67.74%) which was significantly higher than that of heifers (Parity-0). Here we also found that the types of bull semen used for AI had no significant effect for pregnancy rate. The skills of AI technician for AI to cows were significantly affecting the pregnancy rate. However, this study is not enough for rating and comment about the reproduction performance of cows. Therefore, further extensive study is needed for rating and recommendation for the cattle up gradation at that particular area.

• Journal of Digital Convergence
• /
• v.18 no.11
• /
• pp.187-194
• /
• 2020

This study present to Framework & R&D direction of the 3d printing Integrated Control & Monitoring System. To ensure this purpose, we developed integrated 3d printing control system Framework for DED & PBF and we introduce 4 monitoring system include photo diode, gas flow, acoustic and spectrometer sensors. For this study, we utilize metal 3d printing system from Conception., OKE Tech and DE&T who are still developing Metal 3D Printing Technology since 2017. In the result, we represent the latest 3D Printing Control and Monitoring System for the next 3D Printing researcher and we hope this study will be used as a basic reference and data for Cooperation between mechanic, electronic and material fields.

• Journal of the Korean earth science society
• /
• v.23 no.2
• /
• pp.132-139
• /
• 2002

One of the prime objectives of school science is to help the children learn science concepts and conceptual schemes that will help them understand and interpret their environment. One of the basic scientific concepts is 'Change -everything existing in universe is changing always'. The purpose of this study was to investigate the characteristics of elementary and secondary students' conception of change. The subjects for this study were 489 students in Korea; 111 fourth graders, 95 sixth graders, 140 seventh graders and 143 ninth graders. Four items - mountain, river, ground, sea -were used for investigating students conception of change because representing the nature world in elementary and secondary level. The subjects were asked to check whether each item was changing and to explain each their check. Students' explanations were classified by whether they were sound understanding geologically, or not. The rate of responses that each item was changing was compared by grades and the rate of geological explanations was also compared by grades. Because students' conceptions of change might were effected by time scale, the additional questions that asked students whether the present status of four items were equivalent to the that of several points of time. As a result, the rate of scientific answers and patterns of explanations were similar by grade and the rate of geological understandings was relatively low. The frequencies of concept of change were more dropped as the point of time was closer to present.

• Journal of the Korean Society of Costume
• /
• v.62 no.4
• /
• pp.91-106
• /
• 2012

The purpose of this study was to offer some directions for the design of men's knitwear and provide basic data helpful for design conception and product development for creative and unique men's knitwear. As for the methodology, the investigator examined the works of these following ten designers that consistently participated in the men's Milano Collection for the last ten years from 2001 S/S to 2010 F/W: Burberry Prorsum, Costume National, D & G, D squared, Dolce & Gabbana, Giorgio Armani, Gucci, Iceberg, Prada, and Vivien Westwood. We identified the design elements expressed in knitwear, categorized examples for each element, and reviewed their characteristics. The results of this study are as follows. The designers usually adopted the H-silhouette with some room until 2006, after which the slim tubular silhouette became prevalent. Most of the designers made knitwear with normal yarn and expressed them by dyeing or printing regardless of seasons, which meant the usage level of fancy yarn was low. The much usage of the basic pattern was particularly salient. The most popular basic structure was plain, which was followed by rib and color pattern, which included the jacquard and intarsia pattern. The designers presented thick outer items made of thick yarn for F/W seasons and many thin inner items made of thin yarn for S/S seasons. The popular colors were brown from the Red Group(R) and beige from the Orange Group (YR) regardless of seasons. When achromatic colors were used a lot, there was a development of various grey shades. For the most used basic structure, plain, the designers employed such technical methods as printing, pleat treatment, and dyeing in high frequency.

• Smart Structures and Systems
• /
• v.20 no.1
• /
• pp.53-60
• /
• 2017

Reinforced concrete shear wall is one of the most common structural forms for high-rise buildings, and seismic energy dissipation techniques, which are effective means to control structural vibration response, are being increasingly used in engineering. Reinforced concrete-mild steel damper stiffness-tandem energy dissipation coupling beams are a new technology being gradually adopted by more construction projects since being proposed. Research on this technology is somewhat deficient, and this paper investigates design principles and methods for two types of mild steel dampers commonly used for energy dissipation coupling beams. Based on the conception design of R.C. shear wall structure and mechanics principle, the basic design theories and analytic expressions for the related optimization parameters of dampers at elastic stage, yield stage, and limit state are derived. The outcomes provide technical support and reference for application and promotion of reinforced concrete-mild steel damper stiffness-tandem energy dissipation coupling beam in engineering practice.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.20 no.4
• /
• pp.91-100
• /
• 2014

Purpose : The purpose of this paper is to analyze the characteristics of hospital architecture constructed in each periods and identify the changing process of hospital architecture in Korea since 1945. Methods : Literature review was conducted while the data of hospitals had been collected and the subject of investigation were selected. The important point of analysis is about design conception, site plan, block plan and hospital form. Results : The characteristics of hospital architecture are identified in each periods. Developed by private sector, hospitals have enlarged their beds and sizes under the competitive environments. In terms of size and external shape, vertical form has become a dominant scene of hospital forms in Korea. Among the dominance of tower-on podium, various block plans have been adopted with hospital streets. Also a few cases of horizontal disintegrated form was introduced. Implications : This paper could be the basic data to organize the history of Korean Hospital Architecture, and insufficient data should be supplemented continuously.

• Korean Institute of Interior Design Journal
• /
• no.34
• /
• pp.45-52
• /
• 2002

It is noted that the expressionistic feature appears as one of characteristic phenomena for representing the regional culture and economic level. In architecture, it seems to be difficult to define the expressionism in a concrete way because of lots of meanings the word originally has. In this study, the expressionistic feature is defined as a mode which impresses the users emotionally with strength or as a touching and stimulating one, contrary to the designing conception which pursues only the rationality and the functionality. These features can be expressed as designing methods such as organic form, adoption of natural design factor, decisive opening of space or its extreme closing, contrast of mutually opposite components, or application of basic design components.These methods described above are largely categorized into spatial form, openness, scale and design component and also are studied for each example within the scope of these categories. This study has significance in conceptualizing this expressionistic tendency and in analyzing some detailed aspects for expression.

• Journal of Korean Society for Quality Management
• /
• v.32 no.4
• /
• pp.196-207
• /
• 2004

TDR(Tear Down & Redesign)means that renounce the past resolutely, from a white paper condition, let's change directions. That is, let's redesign from the basic of the establishment of the construction process. Through the switchover the conception, innovate totally the whole existing processes. TDR is the best core innovation activity. The ultimate aim of the TDR activity induces the employees to do more productive business and obtain excellent results in the future by solving the problems, which are the nonproductive business in the business process on the objective view, the business that customers don't recognize the value, the same old practice of business, and the unsettled business from the restriction of resources. By organizing the related to workers of those business, they can solve the problems for 3-4months by full time working This paper inquires what are the obstruction factors on the process of executing TDR activity. Through the search of the reformation plan for the improvement of immersion degree, it presents some methods to be successful business.