• 제목/요약/키워드: a logical framework

검색결과 130건 처리시간 0.033초

유비쿼터스 컴퓨팅을 위한 모바일 협업 환경 구축 및 응용 (Construction of Mobile Collaboration Environment for Ubiquitous Computing and its Application)

  • 정창원;신창선;주수종
    • 인터넷정보학회논문지
    • /
    • 제9권3호
    • /
    • pp.25-41
    • /
    • 2008
  • 본 논문에서는 유비쿼터스 컴퓨팅에서 모바일 협업 서비스를 위한 컴팩트 분산객체그룹 프레임워크(Compact Dostributed Object Group Frorework : CDOGF)에 대해 기술한다. CDOGF는 논리적인 영역에 따라 각 센서 및 기기의 네트워크 연결과 다수의 모바일 컴퓨팅 장치의 관리, 모바일 협업응용 서비스의 수행하는 객체들의 그룹화를 지원한다. 이를 위해, CDOGF의 구성요소의 세부적인 기능을 메소드와 이를 이용하기 위한 인터페이스를 설계하였다. 그리고 각 구성요소간의 상호작용을 센서와 응용, CDOGF와 응용, CDOGF 내부 구성요소간, CDOEF와 DOGF등 네 가지 형태로 구분하여 기술하였다. 또한 기존 모바일 협업을 위한 기술들의 분석하여 모바일 협업 환경을 정의하였다. 본 환경에서 모바일 협업 응용 서비스의 구현과 위에서 언급한 네 가지 상호연동을 위해 TMO 스킴과 분산 미들웨어인 TMOSM를 사용하였다. 끝으로 u-병원 응용을 본 환경에서 수행하도록 하였다. u-병원 응용은 유비쿼터스 환경을 갖춘 병실로부터 병실의 환경정보와 환자의 건강정보를 모바일 장치인 PDA를 통해 수집한다. 또한 환자관리 업무를 위한 정보 서비스를 제공한다.

  • PDF

효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증 (Automatic Verification of the Control Flow Model for Effective Embedded Software Design)

  • 박사천;권기현;하순회
    • 정보처리학회논문지A
    • /
    • 제12A권7호
    • /
    • pp.563-570
    • /
    • 2005
  • 하드웨어와 소프트웨어를 통합 설계하는 프레임워크인 PeaCE(Ptolemy extension as a Codesign Environment)에서는 데이터 흐름과 제어흐름을 모두 표현할 수 있다. PeaCE에서 제어 흐름을 표현하는 fFSM 명세를 정형 검증하기 위해 fFSM의 단계 의미를 정의하였다. 본 논문에서는 이전 연구에서 정의된 정형 의미를 바탕으로 개발한 자동 검증 도구를 소개한다. 이 도구는 내부 모델체커로 SMV를 사용하며 사용자는 직접 논리식을 기술하지 않고도 레이스 조건, 애매한 전이, 순환 전이 등의 주요한 버그들을 검증할 수 있다.

아동의 지능 이해를 위한 새로운 패러다임:다중지능이론(Multiple Intelligence Theory) (A Review Study on Multiple Intelligence Theory and Nursing Educational Implication)

  • 김현실
    • Child Health Nursing Research
    • /
    • 제13권4호
    • /
    • pp.427-435
    • /
    • 2007
  • Purpose: This study presents the findings of various research on human intelligence and Multiple Intelligence Theory and suggested the implications of Multiple Intelligence Theory-based approach to the nursing education for the ill children. Method: Research objectives were accomplished by conducting a literature review. The main areas of the literature review included the Multiple Intelligence Theory, and it's application case for the children with learning disorder. Results: Dissatisfaction with traditional IQ tests has led to the development of a number of alternative theories, all of which suggest that intelligence is the result of a number of independent abilities that uniquely contribute to human performance. Among them, Multiple Intelligences Theory led to break intelligence down into at least eight different components: logical, linguistic, spatial, musical, kinesthetic, naturalist, intra-personal and interpersonal intelligences. In addition, Multiple Intelligence Theory and it's application case believes that every topic can be effectively taught and achieved using six entry points framework. Conclusions: The educational implications of Multiple Intelligence Theory in view of the health education and education in the children's hospital school should be considered for the ill children2's better education in a hospital setting.

  • PDF

프로젝트 관리 시스템에 관한 연구 (A Study on Project Management System)

  • 박구락
    • 디지털융복합연구
    • /
    • 제13권1호
    • /
    • pp.305-311
    • /
    • 2015
  • 현대에 들어 IT 시장은 대형화와 복합화가 진행되고 경쟁이 더 심화되고 있기 때문에 전통적인 사업관리 방식으로는 관리하기 어려운 정보시스템구축 사업이 많아지면서 이를 효율적으로 관리할 수 있는 제도적 장치와 이를 지원하는 사업관리 프로세스를 도출하기 위하여 실무자(현장PM 및 사업참여자)를 대상으로 설문조사를 실시하였다. 이를 통해 소프트웨어개발 사업관리 요소기술의 중요도와 취약도를 파악하여 개선해야 할 요소기술이 도출되었고, 이를 활용하여 사업관리의 필요성과 총괄사업관리자의 역할과 핵심 사업관리 분야를 결정하는데 논리적 근거를 제시하는 매우 유의미한 결과를 얻었다.

Educational Framework for Interactive Product Prototyping

  • Nam Tek-Jin
    • 디자인학연구
    • /
    • 제19권3호
    • /
    • pp.93-104
    • /
    • 2006
  • When the design profession started, design targets were mainly static hardware centered products. Due to the development of network and digital technologies, new products with dynamic and software-hardware hybrid interactive characteristics have become one of the main design targets. To accomplish the new projects, designers are required to learn new methods, tools and theories in addition to the traditional design expertise of visual language. One of the most important tools for the change is effective and rapid prototyping. There have been few researches on educational framework for interactive product or system prototyping to date. This paper presents a new model of educational contents and methods for interactive digital product prototyping, and it's application in a design curricula. The new course contents, integrated with related topics such as physical computing and tangible user interface, include microprocessor programming, digital analogue input and output, multimedia authoring and programming language, sensors, communication with other external devices, computer vision, and movement control using motors. The final project of the course was accomplished by integrating all the exercises. Our educational experience showed that design students with little engineering background could learn various interactive digital technologies and its' implementation method in one semester course. At the end of the course, most of the students were able to construct prototypes that illustrate interactive digital product concepts. It was found that training for logical and analytical thinking is necessary in design education. The paper highlights the emerging contents in design education to cope with the new design paradigm. It also suggests an alterative to reflect the new requirements focused on interactive product or system design projects. The tools and methods suggested can also be beneficial to students, educators, and designers working in digital industries.

  • PDF

『난경(難經)』의 진맥(診脈) 대법(大法)에 관한 고찰 (A Study on the Great Principle of Pulse Diagnosis in the 『Nanjing』)

  • 장우창;김윤아
    • 대한한의학원전학회지
    • /
    • 제33권4호
    • /
    • pp.83-105
    • /
    • 2020
  • Objectives : This paper aims to examine the system, principle, and fundamentals of the great principle of pulse diagnosis in the 『Nanjing』. Methods : The system, principle, and fundamentals of pulse diagnosis in the 『Nanjing』 were examined within the book's description framework and logical structure in light of its relationship to the 『Huangdineijing』. Previous studies that follow pulse diagnosis of 『Nanjing』 and 『Wangshuhe Maijue』 were referenced. Results & Conclusions : The structure of pulse diagnosis in the 『Nanjing』 is systematically organized under the principle of the three positions and nine indicators as the great principle to which the yinyang and five viscera pulse theories are included. The great principle of the three positions and nine indicators is consisted of a system that allows for a multiple and comprehensive interpretation wherein the theories of yinyang and five elements are interweaved within the pulse diagnosis system, which is comprised of a great principle and particular principles. The theory follows that of the three yin three yang theory of the five circuits and six qi, its principles manifesting as the three positions and nine indicators and integration of pulse and symptoms.

창조적(創造的) 패션디자인 프로세스에 관(關)한 연구(硏究) (A Study on Creative Fashion Design Processes)

  • 오나영;이승희
    • 패션비즈니스
    • /
    • 제11권2호
    • /
    • pp.129-144
    • /
    • 2007
  • These days, public attention is being directed to the design processes by which a final outcome can be produced to achieve its goal according to the logical plans, as it is hard to address recent problems in design by the existing intuitive way due to the paradigm shift of design. Thus, this study aims to suggest creative fashion design processes to create a product as a final outcome by intentional and systematic processes. This study showed that design is considered as comprehensive problem solving processes, and it proposes framework of processes by integrating processes of industrial design and fashion design. In addition, this study classified creativity development methods that can be implemented to fashion design into promotion of ideas, breaking out of stereotypes, and extension of search areas. These creativity development methods can be applied to fashion design processes in order to make plans and strategies systematically and help you to choose the best ways to solve problems by processes.

DSRC 기술을 활용한 지능형 교통 시스템의 통신망 구조 연구 (A Study on Telecommunication Network Architecture for Intelligence Transportation System Based on DSRC Technology)

  • 이성룡;최경일;이희상;김윤배
    • 대한산업공학회지
    • /
    • 제26권4호
    • /
    • pp.345-353
    • /
    • 2000
  • ITS(Intelligent Transportation System) is an advanced system which can effectively handle the current transportation and tragic problems. In order to beneficially apply ITS to the current transportation infrastructure we need a telecommunication technology which guarantees high speed data transmission between the road side units and the on-board units in the vehicles. DSRC(Dedicated Short Range Communication) is considered as a promising technology since it has the capability of two-way communication and can serve to implement various ITS services. In this paper, we study an architecture of telecommunication network far ITS based on DSRC. We use the ISCNA(Information Systems and Communication Networks Architecture) framework for the method of approach. We first analyze the requirements for ITS services using DSRC in Korea, and then establish a logical architecture for the network. We also analyze the types of data and process between the network components. Based on these we propose an architecture for the telecommunication network for ITS. We also briefly discuss the simulation which we perform to validate the proposed network architecture.

  • PDF

해상 멀티대역 네트워크를 위한 수직 핸드오버 프레임워크 설계 (Vertical Handover Framework for Maritime Multi-band Networks)

  • 조아라;윤창호;박종원;임용곤
    • 한국정보통신학회논문지
    • /
    • 제18권12호
    • /
    • pp.2847-2856
    • /
    • 2014
  • 해상 멀티대역 네트워크에서 가용한 해상 통신들을 통합 운용하여 다양한 멀티미디어 서비스를 단절없이 제공하기 위해 수직 핸드오버 기술은 필수적이다. IEEE 802.21에서 육상 무선 네트워크를 위한 수직핸드오버 기술을 권고하나, 해상의 VHF, HF, 위성 네트워크는 고려되지 않아 해상 멀티대역 네트워크에 적용하기 어렵다. 본 논문에서는 해상 멀티대역 네트워크에 적용할 수 있는 수직 핸드오버를 위한 논리 구조와 참조 통신모델을 제안하고, 관련 명령어를 재정의한 수직핸드오버 절차를 제안한다. 이는 해상 멀티대역 네트워크 구현 시, 수직핸드오버에 대한 참조 모델로 유용하게 적용될 수 있다. 더욱이 해상 멀티대역 네트워크를 위한 수직핸드오버 기술은 IEEE 802.21과 연계되어 육상과 해상 전체를 아우르는 이기종 무선 네크워크의 실현에 적용할 수 있다.

가상 환경에서 태양 복사와 바람 현상의 논리적 시뮬레이션 방법 (Simulation of solar radiation and wind events in the virtual environments)

  • 조진영;박종희
    • 정보처리학회논문지B
    • /
    • 제10B권7호
    • /
    • pp.785-794
    • /
    • 2003
  • 지금까지 가상 환경을 무대로 하는 게임 등에서 자연 현상의 처리는 시각적인 사실성에 치우친 그래픽 처리 위주로 연구되어져 왔다. 그러나 인과관계(causality)를 고려하지 않은 자연 현상들의 발생과 법칙에 기반하지 않은 현상들의 전개는 논리적 사실성을 감소시켜 사용자들의 몰입감을 떨어뜨린다. 본 논문에서는 자연 현상 중에서 태양복사(solar radiation)와 바람에 초점을 맞추어서, 이들의 다양하고 예측하기 어려운 발생과 전개과정을 시뮬레이션 하는 것을 목적으로 한다. 이를 위해 ontology에 기반한 객체들의 구조를 살펴보고, 이들을 바탕으로 가상 환경을 구성하였을 때 가상 환경의 데이타를 관리하는 방안을 제시한다. 그리고 각 자연 현상 이벤트에 대한 과정을 단계별로 상세히 다루고, 나아가 객체가 정성적 변화를 하였을 때 상황을 처리하는 방법을 제시한다.