• 제목/요약/키워드: First-Order Logic

검색결과 176건 처리시간 0.032초

On Neural Fuzzy Systems

  • Su, Shun-Feng;Yeh, Jen-Wei
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제14권4호
    • /
    • pp.276-287
    • /
    • 2014
  • Neural fuzzy system (NFS) is basically a fuzzy system that has been equipped with learning capability adapted from the learning idea used in neural networks. Due to their outstanding system modeling capability, NFS have been widely employed in various applications. In this article, we intend to discuss several ideas regarding the learning of NFS for modeling systems. The first issue discussed here is about structure learning techniques. Various ideas used in the literature are introduced and discussed. The second issue is about the use of recurrent networks in NFS to model dynamic systems. The discussion about the performance of such systems will be given. It can be found that such a delay feedback can only bring one order to the system not all possible order as claimed in the literature. Finally, the mechanisms and relative learning performance of with the use of the recursive least squares (RLS) algorithm are reported and discussed. The analyses will be on the effects of interactions among rules. Two kinds of systems are considered. They are the strict rules and generalized rules and have difference variances for membership functions. With those observations in our study, several suggestions regarding the use of the RLS algorithm in NFS are presented.

Human Tracking using Multiple-Camera-Based Global Color Model in Intelligent Space

  • Jin Tae-Seok;Hashimoto Hideki
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제6권1호
    • /
    • pp.39-46
    • /
    • 2006
  • We propose an global color model based method for tracking motions of multiple human using a networked multiple-camera system in intelligent space as a human-robot coexistent system. An intelligent space is a space where many intelligent devices, such as computers and sensors(color CCD cameras for example), are distributed. Human beings can be a part of intelligent space as well. One of the main goals of intelligent space is to assist humans and to do different services for them. In order to be capable of doing that, intelligent space must be able to do different human related tasks. One of them is to identify and track multiple objects seamlessly. In the environment where many camera modules are distributed on network, it is important to identify object in order to track it, because different cameras may be needed as object moves throughout the space and intelligent space should determine the appropriate one. This paper describes appearance based unknown object tracking with the distributed vision system in intelligent space. First, we discuss how object color information is obtained and how the color appearance based model is constructed from this data. Then, we discuss the global color model based on the local color information. The process of learning within global model and the experimental results are also presented.

3차원 조형장비 선정을 위한 효율적인 의사결정 방법 (An Efficient Decision Maki ng Method for the Selectionof a Layered Manufacturing)

  • 변홍석
    • 한국공작기계학회논문집
    • /
    • 제18권1호
    • /
    • pp.59-67
    • /
    • 2009
  • The purpose of this study is to provide a decision support to select an appropriate layered manufacturing(LM) machine that suits the application of a part. Selection factors include concept model, form/fit/functional model, pattern model far molding, material property, build time and part cost that greatly affect the performance of LM machines. However, the selection of a LM is not an easy decision because they are uncertain and vague. For this reason, the aim of this research is to propose hybrid multiple attribute decision making approaches to effectively evaluate LM machines. In addition, because subjective considerations are relevant to selection decision, a fuzzy logic approach is adopted. The proposed selection procedure consists of several steps. First, we identify LM machines that the users consider After constructing the evaluation criteria, we calculate the weights of the criteria by applying the fuzzy Analytic Hierarchy Process(AHP) method. Finally, we construct the fuzzy Technique of Order Preference by Similarity to Ideal Solution(TOPSIS) method to achieve the ranking order of all machines providing the decision information for the selection of LM machines.

하드웨어 설계 교육에서의 TOP-DOWN 접근방법 : 논리설계 과목을 중심으로 (A Top-Down Approach to the Hardware Design Education Focusing on the Logic Design Courses)

  • 이강;정경훈;한윤식
    • 공학교육연구
    • /
    • 제6권2호
    • /
    • pp.22-29
    • /
    • 2003
  • 하드웨어 설계 교육의 궁극적인 목표는 학생들로 하여금 시스템 설계능력을 갖추도록 배양하는 데에 있다. 그러나 상당수의 기존 교과과정은 설계 자체보다는 개별적인 빌딩 블록의 내부동작 원리의 이해를 중심으로 운영되는 것이 현실이다. 따라서, 학생들의 학습동기 유발에 실패할 뿐만 아니라 정작 현장에서 필요로 하는 시스템적 관점에서의 설계를 충분히 경험하지 못하는 것이 문제점으로 지적된다. 이러한 문제점들을 극복하기 위한 대안으로, 과목의 초기 도입부에 추상화의 수준을 높여서 시스템의 전체 설계를 조망할 수 있도록 하고, 점차로 추상화의 단계를 낮추어서 결국 소자의 동작 원리를 탐구하는데 이르도록 강의의 순서를 역전시킬 필요성이 있다. 본 논문에서는 하드웨어 설계의 입문 과목인 논리설계 교과목을 대상으로 하여, 시스템 수준의 설계표현 및 검증방식을 먼저 소개하고 소자에 대한 세부지식은 후반부에 소개하는 새로운 교육방식을 제안하고 이의 타당성을 검증하기 위해 교내의 동아리를 활용한 비정규 교육과정에 이를 도입한 사례를 소개한다.

Application of Total Quality Management in Developing Quality Assessment Model: The Case of Vietnamese Higher Education

  • NGUYEN, Quyen Le Hoang Thuy To;NGUYEN, Du Van;CHU, Ngoc Nguyen Mong;TRAN, Van Hong
    • The Journal of Asian Finance, Economics and Business
    • /
    • 제7권11호
    • /
    • pp.1049-1057
    • /
    • 2020
  • The shift from elite education to mass education in Vietnam has met the demand for education for everybody as well as for quality human resource talent for an emerging nation. Under the resource constraint, understanding the quality dimensions of education and its priority level is important for effective and efficient policies. This study was carried out using both qualitative and quantitative methodologies to develop quality criteria and a ranking model. Two rounds of in-depth interviews were conducted with fifteen experts in the field, who were rectors, employers, and recruitment specialists to develop the quality framework applied in Vietnamese universities under total quality management (TQM), starting from the input of the senior secondary school leavers, through a teaching process to the output. The first round of interviews were unstructured questionnaires designed to explore the main factors in quality assessment model. The second round affirmed the experts' agreement on the assessment model. Then, fuzzy logic was applied to rank eight criteria in the quality assessment model into priority order: cost, teaching and administrative staff, leadership, curriculum, student-related factors, internationalization, admissions, and campus. The results are critical for identifying the necessary actions to enhance the education quality and to further research on the optimal quality model.

2개의 밑수를 이용한 Flash A/D 변환기 (A New Flash A/D Converter Adopting Double Base Number System)

  • 김종수;김만호;장은화
    • 융합신호처리학회논문지
    • /
    • 제9권1호
    • /
    • pp.54-61
    • /
    • 2008
  • 본 논문에서는 디지털 신호를 실시간으로 처리하기 인한 TIQ 방식의 Flash 6-bit ADC 회로를 설계하였다. 새로운 논리회로 설계나 소자들의 근접 배치로 ADC의 속도를 향상시키는 대신에 새로운 코드를 이용하여 DSP의 처리능력을 높이도록 하였다. 제안한 코드는 ADC의 출력으로 이진수를 세공하지 않고 2와 3진법을 동시에 사용하는 Double Base Number System(DBNS)방법이다. 전압은 기존의 이진수를 표시하는 방법과 동일하지만, 밑수로 2와 3의 두개를 동시에 사용하여 합의 형태로 표현하는 방법이다. DBNS 표현법은 곱셈기와 가산기를 이용하지 않고 연산을 좌우로 이동하여 연산을 신속히 처리할 수 있다. 디지털 신호처리에서 사용하는 DBNS는 합의 수가 적도록 Canonical 표현을 구하는 알고리즘을 사용하지만, A/D 변환기에서는 Fan-In 문제가 발생하여 균일한 분포를 이루도록 하는 새로운 알고리즘을 개발하였다. HSPICE를 이용한 ADC의 시뮬레이션 결과 0.18um 공정에서 최고 동작속도는 1.6 GSPS이며 최대 소비전력은 38.71mW이였다.

  • PDF

양의 비율로서 실수 (Real Numbers as Ratios of Quantities)

  • 박준용
    • 논리연구
    • /
    • 제14권3호
    • /
    • pp.137-176
    • /
    • 2011
  • 밥 헤일은 최근 추상화 원리에 기초한 실수이론을 제안하였다. 그 이론에서 실수는 양의 비율로 간주되고, 양의 비율의 동일성은 유독소스에게서 유래된 비율 원리에 의해 설명된다. 그가 실수를 양의 비율로 정의하는 이유는 산수 개념의 정의는 그런 개념의 보편적 적용 가능성에 알맞게 이루어져야 한다는 프레게의 요구를 그가 만족시키려 하기 때문이다. 이 글에서 나는 실수적용에 대한 헤일의 설명이 왜 프레게 제한을 만족시키기 힘든지 보이고, 대안이 될 만한 설명을 제안한다. 나는 먼저 양 개념에 대한 그의 설명과 양의 영역에 관한 그의 약정 사이에 어떤 간격이 있고, 이 때문에 실수 적용에 대한 그의 설명에 어려움이 생긴다는 것을 보인다. 다음으로 나는 어떤 종류의 양들에나 적용될 수 있는 새로운 비율 원리를 제안하고, 그 원리는 양의 비율로서 실수들이 보편적으로 적용가능한 이유를 적합하게 설명해 준다고 주장한다. 마지막으로 나는 양의 측정 절차를 검토한 후, 실수의 성공적 적용을 위해 우리가 전제해야 할 원리들을 제시한다.

  • PDF

A Multi-Perspective Benchmarking Framework for Estimating Usable-Security of Hospital Management System Software Based on Fuzzy Logic, ANP and TOPSIS Methods

  • Kumar, Rajeev;Ansari, Md Tarique Jamal;Baz, Abdullah;Alhakami, Hosam;Agrawal, Alka;Khan, Raees Ahmad
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제15권1호
    • /
    • pp.240-263
    • /
    • 2021
  • One of the biggest challenges that the software industry is facing today is to create highly efficient applications without affecting the quality of healthcare system software. The demand for the provision of software with high quality protection has seen a rapid increase in the software business market. Moreover, it is worthless to offer extremely user-friendly software applications with no ideal security. Therefore a need to find optimal solutions and bridge the difference between accessibility and protection by offering accessible software services for defense has become an imminent prerequisite. Several research endeavours on usable security assessments have been performed to fill the gap between functionality and security. In this context, several Multi-Criteria Decision Making (MCDM) approaches have been implemented on different usability and security attributes so as to assess the usable-security of software systems. However, only a few specific studies are based on using the integrated approach of fuzzy Analytic Network Process (FANP) and Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) technique for assessing the significant usable-security of hospital management software. Therefore, in this research study, the authors have employed an integrated methodology of fuzzy logic, ANP and TOPSIS to estimate the usable - security of Hospital Management System Software. For the intended objective, the study has taken into account 5 usable-security factors at first tier and 16 sub-factors at second tier with 6 hospital management system softwares as alternative solutions. To measure the weights of parameters and their relation with each other, Fuzzy ANP is implemented. Thereafter, Fuzzy TOPSIS methodology was employed and the rating of alternatives was calculated on the foundation of the proximity to the positive ideal solution.

컴퓨터를 이용한 대인면접이 조사 자료의 질 개선에 미치는 영향: 고령화연구패널조사의 Blaise 활용 사례를 중심으로 (CAPI and Higher Data Quality: the Case of KLoSA and Blaise CAPI Programme)

  • 신현구;이혜정
    • 한국조사연구학회지:조사연구
    • /
    • 제7권2호
    • /
    • pp.71-95
    • /
    • 2006
  • 이 글에서는 복잡한 설문구조를 가진 사회조사에서 CAPI를 활용할 때 나타날 수 있는 장점을 고령화연구패널조사(Korean Longitudinal Study of Ageing: KLoSA) 제1차년도 조사 및 예비조사에서 실제 작성한 CAPI 설문 사례를 가지고 살펴보았다. 특히 CAPI 활용이 자료의 질(data quality)을 어떻게 향상시켜 줄 수 있는가에 초점을 맞추어 다음과 같은 다섯 가지 측면에서 살펴보았다. 첫째, CAPI는 설문 논리와 경로 구조화, 응답 범위 설정, 응답 일관성 유지 등을 통하여 응답 오류를 줄여준다. 둘째, 응답자 맞춤식 설문 문항 작성, 자동 계산 및 채점, 도움말 탑재 등을 통하여 면접의 편의성을 제고시켜 준다. 셋째, 설문 문항의 순서를 무작위로 배치할 수 있어서 보기 순서 효과나 문항 순서 효과를 방지하여 준다. 넷째, 항목 무응답을 감소시켜 응답률을 높이는 효과가 있다. 다섯째, 면접 상황을 모니터링하여 설문을 개선하거나 면접원을 감독하는 데에 도움을 준다. CAPI가 가진 이와 같은 특성은 면접 과정에서 발생할 수 있는 오류를 감소시키고, 또한 면접 편의성을 제고하여 면접의 흐름을 자연스럽게 만들어준다.

  • PDF

「가정과 논리 및 논술」 교과목의 운영 실태 및 가정교육과 학생의 인식 (The status of 「Logic and Writing in Home Economics Education」 course and the students' perception about the course)

  • 최민지;채정현;전미경
    • 한국가정과교육학회지
    • /
    • 제27권1호
    • /
    • pp.51-65
    • /
    • 2015
  • 본 연구는 "가정과 논리 및 논술" 교과목의 운영 실태와 이 과목을 수강한 가정교육과 재학생의 인식을 알아보는데 목적이 있다. 이를 위해 전국 사범대학 가정교육과에서 개설된 "가정과 논리 및 논술" 교과목의 강의계획서를 수합하여 내용 분석하였다. 이를 바탕으로 설문지를 구성하여 사범대학 가정교육과에 재학 중인 학생 가운데 이 교과목을 수강한 학생들을 대상으로 설문조사를 실시하였다. 전체 응답자는 116명이며, SPSS/WIN 21.0으로 분석하였다. 본 연구의 주요결과는 다음과 같다. 첫째, "가정과 논리 및 논술"의 강의계획서 분석 결과, 교과목의 목표는 가정교육과와 관련된 다양한 주제에 대한 논리적 서술 능력 함양의 목표가 가장 많았고, 다음으로 논리적인 설득력 강화를 통한 가정과교사의 전문성 향상, 논리적 글쓰기 함양, 임용고사 준비, 그리고 학교 현장에서 학생들의 글쓰기를 잘 지도할 수 있는 능력 함양의 순이었다. 이 교과목에 대한 강의내용은 가정교과 세부전공 중심의 글쓰기, 일반적인 글쓰기 기초, 가정과 임용고사 준비, 논리논술 관련 이론, 가정과 교육 관련 최근의 이슈, 중등학교 현장에서의 논술교육 및 논술지도 방안의 순이었다. "가정과 논리 및 논술" 강의의 학습평가방법은 대개 출석, 시험, 과제, 토론 및 발표, 수업참여를 중심으로 제시되었으며 이 교과목의 과제는 모두 '글쓰기'였다. 둘째, "가정과 논리 및 논술"과목을 수강한 학생들의 인식 조사에서 강의목표에 대한 만족도가 가장 높았으며, 학습평가방법에 대한 만족은 가장 낮았으나 모두 4점 만점에서 2점 이상으로 나타나 수강생들은 이 교과목에 대해서 대체로 만족하였다. 셋째, 가정교육과 재학생들은 "가정과 논리 및 논술" 교과목이 논리적 비판적 분석 능력의 향상, 가정과교육 및 교육학 관련 글쓰기 실력의 향상, 그리고 자신의 생각을 정확하고 체계적으로 표현하는 능력의 향상이 도움이 되었다고 하였다. 이 교과목 수강 시 어려운 점에 대하여 글쓰기 연습이 가장 어려웠고, 다음으로 잦은 토의 및 토론활동, 모호한 학습평가방법 기준, 빈번한 발표, 교수자의 피드백 부족, 과도한 과제, 어려운 강의내용 순으로 인식하였다. 결론적으로, "가정과 논리 및 논술" 교과목은 논리적 비판적 사고력을 키워 가정과교육에 대한 이해를 넓히는 것을 목표로 하는데, 조사결과 본 교과목은 비교적 목표에 잘 부합되게 운영되고 있었다. 다만 교과교육학영역에 '논리 및 논술에 관한 교육'이 신설된 이후 임용시험 유형도 논술형으로 바뀌면서, 학생들은 이 교과목에서 임용시험을 대비할 수 있기를 기대하고 있다. 따라서 "가정과 논리 및 논술" 교과목의 특성과 목표를 유지하면서 학생들의 임용시험 준비에 대한 요구를 제대로 반영하여 이 교과목에 대한 운영을 보완하여야 할 것이다.

  • PDF