• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.24 no.11
• /
• pp.792-798
• /
• 2012

A general concept on the definition of the second law efficiencies of thermodynamic cycles is introduced. The efficiency is defined to be proportional to the entropy generation divided by the maximum possible entropy generation. This way of definition of the cycle efficiency is clear and concise and, moreover, follows faithfully the concept of the second law of thermodynamics. This definition is applied to heat engine, refrigerator and heat pump. The second law efficiencies of heat engine and refrigeration cycles are derived, which are the same as the existing ones, respectively. The second law efficiency of heat pump, however, finds to be different from the existing one. Discussion is given about the difference and its cause.

• The Mathematical Education
• /
• v.51 no.3
• /
• pp.211-221
• /
• 2012

We discovered that definition of a Geometrical Progression(Sequence) have some differences in domestic textbooks & some foreign countries' books. This will be able to cause a chaos when students divide whether a sequence is a Geometrical Progression(Sequence) or not, and a question error when teachers compose questions about convergence conditions of Infinite Geometric progressions & series. We took a question investigation for students about definition of a Geometrical Progression(that is called G. P.), we discovered that high level students have an error about definition of a G. P.. So We modified expressions of terminology in domestic textbooks appropriately through a Geometrical Progression(Sequence), infinite series, & infinite geometrical series in some foreign countries' books.

• Journal of Soil and Groundwater Environment
• /
• v.21 no.1
• /
• pp.14-21
• /
• 2016

Many improper development action were performed at subsurface environment, because there were not any definition about subsurface environment in Korea. The purpose of this study was to establich a definition on subsurface environment. Subsurface environment could be divided by subsurface natural environment and subsurface living environment. The soil, groundwater, ecosystems, landscapes, underground space (naturally occurred) were included in subsurface natural environment. And space and facilities used by human were classified as subsurface living environment.

• Journal of Applied and Pure Mathematics
• /
• v.5 no.1_2
• /
• pp.1-8
• /
• 2023

This study is on a Boolean B or Boolean lattice L in abstract algebra with closed binary operation *, complement and distributive properties. Both Binary operations and logic properties dominate this set. A lattice sheds light on binary operations and other algebraic structures. In particular, the construction of the elements of this L set from idempotent elements, our definition of k-order idempotent has led to the expanded definition of the definition of the lattice theory. In addition, a lattice offers clever solutions to vital problems in life with the concept of logic. The restriction on a lattice is clearly also limit such applications. The flexibility of logical theories adds even more vitality to practices. This is the main theme of the study. Therefore, the properties of the set elements resulting from the binary operation force the logic theory. According to the new definition given, some properties, lemmas and theorems of the lattice theory are examined. Examples of different situations are given.

• Journal of Food Hygiene and Safety
• /
• v.35 no.5
• /
• pp.452-458
• /
• 2020

In this study we aimed to find out pesticide types with probability for underestimation of dietary exposure to pesticide residues in Korea by comparing the residue definitions between Korea and Codex standards. In addition, we sought to establish priorities regarding the necessity of review concerning pesticide types and their impacts based on the risk assessment and dietary exposure underestimation. As a result, we found that according to the residue definition information, 44 pesticides have probability for underestimation in terms of dietary exposure assessments. Among them, 24 pesticides have priority for review of dietary exposure underestimation and its impacts on risk assessment, based on the ADI values of pesticides, Korean MRL information and toxicological information of metabolite. The 24 pesticides were as follows: acibensolar-S-methyl, chlorfenapyr, chlorothalonil, cyantraniliprole, cyclaniliprole, cyflumetofen, dithiocarbamates, fenamidone, fenpyroximate, fluazifop-P-butyl, fluopicolide, flupyradifuron, fluxapyroxad, glyphosate, hexythiazox, isoprothiolane, isopyrazam, myclobutanil, penthiopyrad, propiconazole, spinetoram, spiromesifen, spirotetramat, trifloxystrobin. Furthermore, chlorfenapyr, chlorothalonil, dithiocarbamates and fenamidone may have considered a top priority for review due to greater toxicity of metabolite. This study could be of great use for improvement on risk assessment approaches in South Korea regarding pesticide residues in food commodities.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.22 no.3
• /
• pp.133-145
• /
• 2019

Building and researching high definition maps that support autonomous vehicles, one of Korea's key challenges for the future, are being actively propelled in both private and government sectors with the goal of fast commercialization. Under this perspective, update methods that secure up-to-date information are emerging as key tasks. To provide a plan for establishing efficient renewal systems for high definition maps, we analyzed the present condition of road types, causes of road changes and its annual change rates, and examined where and how such road change information is managed. Furthermore, the method of collection and detection of road change information and the renewal system of high definition maps are defined based on the current study. At the end of the paper, a step-by-step renewal system is proposed through the examination of renewal cycles, contents, and region of high definition maps.

• Korean Journal of Computational Design and Engineering
• /
• v.21 no.4
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• Health Policy and Management
• /
• v.20 no.2
• /
• pp.1-16
• /
• 2010

Background : Clinical practice guidelines are an increasingly familiar part of clinical practice. Moreover, rigorously developed evidence based guidelines has been widely used. However, in Korea, some of published documents as clinical practice guidelines have shown considerable disparity in structure, contents and quality. This is mainly because there is no consensus on the definition and quality standard of clinical practice guidelines. The purpose of this study was to draw consensus on the definition and the quality standard about clinical practice guidelines. Method : We developed a questionnaire about the definition of clinical practice guidelines with inclusion criteria(23 items) and the quality standard(30 items). We selected 9 experts who had prior experience in developing and implementing guidelines. Rating methods for appropriateness of items were adopted from the RAND method. Consensus was drawn in three rounds. Results : Of the 47 items agreed, 40 items were determined to be appropriate. Clinical practice guidelines were defined as "scientifically and systematically developed statements to assist practitioners and patients on making decisions about appropriate health care for specific clinical circumstances." Narrative reviews, systematic reviews or health technology assessment without recommendations, translation of foreign guidelines, guidelines for patients only and training manuals were not considered as clinical practice guidelines. For the quality standard of clinical practice guidelines, 27 items were deemed necessary. Conclusions : The consensus on the definition with inclusion criteria and the quality standard of clinical practice guidelines carries an important meaning as the first attempt to draw a general agreement in our society. The unique achievement of the consensus reflects the current status of clinical practice guidelines that there has been a high tendency to adapt foreign guidelines. We hope efforts of this kind will continue to bring improvement in clinical practice guidelines.

• Korean Journal of Construction Engineering and Management
• /
• v.23 no.1
• /
• pp.54-63
• /
• 2022

In order to derive the success factors of a Mega-scale national project, this study conducted a questionnaire survey on experts participating in the Yongsan National Park development program to obtain critical success factors in the program definition phase. AHP analysis was performed for each category through a survey of experts participating in the definition phase of the Yongsan park development program to derive relative importance. The categories were classified into program strategy, process, and people, and the importance between categories was people, strategy, and process in that order. In addition, as for the 27 critical success factors in the program definition phase, the program manager's competency and leadership, environmental and cultural property survey planning, program management plan preparation, operation and maintenance philosophy, and integrated program office showed high priorities. Therefore, in promoting the Yongsan Park development program, we propose a strategy for selecting and focusing on the critical success factors with high priorities in the program definition phase proposed in this study.

• Journal of architectural history
• /
• v.27 no.5
• /
• pp.27-38
• /
• 2018

The purpose of this study is to identify the legal definition and usage of cultural property term related to the architecture within the cultural property-related legal system and general legal system, and to present proper terminology and specific concepts that can be used for the architecture as cultural properties. In the current cultural property legislative system, terms about the architecture are diverse and obscure, and the definition of each term is different from the concept in the general legal system. In this context, this study presented the terminology of 'the architectural heritage' as 'a cultural property by construction act' to cover whole cultural properties related to Korean architecture. And the conceptual scope of the architectural heritage is divided into the technology and the performer related to the act, the record and the building related to the product. and Each concept needs to be specifically tailored to its object and scope. Systematic definition of terms for cultural properties related the architecture can positively influence systematization of cultural property preservation and management as well as empirical research and education on Korean architecture.