• Title/Summary/Keyword: logical relation

Search Result 109, Processing Time 0.026 seconds

Logic Substitution Using Addition and Revision of Terms (항추가 및 보정을 적용한 대입에 의한 논리식 간략화)

  • Kwon, Oh-Hyeong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.8
    • /
    • pp.361-366
    • /
    • 2017
  • For two given logical expressions and, when expression contains the same part of the logical expression as expression, substituting for that part of expression is called a substituted logic expression. If a substituted relation is established between the logical expressions, there is an advantage in that the number of literals used in the whole logical expression can be greatly reduced. However, if the substituted relation is not established, there is no simplification effect obtained from the substituted expression. Previous methods proposed a way to find substituted relations between logical expressions for the given logical expressions themselves, and to calculate substituted expressions if only substitution is possible. In this paper, a new method for performing substitution with addition and revision of logic terms is proposed in order to perform substitution, even though there is no substituted relation between two logic expressions. The proposed method is efficiently implemented using a matrix that finds terms to be added. Then, by covering the matrix that has added terms, substituted logic expressions are found. Experiment results show that the proposed method for several benchmark circuits can reduce the number of literals, compared to existing synthesis tools.

DISCRIMINANT ANALYSIS OF LOGICAL RELATIONS

  • Osawa, Mitsuru
    • Proceedings of the Korean Society for Emotion and Sensibility Conference
    • /
    • 2000.04a
    • /
    • pp.157-162
    • /
    • 2000
  • Discriminant analysis is a method to relate whether the objects have a specific characteristic or not with their 'continuous' attribute values and, for given objects, to estimate whether they have a specific characteristic or not by their values of discriminant scores gotten from their attribute values. The author developed the new 'computational' method of discriminant analysis without specific hypotheses or assumptions and, by this new method, we can find 'feasible' solutions under the conditions required by our actual problems. In this paper, the author tried to apply this new method to the discrimination of logical relations. If this trial could be a success, we can apply this new method of discriminant analysis to the problems about relating the specific characteristic of the objects with their 'discrete' attribute values. The result was successful and the applicability of discriminant analysis could be expanded as a method for constructing the models for "estimating impressions".

  • PDF

The Effects of Household Chaos on Preschoolers' Self-control: The Moderating Effects of Teachers' Limit-setting Style (가정환경 혼돈이 유아의 자기통제력에 미치는 영향: 교사 제한설정방식의 조절효과)

  • Kang, Dong Youn;Park, Ju Hee
    • Korean Journal of Childcare and Education
    • /
    • v.16 no.1
    • /
    • pp.75-98
    • /
    • 2020
  • Objective: This study aimed to examine the influences of household chaos on self-control of young children and to investigate whether teachers' limit-setting styles had moderating effects. Methods: The participants were 184 children (83 boys and 101 girls), at age 3 -5, their mothers and teachers working at daycare centers located in Seoul and Gyeonggi-do. The data were analyzed by descriptive statistics, Pearson's correlation, and hierarchical regression. Moderating effects were examined using the Mplus8.0 program. Results: The results indicated that household chaos as well as teacher's permissive and logical limit-setting styles had significant effects on self-control of preschoolers. The lower the level of household chaos was, the higher the level of self-control of preschoolers was. The level of self-control was more likely to be high when teachers used logical limit-setting with detailed explanation to children whereas it was lower when they used more permissive limit-setting. In addition, teachers' logical limit-setting moderated the relation between household chaos and self-control of preschoolers. That is, the effects of household chaos on preschoolers' self-control were mitigated when the level of logical limit-setting was high compared to when it was low. Conclusion/Implications: The results suggested that both household chaos and teachers' limit-setting styles play important roles in increasing self-control of preschoolers.

Analyzing the Sentence Structure for Automatic Identification of Metadata Elements based on the Logical Semantic Structure of Research Articles (연구 논문의 의미 구조 기반 메타데이터 항목의 자동 식별 처리를 위한 문장 구조 분석)

  • Song, Min-Sun
    • Journal of the Korean Society for information Management
    • /
    • v.35 no.3
    • /
    • pp.101-121
    • /
    • 2018
  • This study proposes the analysis method in sentence semantics that can be automatically identified and processed as appropriate items in the system according to the composition of the sentences contained in the data corresponding to the logical semantic structure metadata of the research papers. In order to achieve the purpose, the structure of sentences corresponding to 'Research Objectives' and 'Research Outcomes' among the semantic structure metadata was analyzed based on the number of words, the link word types, the role of many-appeared words in sentences, and the end types of a word. As a result of this study, the number of words in the sentences was 38 in 'Research Objectives' and 212 in 'Research Outcomes'. The link word types in 'Research Objectives' were occurred in the order such as Causality, Sequence, Equivalence, In-other-word/Summary relation, and the link word types in 'Research Outcomes' were appeared in the order such as Causality, Equivalence, Sequence, In-other-word/Summary relation. Analysis target words like '역할(Role)', '요인(Factor)' and '관계(Relation)' played a similar role in both purpose and result part, but the role of '연구(Study)' was little different. Finally, the verb endings in sentences were appeared many times such as '~고자', '~였다' in 'Research Objectives', and '~었다', '~있다', '~였다' in 'Research Outcomes'. This study is significant as a fundamental research that can be utilized to automatically identify and input the metadata element reflecting the common logical semantics of research papers in order to support researchers' scholarly sensemaking.

A study of the exterior and interior relation's consitutional principle on three yin three yang (삼음삼양(三陰三陽) 표리(表裏) 관계(關係)의 구성원리(構成原理)에 대한 연구(硏究))

  • Kim, Jin-Ki;Choi, Dal-Yeong
    • The Journal of Korean Medicine
    • /
    • v.16 no.1 s.29
    • /
    • pp.437-450
    • /
    • 1995
  • In order to clear the basic concept about oriental medical physiology and pathology, We studied the theory of three yin, three yang, and it is based on the principle that yang goes forward and yin goes back. The result were summarized as follows. 1. It showed how to originate about the concept of three yin three yang. 2. It showed the logical basis concerning that the TAIYANG channels are open, the YANGMING channels are shut, the SHAOYANG channels are pivots, the TAIYIN open, SHAOYIN shut, JUEYIN pivots. 3. According to the opening, closing, pivoting principle, It explained the exterior and interior relation such as TAIYANG and SHAOYIN, YANGMING and TAIYIN, SHAOYANG and JUEYIN. 4. According to the opening, closing, pivoting principle, It showed that arteries of the twelve channels rotated in lung channel of hand-TAIYIN, the large intestine channel of hand-YANGMING, the stomach channel of foot-YANGMING, the spleen channel of foot-TAIYIN, the heart channel of hand-SHAOYIN, the small intestine channel of hand-SHAOYANG, the urinary bladder channel of foot-TAIYANG, the kidney channel of foot-SHAOYIN, the pericardium channel of hand-JUEYIN, the sanjiao(三焦) channel of hand-SHAOYANG, the gall bladder channel of foot-SHAOYANG, the liver channel of foot-JUEYIN. 5. As arteries of the twelve channels was based on the cycle, the logical criticism about Napgibup(納氣法) was shown.

  • PDF

Students' Understanding of the Analogies Used in Chemistry Education and the Limitations of Using Analogies (화학 교육에서 사용되는 비유에 대한 학생들의 이해도 및 비유 사용의 제한점)

  • Kwon, Hyeok-Soon;Choi, Eun-Kyu;Noh, Tae-Hee
    • Journal of The Korean Association For Science Education
    • /
    • v.24 no.2
    • /
    • pp.287-297
    • /
    • 2004
  • In this study, students' understanding of the analogies used for chemical concepts in science textbooks, misconceptions induced by the analogy, and the factors affecting conceptual understanding were investigated. In addition to the tests of field independency and logical thinking ability, tests of students' understanding of concepts and analogies on three states of matter, pressure-volume relation, molecular motion, and changing state depending upon energy were administered. The results revealed that half of the subjects understood the analogies differently from the textbook writers' intention and that students' conceptual understanding was significantly correlated with the degree of understanding on corresponding analogies, field independency, logical thinking ability, and prior achievement of science. The results of analyzing the direct and indirect effects of each variable on conceptual understanding showed that the direct effect of prior achievement was significant and that field independency and logical thinking ability had indirect effects through understanding of analogies and prior achievement of science. The limitations and implications of using analogies in science education were discussed on the basis of the results.

Trends and Issues in Safety Management of Elevators in Korea

  • Choi, Gi-Heung
    • International Journal of Safety
    • /
    • v.6 no.2
    • /
    • pp.13-16
    • /
    • 2007
  • This study focuses on the trends and issues of improving safety management of elevators in Korea. Frequency and severity of accidents in relation to conditional pass in periodic inspection, maintenance, market surveillance are analyzed based on the statistical data and social cost due to a variety of related fields in managing elevator safety was estimated first. The results of statistical analysis performed in this study will provide logical basis and future direction for improving the safety management system. The role of certification and supervision is particularly addressed to reduce the related accidents and the social cost. The effectiveness of such procedures can be found from the results of simple statistical analysis.

A Measure of marital Intimacy (부부간 친밀간 척도개발에 관한 연구)

  • 이경희
    • Journal of the Korean Home Economics Association
    • /
    • v.33 no.4
    • /
    • pp.235-249
    • /
    • 1995
  • The first purpose of this study was to review literatures on marital intimacy. The second purpose was to develop a theory-derived scale to measure marital intimacy. From an original lists of 32 items developed from literatures, the survey was practiced. The data were collected from 344 married adults who had been married more than 5 years. Through this process, a final lists of 19 item scale that were covering 4 different aspects of affectional, sexual, committed, cognitive marital intimacy yielded. reliability estimate assessed by Cronbach's coefficient is .903. Content Validity was evidenced by jury logical opinions. Construct Validity was tested in relation to Spanier's DAS scale.

  • PDF

Derivative Function: Beliefs, Engineers as Calculus Teachers

  • Chavez, Miguel Diaz
    • Proceedings of the Korea Society of Mathematical Education Conference
    • /
    • 2010.04a
    • /
    • pp.249-259
    • /
    • 2010
  • This report is intended to document beliefs that engineers working as senior high school teachers have in Mexico. Documents come from the analysis of answers provided for two tasks contained in a questionnaire: one of them is marking statements as true or false in relation to the derivative function; the second one is about solving different problems: calculation of derivative of piecewise functions and the calculation of maximum and minimum of a polynomial function. Results show the strengths, quasi-logical relations and grouping which are verified in their system of beliefs and knowledge.

  • PDF

An Extension of Quality Function Deployment (품질기능전개의 확장에 관한 연구)

  • 박영택
    • Journal of Korean Society for Quality Management
    • /
    • v.25 no.4
    • /
    • pp.27-49
    • /
    • 1997
  • Quality function deployment is an interdisciplinary team process of listening to customers to learn exactly what they want, and then using a logical system to determine how best to fulfill those needs with available resources. It is examined how to extend quality function deployment in this paper. The Pugh concept selection method, ACE(Attribute Categorization and Evaluation) Matrix, and an inventive problem solving method called TRIZ are discussed in relation with quality function deployment.

  • PDF