• 지능정보연구
• /
• 제9권1호
• /
• pp.211-225
• /
• 2003

본 논문은 웹서비스 프로토콜을 기반으로 B2B 애플리케이션을 위한 collaborative 아키텍처의 디자인을 목적으로 하며, 시스템의 가능성을 제시하기 위해서 이 아키텍처를 기초로 하여 개발한 시스템의 사례를 소개하고 있다. 상이한 비즈니스 프로세스가 B2B 환경에서 인터페이스가 되어져야 하므로 협업의 기능은 B2B 구현을 위해서 필요한 분야이다. 본 시스템의 개발 및 구현을 위한 플랫폼으로는 웹서비스, XML 및 ASP.NET을 이용하였다. 웹서비스는 애플리케이션간의 상호작용을 위해 체계적이고 확장 가능한 프레임웍을 제공한다. 웹서비스 프레임웍은 통신프로토콜, 서비스 기술 및 서비스 제공의 세부분으로 구성되는데 SOAP, WSDL, UDDI가 각각 여기에 해당한다. ASP.NET은 .NET의 상위 계층에 위치한 서비스 집합과 컴포넌트에 맞게 활용되어진다. B2B환경에서 시스템 구현을 위한 상품의 범주와 이에 대한 상세한 설명의 서비스를 위해 웹서비스에서는 SQL 서버 데이터 베이스를 이용하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 한국정보통신학회논문지
• /
• 제7권2호
• /
• pp.239-249
• /
• 2003

웹이 인터넷 정보도구의 표준으로 자리잡게 됨에 따라 점점 더 많은 웹 사이트들이 만들어졌고, 동시에 더 많은 웹 주소 공간이 필요하게 되었다. 그러나 웹 주소를 나타내는 물리적 URL은 기억하기에 너무 길뿐 아니라 웹 사이트 내용을 직관적으로 나타내기 어려운 점이 많았다. 본 논문에서는 물리적 URL 대신 논리적 URL을 사용하여 이런 어려움을 개선할 수 있도록 하는 URL 전달 서버의 구현에 대해 고찰하였다. URL 전달서버는 HTTP 재방향 트랜잭션을 이용하는 도메인 매퍼와 BIND에 기반한 네임서버로 구성되어지며, 본 논문에서는 이들 상호간의 작용 및 동작에 대해 상세히 연구하였다. 실험 결과 URL 전달에 따른 시간은 현재의 인터넷 트래픽 조건에 비해 무시할 만한 수준인 것으로 나타났다.

• 한국정보과학회논문지:정보통신
• /
• 제34권1호
• /
• pp.48-61
• /
• 2007

국내의 와이브로 기술은 단말의 이동성을 지원하기 때문에 사용자가 임의의 서브넷 내부에서 이동 할 때에도 지속적인 인터넷 서비스를 제공한다. 또한, 차세대 인터넷 지원 기술인 IPv6 및 Mobile IPv6 (MIPv6)은 이동 단말에 주소를 할당하고, 이러한 단말들이 서로 다른 서브넷을 이동 할 때에도 기존의 인터넷 세션을 유지할 수 있도록 지원하는 최신 기술이다. 하지만, VoIP (Voice over IP)와 같은 실시간 서비스를 만족시킬 수준의 이동성을 지원하려면, 와이브로 망 및 단말에 최적화된 고속 IPv6 핸드오버 기술 개발이 선행되어야 한다. 본 논문에서는 IPv6 단말이 와이브로 망에서 서브넷 간 이동을 시도할 때, 핸드오버 지연 시간을 최소화하는 최적화된 핸드오버 기법을 제안한다. 제안하는 기법은 고속 핸드오버를 지원하기 위한 IETF 대표 프로토콜인 Fast Mobile IPv6 (FMIPv6)에 기반을 두고 있으며 2계층 와 이브로 MAC (Medium Access Control)과 3계층 FMIPv6 과의 밀접한 상호 작용 및 관련 핸드오버 절차로 구성된다. 마지막으로, 수학적 성능 분석을 통하여 와이브로 망에서 운영되는 FMIPv6의 핸드오버 지연 시간을 계산하여 그 결과를 제시한다.

• Asian Pacific Journal of Cancer Prevention
• /
• 제17권2호
• /
• pp.867-872
• /
• 2016

Background: Esophageal cancer is one of the most serious malignancies. Due to the aggressive nature of this cancer, the prognosis is poor. A network meta-analysis with simultaneous comparison of multiple treatments can help determine better treatment options that have higher effects on overall survival of patients with lower adverse events. The aim of this review is to simultaneously compare efficacy and adverse events of treatment interventions for esophageal cancer. Materials and Methods: In this review, only randomized control trials (RCT) will be considered for network meta-analysis. All international electronic databases including Medline, Web of Sciences, Scopus, Cochran's library, EMBASE and Cancerlit will be searched to find randomized control trials which compared two or more treatment interventions for esophageal cancer. A network plot will be drawn for visual representation of all available treatment interventions. Bayesian approach will be used to combine the direct and indirect evidence. Treatment effects (e.g. hazard ratio for time to event outcomes, risk ratio for binary outcomes, and rate ratio for count outcomes with 95% credible interval) will be reported. Moreover, cumulative probability of the treatment ranks will be reported using the surface under the cumulative ranking (SUCRA) graphs. Consistency assumption will be assessed by the loop-specific and design-by-treatment interaction approaches. Conclusions: The results of this study may be helpful for the patients, clinicians and health policy makers in selecting treatments that have the best effect on survival and lowest adverse events.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2005년도 ICCAS
• /
• pp.1938-1943
• /
• 2005

Network human-robot interface is an important research topic. In home application, users access the robotic system directly via voice, gestures or through the network. Users explore a system by using the services provided by this system and to some extend users are enable to participate in a service as partners. A service may be provided by a robot, a group of robots or robots and other network connected systems (distributed sensors, information systems, etc). All these services are done in the network environment, where uncertainty such as the unstable network connection, the availability of the partners in a service, exists. Moreover, these services are controlled by several users, accessing at different time by different methods. Our research aimed at solving this problem to provide a high available level, flexible coordination system. In this paper, a multi-agent framework is proposed. This framework is validated by using our new concept of slave agents, a responsive multi-agent environment, a virtual directory facilitator (VDF), and a task allocation system using contract net protocol. Our system uses a mixed model between distributed and centralized model. It uses a centralized agent management system (AMS) to control the overall system. However, the partners and users may be distributed agents connected to the center through agent communication or centralized at the AMS container using the slave agents to represent the physical agents. The system is able to determine the task allocation for a group of robot working as a team to provide a service. A number of experiments have been conducted successfully in our lab environment using Issac robot, a PDA for user agent and a wireless network system, operated under our multi agent framework control. The experiments show that this framework works well and provides some advantages to existing systems.

• 한국정보통신학회논문지
• /
• 제14권1호
• /
• pp.233-241
• /
• 2010

CoSlide는 WebDAV 기반의 Jakarta Slide 서버를 확장한 협업시스템으로서 협업참여자들을 위하여 그룹작업장을 제공한다. CoSpace는 WebDAV프로토콜을 통하여 CoSlide 서버에서 다양한 협업저작 활동을 지원하는 클라이언트이며 협업참여자들 사이의 효과적인 상호작용을 지원하는 그래픽 사용자 인터페이스와 협업참여자들의 공유자원 관리기능을 제공한다. 하지만, 협업 수행에 있어서 공유자원의 동시 수정은 협업참여자들에 의해 생성된 수정본들 사이의 충돌을 발생할 수 있어, 프로젝트 진행에 심각한 문제를 야기한다. 본 논문에서는, 이러한 문제점을 해결하기 위한 CoSpace 클라이언트의 확장에 대하여 기술한다. 확장된 CoSpace는 협업참여자들이 서버 자원의 버전을 원격으로 관리할 수 있는 원격 버전 관리 기능을 지원한다. 또한, 프로그램 소스코드와 같은 텍스트 파일의 변경 사항을 확인 할 수 있도록, 확장된 클라이언트는 두 버전을 비교하여 차이점을 시각적으로 표현하며 작업장 전체에 대한 버전 관리 기능과 지정된 자원의 불필요한 버전을 일괄적으로 제거하는 기능도 함께 제공한다.

• 지역사회간호학회지
• /
• 제31권2호
• /
• pp.166-178
• /
• 2020

Purpose: This study was conducted to examine the effects of the oral care program for improving swallowing function of the elderly using welfare centers on depression, self efficacy, subjective oral health status and swallowing related quality of life. Methods: The intervention in this study was systematically developed through the six stages of Intervention Mapping Protocol (IMP) and was based on Mead's symbolic interaction theory and Bandura's self efficacy theory. A non equivalent control group pre and post-test design was conducted on a total of 37 elderly people (experimental group: 19, control group: 18) from D city. The oral care program was administered to the experimental group once a week for five weeks, totaling five times, and the exact program ran for 50 minutes. The collected data were analyzed using the SPSS/WIN 25.0 program. Results: Following the intervention, subjective oral health score, and swallowing related quality of life were significantly improved in the experimental group. Conclusion: The oral care program presented in this study was found to be effective in increasing subjective oral health status, and swallowing related quality of life for the elderly using welfare centers.

• 전자공학회논문지
• /
• 제50권3호
• /
• pp.23-32
• /
• 2013

이동 통신 기술이 발달함에 따라 통신 기기간의 메시지 교환이 가능한 서비스가 생겨나고, 그 사용 횟수가 폭발적으로 늘고 있다. 기기간의 통신을 위해서는 통신 기기간의 서비스 구성원이라는 인증이 선행되어야 한다. 하지만, 기존 인증 기술은 Trusted party와 같은 제 삼자와의 통신이 수반되는데, 이로 인하여 대역폭이 낭비되거나, 기지국 범위 밖의 이동 통신 기기는 기기간 통신에 참여할 수 없다는 문제점이 발생할 수 있다. 본 논문에서는 제 삼자의 개입이 없는 새로운 이동 통신 기기간 인증 기법을 소개할 것이다. 제안된 기술에 대하여, 서비스의 가입 여부 및 서비스 가입 시간을 모두 검증해야 하므로, 이를 가능하게 하는 새로운 영지식 증명 기법을 개발하여 적용할 것이다. 또한, 이 영지식 증명 기법은 인증정보를 암호화된 그대로 검증하기 때문에 증명 하고자 하는 기기의 프라이버시가 보장이 되며, 질의-응답 방식을 사용하기 때문에 다른 기기의 인증 메시지를 재사용하는 공격으로부터 보호할 수 있다.

• 문화기술의 융합
• /
• 제2권4호
• /
• pp.77-82
• /
• 2016

가트너가 2013년부터 2015년까지 3년 연속 'IT 10대 전략기술'의 하나로 선정한 사물인터넷(IoT) 기술은 사람과 사물의 상호작용을 가능하게 하면서 고도화된 스마트사회를 구현할 수 있다. IoT 장비들이 인터넷으로 연결되어 있는 특성에 따라 해킹으로 인하여 무선신호 교란, 정보 유출, 데이터 위 변조와 서비스 거부 등 개인의 사생활 노출로부터 국가의 중요 기밀과 시설에 대한 위협까지의 중차대한 보안상 문제들이 나타날 수 있다. 본 논문에서는 IoT 장비들의 IP 노출에 대한 보안위협 사례들을 조사하고 문제점을 분석하여 개인의 사생활 노출이나 국가 기반시스템에 대한 피해 등 IP 노출로 인한 보안위협을 최소화하기 위한 방안을 제안한다.