• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.888-900
• /
• 2005

Several researches have been proposed to formalize the knowledge preconditions problem - j.e., an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it will also 1)e feasible at run-time, it is not suitable in the context of Semantic Web services composition, where many agents should share the limited resources required for the execution of Web services composition. Therefore, in this paper, we formalize a transactionally executable Web services composition which enables to guarantee its atomicity. Moreover, in order to formalize the transactional executability, we propose $TL-ALCFK_{NF}$ which extends TL-ALCF with the modal operators K and A. Based on $TL-ALCFK_{NF}$, we show how to carry out the epistemic reasoning with TL-ALCF as a language to represent Semantic Web services composition.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.907-916
• /
• 2004

The present code generation system, developing based on single system, Is not easy for developers or maintenance men to share pattern design information in distribution environment. So in this paper, we design and implement XML as basis of web environment, and JiKU/XML object-oriented code generator using pattern design. We use UML to change pattern design to XML code, and create code, suitable to PIML command, to generate design information designed by UML into XML code. This JiKU/XML Object-oriented Code Generator makes 10-step codes, and can be easily applied to web environment. It complements the disadvantage of present generator, F77/J++, and makes standardization of design because it uses UML and design pattern information. We compare it with present system by implement Eases, and as a result, generator suggested in this study gives more effective function.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.06a
• /
• pp.249-252
• /
• 2011

이 연구는 중학교 과학 수업의 온 오프라인 혼합 협동학습에 대한 효과를 검증해 보고자 하였다. 연구의 목적을 달성하기 위해 먼저 온 오프라인 혼합 협동학습과 관련된 문헌 고찰을 통해 연구의 수행에 필요한 이론적 기반을 마련하였다. 중학교 1학년 과학 내용 중에서 연구 단원을 선정하여 온 오프라인 혼합 협동학습 모형을 제시하였다. 연구대상은 경기도 김포시에 위치한 'K'중학교 1학년 학생들 중에서 사전 학업성취도 검사와 학습태도 검사에 의해 동질집단으로 확인된 2개 학습 79명이다. 연구대상 중 1개 학습 40명을 실험대상으로 선정하여 온 오프라인 혼합 협동학습의 실험을 실시하고 통제집단에는 기존의 면대면 협동학습을 실시하였으며 실험이 끝난 후 두 집단의 학업성취도 및 학습태도 변화 차이를 비교 분석하였다. 결과 분석은 SPSS Ver.12.0을 이용하였으며 학업성취도는 다변량 분산분석(MANOVA)을 하였고, 학습태도는 독립표본 t검정을 통해 분석하였다. 분석한 연구의 결과 첫째, 중학교 과학 수업에서 온 오프라인 혼합 협동학습은 면대면 협동학습과 학업성취도에서 유의미한 차이가 나타났다. 또한 온 오프라인 혼합 협동학습 실험집단이 면대면 협동학습 통제집단보다 학업성취도의 하위 영역 중 기억 영역에 그 효과성이 두드러짐을 확인하였다. 둘째, 중학교 과학 수업에서 온 오프라인 혼합 협동학습은 면대면 협동학습과 학습태도에서 유의미한 차이가 나타나지 않았다. 연구 결과를 토대로 온 오프라인 혼합 협동학습은 첫째, 학습자들로 하여금 자료 수집, 분석, 정리 단계에서 정보의 공유를 통해 적극적으로 학습을 유도하였다고 예측할 수 있다. 이는 온 오프라인 혼합 협동학습이 면대면 협동학습보다 학업성취도 향상에 효과적인 교수학습 방안으로 제시될 수 있음을 의미한다. 둘째, 중학교 과학수업에서 온 오프라인 혼합 협동학습은 학습자의 학습태도에 효과적이라고 확신할 수 없다. 따라서 학습자의 교과에 대한 학습태도의 향상을 위해서는 교수 학습방법을 다각화하고 교과와 학습목표에 맞는 적절한 학습방법의 지속적 활용이 중요하다고 판단된다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.736-738
• /
• 2014

As part of real-time streaming service, which is one of the latest QoS technology has become the issue. But the current majority of streaming services are specific S/W I a separate setup program supports real-time streaming service a reality, will be stored until the end of the video, save for a video about editing and is not available. In this paper, a video about multi-threaded and distributed processing system applied to the Storm technique based on separate software or installation of programs without the H T M L 5-based Web content is produced by each device using a Web browser, real-time streaming system you want, no. This is a streaming service that provides users with real-time editing and the footage is stored as about and respond in real time between the server and the client and content sharing that need training and will be utilized in the field of multimedia streaming.

• Journal of Platform Technology
• /
• v.9 no.1
• /
• pp.46-57
• /
• 2021

Recently, research has been actively conducted to utilize blockchain technology in various fields. In particular, blockchain-based smart contracts are applied to various automation systems that require reliability as they have the characteristics of recording data in a distributed ledger environment to verify the integrity and validity of data. However, blockchain does not provide data access control and information security because data is shared among network participants. In this paper, we propose a user dynamic access control mechanism utilizing smart contracts in blockchain environments. The proposed mechanism identifies the user's contextual information when accessing data, allocating the user's role and dynamically controlling the data access range. This can increase the security of the system and the efficiency of data management by granting data access dynamically at the time of user authentication, rather than providing the same services in roles assigned to each user group of the network system. The proposed mechanism is expected to provide flexible authentication capabilities through dynamic data access control by users to enhance the security of data stored within blockchain networks.

• Journal of Platform Technology
• /
• v.8 no.2
• /
• pp.22-31
• /
• 2020

The construction and operation of industrial automation has been actively taking place from manufacturing plan to production for improving operational efficiency of production line and flexibility of equipment. ISO/TC184 is standardizing on operating methods that can share information of programmable device controllers such as PLC and IoT that are geographically distributed in the production line. In this study, the design of the cell controller consists of PLC group and IoT group that perform signals such as temperature sensors, gas sensors, and pressure sensors for thermal processes and corresponding motors or valves. The operation and analysis of the cell controller were performed using SDN(Software Defined Network) and the three types of process services performed in thermal processes are real-time transmission service, loss-sensitive large-capacity transmission service, and normal transmission service. The simulation result showed that the average loss rate improved by about 17% when the traffic increased before and after the application of the SDN route technique, and the delay in the real-time service was as low as 1 ms.

• Smart Media Journal
• /
• v.9 no.4
• /
• pp.91-96
• /
• 2020

A blockchain is a technology in which all nodes participating in a distributed network manage each transaction's contents without a central server managing the transaction, which is a record of the transaction. The block containing the transaction record of a specific period is connected to the blockchain by referring to the hash value for the previous block, and the chain with the new block added is shared with all nodes again. Transactions using existing certificates will pass through FinTech, and in the near future, applications using blockchains are expected to emerge. In this study, we analyze the problems of the existing model, and propose a transaction model that applies the blockchain to come. Among various applications, this study develops a trading model targeting the energy sales market among the topics that will lead the fourth industrial revolution. As a result of analyzing the proposed model, it was possible to be sure of the possibility of a safer energy sales transaction than the existing method.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.8
• /
• pp.1088-1094
• /
• 2021

This paper proposes a partial BMA (Broadcasting Multiple Access) network structure and D-ARP (Distributed Address Resolution Protocol) method in order to support full mesh routing function in the DAMA (Demand Assigned Multiple Access)-based MF-TDMA (Multi Frequency-Time Division Multiple Access) satellite system. The partial BMA network enables legacy router devices and routing protocols to be adopted in the satellite communication system, and decreases the amount of routing protocol overhead. In addition, we introduce the D-ARP method that help a spoke satellite node acquiring the MAC (Media Access Control) address from remote satellite nodes in none BMA satellite network. The D-ARP method provides the MAC address of remote nodes to each other nodes through the broadcasting-enabled satellite channel. And we lastly evaluate and analysis the network performance of the proposed approach.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.453-453
• /
• 2023

상수관망의 수질사고와 이상상황 발생시 대응을 위해서는 급수구역에 설치되어 있는 자동수질측정기, 정밀여과장치, 재염소주입설비, 자동드레인 등의 계측·제어설비들 간의 유기적인 정보공유를 통한 제어를 필요로 한다. 스마트 상수관망 운영플랫폼은 이러한 인프라 시설의 운영방안을 고려하여 분산되어 있는 계측데이터를 통합감시 및 제어하는 시스템으로 개발되었다. 상수관망 운영플랫폼은 능동형 분석 제어기술을 도입하여, 스마트 상수관망 인프라 설비를 최적제어할 수 있도록 구현하였다. 통합운영 플랫폼은 PostgreSQL, PostGIS, GeoServer, OpenLayers 등의 기술을 활용하여 개발하였다. 플랫폼은 계측감시, 시설관리, 운영제어 등의 기능으로 구성되며, 상수도 업무지원을 위한 관망해석 및 네트워크 분석 기능을 지원한다. 본 시스템은 스마트 상수도 구축사업을 통해 구축한 유량·수질모니터링 장비와 수질관리를 위해 도입된 재염소, 자동드레인 설비의 운영상태를 실시간 조회하는 모니터링 프로그램과, 관망해석 프로그램 그리고 대상설비의 최적제어를 위한 운영관리 프로그램으로 구성되어 있다. 모니터링 프로그램은 현장에서 측정되고 있는 유량, 수압, 수질, 펌프운전 등의 상태를 실시간으로 감시하고 클라우드 데이터베이스에 저장·관리하는 기능을 수행한다. 관망해석 프로그램은 EPA_Net모형과 연계되어 관망수리·수질해석을 수행하는 부분으로 재염소설비의 염소 추가주입이나 자동드레인을 통한 배제시 나타나게되는 관의 수리·수질변화를 클라우드 컴퓨팅 환경에서 분석하고 결과를 가시화 하는 기능을 갖고 있다. 운영관리 프로그램은 재염소 주입이 필요할 경우 주입량의 산정하는 부분과 관망 파손이나 수질사고 발생시 최적 단수예상지역을 도출하는 기능을 보유하고 있다. 향후 스마트 상수관망의 능동형 수질관리를 추진하는 지자체에 도입하여 인프라운영관리 기술 확보 및 수질관리 능력 개선과 실시간 감시 및 위기 대응능력 향상에 기여할 것으로 기대된다.

• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.81-89
• /
• 2010

Biological data mining has been noticed as an issue as the volume of biological data is increasing extremely. Grid technology can share and utilize computing data and resources. In this paper, we propose a hybrid system that combines biological data mining with grid technology. Especially, we propose a decision range adjustment algorithm for processing efficiency of biological data mining. We obtain a reliable data mining recognition rate automatically and rapidly through this algorithm. And communication loads and resource allocation are key issues in grid environment because the resources are geographically distributed and interacted with themselves. Therefore, we propose a dynamic load balancing algorithm and apply it to the grid-based biological data mining method. For performance evaluation, we measure average processing time, average communication time, and average resource utilization. Experimental results show that this method provides many advantages in aspects of processing time and cost.