• 한국정보과학회논문지:정보통신
• /
• 제29권5호
• /
• pp.510-523
• /
• 2002

The routers in an active network perform customized computations on the messages flowing through them, while the role of routers in the traditional packet network, such as the Internet, is to passively forward packets as fast as possible. In contrast to the Internet, the processing in active networks can be customized on a per user or per application basis. Active networks allow users to inject information into the network, where the information describes or controls a program to be executed for the users by the routers as well as the end hosts. So the network users can realize the active networks by "programming" the network behavior via the programming interface exposed to them. In this paper, we devise a network protocol model and present a verification technique for reasoning about the correctness of an active application defined using the model. The technique is developed in a platform- and language-independent way, and it is algorithmic and can be automated by computer program. We give an example dealing with network auction to illustrate the use of the model and the verification technique.

• International Journal of Advanced Culture Technology
• /
• 제9권3호
• /
• pp.238-242
• /
• 2021

Through diversification of 4th industries and transportation and globalization, tourism was developed for medical purposes, not limited to touring tourist attractions. The trend of medical tourism in Korea is shifting from large and medium-sized hospitals to professional medical services in one area of small hospitals rather than professional medical services. However, small hospitals lack medical coordinators and interpretation services, and tourists who visit Korea for treatment lack information on small hospitals. Therefore, a platform is needed to match small hospitals with medical tourists. In this study, using Platform as a Service (Paas) in cloud computing, clinic administrators can access the app to introduce information about their hospitals with simple manipulations. Tourists also want to propose a customized platform to select the right area for them to check information about small-scale hospitals and choose the treatment and tourist attractions they wants. In this study, using Platform as a Service (Paas) in cloud computing, clinic administrators can access the app to introduce information about their hospitals with simple manipulations.

• 한국멀티미디어학회논문지
• /
• 제22권2호
• /
• pp.281-291
• /
• 2019

In order to reflect complex and diverse building types, resident characteristics and disaster factors, it is necessary to introduce a flexible situation-based response system based on real-time information. Intelligent CCTV, hybrid sensor, location scanner, and customized broadcasting device were examined to introduce for the real-time response intelligent response system and its feasibility was verified through field test. In addition, based on the real-time information, the evacuation simulation was executed by assuming the dormitory building and the resident of the school, and the safety of the evacuation and the shortening of the pinnacle time were confirmed. The feasibility of real time information based evacuation comparing with the existing evacuation system were verified in the case of evacuation.

• 대한안전경영과학회지
• /
• 제10권2호
• /
• pp.133-141
• /
• 2008

The need for total enterprise management that covers from accepting orders, design, cost, procurement, manufacture, and delivery has been recently raised in order for efficient project management of small and medium size plant construction enterprises. This trend is reflected in the introduction of EPM(Enterprise Project Management) solutions by some shipbuilding enterprises and large construction corporations. In step with the trend, small and medium size plant construction enterprises are enabled to provide knowledge base in terms of reducing cost and production period and managing portfolio for accepting orders and attaining contract by inducing customized EPM This study presents a design of customized EPM based on a case study of a company. It exhibits a collaborative/collaboration resource-supply model which can be universally applied to small and medium size job-order production enterprises. The research discusses that under the assumption that information is shared internally between departments on planning, supply, manufacture, and quality control in order to create collaborative environment and close participation is created externally between suppliers and orderers, productivity can be improved in cost reduction through planning efficient collaborative supply model.

• 디지털콘텐츠학회 논문지
• /
• 제4권1호
• /
• pp.1-10
• /
• 2003

본 연구는 인터넷에서 사용하는 주문형 전자카드 서비스 방법 및 시스템설계에 관한 것으로, 사용자의 신용카드번호, 선불카드번호, 은행계좌 등을 포함하는 신용정보를 입력받는 단계부터 시작하여 주문형 전자카드의 승인여부, 거래대금지불승인여부를 거쳐, 지급단계까지의 서비스를 시스템에 관한 연구이다. 이는 사용자가 전자카드의 사용한도. 사용횟수, 유효기간, 충전가능 여부 익명사용여부 등을 사용하고자 하는 거래 형태에 맞추어 직접 설계할 수 있으므로 사용자의 편의성을 보다. 증진시킬 수 있다. 또한 사용자의 설계범위 내에서만 결제가 이루어지므로 카드번호의 분실시에도 그 피해를 설계범위내로 최소화할 수 있다.

• 보건교육건강증진학회지
• /
• 제33권4호
• /
• pp.89-100
• /
• 2016

Objectives: Life style modification leads to decrease health risk and change of health status for person at health risk. This study aimed to suggest essential components and effective strategies for customized health management service to provide individual and risk group in public and private health care organizations. Methods: To systematic review the essential component of health management service, I performed to collect political legislation, research papers, reports, publication and public release for heath management service from 2008 to 2016. Essential components of heath management service were service scope, service design, organizations and applied technology. Results: Service cope was composed of health risk factors, such as smoking, drinking, nutrition, physical activity and weight control. Main strategies were customized health management services, personalized behavior modification programs, evidence-based service protocol, utilization of information and communications technology (ICT), multi-dimension and multi-level approach, and public and private organizations partnership through health policies and health care system. Conclusions: To make the most of the limited resources, it should require a systematic approach that focuses on continuous monitoring and partnership of health management service.

• 디지털콘텐츠학회 논문지
• /
• 제9권4호
• /
• pp.617-624
• /
• 2008

21세기 글로벌시대에서는 정보통신기술의 급격한 발전과 함께 경제의 영역이 디지털 경제 범위로 가속화 되고 있다. 그러나, 실제 e-비즈니스 수행에 있어서 개발도상국은 경험 및 기술, 기본 인프라의 부족으로 어려움이 많다. 이 문제점을 해결하기 위한 방법의 하나로 e-비즈니스를 활용 가능한 국가별 맞춤형 시스템과 교육 및 콘텐츠 지원이 요구된다. 본 논문에서는 전문적인 지식 없이 간단하게 기업페이지를 구축할 수 있는 비즈니스 블로그와 국가별 특성에 따라 맞춤화 솔루션을 제공하기 위해 지능형 에이전트를 적용한 e-비즈니스 교육 지원시스템, E-TSS를 설계하였다. 이 설계한 시스템을 구현하였고, APEC 여성 이비즈 센타에서 개발도상국 e-비즈니스 교육에 활용하고 있다.

• 한국멀티미디어학회논문지
• /
• 제19권2호
• /
• pp.396-404
• /
• 2016

In this paper, the customized sport convergence contents curation system is proposed for activation of sport for all. The proposed system collects and analyzes profile of social sports group(club, society, etc.) for recommend optimized sport convergence contents to user. And the survey is progressed for research problem of existed service and usefulness of proposed service. The proposed system and service are expected to design innovative new service model for activate of sport for all.

• 한국컴퓨터정보학회논문지
• /
• 제17권11호
• /
• pp.117-123
• /
• 2012

스마트단말기에 장착된 다양한 센서들과 사용자의 앱 혹은 웹 활동 내역들은 사용자의 패턴을 파악하고 예상하기에 좋은 정보이다. 이러한 정보들을 적극적으로 활용하면 사용자 개인의 맞춤화가 가능한 콘텐츠 서비스도 기대할 수 있다. 이러한 기대는 콘텐츠 서비스가 단순히 스마트 단말기로 수많은 콘텐츠를 이용이 아닌 사용자가 원하고 즐겨 찾고 필요로 하는 콘텐츠를 선별하고 예상하여 추천하는 형태로의 변화를 촉진시키고 있다. 이러한 사용자 맞춤형 콘텐츠 서비스를 위해서는 마치 미술관이나 박물관에서의 큐레이터의 역할을 해주는 시스템이 모델이 필요하다. 이에 본 논문에서는 사용자 정보를 수집하고, 수집정보를 사용자 개인의 패턴 지식으로 형성, 패턴 지식을 기반으로한 추천 콘텐츠 선별의 과정을 가진 지능형 콘텐츠 큐레이션(Intelligent Contents Curation: ICCuration) 모델을 제안한다. ICCuration는 주요 작업에 따라 크게 3개의 하위 모듈이 존재한다. 수집된 사용자 정보는 시간에 따른 정보 요소들의 집합인 시나리오로 가공되며 시나리오를 기반으로 추천될 콘텐츠가 선택된다. 시나리오 상에서는 사용자의 기호 및 행동정보뿐만 아니라 사용하는 단말기정보도 포함된다. 이에 콘텐츠는 도메인 카테고리뿐만 아니라 단말기에 최적화 할 수 있는 미디어 형식까지도 사용자 맞춤화가 가능하다.

• 한국콘텐츠학회지
• /
• 제12권3호
• /
• pp.39-43
• /
• 2014