• 제목/요약/키워드: logical relation

검색결과 109건 처리시간 0.027초

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

  • 권오형
    • 한국산학기술학회논문지
    • /
    • 제18권8호
    • /
    • pp.361-366
    • /
    • 2017
  • 2개 논리식에 대해서 어떤 논리식 F의 일부가 다른 논리식 G 전체를 포함하고 있을 때, 논리식 F의 일부분을 논리식 G로 대치한 식을 대입식이라고 한다. 논리식 사이에 대입 관계가 성립되면 전체 논리식에 사용된 리터럴 개수를 대폭 줄일 수 있는 장점이 있으나, 대입 관계가 성립하지 않는 경우 대입식으로부터 얻을 수 있는 간략화 효과가 없게 되어 상대적으로 리터럴 개수를 줄이는 효과가 줄어들게 된다. 지금까지의 연구들이 주어진 논리식들 자체에 대해서 논리식들 사이의 대입 관계를 찾고, 대입이 가능하면 대입식을 산출하기 위한 방법을 제안하였는데, 본 논문에서는 논리식들 사이에 대입식이 만들어지도록 필요한 항을 추가하고, 다시 추가된 항들에 대한 보정을 통해 대입식을 산출하는 논리합성 방법을 제안한다. 최적화하고자 하는 2개의 논리식들로부터 항추가를 위한 행렬을 만들고, 행렬에서 항이 추가 가능한 묶음 찾고 추가된 항에 대해 보정을 하여 대입식이 완성된다. 실험결과 여러 벤치마크 회로에 대하여 제안한 방법이 기존 합성도구보다 리터럴 개수를 줄일 수 있음을 보였다.

DISCRIMINANT ANALYSIS OF LOGICAL RELATIONS

  • Osawa, Mitsuru
    • 한국감성과학회:학술대회논문집
    • /
    • 한국감성과학회 2000년도 춘계 학술대회 및 국제 감성공학 심포지움 논문집 Proceeding of the 2000 Spring Conference of KOSES and International Sensibility Ergonomics Symposium
    • /
    • 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)

  • 강동연;박주희
    • 한국보육지원학회지
    • /
    • 제16권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)

  • 송민선
    • 정보관리학회지
    • /
    • 제35권3호
    • /
    • pp.101-121
    • /
    • 2018
  • 본 연구는 연구논문의 논리적 의미 구조 메타데이터 항목에 해당하는 데이터에 담겨 있는 문장의 구성에 따라 시스템에서 적절한 항목으로 자동 식별 처리될 수 있도록 하는, 문장의미론(Sentence Semantics)적 분석 방법을 제안하고자 하는 목적으로 수행되었으며, 의미 구조 메타데이터 항목 중 'Research Objectives'와 'Research Outcomes'에 해당하는 연구 논문 문장의 구조를 어절 수, 접속어 종류, 다수 출현한 단어들의 문장 내 역할, 문장에서 다수 출현한 어미 형태 등을 기준으로 분석해 정리하였다. 연구 결과, 문장들의 어절 수는 'Research Objectives'는 평균 38개, 'Research Outcomes'는 평균 212개로 나타났으며, 접속어의 경우 'Research Objectives'는 인과-순접-대등-환언/요약 관계를 나타내는 접속어 순으로, 'Research Outcomes'는 인과-대등-순접-환언/요약 관계를 나타내는 접속어 순으로 많이 출현한 것으로 파악되었다. 출현빈도가 높은 분석 대상 단어들은 각각 문장 내에서 주어, 목적어, 서술어 역할 등으로 사용되고 있었으며, '역할'이나 '요인', '관계'는 목적이나 결과 부분 모두에서 비슷한 역할을 담당하고 있었지만 '연구'는 같은 단어라도 연구의 목적 부분과 결과 부분에서 사용되는 역할에 차이를 보였다. 마지막으로 문장 내 동사의 어미는 'Research Objectives'에서 '~고자'와 '~였다', 'Research Outcomes'에서 '~었다', '~있다', '~였다'가 많이 출현하였다. 본 연구는 연구자의 학술적 이해형성을 지원하기 위해 연구논문이 담고 있는 공통된 논리적 의미를 반영한 메타데이터 요소의 자동 식별과 입력 방안을 제시하는 데 활용할 수 있는 기초 연구로서 의의가 있다.

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

  • 김준기;최달영
    • 대한한의학회지
    • /
    • 제16권1호통권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)

  • 권혁순;최은규;노태희
    • 한국과학교육학회지
    • /
    • 제24권2호
    • /
    • pp.287-297
    • /
    • 2004
  • 본 연구에서는 화학 개념을 설명하기 위해 과학 교과서에 사용된 비유에 대한 학생들의 이해도를 조사하고, 비유의 제한점으로 인해 유발될 수 있는 오개념을 분석한 후, 개념 이해도에 영향을 미치는 요인에 대해 살펴보았다. 물질의 세 가지 상태, 부피와 압력 사이의 관계, 분자 운동, 상태 변화와 에너지에 대한 비유와 개념 이해 검사, 장독립성 검사, 논리적 사고력 검사를 실시하였다. 분석 결과 절반의 학생들이 교과서의 의도와 다르게 비유를 이해하고 있었으며, 개념 이해도는 그 개념을 설명하는 비유에 대한 이해도 뿐 아니라, 장독립성, 논리적 사고력, 사전 과학 성취도와 유의미한 정적 상관이 있었다. 개념 이해도에 미치는 각 변인의 직 간접적인 효과를 분석한 결과, 사전 과학 성취도의 직접적 영향이 유의미하였으며, 장독립성과 논리적 사고력은 사전 과학 성취도와 비유 이해를 통해 간접적으로 영향을 미칠 수 있는 것으로 나타났다. 이를 바탕으로 과학교육에서 비유 사용의 제한점과 그 함의에 대하여 논의하였다.

Trends and Issues in Safety Management of Elevators in Korea

  • Choi, Gi-Heung
    • International Journal of Safety
    • /
    • 제6권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)

  • 이경희
    • 대한가정학회지
    • /
    • 제33권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
    • 한국수학교육학회:학술대회논문집
    • /
    • 한국수학교육학회 2010년도 제44회 전국수학교육연구대회
    • /
    • 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)

  • 박영택
    • 품질경영학회지
    • /
    • 제25권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