• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.328-330
• /
• 2004

컴포넌트의 합성을 통하여 신뢰성 있는 시스템을 구축하려면 명시된 품질 속성을 만족해야 한다. 이를 위해서는 잘 정의된 상호작용을 바탕으로 하여 비기능적 속성이 명세되어야 한다. 그러나 기존의 컴포넌트 명세 방법들은 컴포넌트의 기능 속성에 주로 초점을 맞추어 왔으며 비기능적 속성에 대한 지원이 미약하다. 본 논문에서는 비기능적 속성들을 명세하는 방법에 초점을 둔다. 구체적으로, 비기능적 속성들 중에서 시간제악 속성을 상호작용 컨트랙트에 정의하고 UML 다이어그램으로 표현하는 방법을 제시한다. 정형화 된 구조물 가진 컨트랙트에서 시간제약 속성들은 보다 명확한 의미를 가지며, 다양한 형태의 컴포넌트 합성에서 검증이 가능하다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.01a
• /
• pp.123-124
• /
• 2016

음악은 원천적으로 합주가 매우 용이한 특성이 존재하므로 다수의 사람이 하나의 음악을 만들 수 있다. 따라서 자신이 기본 음악을 만든 뒤 음악 전문가가 제작한 사운드 트랙을 추가하면 음악적 품질이 쉽게 높아질 수 있다. 본 논문에서는 이러한 사운드 트랙을 쉽게 거래할 수 있는 효과적인 트랙스토어의 도입과 이에 따른 2차 저작권 침해 및 분쟁을 해결할 수 있는 방안을 제시한다. 이를 통해 전문가 수준과 버금가는 개인의 음악 제작, 유통, 소비를 활성화할 수 있고, 또한 이와 연관된 산업 및 문화의 확대 및 발전에 기여할 수 있다.

• Journal of Software Engineering Society
• /
• v.28 no.2
• /
• pp.1-6
• /
• 2019

There are various stakeholders in the blockchain ecosystem. Since the emergence of Ethereum, many transactions have been made using smart contracts, and a wider range of stakeholders are participating, including not only developers, but also investors, banks, companies, and general users. However, various stakeholders have a problem in that it is difficult and complicated to check the state of smart contracts. If it becomes difficult to check the state, the reliability of the smart contract will be lowered and the utilization will be lowered. Also, if the state check is difficult and complicated for the developer, it will be difficult to provide high quality due to the difficulty of testing and debugging the smart contract developed by the developer. In this research, we propose a design and implementation method of the Ethereum Smart Contract State Monitoring System that enables various stakeholders and developers to easily and continuously check the state of smart contracts and analyze them using historical data.

• The tire
• /
• s.61
• /
• pp.28-35
• /
• 1975

미국 운수성은 5월 28일자로 9년간에 긍해서 논쟁되어왔든 승용차용 타이어의 품질등급제의 최종안을 공시했다. 이 법률은 (1)트랫드마모성, (2)트랙숀성능, (3)내열(고속)성능의 3자에 대하여 품질성능을 타이어에 표시하지 않으면 안된다고 하는것. 이 품질등급제가 미국의 타이어 시장에 가지고오는 영향은 크다고 보여지고 있다. 그래서 이 품질등급제가 생긴 배경. 그 내용에 대해서 타이어 메이커어의 담당자로 부터 들어보았다. 겸하여 최종안의 전문을 게재한다.

• The Magazine of the IEIE
• /
• v.33 no.12 s.271
• /
• pp.51-68
• /
• 2006

지난 수십 년간 인터넷망은 세계 도처를 연결하면서 인터넷 사용자의 수를 기하급수적으로 늘렸으며, 웹에서부터 P2P에 이르는 다양한 응용들을 지원하는 글로벌 인프라로 자리 메김 하였다. 기존 인터넷의 철학은 응용 서비스간의 품질 구분이 없이 공정히 사용하자는 철학에 근거해 인터넷 서비스 제공자의 접속료만 지불하고 사용하여 왔으며 인터넷에 초보 사용자에서부터 고급 사용자에 이르기까지 사용자의 능력에 맞게 다양한 정보를 제공하는 장이 되어왔었다. 이는 기존 인터넷 기반 서비스들이 품질에 차등적으로 요금이 지불되는 형태가 아니었기 때문에 가능했으나 최근 몇 년간은 다수의 서비스 제공자들이 인터넷 인프라의 고도화를 통해 IPTV, VoIP, Video Conferencing과 같은 통신, 방송 및 유선 무선 통합 서비스를 품질 차등적으로 제공하는 비즈니스 환경으로 변화를 시도 중에 있다. 이러한 큰 변화의 중심에는 해결해야 되는 다양한 기술적인 문제들이 남아 있으며, 이중 QoS 이슈는 문제의 핵심이다. QoS는 트랙픽 관리, 제어 및 모니터링 분야로 대별되는 본고에서는 이에 대한 해결책으로 제안 되고 있는 다양한 기술 및 표준에 대한 동향을 소개한다.

• Journal of Digital Convergence
• /
• v.17 no.10
• /
• pp.13-21
• /
• 2019

The restricted network or the unbalanced distribution of spectrum is causing the problems of lack of spectrum resources and deterioration of the service quality. In addition, the existing centralized radio sharing method has not been a fundamental solution for radio sharing and is inefficient in terms of cost, convenience, and security. In this paper, we propose a blockchain-based spectrum sharing as a low-cost, trustworthy, high-efficiency platform that can distribute and share spectrum resources, and propose policies to realize this. In the spectrum sharing platform, spectrum information about Wi-Fi AP and LTE mobile hotspot is registered in the blockchain, and spectrum sharers and users can conclude peer-to-peer spectrum sharing contract quickly and efficiently through smart contract. The pay for the shared spectrum resources and reward for spectrum quality management open platform ecosystem to activate the circulation-sharing and it can provide a convenient and efficient public wireless infrastructure.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.1
• /
• pp.167-174
• /
• 1999

In this paper, we propose the adaptive separated-queueing ATM switching model for the effective processing of the various types of multimedia traffic by virtue of ATM switching network with multiple outlets which is the essential part of B-ISDN. This proposed model employs the dynamically separated buffering mechanism in the processing of two classes of cell, realtime service traffic and non-realtime service traffic, at the output buffer to enhance the overall QoS(Quality of Service). The adopted ATM switch architecture has Batcher-banyan based network, but it uses different topologies and control techniques 6to resolve the cell contention. For the performance evaluation of our proposed method, we have done both analytical modeling and simulation. The both results show that our proposed queueing strategy is quite appropriate to the ATM switch with multiple outlets and can quarantee the QoS requirements of the incoming multimedia traffic.

• Journal of Digital Convergence
• /
• v.20 no.3
• /
• pp.389-397
• /
• 2022

As increasing the growth of the Internet in medical area, a new technology to transmit effectively massive medical data is required. In optical internet, all OBS nodes have fiber delay lines, hardware components. These components are calculated under some optimal traffic conditions, and this means that if the conditions change, then the components should be altered. Therefore, in this article a new service differentiation algorithm using the previously installed components is proposed, which is used although the conditions vary. When traffic conditions change, the algorithm dynamically recalculates the threshold value used to decide the length of data bursts. By doing so, irrelevant to changes, the algorithm can maintain the service differentiation between classes without replacing any fiber delay lines. With the algorithm, loss sensitive medical data can be transferred well.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.16 no.3
• /
• pp.314-321
• /
• 2013

In this paper, we have proposed a method which can prevent data looping in multi tactical data-link operating situation. Because the situation of multi tactical data-link in Korea would be more complex than ever before, data looping is more likely to be happened. To prevent data looping, forwarder has to manage TQ(Track Quality) in forwarded track message by degrading it to enlarge correlation gate. Forwarder also has to discard useless track message which can be determined by minimum TQ value. To decide optimal formula for forwarder to degrade TQ and to determine minimum TQ, a research about track motion, correlation, TQ managing, etc in real system is necessary.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.05a
• /
• pp.403-406
• /
• 2017

모든 농업은 수작업으로 시작해 수작업으로 끝나는 매우 힘들고 번거로운 작업이 많습니다. 여기에 보다 더 좋은 품질을 만들기 위해 많은 관심과 기술을 요한다. 그래서 본 논문에서는 드론과 라즈베리파이를 이용하여 온도, 습도 측정을 통해 보다 효율적인 수집이 이루어지고 이에 대한 피드백으로 좋은 주변 환경을 조성시켜 준다. 또, 드론에 무선 충전 모듈을 설치하여 자가 충전을 지향하여 번거로움을 지양했다. 마지막으로 드론에 일명 '트랙바퀴' 설치로 공중 비행 및, 지상 이동을 활성화 시켜서 이동성 향상시켰고 추락 시에도 움직일 수 있는 안전함을 보였다.