• Title/Summary/Keyword: 수리논리

Search Result 68, Processing Time 0.034 seconds

Development of an expert system for a PC's fault diagnosis using causal reasoning

  • 양승정;이원영
    • Proceedings of the Korean Operations and Management Science Society Conference
    • /
    • 1996.10a
    • /
    • pp.23-26
    • /
    • 1996
  • 인과관계적 추론 방법(causal reasoning)은 시스템 고장을 시스템 구조나 행동의 원인 상과관계를 사용하여 분류하는 것으로서 관측된 행도오가 기대행동의 차이를 조사하여 인식하게 된다. 본 연구에서는 징후(symptom)를 분석 및 분류할 때에 시스템의 기능적인 계층구조를 이용한다. 전문가시스템의 구축은 KAPPA-PC를 사용하였다. KAPPA-PC는 규칙 및 논리에 근거한 방법과 객체지향적 지식 표현 기법을 사용한다. 대다수의 사람들이 일상적으로 사용하는 PC(Personal Computer)는, 특히 하드웨어에서 고장이 일어났을 때 수리자의 노우하우(know-how)로 고쳐지는 경우가 대부분이다. 본 논문에서는 자주 일어날수 있는 PC의 하드웨어적 고장에 일반사용자들이 쉽게 접근해서 그 원인과 진단을 내릴 수 있도록 했으며 작은 고장 원인이 전체 시스템구조내에서 어떤 상관관계를 가지는지를 고찰하였다.

  • PDF

Critical Review of Statistics Chapter in High School Mathematics I (고등학교 수학 I "통계"에 대한 고찰)

  • Huh, Myung-Hoe
    • The Korean Journal of Applied Statistics
    • /
    • v.20 no.1
    • /
    • pp.159-165
    • /
    • 2007
  • The statistics chapter in High School Mathematics I as implemented in The 7th Curriculum is reviewed critically. In views from mathematical integrity or logic, the current contents are not satisfactory in several key issues. Specific instances are the law of large numbers, normal distribution and confidence intervals for population mean. We suggest alternative teaching points to handle such difficulties and propose re-structuring the course syllabus with reduced items.

Fuzzy rule based automated liver function test analysis (퍼지논리에 입각한 간기능 검사 결과의 자동분석)

  • Yang, Seung-Ok;Jung, Ki-Ho;Kim, Jong-Won;Hwang, Yu-Seong;Lee, Tae-Soo;Cha, Eun-Jong
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1993 no.05
    • /
    • pp.94-97
    • /
    • 1993
  • 퍼지규칙에 기반을 둔 간기능검사 자동 분석 시스템을 제안하였다. 전문의의 지식과 경험을 수리화한 소속함수를 설정한 후 4가지의 간질환이 있는 118명의 환자를 대상으로 측정된 6종목의 간기능검사 결과에 적용하여 80%의 높은 적중율을 얻었다. 질환별 적중향상은 전문의가 판정한 때 예상되는 것과 일치하였다. 본 연구에서 제안하는 시스템은 유사한 상황의 모든 진단시스템에 동일하게 적용할 수 있다.

  • PDF

A study on the Standardization of Design Guidelines for Geographic Information Databases (지리정보 DB 설계 지침의 표준화 연구)

  • Lim, Duk-Sung;Moon, Sang-Ho;Si, Jong-Ik;Hong, Bong-Hee
    • Journal of Korea Spatial Information System Society
    • /
    • v.5 no.1 s.9
    • /
    • pp.49-63
    • /
    • 2003
  • Recently, two international standard organizations, ISO and OGC, have done the work of standardization for GIS. Current standardization work for providing interoperability among GIS DB focuses on the design of open interfaces. But, this work has not considered procedures and methods for designing GIS DB. Eventually, GIS DB has its own model. When we share the data by open interface among heterogeneous GIS DB, differences between models result in the loss of information. Our aim in this paper is to revise the design guidelines for geographic information databases in order to make consistent spatial data models, logical structures, and semantic structure of populated geographical databases. In details, we propose standard guidelines which convert ISO abstract schema into relation model, object-relation model, object-centered model, and geometry-centered model. Furthermore, we provide sample models for applying these guidelines in commercial GIS S/Ws. Building GIS DB based on design guidelines proposed in the paper has the following advantages: the interoperability among databases, the standardization of schema definitions, and the catalogue of GIS databases through.

  • PDF

unifying solution method for logical topology design on wavelength routed optical networks (WDM의 논리망 구성과 파장할당 그리고 트래픽 라우팅을 위한 개선된 통합 해법)

  • 홍성필
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.25 no.9A
    • /
    • pp.1452-1460
    • /
    • 2000
  • A series of papers in recent literature on logical topology design for wavelength routed optical networks have proposed mathematical models and solution methods unifying logical topology design wavelength assignment and traffic routing. The most recent one is by Krishnaswamy and Sivarajan which is more unifying and complete than the previous models. Especially the mathematical formulation is an integer linear program and hence regarded in readiness for an efficient solution method compared to the previous nonlinear programming models. The solution method in [7] is however elementary one relying on the rounding of linear program relaxation. When the rounding happens to be successful it tends to produce near-optimal solutions. In general there is no such guarantee so that the obtained solution may not satisfy the essential constraints such as logical -path hop-count and even wavelength number constraints. Also the computational efforts for linear program relaxation seems to be too excessive. In this paper we propose an improved and unifying solution method based on the same to be too excessive. In this paper we propose an improved and unifying solution method based on the same model. First its computation is considerably smaller. Second it guarantees the solution satisfies all the constraints. Finally applied the same instances the quality of solution is fairly competitive to the previous near optimal solution.

  • PDF

Turing's Cognitive Science: A Metamathematical Essay for His Centennial (튜링의 인지과학: 튜링 탄생 백주년을 기념하는 메타수학 에세이)

  • Hyun, Woo-Sik
    • Korean Journal of Cognitive Science
    • /
    • v.23 no.3
    • /
    • pp.367-388
    • /
    • 2012
  • The centennial of Alan Mathison Turing(23 June 1912 - 7 June 1954) is an appropriate occasion on which to assess his profound influence on the development of cognitive science. His contributions to and attitudes toward that field are discussed from the metamathematical perspective. This essay addresses (i)Turing's mathematical analysis of cognition, (ii)universal Turing machines, (iii)the limitations of universal Turing machines, (iv)oracle Turing machine beyond universal Turing machine, and (v)Turing test for cognitive science. Turing was a ground-breaker, eager to move on to new fields. He actually opened wider the scientific windows to the mind. The results show that first, by means of mathematical logic Turing discovered a new bridge between the mind and the physical world. Second, Turing gave a new formal analysis of operations of the mind. Third, Turing investigated oracle Turing machines and connectionist network machines as new models of minds beyond the limitations of his own universal machines. This paper explores why the cognitive scientist would be ever expecting a new Turing Test on the shoulder of Alan Turing.

  • PDF

A STUDY ON THE PREDICTION OF GROUNDWATER CONTAMINATION USING THE GIS IN HWANAM 2 SECTOR, GYEONGGI PROVINCE, KOREA (GIS를 이용한 경기도 화남2지구의 지하수오염 예측에 관한 연구)

  • HoWoongShon
    • Journal of the Korean Geophysical Society
    • /
    • v.4 no.4
    • /
    • pp.267-285
    • /
    • 2001
  • This study has tried to develop the modified DRASTIC Model by supplying the parameters,such as structural lineament density and landuse, into conventional DRASTIC medal, and to predict the potential of groundwater contamination using GIS in Whanam 2 Area, Gyeonggi Province, Korea. Since the aquifers in Korea is generally through the joints of rock-mass in hydrogeological environment, lineament denisity affects to the behavior of goundwater and contaminated plumes directly, and land-use reflect the effect of point or non-point source of contamination indirectly. For the statistical analysis, lattice layers of each parameter were generated, and then level of confidence was assessed by analyzing each correlation coefficient. Composite contamination map was achieved as a final result by comparing modified DRASTIC potential and the amount of generation load of several contaminant sources logically. The result could suggest the predictability of the area of contamination potrntial in the respects of hydrogeological aspect and water quality.

  • PDF

A Case Study of Teaching Mathematics for Integrated Essay Education: Instruction of Conic Section using Concrete Materials and Technology (통합형 수리논술 지도 사례 - 구체물과 공학적 도구를 활용한 원뿔곡선 수업 -)

  • Ryu, Hyunah
    • Communications of Mathematical Education
    • /
    • v.27 no.4
    • /
    • pp.567-580
    • /
    • 2013
  • As integrated essay writing is performed in university entrance examinations, teachers and students recognize the importance of integrated essay, but teachers have still difficulties of teaching methods. The purpose of this study is to derive educational implications through case of mathematics instruction for integrated essay education to pre-service mathematics teachers. The content knowledge of this class is a definition of conic section in mathematics and properties of conic section in an antenna reflector. The students have to discover them using the history of math, manipulative material, paper-folding and computer simulation. In this teaching and learning process the students can realize mathematical knowledge invented by humans through history of mathematics. The students can evaluate the validity of that as create and justify a mathematical proposition. Also, the students can explain the relation between them logically and descript cause or basis convincingly in the process of justifying. We should keep our study to instructional materials and teaching methods in integrated essay education.

Design of Maximum Green Time Parameters for Traffic Actuated Operation (감응식 신호운영을 위한 최대녹색시간의 설계)

  • KIM, Jin Tae
    • Journal of Korean Society of Transportation
    • /
    • v.20 no.4
    • /
    • pp.123-134
    • /
    • 2002
  • 감응식 신호운영변수 설계에 관한 연구는 정주기식 신호운영변수 설계의 그것보다 그 수준이 현저히 미비하며 이는 감응식 신호운영 특성을 반영한 평가방법의 부재로 감응식 운영변수의 평가가 불가능하였기 때문이다. 본 논문은 최근에 소개된 평균 감응현시 녹색시간 추정 수리모형을 이용하여 Highway Capacity Manual (HCM) 지체도를 최소화하는 최대녹색시간의 설계방안을 제시한다. - '최소녹색시간'과 '단위연장시간'은 보행자 횡단시간 및 차량 차두시간 등 지역별 운전자/보행자의 특성과 관련이 있어 일반적인 최적화 설계 수리모형의 적용에 무리가 있어 제외한다. 제안된 설계방안은 감응식 운영논리를 토대로 감응현시 군의 평균녹색시간과 평균주기를 산정하며, HCM 지체도를 평가하고, 가능한 대안 중 지체를 최소화하는 최대녹색시간 운영변수 군을 '혼혈 유전자 알고리즘'으로 도출한다. 현장실험을 통해 도출이 불가능한 실제 최적치를 Corridor Simulation(CORSIM)모형을 이용하여 추정하였고 이를 제안된 설계방안으로 도출된 최대녹색시간 운영변수' 값들과 비교하였다. 비교결과 교차로 v/c 비율이 1.0 보다 낮을 시는 제안된 방법을 통해 설계된 최대녹색시간 운영변수 군이 최소 CORSIM 지체도를 산출하는 최대녹색시간 운영변수 군과 동일한 것으로, v/c비율이 1.0보다 높을 시는 다른 것으로 결과되었다. v/c비율이 1.0 보다 높은 경우는 정주기식 교차로 운영에 효율적이라 감응식 운영의 필요를 벗어나므로 제안된 최대녹색시간 설계방안은 감응식 신호운영 필요범위 내에서 효율적이다. 기존의 최대녹색시간 설계는 정수기식 최적녹색시간을 기준으로 최대녹색시간을 추정하며, 그러한 과정을 돕기 위하여 추정범위(설계자가 범위 내에서 임의로 선택함)를 제시하는 것이 기존의 연구임을 비교하면 본 연구에서 제안하고 있는 설계방법의 의미가 크다.

Mathematical modeling approach for classroom assignment problem (수리적 모델링을 통한 강의실 배정문제 해법에 관한 연구)

  • Ahn, Namsu
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.18 no.10
    • /
    • pp.580-587
    • /
    • 2017
  • Recently, as the education population of Korea has been rapidly declining, many changes have been taking place in the university environment. Especially, community colleges linked to local communities have responded to these crises through various educational changes, such as three-year study transfers, work-parallelism, and employee commissioned education. However, such changes in the contents of education are causing a new type of classroom allocation problem, in which it is difficult to assign the limited number of classrooms to the major courses. In this paper, we classified the constraints involved in assigning classrooms into absolute constraints and relative constraints, mathematically modeled them, and allocated the classrooms optimally through optimization software. The results were satisfactory and enabled us to obtain superior results in terms of the various performance indices (classroom utilization rate, teacher satisfaction, etc.) than when assigning classrooms in the normal way.