• Title/Summary/Keyword: Logic

Search Result 7,644, Processing Time 0.033 seconds

Train interval control and train-centric distributed interlocking algorithm for autonomous train driving control system (열차자율주행제어시스템을 위한 간격제어와 차상중심 분산형 연동 알고리즘)

  • Oh, Sehchan;Kim, Kyunghee;Choi, Hyeonyeong
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.17 no.11
    • /
    • pp.1-9
    • /
    • 2016
  • Train control systems have changed from wayside electricity-centric to onboard communications-centric. The latest train control system, the CBTC system, has high efficiency for interval control based on two-way radio communications between the onboard and wayside systems. However, since the wayside system is the center of control, the number of input trains to allow a wayside system is limited, and due to the cyclic-path control flows between onboard and wayside systems, headway improvement is limited. In this paper, we propose a train interval-control and train-centric distributed interlocking algorithm for an autonomous train-driving control system. Because an autonomous train-driving control system performs interval and branch control onboard, both tracks and switches are shared resources as well as semaphore elements. The proposed autonomous train-driving control performs train interval control via direct communication between trains or between trains and track-side apparatus, instead of relying on control commands from ground control systems. The proposed interlocking algorithm newly defines the semaphore scheme using a unique key for the shared resource, and a switch that is not accessed at the same time by the interlocking system within each train. The simulated results show the proposed autonomous train-driving control system improves interval control performance, and safe train control is possible with a simplified interlocking algorithm by comparing the proposed train-centric distributed interlocking algorithm and various types of interlock logic performed in existing interlocking systems.

Dependency Label based Causing Inconsistency Axiom Detection for Ontology Debugging (온톨로지 디버깅을 위한 종속 부호 기반 비논리적 공리 탐지)

  • Kim, Je-Min;Park, Young-Tack
    • Journal of KIISE:Software and Applications
    • /
    • v.35 no.12
    • /
    • pp.764-773
    • /
    • 2008
  • The web ontology language(OWL) has become a W3C recommendation to publish and share ontologies on the semantic web. In order to check the satisfiablity of concepts in OWL ontology, OWL reasoners have been introduced. But most reasoners simply report check results without providing a justification for any arbitrary entailment of unsatisfiable concept in OWL ontologies. In this paper, we propose dependency label based causing inconsistency axiom (CIA) detection for debugging unsatisfiable concepts in ontology. CIA is a set of axioms to occur unsatisfiable concepts. In order to detect CIA, we need to find axiom to cause inconsistency in ontology. If precise CIA is gave to ontology building tools, these ontology tools display CIA to debug unsatisfiable concepts as suitable presentation format. Our work focuses on two key aspects. First, when a inconsistency ontology is given, it detect axioms to occur unsatisfiable and identify the root of them. Second, when particular unsatisfiable concepts in an ontology are detected, it extracts them and presents to ontology designers. Therefore we introduce a tableau-based decision procedure and propose an improved method which is dependency label based causing inconsistency axiom detection. Our results are applicable to the very expressive logic SHOIN that is the basis of the Web Ontology Language.

Improvement of Fatigue Model of Concrete Pavement Slabs Using Environmental Loading (환경하중을 이용하는 콘크리트 포장 슬래브 피로모형의 개선)

  • Park, Joo-Young;Lim, Jin-Sun;Kim, Sang-Ho;Jeong, Jin-Hoon
    • International Journal of Highway Engineering
    • /
    • v.13 no.4
    • /
    • pp.103-115
    • /
    • 2011
  • Concrete slab curls and warps due to the uneven distribution of temperature and moisture and as the result, internal stress develops within the slab. Therefore, environmental loads must be considered in addition to the traffic loads to predict the lifespan of the concrete pavement more accurately. The strength of the concrete slab is gradually decreases to a certain level at which fatigue cracking is generated by the repetitive traffic and environmental loadings. In this study, a new fatigue regression model was developed based on the results from previously performed studies. To verify the model, another laboratory flexural fatigue test program which was not used in the model development, was conducted and compared with the predictions of other existing models. Each fatigue model was applied to analysis logic of cumulative fatigue damage of concrete pavement developed in the study. The sensitivity of cumulative fatigue damage calculated by each model was analyzed for the design factors such as slab thickness, joint spacing, complex modulus of subgrade reaction and the load transfer at joints. As the result, the model developed in this study could reflect environmental loading more reasonably by improving other existing models which consider R, minimum/maximum stress ratio.

Development of an Environmental Monitoring and Warning System for Cold Storage Rouse Using Internet (인터넷을 이용한 저온저장고 환경감시 및 경보 시스템 개발)

  • Jeong, Hoon;Yun, Hong-Sun;Lee, Won-Og;Cho, Kwang-Hwan;Cho, Young-Kil;Park, Won-Kyu;Shin, Jae-Hun
    • Food Science and Preservation
    • /
    • v.10 no.1
    • /
    • pp.28-31
    • /
    • 2003
  • For safe storage of agricultural products in the cold storage house, accurate monitoring of temperature, humidity and gas conditions is necessary. This study was conducted to develop an environmental monitoring and warning system for the cold storage house to improve safety of storage. The system developed in this study is able to monitor temperature, humidity and $CO_2$concentration in the storage house and to send alarm signal to the farmer by telephone and beeper when abnormal conditions have been occurred in the storage house. And the developed system use internet network so we can supervise storage conditions in the home. From the results of the performance test, it was found that the temperature and relative humidity can be controlled within the range of 0.5$^{\circ}C$ and $\pm$2 percent. And farmer's response was fair.

A Critical Study on Arthur C. Danto's' Philosophizing Art' (단토의 '철학하는 예술' 개념에 대한 비판적 고찰)

  • Kim, Baik-Gyun
    • The Journal of Art Theory & Practice
    • /
    • no.10
    • /
    • pp.183-202
    • /
    • 2010
  • The term "philosophizing art" was coined by Arthur Danto, who tried to define new forms of art, especially Andy Warhol's pop art appeared in New York after 1960's, which could not be explained by traditional concept of "representation". As Danto said "the term 'philosophizing art' is unclear, whether art discusses philosophical issues or art is the object of philosophic discussions", it does not seem like Danto himself had a specific idea when he used this term. The background for Danto coining this term derives from the fact that the old art concept such as denotation and connotation could not fully explain phenomenalistic aspects of concept art which appeared frequently at that time. Many articles in his book "philosophizing art", in which many of his criticism are included, mainly say that art begins philosophizing by dealing with not mimesis or representation but concepts. According to his argument, the history of western art, which has been consisted of mimesis and representation, has come to end when art is about physically embodied with meaning. Of course, as Danto say so, what goes to end is not art itself, but the narrative of art. It means master narrative saying art should be shown different from nature or artificial daily product is over. Danto could not find principals of mimesis and representation which had been main logic in the western art history, when he saw Andy Warhol's Brillo Boxes at Stable Gallery, New York in 1964. Danto questioned "if we can not distinguish Brillo box's artistic aspects visually from other factory-made products, how can we distinguish art from non-art", By answering those questions, he discovered two facts which made him realize the end of Art: One is there is no special way in which works of art have to be shown or has to exist. Therefore, art history has proven that commercial boxes, trashes and files of underwear can be a work of art. The other is we have fully recognized it at the end of 20thcentury. Danto confessed that through Brillo Boxes, he realized the works of art are decided by something can not be seen by eyes, not by distinguished differences by looking at it. This thesis is trying to show personal understanding about art, philosophy and discourses surrounding them and to figure out how Dante opened a new world to art criticism by using new definitions such as 'end of art' and 'philosophizing art' which Danto used to explain inner aspects of art.

  • PDF

City Beautification and Art: Some Critical Reflections on "Art on the Street" (도시미화와 예술: '길 위의 예술'에 대한 비판적 소고)

  • Lim, Seong-Hoon
    • The Journal of Art Theory & Practice
    • /
    • no.10
    • /
    • pp.47-61
    • /
    • 2010
  • What is Art on the street? Is it a series of artworks or activities performed on the street? In other words, does "art on the street" refer to "Street Art" such as street performance, happening, graffiti, or wall-painting, or does it refer to "Street Furniture" which is related to "City Design" or "Environmental Design"? In a formal sense, they all belong to Art on the street. However, in this paper, I would like to use Art on the street in an even broader sense. To me, " the street" is a metaphor of "environment." Thus Art on the street is the art related to environment; it is an environment art. Art on the street attests the expansion of the concept of art and shows a new possibility of contemporary art. It is a promising new concept of art, but we cannot ignore the misapplication of the concept that we can find at the crossroad of Art on the street and "city beautification." Of course, Art on the street can and sometimes needs to beautify the city. However we still need to ask how to contribute to the city beautification with Art on the street and how to validate such a practice. City space is, most of all, a space that people live in. It sounds a cliche, but it is worth repeating to better understand Art on the street. When we consider the city space in terms of its system or organization, we often overlook that it is the space in which people live, and which people create. Art on the street concerns not the city itself, but the space in which people live and make relations for each other. Without taking this into account, Art on the street becomes a mere means to' embellish' the city and falls prey to the logic of capital. In this paper, I critically reviewed the problems such as City Development, Spectacularization, City Environmental Design, Public Interest and City Museum. I intended to emphasize that Art on the street is produced in the cultural space of city, but it also tends to break the mold of the cultural space and seeks a new possibility. Some might argue that my claims are unrealistic because Art on the street is not an idea but a practice. While humbly accepting the objection, I hope my critical suggestions guide a more productive direction to continue our discussions of Art on the street.

  • PDF

Study on Variable Systems for Compressor and Turbine and its Control Scheme (압축기 정익, 터빈 노즐 가변 메카니즘 및 제어기법 연구)

  • Kim, Sangjo;Kim, Donghyun;Bae, Kyoungwook;Kim, Dae-il;Son, Changmin;Kim, Kuisoon;Lee, Daewoo;Go, Jeungsang;Choi, Dong-Whan;Kim, Myungho;Min, Seongki
    • Journal of the Korean Society of Propulsion Engineers
    • /
    • v.19 no.5
    • /
    • pp.1-14
    • /
    • 2015
  • In case of a gas turbine engine for supersonic operation, the engine have a wide range of operating inlet mass flow rate and required high performance such as thrust and fuel consumption. Therefore, variable system and its optimal control logic are essentially needed. In this work, a method for performance prediction of a gas turbine engine with variable system compressor and its control scheme were developed. Conceptual design of compact acuation system for the operation of the variable system was also conducted. The performance of a low-bypass ratio mixed flow turbofan engine was analyzed, and it was observed that the surge margin of the engine is improved at off-design condition by applying the control scheme.

A study of comparison about dream sequence in film based on Freud's Psychoanalysis (Focusing on the film "Mulholland Drive(2001)"and "Inception(2012)") (프로이드의 정신분석학에 의한 영화 속 꿈 표현의 비교 연구 (영화 "멀홀랜드 드라이브(2001)"와 "인셉션 (2012)"를 중심으로))

  • Lee, Tae-Hoon
    • Journal of Digital Convergence
    • /
    • v.15 no.10
    • /
    • pp.437-444
    • /
    • 2017
  • Christopher Nolan's film "Inception (2012)", which depicts the world of dreams as a unique space-time and opens a new chapter in the expression of dreams, portrays the dreamy world of unconsciousness. However, I can find limitations and contradictions in the expression of the actual dreams and essence of unrealistic structures and forms. I can find David Lynch's movies "Mulholland drive (2001)", which are closer to Freud's psychoanalysis in expressing the actual presentation process of dreams Through comparative analysis, I try to analyze the interpretation and context of the dream mentioned by Freud. The film "Inception" can be appreciated in terms of space time and rich imagination created from the point of view of science fiction movies, but it shows that logical reasonability is weak in view of applying the essence of dream. On the other hand, the film "Mulholland Drive" describes the illogical, confusing and unhappy feeling of unconsciousness by giving logic and order based on the interpretation of Freud's psychoanalytic dreams, is. In this way, it is possible to portray more realistic scenes of dreams only through the portrayal of dreams and unconsciousness based on Freud's psychoanalytic viewpoint.

A New Demosaicking Algorithm for Honeycomb CFA CCD by Utilizing Color Filter Characteristics (Honeycomb CFA 구조를 갖는 CCD 이미지센서의 필터특성을 고려한 디모자이킹 알고리즘의 개발 및 검증)

  • Seo, Joo-Hyun;Jeong, Yong-Jin
    • Journal of the Institute of Electronics Engineers of Korea SP
    • /
    • v.48 no.3
    • /
    • pp.62-70
    • /
    • 2011
  • Nowadays image sensor is an essential component in many multimedia devices, and it is covered by a color filter array to filter out specific color components at each pixel. We need a certain algorithm to combine those color components reconstructed a full color image from incomplete color samples output from an image sensor, which is called a demosaicking process. Most existing demosaicking algorithms are developed for ideal image sensors, but they do not work well for the practical cases because of dissimilar characteristics of each sensor. In this paper, we propose a new demosaicking algorithm in which the color filter characteristics are fully utilized to generate a good image. To demonstrate significance of our algorithm, we used a commerically available sensor, CBN385B, which is a sort of Honeycomb-style CFA(Color Filter Array) CCD image sensor. As a performance metric of the algorithm, PSNR(Peak Signal to Noise Ratio) and RGB distribution of the output image are used. We first implemented our algorithm in C-language for simulation on various input images. As a result, we could obtain much enhanced images whose PSNR was improved by 4~8 dB compared to the commonly idealized approaches, and we also could remove the inclined red property which was an unique characteristics of the image sensor(CBN385B).Then we implemented it in hardware to overcome its problem of computational complexity which made it operate slow in software. The hardware was verified on Spartan-3E FPGA(Field Programable Gate Array) to give almost the same performance as software, but in much faster execution time. The total logic gate count is 45K, and it handles 25 image frmaes per second.

One-Chip Multi-Output SMPS using a Shared Digital Controller and Pseudo Relaxation Oscillating Technique (디지털 컨트롤러 공유 및 Pseudo Relaxation Oscillating 기법을 이용한 원-칩 다중출력 SMPS)

  • Park, Young-Kyun;Lim, Ji-Hoon;Wee, Jae-Kyung;Lee, Yong-Keun;Song, Inchae
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.50 no.1
    • /
    • pp.148-156
    • /
    • 2013
  • This paper suggests a multi-level and multi-output SMPS based on a shared digital logic controller through independently operating in each dedicated time periods. Although the shared architecture can be devised with small area and high efficiency, it has critical drawbacks that real-time control of each DPWM generators are impossible and its output voltage can be unstable. To solve these problems, a real-time current compensation scheme is proposed as a solution. A current consumption of the core block and entire block with four driver buffers was simulated about 4.9mA and 30mA at 10MHz switching frequency and 100MHz core operating frequency. Output voltage ripple was 11 mV at 3.3V output voltage. Over/undershoot voltage was 10mV/19.6mV at 3.3V output voltage. The noise performance was simulated at 800mA and 100KHz load regulation. Core circuit can be implemented small size in $700{\mu}m{\times}800{\mu}m$ area. For the verification of proposed circuit, the simulations were carried out with Dong-bu Hitek BCD $0.35{\mu}m$ technology.