• Title/Summary/Keyword: 형식적 증명

Search Result 119, Processing Time 0.027 seconds

Automatic Recognition and Normalization System of Korean Time Expression using the individual time units (시간의 단위별 처리를 이용한 자동화된 한국어 시간 표현 인식 및 정규화 시스템)

  • Seon, Choong-Nyoung;Kang, Sang-Woo;Seo, Jung-Yun
    • Korean Journal of Cognitive Science
    • /
    • v.21 no.4
    • /
    • pp.447-458
    • /
    • 2010
  • Time expressions are a very important form of information in different types of data. Thus, the recognition of a time expression is an important factor in the field of information extraction. However, most previously designed systems consider only a specific domain, because time expressions do not have a regular form and frequently include different ellipsis phenomena. We present a two-level recognition method consisting of extraction and transformation phases to achieve generality and portability. In the extraction phase, time expressions are extracted by atomic time units for extensibility. Then, in the transformation phase, omitted information is restored using basis time and prior knowledge. Finally, every complete atomic time unit is transformed into a normalized form. The proposed system can be used as a general-purpose system, because it has a language- and domain-independent architecture. In addition, this system performs robustly in noisy data like SMS data, which include various errors. For SMS data, the accuracies of time-expression extraction and time-expression normalization by using the proposed system are 93.8% and 93.2%, respectively. On the basis of these experimental results, we conclude that the proposed system shows high performance in noisy data.

  • PDF

Synchronize Ethernet-based Fault Injection Algorithm Implementation for Intelligent Automotive Network (차량용 지능형 네트워크에서의 동기식 이더넷중심 오류 주입 알고리즘 구현☆)

  • Jang, Eunji;Kim, Inyoung;Lee, Woongjae
    • Journal of Internet Computing and Services
    • /
    • v.17 no.4
    • /
    • pp.43-50
    • /
    • 2016
  • In this paper, we propose the protocol of Ethernet that will receive a popular interesting in the automotive intelligent network, it also attempts to implementation and verification through simulation and experiments to propose a fault tolerance algorithm when the data transfer on it. It has proven the usefulness of the system in order to apply toward an existing automotive communication system. In the case of actual real-time data for automotive industry, we generated a randomly-generated data which is the set of payload into a standard format to complete the experiment. Among the implemented existing algorithms performance, we confirmed the effectiveness of all range from a single data to mixed (Hybrid-type) data, to verify the proposed algorithm.

Model Tests on the Reinforcement Effect of Unattached Strips to the Cantilever Retaining Wall (비정착 띠보강재의 역T형 옹벽 보강효과에 관한 모형실험)

  • Han, Gyeong-Je;Kim, Un-Yeong;Kim, Myeong-Mo
    • Geotechnical Engineering
    • /
    • v.14 no.2
    • /
    • pp.31-40
    • /
    • 1998
  • To verify the reinforcing effect of the strips which are inserted in the backfill, but not connected to the face wall, model tests are executed. As the reinforcing effect is expected to reduce the active thrust acting on the retaining wall, test programmes included the measurements of the thrust. As a result. it is ascertained that the active thrusts are reduced by as much as 50%. Besides, efficient arrangement and the optimum length of the strips are verified. And the the number of reinforcing strips are increased, are close to the Rankine's hypothesis.

  • PDF

Remote Communication of sensor data in Ballast Water Treatment System (선박 평형수 처리 시스템에서 센서 데이터의 원격 통신)

  • Kim, Chin-Hoon;Kim, Joo-Man;Kim, Byoung-Chul
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.14 no.6
    • /
    • pp.139-147
    • /
    • 2014
  • The ballast water may be discharged into another sea area with marine organisms, it caused problems to disturb the marine ecosystem. So, in order to remove these environmental risk factors, the IMO has mandated the installation of BWTS to the all ships. Our monitoring system diagnose and predict a failure of BWTS by analyzing the sensor information of BWTS collected from which the ships scattered in the ocean of several. This paper presents the design and implementation of communication modules for BWTS remote monitoring considering the satellite communication charge fee. In the our study, we implemented the safety and cost-saving communication modules by LabVIEW program. The collected sensor informations is encrypted and compressed by LabVIEW modules running on RIO. Then they will be transfer to the land server and will be decrypt to enable monitoring in the land server. For the verification, we build the test modules which can verify from collecting the sensor data to consuming them in the monitoring server. We carried out 20 times for the data pattern in all of case. So, we verified the excellent functionality and reliability through the experimental result.

Channel Estimation and Prediction in Cross-Layer Design Using Side-information (크로스레이어 디자인에서 사이드 인포메이션을 활용한 채널 추정 및 예측)

  • Cho, Yong-Ju;Cha, Ji-Hun;Kim, Wook-Joong
    • Journal of Broadcast Engineering
    • /
    • v.16 no.5
    • /
    • pp.797-800
    • /
    • 2011
  • The objective of MPEG Media Transport (MMT), which is on going standard, is to develop efficient delivery of media over packet based networks in an adaptive, progressive, download/streaming fashion over various IP based networks, including terrestrial, satellite and cable broadcast networks. In this paper we introduce utilization of signal strength information based on Cross Layer Design(CLD) to efficient multimedia delivery over wireless network in which in practice the wireless conditions can vary significantly. Many recent studies have shown that a significant improvement in wireless video throughput can be achieved by utilizing signal strength information on CLD [1][2]. Despite of its usefulness, however, it was difficult to employ signal strength information in rate adaptation applications due to different representation of signal strength information for each underlying wireless network. To that end, we proposed syntax and semantics of signal strength information in such a way that the information can be interpreted in the unified way. The proposed signal strength information was proposed for the MMT standardization.

Novel System Modeling and Design by using Eclectic Vehicle Charging Infrastructure based on Data-centric Analysis (전기차 충전인프라 및 데이터 연계 분석에 의한 시스템 모델링 및 실증 설계)

  • Kim, Hangsub;Park, Homin;Jeong, Taikyeong;Lee, Woongjae
    • Journal of Internet Computing and Services
    • /
    • v.20 no.2
    • /
    • pp.51-59
    • /
    • 2019
  • In this paper, we analyzed the relationship between charging operation system and electricity charges connected with charging infrastructure among data of many demonstration projects focused on electric vehicles recently. At this point in time, due to the rapid increase in demand for the electric charging infrastructure that will take place in the future, we can prepare for an upcoming era in the sense of forecasting the demand value. At the same time, demonstrating and modeling optimized system modeling centering on sites is a prerequisite. The modeling based on the existing small - scale simulation and the design of the operating system are based on the data linkage analysis. In this paper, we implemented a new optimized system modeling and introduced it as a standard format to analyze time - dependent time - divisional data for each vehicle and user in each point and node. In order to verify the efficiency of the optimization based on the data linkage analysis for the actual implemented electric car charging infrastructure and operation system.

On bi(必, necessity) and xianzhi(先知, a priori knowledge) of Mojing (『묵경』에 있어서 '선지(先知)'와 '필(必)' 개념의 문제)

  • Chong, Chaehyun
    • (The)Study of the Eastern Classic
    • /
    • no.35
    • /
    • pp.275-295
    • /
    • 2009
  • The aim of this paper is to reject Graham's interpretation of bi (必) and xianzhi (先知) of Later Mohists' Mojing ("墨經") as logical necessity and a priori knowledge respectively. Graham's interpretations of them are based on his beliefs that Mojing distinguishes lun (論), the art of description from bian (辯), the art of inference in the Mohist disciplines and that the latter art should be seen as such a rigorous proof as Euclidean geometry even though it is not a Western formal logic. His beliefs also start from his distinguishing 'knowledge of names' from 'knowledge of conjunction of names and objects' according to the objects of knowledge. In my reading, the art of description and the art of inference, however, can't be sharply distinguished each other in Mojing and bi and xianzhi should be taken as suggesting both a normative necessity and an empirical necessity. A normative necessity is derived from 'normative theory of definition' which comes form the theory of rectification of names in China. The normative theory of definition, unlike the descriptive theory of definition, defines terms normatively rather than descriptively. For example, although such a definition of father, 'father is beneficient', has the form of being descriptive, but it actually is prescriptive and therefore means 'father should be beneficient'. Through this normative theory of definition, empirical knowledge, as long as it is a knowledge, is seen as necessary and so can't be wrong. To conclude, for Mohists an empirical knowledge is always a basis of an inferential knowledge or a priori knowledge, so Mohists' a priori knowledge is not really a fundamental knowledge and its necessity therefore is nothing but both a normative necessity and an empirical necessity.

Criticism on Anti-Kitsch Theory (반키치론 비판)

  • Kim, Joo-hyoun
    • Journal of Korean Philosophical Society
    • /
    • v.123
    • /
    • pp.87-110
    • /
    • 2012
  • The kitsch was emerged from the people's cultural desire in the conditions of the various duplicating technology, the capital economy system, and the civil revolution in the western modern mass society. But it is underestimated constantly because of the conspicious consumption and the aesthetic inadequacy. Even though some kitsches are elevated to the 'kitsch arts' in the historical description of the modern arts, still the most of kitsches are remained as 'just kitsches' and excluded from the aesthetic research according to the double standard. In this essay, I research for whether anti-kitsch theory is convincing theoretically and practically. Anti-kitsch theory criticizes the kitsch on the basis of the modernist aesthetics, in which the 'fine art' provokes the aesthetic pleasure in the disinterested contemplation. But kitsch purposes for the sensual gratification and the sentimentality. So the anti-kitish theorists conclude that the kitsch is the bad taste. In critically analyzing the argumentation of Greenberg's. Kaplan's and $C{\tilde{a}}linescu^{\prime}s$, I refute the privileged prejudice of the ideal critic. They don't justify the criteria of the classification of 'art'/ 'kitsch'. They supplement the economical and the political grounds for the evaluative theory of the kitsch. But the argumentation of the kitsch is consumed conspicuously and results in the unlettered masses is not sufficient. People produce and enjoy the kitsches in the various ways. People envelope the genres, styles and media of the kitsches and they try to suggest the new horizon of the popular aesthetics. So anti-kitsch theories cannot be accepted because they adhere to the elitism and formalism. The exclusion of the kitsch is the derogation for people's taste. Also they didn't reflect the contemporary cultural practice and the aesthetic needs in the system of post-art. The alternative aesthetics of the kitsch is the topic of my next essay.

The Effects of Novel Engineering on Improvement of Creative Problem-Solving Ability (노벨 엔지니어링이 창의적 문제해결력 향상에 미치는 효과)

  • Hong, Ki-Cheon;Lee, Woo-Jin;Kim, Semin
    • Journal of Industrial Convergence
    • /
    • v.18 no.3
    • /
    • pp.83-89
    • /
    • 2020
  • This paper describes the effects of Novel Engineering(NE) on improvement of creative problem-solving abilities. We performed two classes for control and experience group. They are all 5th grade students. Core concept of the NE lesson is ecosystem and interaction with 8 hours long. We designed a lesson able to integrate subjects like Korean, Science and Practical Arts. Then we performed pre-and-post t-test on creative problem-solving ability. The experimental results showed that NE lesson has a high effects on 4 sub-elements like self conviction and independence, diffusion thinking, critical thinking and motivational component. The research showed that NE class is a good teaching-learning method to cultivate various competencies for our children. NE is a convergence learning model integrating various problem-solving paradigms ever researched. Thus we expect that NE is a foundation for convergence curriculum model to lead our children to their future and get settled to all schools.

A Systematic Review on Non-Medication Intervention for Self- Injurious Behavior of Individuals With Autism Spectrum Disorders (자폐스펙트럼장애의 자해행동 중재에 관한 체계적 고찰 : 비약물치료 중심으로)

  • Kim, Seul-kee;Choi, Jeong-sil
    • The Journal of Korean Academy of Sensory Integration
    • /
    • v.17 no.1
    • /
    • pp.30-42
    • /
    • 2019
  • Objective : The purpose of this study is to analyze non-medication interventions for self-injurious behavior of individuals with autism spectrum disorders, using a systematic review, and to provide evidence of appropriate services for individuals with autism spectrum disorders with self-injury behaviors in the clinical practice of occupational therapy. Methods : Using the electronic databases PubMed, Medline (ProQuest), DBpia, RISS, KISS, and NDSL, we searched for articles published in Korean and international journals from December 2004 to November 2018. The main search term were "Autism OR Autism Spectrum Disorder AND Therapy OR Treatment Or Intervention AND Self Injurious Behavior." Qualitative analysis was performed, and the results are presented in the PICO format. Results : A total of 12 articles were selected. The quality of the evidence was highest in level IV and level V. Single studies with an experimental design were the most common. Behavior therapy was the most common type of intervention. The next most common interventions were behavioral therapy, brain stimulation and control, and sensory integration therapy with behavioral therapy. The self-injury behaviors of individuals autism spectrum disorders were decreased, and was statistically significant. Conclusion : This study investigated the use of non-medication interventions for children with autism spectrum disorders who showed self-injury behavior. Future research should use higher-level designs, and investigate differences between various non-medication interventions.