• Title/Summary/Keyword: First Order Logic

Search Result 176, Processing Time 0.026 seconds

A Study on 'the Character' in Adolfo Bioy Casares' Literature Works - Focusing on protagonist/antagonist, protagonist narrator/editor narrator (아돌포 비오이 까사레스 작품의 등장인물 연구 - 주인공과 반주인공, 주인공 화자와 편집자 화자를 중심으로)

  • Jeon, Yong Gab
    • Cross-Cultural Studies
    • /
    • v.25
    • /
    • pp.453-482
    • /
    • 2011
  • Until now and in the studying of fantastic literature, there has been likely to regard the character as secondary element, compared to their actions. However, it has to be recognized that the characters is a barometer to divide the boundary among the marvellous literature, or fantasy, magic realism, etc., in particular it is an important narrative element to understand an epistemological vision of fantastic literature. This thesis analyzes the characters, focusing on two dimensions divided such as between protagonist/antagonist and protagonist narrator/editor narrator. The characters in fantastic literature are usually set-up as people like ourselves, because it is necessary for the readers to consider the supernatural phenomenon as real world situation. The reason why many characters in fantastic literature usually meet a tragic end is that the structure of fantastic literature embedded unresolved supernatural confusion into ordinary order in the end, while antagonists are viewed as holders of extraordinariness and they are far from vero-similarity. Together with usual characters who represent the world of logic and reason, antagonists who seek to understand more about the universe totally and thus regarded as symbols of intuition and imagination and ultimately are the elements of fantastic literature. On the other hand, the "first person narrator" is divided between "protagonist narrator" who narrates the supernatural things through his/her own experience to readers and "editor narrator" who narrates the other's experiences. Particularly in the case of "editor narrator", he/she may narrates the stories with different explication and angle, which lead to hesitation and confusion for readers to identify between reality and unreality or natural logic and supernatural one. Even though there are various categories in fantastic literature, this thesis exclude 'neo fantastic', 'metaphysical fantastic' ones, characterized as a possibility of convergence with the secondary interpretation and symbolic implication. Beyond these materials, the literatures which involved with this thesis and analysis are normally related with traditional fantastic literary works which supernatural events intervene in real world and bring out collision between real and unreal, or natural and supernatural logics. Based on this criteria, this thesis chooses literary works such as "De los Reyes Futuros", "El Perjurio de la Nieve" written by Adolfo Bioy Casares who is a representative author in Latin American fantastic literature.

A Criticism Regarding the Medical Rationale of Nucleoplasty Studies for Internal Disc Disruption (수핵성형술(Nucleoplasty)을 이용한 디스크 내장증(Internal Disc Disruption)의 치료 연구들의 의학적 논거에 대한 비판)

  • Hong, Youngki
    • The Journal of the Korea Contents Association
    • /
    • v.22 no.9
    • /
    • pp.570-582
    • /
    • 2022
  • Nucleoplasty is a type of percutaneous disc decompression that has been developed to treat herniated intervertebral discs. Currently, in some clinics, researchers have also applied this procedure to patients with internal disc disruption, apart from the originally intended usage on herniated intervertebral discs. The purpose of this study is to evaluate the feasibility of this extended use based on medical logic. To achieve this, the author analyzed case studies on performing nucleoplasty on patients with internal disc disruption. The main points of the analysis are, first, the validity of the treatment evidence presented by the researchers and, second, the relevance of the patient selection criteria. As a result, it is judged that the therapeutic rationale of existing papers applying nucleoplasty to the treatment of internal disc disruption is unclear or inconsistent with general medical logic, and in the process of patient screening, discs that may be deemed inappropriate for percutaneous decompression are included. Therefore, the author believes that existing studies applying nucleoplasty to the treatment of internal disc disruption have the nature of somewhat adventurous experiments that are unnecessary or can cause potential side effects. In order to uphold patients' rights and improve the completeness of the study in the research process on this topic, the author thinks that it is essential to establish clearer therapeutic evidence than the current level of understanding and to have an elaborate patient screening process based on it.

A study of the Four Category Classification System of Hong Sok-chu (홍석주의 사부분류법에 관한 연구)

  • Lee Sang-Yong
    • Journal of the Korean Society for Library and Information Science
    • /
    • v.30 no.2
    • /
    • pp.149-165
    • /
    • 1996
  • Hong-sii Tokso-rok (홍씨독서록 or Hong's Annotated Bibliography of Korean and Chinise Book) is the only work on the history of Korean bibliographies that has the introductory notes to each class, that is description of the origin of subject fields, transition, and characteristics at the beginning of each class. This paper is aimed to examine the outline of the introductory description of class, to analyze the Four Category Classification System(사부분류법) devised by Hong Sok-chu, and to explain how the classes of Four Category Classification are set and ordered. This paper shows several characteristics in the idea of Hong's classification system. There characteristics were discovered by analyzing the content of each introduction of classes. The characteristics ale as follows First, classes are organize and arranged from the substantial problem to nonsubstantial ones. In other words, the greater the distance of the class from the substantial problem of Confucianism, the farther the order of the class will be found from the substantial problem. The order of classes is set by how the class is closed to the substantial problem in the same hierarchy. This principle is strictly applied to the Hong's classification system. Second, on the basis of democratic thought, he del·eloped the classification system. In other words, when he set up the priority of classes, he put emphasis on the democratism as a guideline. The organization of classes belong to the catagories of history (Sa-bu, 사부) and philosophy(Cha-bu, 자부) showed the application of this principle. Conclusively, this paper found that Hong did not randomly arrange the class older, but he set the class order with objective reasons and logic when he set the class order of arrangement.

  • PDF

A Study on the possibility of various Interpretation of Poetical Signification in Space Design - Focus on the Semantics generative conversion of construction Factors in Interior Design - (공간디자인에 있어 시적 의미작용에 대한 해석가능성 연구 - 실내디자인 구성요소의 의미 구성적 변환을 중심으로 -)

  • Kim, Eunl-Ji
    • Korean Institute of Interior Design Journal
    • /
    • v.18 no.5
    • /
    • pp.71-79
    • /
    • 2009
  • This research understands semantics-system in contemporary space design as a poetic form. It provides that the possibility of various interpretation of space and makes to escape from insipid formal logic of compulsion uniform meaning. In order to unfold this argument, poetic semantics system has to be revealed using conversion of articulation factors in text of space(semantics and syntax). First of all, after setting up the articulation system of space language, we have to understand the conversion of articulation factors that generate a new grammar breaking up the rule of old syntax. And the various expression of form in Contemporary Space design focuses on a poetic expression, that is, the abstraction system fused by space factors(conversion of articulation system). In this method of research to recognize the subject of space in architecture, the importance of interpretation has to be highlighted, as the importance of language is emphasized that intermediates between object and interpretation. The reason to recognize Contemporary space design as a text is that it is a gathering of symbol as a object of interpretation and a mediator. The important issue of this study is to research how and what to transmit by poetic semantics system in contemporary space design. It brings about a poetic problem what it intends to becomes(the problem of meaning operation) in a narrow sense and a interpretational problem what it intends to do(the problem of communication). When we define interpretation the technique of defining a text, it involves the premise of inevitableness of multiple understanding, or the possibility to Interpret variously. In the end the ambiguity of poetic language and the infinity of moaning process as the moaning expansion system in contemporary space design is the flexible measure to solve the self-criticism.

Development of a Vibration Diagnostic System for Steam Turbine Generators (스팀터빈 발전기 진동진단 시스템 개발)

  • Lee, An-Sung;Hong, Seong-Wook;Kim, Ho-Jong;Lee, Hyun
    • Journal of KSNVE
    • /
    • v.5 no.4
    • /
    • pp.543-553
    • /
    • 1995
  • Modern steam turbine generators are being built as a higher power and larger system, experiencing more frequent starts and stops of operation due to a constant change of power demands. Hence, they are inevitably more vulnerable to various vibrations, and more often exposed to the danger of sudden vibration accidents than ever before. Even under the circumstances, in order to secure the system reliability of steampower plants and there by to supply safely the public electricity, it is important to prevent a sudden vibration accident in one hand and even when it happens, to raise an operating efficiency of the plants throught swift and precise treatments in the other. In this study, an interactive vibration diagnostic system has been developed to make the on-site vibration diagnosis of steam turbine generators possible and convenient, utilizing a note-book PC. For this purpose, at first the principal vibration phenomena, such as various unbalance and unstable vibrations as well as rubbing, misalignment, and shaft crack vibrations, have been systematically classified as grouped parameters of vibration frequencies, amplitudes, phases, rotating speeds at the time of accident, and operating conditions or condition changes. A new complex vibration diagnostic table has been constructed from the causal relations between the characteristic parameters and the principal vibration phenomena. Then, the diagnostic system has been developed to screen and issue the corresponding vibration phenomena by assigning to each user-selected combination of characteristic parameters a unique characteristic vector and comparing this vector with a diagnostic vector of each vibration phenomenon based on the constructed diagnostic table. Moreover, the diagnostic system has a logic whose diagnosis may be performed successfully by inputing only some of the corresponding characteristic parameters without having to input all the parameters. The developed diagnostic system has been applied to perform the diagnosis of several real cases of steam turbine vibration accidents. And the results have been quite satisfactory.

  • PDF

Control of Smart Base-isolated Benchmark Building using Fuzzy Supervisory Control (퍼지관리제어기법을 이용한 스마트 면진 벤치마크 건물의 제어)

  • Kim, Hyun-Su;Roschke P. N.
    • Journal of the Earthquake Engineering Society of Korea
    • /
    • v.9 no.4 s.44
    • /
    • pp.55-66
    • /
    • 2005
  • The effectiveness of fuzzy supervisory control technique for the control of seismic responses of smart base isolation system is investigated in this study. To this end, first generation base isolated building benchmark problem is employed for the numerical simulation. The benchmark structure under consideration is an eight-story base isolated building having irregular plan and is equipped with low-damping elastometric bearings and magnetorheological (MR) dampers for seismic protection. Lower level fuzzy logic controllers (FLC) for far-fault or near-fault earthquakes are developed in order to effectively control base isolated building using multi-objective genetic algorithm. Four objectives, i.e. reduction of peak structural acceleration, peak base drift, RMS structural acceleration and RMS base drift, are used in multi-objective optimization process. When earthquakes are applied to benchmark building, each of low level FLCs provides different command voltage and supervisory fuzzy controller combines two command voltages io one based on fuzzy inference system in real time. Results from the numerical simulations demonstrate that base drift as well as superstructure responses can be effectively reduced using the proposed supervisory fuzzy control technique.

Experiment of an ABS-type control strategy for semi-active friction isolation systems

  • Lu, Lyan-Ywan;Lin, Ging-Long;Lin, Chen-Yu
    • Smart Structures and Systems
    • /
    • v.8 no.5
    • /
    • pp.501-524
    • /
    • 2011
  • Recent studies have discovered that a conventional passive isolation system may suffer from an excessive isolator displacement when subjected to a near-fault earthquake that usually has a long-period velocity pulse waveform. Semi-active isolation using variable friction dampers (VFD), which requires a suitable control law, may provide a solution to this problem. To control the VFD in a semi-active isolation system more efficiently, this paper investigates experimentally the possible use of a control law whose control logic is similar to that of the anti-lock braking systems (ABS) widely used in the automobile industry. This ABS-type controller has the advantages of being simple and easily implemented, because it only requires the measurement of the isolation-layer velocity and does not require system modeling for gain design. Most importantly, it does not interfere with the isolation period, which usually decides the isolation efficiency. In order to verify its feasibility and effectiveness, the ABS-type controller was implemented on a variable-friction isolation system whose slip force is regulated by an embedded piezoelectric actuator, and a seismic simulation test was conducted for this isolation system. The experimental results demonstrate that, as compared to a passive isolation system with various levels of added damping, the semi-active isolation system using the ABS-type controller has the better overall performance when both the far-field and the near-fault earthquakes with different PGA levels are considered.

A study on measure of North Korea's nuclear terror threat; Focusing on the guarantee of 'anticipatory self-defense' (북한 핵테러 위협 대비방안 연구; '선제적 자위권' 보장을 중심으로)

  • Kim, Yeon Jun
    • Convergence Security Journal
    • /
    • v.16 no.3_2
    • /
    • pp.13-23
    • /
    • 2016
  • North Korea had recently conducted the fourth nuclear test and ICBM tests, dared nuclear provocation targeting the Korea and the international community. It is determined based on experiments of nuclear and missile in progress in North Korea that the technical level of nuclear force reached the completion stage of standardization, lightweight, and variation. It is expected to become reality that North Korea executes the nuclear provocation targeting the Korea and the international community in the near future. Nuclear bomb is an absolute weapon that the logic of counterattack after allowing the first strike of the other party cannot be applied due to its tremendous destructive power. Therefore, as the opponent to North Korea that it decided to hold the nuclear, the exercise of anticipatory self-defense in order to guarantee a minimum of right to life is not a choice, but the only essential correspondence concept. At the moment that the North Korean nuclear provocation is expected in the near future, it shall be provided with competence to strike the origin region of provocation by forming a national consensus of preemptive strike enforcement. Also, in preparation for the fifth nuclear test of North Korea, which is anticipated, the national competence must be mobilize to be able to ensure the 'Nuclear Option' from the international community.

VLSI Design of H.264/AVC CAVLC encoder for HDTV Application (실시간 HD급 영상 처리를 위한 H.264/AVC CAVLC 부호화기의 하드웨어 구조 설계)

  • Woo, Jang-Uk;Lee, Won-Jae;Kim, Jae-Seok
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.44 no.7 s.361
    • /
    • pp.45-53
    • /
    • 2007
  • In this paper, we propose an efficient hardware architecture for H.264/AVC CAVLC (Context-based Adaptive Variable Length Coding) encoding. Previous CAVLC architectures search all of the coefficients to find statistic characteristics in a block. However, it is unnecessary information that zero coefficients following the last position of a non-zero coefficient when CAVLC encodes residual coefficients. In order to reduce this unnecessary operation, we propose two techniques, which detect the first and last position of non-zero coefficients and arrange non-zero coefficients sequentially. By adopting these two techniques, the required processing time was reduced about 23% compared with previous architecture. It was designed in a hardware description language and total logic gate count is 16.3k using 0.18um standard cell library Simulation results show that our design is capable of real-time processing for $1920{\times}1088\;30fps$ videos at 81MHz.

Associative Motion Generation for Humanoid Robot Reflecting Human Body Movement

  • Wakabayashi, Akinori;Motomura, Satona;Kato, Shohei
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.12 no.2
    • /
    • pp.121-130
    • /
    • 2012
  • This paper proposes an intuitive real-time robot control system using human body movement. Recently, it has been developed that motion generation for humanoid robots with reflecting human body movement, which is measured by a motion capture. However, in the existing studies about robot control system by human body movement, the detailed structure information of a robot, for example, degrees of freedom, the range of motion and forms, must be examined in order to calculate inverse kinematics. In this study, we have proposed Associative Motion Generation as humanoid robot motion generation method which does not need the detailed structure information. The associative motion generation system is composed of two neural networks: nonlinear principal component analysis and Jordan recurrent neural network, and the associative motion is generated with the following three steps. First, the system learns the correspondence relationship between an indication and a motion using training data. Second, associative values are extracted for associating a new motion from an unfamiliar indication using nonlinear principal component analysis. Last, the robot generates a new motion through calculation by Jordan recurrent neural network using the associative values. In this paper, we propose a real-time humanoid robot control system based on Associative Motion Generation, that enables user to control motion intuitively by human body movement. Through the task processing and subjective evaluation experiments, we confirmed the effective usability and affective evaluations of the proposed system.