• Title/Summary/Keyword: First-order Logic

Search Result 176, Processing Time 0.026 seconds

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

  • Kim, Sang-Rae
    • The Journal of Korean Philosophical History
    • /
    • no.30
    • /
    • pp.191-225
    • /
    • 2010
  • This paper is the outcome of attempting to approach for reading the Analects of Confucius through the polysemy of Chinese character and indecidability of articles. For this purpose at first, I explained which this Chinese character can be applied for 'philosophy language'. In the 16th century Matteo Ricci had tried to find out the possibility of ideographic script as standing for a universal language. On the other hand, Hegel and Heidegger strictly insisted on the Chinese character is inappropriate for expressing the logic thought of the human being. The reason was as next; firstly, this character had not the preposition and articles, and secondly the only one word could not indicates the bisemy including the meaning of opposition, lastly this language system expresses and communicates only with the change of word order without inflection. But With some scholar like Cassirer, Saussure and Derrida we can confirm the possibility which will discover the Chinese character for using the logic and reasoning language of from different view. Because in the language system of this Chinese character the connection of words in contexts is more important other than meaning as the individual word, in comparison to the language of the West. The Chinese character hides the original meaning until being what kind of event and thing relationship watch inside with different letters. So to speak, the Chinese character is called as 'language of indecidability'. For these points, even though The Chinese character lacks of preposition, articles, and inflection speech etc. the letter systematic, this language system can play a role for expressing as the philosophic language which manages with the complicated problems of the human being.

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

  • Kim, Mun-kyom;Song, Jae-Min;Yoo, Su-Hong;Sohn, Hong-Gyoo
    • The Journal of the Korea Contents Association
    • /
    • v.22 no.2
    • /
    • pp.58-70
    • /
    • 2022
  • The emergency preparedness exercise currently conducted by the government has been conducted as a message-based exercise for more than 50 years. Therefore, in this study, a simulation-based maintenance practice model was developed focusing on infectious disease situations, and the possibility of a training system applying scientific techniques was presented. As a result, First, a simulatioon logic assuming an infectious disease outbreak situation was developed. The situation of an infectious disease outbreak was made to occur when measures are not taken within 24 hours for the death due to disease, and when appropriate measures are not taken for contaminated food (24 hours), drinking water (12 hours), and drinking water shortage (24 hours). Second, in order to implement the simulation logic, simulation engine SW was developed for emergency medical team, epidemiological investigation team, dead burial team, quarantine and disinfection team, etc., and situation map SW was developed so that these contents could be expressed in the situation map. As suggested in this paper, if scientific techniques are applied to the simulation-based government practice model to expand the scope, training will be possible by creating practical situations that can occur in the real world, and the Chungmu plan and various emergency preparedness plans will be verified.

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

  • Kim, Seong-Hyeon;Im, Gang-Won;Lee, Yeong-In
    • Journal of Korean Society of Transportation
    • /
    • v.24 no.1 s.87
    • /
    • pp.73-84
    • /
    • 2006
  • This study was carried out to set up the logic to determine lengths of the homogeneous sections effectively in order to provide dynamic travel time on real time base for the application of the model. First, considering real time traffic pattern fluctuation, lengths of the homogeneous sections for each time period and the final homogeneous sections were determined. In order to determine lengths of the homogeneous sections according to traffic condition, the cluster analysis was used based on real time data. In order to verify the homogeneous section the case with detectors in all links and the case with detectors in homogeneous section for each time period are used. As the results of verification, each cases showed similar estimation results. The results of this study are expected to be used for National Highway traffic management and the system to Provide a traffic information in the future. According to this study, when the homogeneous section decision model are used to the ITS project for National Highway, operation cost is expected to be cut by effectively establishing point detectors.

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
    • /
    • v.5 no.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
    • /
    • v.15 no.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
    • /
    • v.2 no.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 (인적자원관리 분야의 지식표현체계에 관한 연구)

  • Byeon, Dae-Ho
    • Asia pacific journal of information systems
    • /
    • v.7 no.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

  • Hong, Won-Pyo
    • Proceedings of the Korean Institute of IIIuminating and Electrical Installation Engineers Conference
    • /
    • 2004.11a
    • /
    • 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

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

  • Jung, Sung-Hwa;Lee, GyuWon;Kim, Hyung-Woo;Kuk, BongJae
    • Atmosphere
    • /
    • v.21 no.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 - (조선(朝鮮) 전(前)·중기(中期)의 소갈(消渴) 인식에 관한 연구 - 「의방류취(醫方類聚)」 및 「동의보감(東醫寶鑑)」을 중심으로 -)

  • Cho, Sun Young;Cha, Wung Seok;Kim, Nam Il
    • The Journal of Korean Medical History
    • /
    • v.18 no.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