• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.022 seconds

On Neural Fuzzy Systems

  • Su, Shun-Feng;Yeh, Jen-Wei
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.14 no.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
    • /
    • v.6 no.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.

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

  • Byun, Hong-Seok
    • Transactions of the Korean Society of Machine Tool Engineers
    • /
    • v.18 no.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.

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

  • Yi Kang;Jung Kyeong-Hoon;Han Youn-Sik
    • Journal of Engineering Education Research
    • /
    • v.6 no.2
    • /
    • pp.22-29
    • /
    • 2003
  • The ultimate goal of a hardware design course is to equip the students with the system design ability. However, the majority of the current structures of the design courses are focused on the understanding of the operational principles of each device which is used later as a building block for the design of a system. The shortcomings of this approach are, first, that it is very hard to keep the students motivated to the end of the course where system design concepts are dealt, and, second, the students do not have enough experience of the system design which is usually required in the field. As an alternative to solve these problems, it is necessary to reverse the order of contents of the course. Namely we introduce the high level of the abstract concept of the system design in the very beginning of the course and later by lowering the level of abstraction to the operational principle of the internal devices. In this paper, we propose a new top-down methodology for the introductory hardware design course of logic design, where the design expression and verification in the system-level are introduced first and then detail knowledge on each device is introduced later. Also, we report a case result from a student's working group as part of an extracurricular education in order to verify the validity of our proposed approach

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
    • /
    • v.7 no.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.

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

  • Kim, Jong-Soo;Kim, Man-Ho;Jang, Eun-Hwa
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.9 no.1
    • /
    • pp.54-61
    • /
    • 2008
  • This paper presents a new TIQ based CMOS flash 6-bit ADC to process digital signal in real time. In order to improve the conversion speed of ADC by designing new logic or layout of ADC circuits, a new design method is proposed in encoding logic circuits. The proposed encoding circuits convert analog input into digitally encoded double base number system(DBNS), which uses two bases unlike the normal binary representation scheme. The DBNS adopts binary and ternary radix to enhance digital arithmetic processing capability. In the DBNS, the addition and multiplication can be processed with just shift operations only. Finding near canonical representation is the most important work in general DBNS. But the main disadvantage of DBNS representation in ADC is the fan-in problem. Thus, an equal distribution algorithm is developed to solve the fan-in problem after assignment the prime numbers first. The conversion speed of simulation result was 1.6 GSPS, at 1.8V power with the Magna $0.18{\mu}m$ CMOS process, and the maximum power consumption was 38.71mW.

  • PDF

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

  • Park, Jun-Yong
    • Korean Journal of Logic
    • /
    • v.14 no.3
    • /
    • pp.137-176
    • /
    • 2011
  • Bob Hale recently proposed a theory of real numbers based on abstraction principles. In his theory, real numbers are regarded as ratios of quantities and the criteria of identities of ratios of quantities are given by an Eudoxan ratio principle. The reason why Hale defines real numbers as ratios of quantities is that he wants to satisfy Frege's requirement that arithmetical concepts should be defined to be adequate for their universal applicability. In this paper I show why Hale's explanation of applications of real numbers fails to satisfy Frege's requirement, and I propose an alternative explanation. At first I show that there are some gaps between his explanation of the concept of quantity and his stipulation of domains of quantities, and that those gaps give rise to some difficulties in his explanation of applications of real numbers. Secondly I introduce a new ratio principle which can be applied to any kinds of quantities, and I argue that it allows us an adequate explanation of the reason why real numbers as ratios of quantities can be universally applicable. Finally I enquire into some procedures of the measurement of quantities, and I propose some principles which we should presuppose in order to successfully apply real numbers to the measurement of quantities.

  • 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)
    • /
    • v.15 no.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.

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

  • Shin, Hyun-Goo;Lee, Hye-Jung
    • Survey Research
    • /
    • v.7 no.2
    • /
    • pp.71-95
    • /
    • 2006
  • This article presents strengths of Computer-Assisted Personal Interviewing(CAPI) in social surveys with complicated questionnaires, from examples of a pilot and the first year surveys of the Korean Longitudinal Study of Ageing(KLoSA). This study focuses on how to improve the quality of data by using CAPI and finds five strengths among others. First of all, CAPI can contribute to reducing response errors by structuring the logic and path of questionnaires, setting a response range, and maintaining response consistency. Second, CAPI enhances convenience of interviewing by allowing customized questions and automatic calculation and scoring. It also allows the 'help' function. Third, its random arrangement of questions prevents response order effect and/or questions order effect. Fourth, CAPI can raise the response rate by reducing item non-responses. Fifth, it makes it easy monitoring interviewing, thus helps supervising interviewers and modifying questionnaires when necessary. These merits of CAPI contribute to reducing possible errors in the process of interviewing, therefore improve the data quality.

  • PDF

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

  • Choi, Min-Ji;Chae, Jung-Hyun;Jun, Mi-Kyung
    • Journal of Korean Home Economics Education Association
    • /
    • v.27 no.1
    • /
    • pp.51-65
    • /
    • 2015
  • The purpose of the study was to describe the operating status of "Logic and Writing in Home Economics Education(HEE)" course and the students' perception about the course. For this study, the syllabuses of "Logic and Writing" course in HE education department were reviewed. The survey method was used in this descriptive study. Respondents in this study were 116 students taking the "Logic and Writing in Home Economics Education" course. Questionnaires from the students were collected through on-line and off-line mail. The results of the study were as the follows: First, goals of the "Logic and Writing in HE Education" course were as the follows in order: to enhance writing skill about various subjects related to Home Economics; to foster HE teachers' professionalism through persuasive power logically; to foster writing skill logically; to prepare HE teacher recruitment exam; and to foster teaching skills to enhance students' writing. The student evaluation methods in the course were mainly attendance, examination, tasks, discussion and presentation, and class participation. Second, degree of satisfaction of students taking the course was higher than average. The student respondents perceived that the course was helpful to improve their logical thinking and critical analytical skill, writing skill related to HE education and education, ability to express one's opinion clearly and exactly, understanding of the fundamental concept of logic and the structure and method of the essay, comprehensive understanding of HE education, and ability to solve the problems specifically. However, they responded that it was difficult to practice writing, to discuss and debate frequently, to follow uncertain assessment criteria, and to present frequently. They wanted the instructor to give the feedback more frequently.

  • PDF