• Title/Summary/Keyword: 형식 증명

Search Result 158, Processing Time 0.024 seconds

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.

The Geometry Education of the Middle School Using the Activity Papers (활동지를 이용한 중학교 기하 영역의 효을적인 지도방안 연구 - 중학교 1학년 수학 교과를 중심으로 -)

  • Kim, Go-Rim;Kim, Hong-Chan
    • Journal of the Korean School Mathematics Society
    • /
    • v.11 no.3
    • /
    • pp.337-362
    • /
    • 2008
  • Nowadays the education of Mathematics is more important than any other courses in the school. But the most students have felt the difficulty and uncomfortableness in studying Mathematics, especially the geometry course. Moreover teachers also consider that the teaching of geometry is the hardest part of Mathematics. Therefore we suggest an effective method of teaching the geometry course for the middle school students. We provide the activity papers which contain mathematics problems based on the practical life of students. And we analyze the effects of the activity papers using the questionnaire.

  • PDF

New Requirements of Environmental Standard for Aircraft Engine Exhaust Emissions (환경규제 강화에 따른 항공기 배기가스 배출기준 개정 방안 연구)

  • Noh, Ji-Sub;Kim, Kyeong-Su;Nam, Young-Woo
    • Journal of Aerospace System Engineering
    • /
    • v.14 no.spc
    • /
    • pp.7-12
    • /
    • 2020
  • In this paper the new revision of Korean Airworthiness Standards (KAS) - Emissions was proposed for enforced environmental standards. The Aircraft Engine Fuel Venting and Exhaust Emissions Requirements have been only defined for smoke, HC, CO and NOx as management items in previous KAS. However, this standard has not covered the current situation that International Civil Aviation Organization (ICAO) and United States Environmental Protection Agency (EPA) enforced environmental regulations, such as emissions trading system, limitation of CO2 emissions and restriction of exhaust gas. In order to overcome these outdated situations, we presented the new requirements for aircraft exhaust gas emissions standard of Korea based on the latest standards of United States, Europe and other countries.

Development of a Web-based Adaptive System for Learning Pumping Lemma (펌핑 정리 학습을 위한 웹기반 적응형 시스템 개발)

  • Jung, Hyosook;Min, Kyungsil;Park, Seongbin
    • The Journal of Korean Association of Computer Education
    • /
    • v.12 no.5
    • /
    • pp.87-94
    • /
    • 2009
  • This paper presents a Web-based interactive and adaptive learning system that helps students learn the pumping lemma for the family of regular languages. Our system allows the students to proceed with their learning according to their individual differences through Web-Based Instruction and gives them opportunities for the interaction so that they can practice exercise related to the learning and gain feedbacks on the results of the exercises immediately. Especially, the system provides adaptive scaffolding that helps learners understand each step for the proof of the pumping lemma. Unlike existing systems that support learning the pumping lemma, the proposed system defines possible errors in advance and provides appropriate messages for corresponding errors. In addition, the system allows the learners to decompose a string into three parts so that they can understand the pumping lemma precisely.

  • PDF

A Formal Approach for the Reorganization of Class Hierarchies for the Extension of Object Oriented Applications (객체지향 어플리케이션의 확장을 위한 클래스 계층 구조의 재구성에 대한 정형기법)

  • Hwang, Suk-Hyung;Kim, Dae-Won;Yang, Hae-Sool
    • The Transactions of the Korea Information Processing Society
    • /
    • v.6 no.3
    • /
    • pp.589-602
    • /
    • 1999
  • There are some advantages of developing applications based on the object oriented concepts. One os them is that it is possible to reuse the existing designs and products. This paper provides a formal method for the reorganization of class hierarchies for the object extension in the object oriented design phase. In this paper, we introduce classes, and edges to represent the inheritance and aggregation relationship between classes. Based on the graph, we define an order relation(called the object extension) between class hierarchy graphs. And also we present a set of five basic transformations preserving the object extension relation. The set is proven to be correct and complete. The results of this paper help form a theoretical basis for the extension and reorganization object-oriented application systems.

  • PDF

Anonymous Fingerprinting Method using the Secret Sharing Scheme (비밀분산법을 이용한 익명성 보장 핑거프린팅 기법)

  • 용승림;이상호
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.31 no.5_6
    • /
    • pp.353-359
    • /
    • 2004
  • The illegal copying and redistribution of digitally-stored information is a crucial problem to distributors who electronically sell digital data. Fingerprinting scheme is a techniques which supports copyright protection to track redistributors of electronic information using cryptographic techniques. Anonymous fingerprinting schemes, differ from symmetric fingerprinting, prevent the merchant from framing a buyer by making the fingerprinted version known to the buyer only. And the scheme, differ from asymmetric fingerprinting, allows the buyer to purchase goods without revealing her identity to the merchant. In this paper, a new anonymous fingerprinting scheme based on secret sharing is introduced. The merchant finds a sold version that has been distributed, and then he is able to retrieve a buyer's identity and take her to court. And Schnorr's digital signature prevents the buyer from denying the fact he redistributed. The buyer's anonymity relies on the security of discrete logarithm and secure two-party computations.

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.

Study on the Russian Aircraft Certification System (러시아 항공기 인증체계에 관한 연구)

  • Yang, Hayoung;Park, So-Ra;Do, Ryoon-Ho;Lee, Ji-Eun;Baek, Un-Ryul;Kang, Tae Young;Ryoo, Chang-Kyung
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.50 no.9
    • /
    • pp.647-655
    • /
    • 2022
  • The Russian government is expanding strategic cooperation with foreign countries, including production partnerships, in order to secure civil aircraft manufacturing technology and advanced materials, with the aim of becoming the world's third-largest civil aircraft producer. In addition, the Russian government supports the development of the aircraft manufacturing industry and reorganizes the aircraft certification organization to pursue systematic aviation safety and make great efforts in international cooperation and certification activities for the export of aviation products. Establishing a cooperative system for safety and certification of civil aircraft between countries requires a process of mutual understanding and trust in the overall certification system. Therefore in this study, we wanted to analyze Russia's aircraft certification organization, law system, certification procedures to help Russia understand its aircraft certification system.

Poem in Ca Trù: Type, Structure, Content (베트남의 음악시, 까쭈: 형식, 구조, 내용)

  • Nguyen, Duc Mau
    • SUVANNABHUMI
    • /
    • v.2 no.1
    • /
    • pp.95-110
    • /
    • 2010
  • Poem plays an important role in Ca trù. Many music researchers say that singing Ca trù is singing poem. Of 46 tunes of Ca trù, there are more than 10 tunes expressed in available poems or styles of poetry; for example: in the tune Tỳ bà, the performer could sing Tỳ bà hành by Bạch Cư Dị being converted into seven-seven-six-eight-word-meter; in the reciting poem tunes, just reciting 5 Thien thai poems by Tào Đường or 3 Thanh Bình tune poems by Lý Bạch; in the reciting poetic essay (phú), reciting Tien Xich Bich and Hau Xich Bich by Tô Đông Pha. Others like bắc phản, cung bắc sometimes used six-eight word meters. Structurally, those are available for familiar types and beyond the scope of particular creativity because they do not originate from Ca trù's activity environment like recitative. Recitative is the main tune of Ca trù and has become an independent poem type. In terms of literature, recitative has a particular form structure and special type content. Unlike other tunes of Ca trù that only stop at some fixed works, recitative has increased to thousands of works in quantity and has been composed for many centuries. For those reasons, we confined ourselves the research to the creation which is the most typical of Ca tru: The recitative.

  • PDF