• Title/Summary/Keyword: a logical framework

Search Result 131, Processing Time 0.027 seconds

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

  • Jeong, Chang-Won;Shin, Chang-Sun;Joo, Su-Chong
    • Journal of Internet Computing and Services
    • /
    • v.9 no.3
    • /
    • pp.25-41
    • /
    • 2008
  • In this paper, we describes a Compact Distributed Object Group Framework(CDOGF) for mobile collaboration service in ubiquitous computing. CDOGF support network connections of sensors and devices, management of mobile computing devices, and grouping of objects for mobile collaboration service according to the logical area. For this, we defined methods for detail functions and interface. And, we classified into four interactions of that sensors and a application, the CDOGF and a application, between the components of the CDOGF, the CDOGF on a mobile device and the DOGF on a server. We also defined mobile collaboration environment by analyzing existing technologies. In this environment we used the TMO scheme for interaction and the TMOSM for distributed middleware. Finally, we implemented u-hospital application that applied this environment. This application collects environment and health information by PDAs in wards. Also, It provides the information service for patient management task.

  • PDF

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

  • Park, Sa-Choun;Kwon, Gi-Hwon;Ha, Soon-Hoi
    • The KIPS Transactions:PartA
    • /
    • v.12A no.7 s.97
    • /
    • pp.563-570
    • /
    • 2005
  • Hardware and software codesign framework called PeaCE(Ptolemy extension as a Cod sign Environment) allows to express both data flow and control flow. To formally verify an fFSM specification which expresses control flow in PeaCE, the step semantics of the model was defined. In this paper, we introduce the automatic verification tool developed by formal semantics of previous work. This tool uses the SMV as inner model checker md, through our tool, users can formally verify some important bugs such as race condition, ambiguous transition, and circulartransition without directly writing logical formulae.

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

  • Kim, Hyun-Sil
    • Child Health Nursing Research
    • /
    • v.13 no.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 (프로젝트 관리 시스템에 관한 연구)

  • Park, Koo-Rack
    • Journal of Digital Convergence
    • /
    • v.13 no.1
    • /
    • pp.305-311
    • /
    • 2015
  • Nowadays, because IT market expansion and complexity has been progressing and competition has intensified, there is a growth of information system building industries having difficulty through traditional business management methods. A survey was conducted among site personnel (Project Manager PM and Project Participants) to generate an institutional framework to efficiently manage this and project management process support. Through this, the importance of element technology and fragility of software development project management must be understood and an improvement of the element technology must be generated. By using this, a very relevant result that presented a logical basis was obtained in the decision making of the importance of project management and the role of overall project manager and core project management fields.

Educational Framework for Interactive Product Prototyping

  • Nam Tek-Jin
    • Archives of design research
    • /
    • v.19 no.3 s.65
    • /
    • 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』 (『난경(難經)』의 진맥(診脈) 대법(大法)에 관한 고찰)

  • Jang, Woochang;Kim, Yuna
    • Journal of Korean Medical classics
    • /
    • v.33 no.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 (창조적(創造的) 패션디자인 프로세스에 관(關)한 연구(硏究))

  • Oh, Na-Reyoung;Lee, Seung-Hee
    • Journal of Fashion Business
    • /
    • v.11 no.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.

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

  • Yee, Soung-Ryong;Choe, Kyung-Il;Lee, Hee-Sang;Kim, Yun-Bae
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.26 no.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 (해상 멀티대역 네트워크를 위한 수직 핸드오버 프레임워크 설계)

  • Cho, A-Ra;Yun, Changho;Park, Jong-Won;Lim, Yong-Kon
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.18 no.12
    • /
    • pp.2847-2856
    • /
    • 2014
  • It is necessary for maritime multi-band networks, which provide ships with diverse and seamless multimedia services, to perform vertical handover. As IEEE 802.21 WG has standardized vertical handover technologies for terrestrial wireless networks that do not consider VHF, HF, satellite networks, they cannot be directly applied to maritime multi-band networks. In this paper, the vertical handover framework for use in maritime mutlti-band networks is proposed, which includes the logical architecture, the communication reference model, re-defined handover primitives, and the handover process. The proposed vertical handover for maritime multi-band network can be applied in the ocean alone, as well as to the heterogeneous wireless networks which embrace both terrestrial and maritime networks.

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

  • Cho, Jin-Young;Park, Jong-Hee
    • The KIPS Transactions:PartB
    • /
    • v.10B no.7
    • /
    • pp.785-794
    • /
    • 2003
  • Computer simulation of natural phenomena has been inclined to graphic processing for visual reality. This negligence of cosmic causalities in their occurrence and natural laws in their development should lead to limited degree of immersion to the users. We attempt to develop a logical framework for authentic simulation of diverse, unpredictable occurrence and development of natural phenomena (such as solar radiation and wind) based on their associated inherent laws and principles. To this end we structure the relevant objects organized in an ontology and propose a data management method. Then we describe our simulation method for the natural phenomena as delimited in phases and present modeling techniques for qualitative changes of physical objects due to their factors' values beyond normal ranges.