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

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

한자(漢字)의 언어적 특성과 『논어(論語)』 읽기 (The linguistic characteristics of Chinese character and Reading for the Analects of Confucius)

  • 김상래
    • 한국철학논집
    • /
    • 제30호
    • /
    • pp.191-225
    • /
    • 2010
  • 이 논문은 한자(漢字)의 다의성(多義性)과 품사(品詞)의 비결정성(非決定性)에 초점을 맞추어 "논어(論語)" 해독을 시도하였다. 먼저, 이 글은 한자가 인간과 세계에 대한 문제를 표현하는 사유의 언어(다른 말로 철학언어)로서 제 기능을 할 수 있는가? 는 물음에 대한 본격적인 논의를 전개하였다. 16세기 마테오 리치는 보편적인 '표의문자체(ideographic script)'의 가능성을 한자에서 발견하려고 노력함으로써 이 물음에 긍정적인 답변을 제시하였다. 반면, 헤겔과 하이데거 등은 한자는 첫째, 전치사와 관사가 없는 언어체계이며, 둘째, 이중의미, 반대의미를 표시하는 단어가 없으며, 셋째, 어형변화 없이 어순에 의해서만 의미를 표현, 전달하기 때문에 복잡한 인간의 사유와 엄밀한 논리를 표현하는 철학 언어로서 부적합하다고 주장한다. 그러나 카시러와 울만, 소쉬르, 그리고 데리다 등의 언어관을 경유하면서, 우리는 헤겔과는 다른 입장에서 한자의 사유언어로서의 기능을 발견할 가능성을 확인한다. 서양의 언어체계와 달리 한자는 언제나 개별적으로 존재하는 단어들의 의미 보다 문맥에서의 언어 기능이 보다 중요하다. 한자는 고유의 품사를 감추고, 다른 문자들과의 관계망 속에서 어떤 사건과 사물의 의미를 표현하면서 자신의 본색을 드러낸다. 한자는 이른바 '불가결정성(indecidability)'의 언어인 것이다. 이러한 한자의 다의성과 품사의 부재는 바로 '불가결정성'에 기인한다. 이렇게 본다면, 비록 전치사, 관사, 어형변화, 품사 등을 결여하는 있는 문자체계일지라도 '다의(多義)'의 특성을 지닌 한자는 인간의 복잡한 사유를 나름의 방식으로 표현하는 철학언어로서 충분한 기능을 할 수 있는 것이다. 이를 토대로 "논어(論語)"읽기의 다양성을 담보할 수 있을 것이다.

시뮬레이션 기반 비상대비 정부연습모델 개발 - 감염병 연습모의 SW개발을 중심으로 - (Development of Simulation-Based Emergency Preparedness Government Practice Model - Focusing on SW Development of Infectious Disease Practice Caps -)

  • 김문겸;송재민;유수홍;손홍규
    • 한국콘텐츠학회논문지
    • /
    • 제22권2호
    • /
    • pp.58-70
    • /
    • 2022
  • 현재 정부에서 실시하고 있는 비상대비 연습은 50여 년 이상 메시지에 의한 연습으로 진행하고 있다. 따라서 본 연구에서는 감염병 훈련사태를 중심으로 시뮬레이션 기반 정부연습모델을 개발하여 향후, 과학적 기법을 적용한 훈련체계의 가능성을 제시하고자 했다. 연구개발 결과 첫째, 감염병 발생을 모의하기 위해 모의논리를 개발하였다. 감염병 발생은 사망자에 대해 24시간 이내에 조치가 이루어지지 않을 경우와 오염된 식량(24시간)과 식수(12시간), 식수 부족(24시간)에 대해 적절한 조치가 이루어지지 않을 경우 감염병이 발생할 수 있도록 개발하였다. 둘째, 모의논리를 구현하기 위해 긴급의료반, 역학조사반, 사망자매장처리반, 방역소독반 등의 모의엔진 SW를 개발하였으며, 이와 같은 내용 등이 상황도에 표출될 수 있도록 상황도 SW를 개발하였다. 이와 같은 과학적 기법을 적용한 시뮬레이션 기반 정부연습모델 개발을 확장할 경우 현실 세계에서 발생할 수 있는 실질적인 상황조성을 통한 훈련이 가능할 것이고, 충무계획 및 각종 비상대비 계획에 대해 검증이 가능할 것이다.

일반국도 통행시간 추정을 위한 동질구간 기반 지점검지기 배치에 관한 연구 (A Study on Placement of Point Detectors Based on Homogeneous Section for Travel Time Estimation in National Highway)

  • 김성현;임강원;이영인
    • 대한교통학회지
    • /
    • 제24권1호
    • /
    • pp.73-84
    • /
    • 2006
  • 본 연구는 지점검지기의 효율적 배치기준인 동질구간 결정 로직을 정립하고자 수행되었다. 동질구간의 결정은 도로 및 운영조건과 실시간 교통패턴의 변동을 고려하며 시간대별 동질구간 및 최종 동질구간을 결정하였다 교통조건의 동질구간 결정은 실시간 자료에 기반한 군집분석을 이용하였다. 동질구간의 검증을 위해 모든 링크에 검지기를 설치하는 경우와 동질구간에 검지기를 설치하는 경우에 대하여 각각 통행시간 추정력을 비교한 결과 동질구간의 효과가 입증되었다. 본 연구결과는 향후 국토교통관리 및 정보제공시스템에 유용하게 적용될 것으로 기대된다. 본 연구결과에 의하면 본 연구에서 제안한 동질구간 결정 로직을 대규모 국도 ITS 구축사업에 적용할 경우 통행시간 추정력의 향상과 함께 지점검지기의 효율적 배치를 통한 구축 및 운영비용의 절감이 예상된다.

Ontology-Based Multi-level Knowledge Framework for a Knowledge Management System for Discrete-Product Development

  • Lee, Jae-Hyun;Suh, Hyo-Won
    • International Journal of CAD/CAM
    • /
    • 제5권1호
    • /
    • pp.99-109
    • /
    • 2005
  • This paper introduces an approach to an ontology-based multi-level knowledge framework for a knowledge management system for discrete-product development. Participants in a product life cycle want to share comprehensive product knowledge without any ambiguity and heterogeneity. However, previous knowledge management approaches are limited in providing those aspects: therefore, we suggest an ontology-based multi-level knowledge framework (OBMKF). The bottom level, the axiom, specifies the semantics of concepts and relations of knowledge so ambiguity can be alleviated. The middle level is a product development knowledge map; it defines the concepts and the relations of the product domain knowledge and guides the engineer to process their engineering decisions. The middle level is then classified further into more detailed levels, such as generic product level, specific product level, product version level, and manufactured item level, according to the various viewpoints. The top level is specialized knowledge for a specific domain that gives the solution of a specific task or problem. It is classified into three knowledge types: expert knowledge, engineering function knowledge, and data-analysis-based knowledge. This proposed framework is based on ontology to accommodate a comprehensive range of knowledge and is represented with first-order logic to maintain a uniform representation.

Automatic Fortified Password Generator System Using Special Characters

  • Jeong, Junho;Kim, Jung-Sook
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제15권4호
    • /
    • pp.295-299
    • /
    • 2015
  • The developed security scheme for user authentication, which uses both a password and the various devices, is always open by malicious user. In order to solve that problem, a keystroke dynamics is introduced. A person's keystroke has a unique pattern. That allows the use of keystroke dynamics to authenticate users. However, it has a problem to authenticate users because it has an accuracy problem. And many people use passwords, for which most of them use a simple word such as "password" or numbers such as "1234." Despite people already perceive that a simple password is not secure enough, they still use simple password because it is easy to use and to remember. And they have to use a secure password that includes special characters such as "#!($^*$)^". In this paper, we propose the automatic fortified password generator system which uses special characters and keystroke feature. At first, the keystroke feature is measured while user key in the password. After that, the feature of user's keystroke is classified. We measure the longest or the shortest interval time as user's keystroke feature. As that result, it is possible to change a simple password to a secure one simply by adding a special character to it according to the classified feature. This system is effective even when the cyber attacker knows the password.

A Study on Loose Part Monitoring System in Nuclear Power Plant Based on Neural Network

  • Kim, Jung-Soo;Hwang, In-Koo;Kim, Jung-Tak;Moon, Byung-Soo;Lyou, Joon
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제2권2호
    • /
    • pp.95-99
    • /
    • 2002
  • The Loose Part Monitoring System(LPMS) has been designed to detect. locate and evaluate detached or loosened parts and foreign objects in the reactor coolant system. In this paper, at first, we presents an application of the back propagation neural network. At the preprocessing step, the moving window average filter is adopted to reject the reject the low frequency background noise components. And then, extracting the acoustic signature such as Starting point of impact signal. Rising time. Half period. and Global time, they are used as the inputs to neural network . Secondly, we applied the neural network algorithm to LPMS in order to estimate the mass of loose parts. We trained the impact test data of YGN3 using the backpropagation method. The input parameter for training is Rising clime. Half Period amplitude. The result shored that the neural network would be applied to LPMS. Also, applying the neural network to thin practical false alarm data during startup and impact test signal at nuclear power plant, the false alarms are reduced effectively.

인적자원관리 분야의 지식표현체계에 관한 연구 (A Study on Knowledge Representation Schemes for Use in Human Resource Management Problem Domains)

  • 변대호
    • Asia pacific journal of information systems
    • /
    • 제7권1호
    • /
    • pp.85-97
    • /
    • 1997
  • This paper is concerned with knowledge representation schemes best suited for human resource management (HRM) problem domains including human resource planing, selection, placement, compensations, performance evaluation, training and labor-management relations. In order to suggest the scheme we consider two research gods. First, we evaluate and prioritize. The knowledge representation techniques of frames rules, semantic nets and predicate logic that hove been recommended to managerial domains. The combined Analytic Hierarchy Process technique is employed to combine individual judgments effectively between two different expert groups. As a result if we are to select a single knowledge representation technique, a frame representation is best for most HRM domains and to combine frames with others is another choice. Second as a strategy for knowledge representation schemes we show some examples for each damn in terms of labeled semantic nets and two types of rules derived from the semantic nets. We propose nine knowledge components as ontologies. The labeled semantic nets con provide some benefits compared with conventional one. More clearly definea node rode information maces it easy to find the ac information. In the rule sets, the variables are the node of the semantic nets. The consistency of rules is validated by the relationship of the knowledge components.

  • PDF

Networked Intelligent Motor-Control Systems Using LonWorks Fieldbus

  • 홍원표
    • 한국조명전기설비학회:학술대회논문집
    • /
    • 한국조명전기설비학회 2004년도 학술대회 논문집
    • /
    • pp.365-370
    • /
    • 2004
  • The integration of intelligent devices, devices-level networks, and software into motor control systems can deliver improved diagnostics, fast warnings for increased system reliability, design flexibility, and simplified wiring. Remote access to motor-control information also affords an opportunity for reduced exposure to hazardous voltage and improved personnel safety during startup and trouble-shooting. This paper presents LonWorks fieldbus networked intelligent induction control system architecture. Experimental bed system with two inverter motor driving system for controlling 1.5kW induction motor is configured for LonWorks networked intelligent motor control. In recent years, MCCs have evolved to include component technologies, such as variable-speed drives, solid-state starters, and electronic overload relays. Integration was accomplished through hardwiring to a programmable logic controller (PLC) or distributed control system (DCS). Devicelevel communication networks brought new possibilities for advanced monitoring, control and diagnostics. This LonWorks network offered the opportunity for greatly simplified wiring, eliminating the bundles of control interwiring and corresponding complex interwiring diagrams. An intelligent MCC connected in device level control network proves users with significant new information for preventing or minimizing downtime. This information includes warnings of abnormal operation, identification of trip causes, automated logging of events, and electronic documentation. In order to show the application of the multi-motors control system, the prototype control system is implemented. This paper is the first step to drive multi-motors with serial communication which can satisfy the real time operation using LonWorks network.

  • PDF

3차원 레이더 반사도를 이용한 대류세포 판별과 추적 알고리즘의 개발 (Development of Convective Cell Identification and Tracking Algorithm using 3-Dimensional Radar Reflectivity Fields)

  • 정성화;이규원;김형우;국봉재
    • 대기
    • /
    • 제21권3호
    • /
    • pp.243-256
    • /
    • 2011
  • This paper presents the development of new algorithm for identifying and tracking the convective cells in three dimensional reflectivity fields in Cartesian coordinates. First, the radar volume data in spherical coordinate system has been converted into Cartesian coordinate system by the bilinear interpolation. The three-dimensional convective cell has then been identified as a group of spatially consecutive grid points using reflectivity and volume thresholds. The tracking algorithm utilizes a fuzzy logic with four membership functions and their weights. The four fuzzy parameters of speed, area change ratio, reflectivity change ratio, and axis transformation ratio have been newly defined. In order to make their membership functions, the normalized frequency distributions are calculated using the pairs of manually matched cells in the consecutive radar reflectivity fields. The algorithms have been verified for two convective events in summer season. Results show that the algorithms have properly identified storm cells and tracked the same cells successively. The developed algorithms may provide useful short-term forecasting or nowcasting capability of convective storm cells and provide the statistical characteristics of severe weather.

조선(朝鮮) 전(前)·중기(中期)의 소갈(消渴) 인식에 관한 연구 - 「의방류취(醫方類聚)」 및 「동의보감(東醫寶鑑)」을 중심으로 - (A Study of the Perception of SoGal in the early through mid Chosun Dynasty - centering on UiBangYuChi and DongUiBoGam -)

  • 조선영;차웅석;김남일
    • 한국의사학회지
    • /
    • 제18권2호
    • /
    • pp.229-244
    • /
    • 2005
  • In order to find out how SoGal was perceived in the Korean medical history and under what logic it was treated, the SoGal section of UiBangYuChi and DongUiBoGam were compared and examined. Through this process, the following could concluded. First of all, in UiBangYuChi's SoGal Section, mainly the fire/heat theory was adopted. In DongUiBoGam's SoGal Section, the lack of Bodily Liquids and Blood theory was selected. Secondly, in DongUiBoGam's SoGal Section, it went beyond UiBangYuChi's perspective of viewing all thirst caused by fire/heat as SoGal, and perceived SoGal as a state of thirst reached for the lack of Bodily Liquids and Blood. Lastly, UiBangYuChi's SoGal Section accepts the fire/heat theory, and heavily restricts the use of BuJa in PalMi, while DongUiBoGam's SoGal Section elucidates the use of BuJa when needed.

  • PDF