• Title/Summary/Keyword: Generalized nets

Search Result 16, Processing Time 0.021 seconds

TOWARDS A MODEL OF THE DIGITAL UNIVERSITY;A GENERALIZED NET MODEL FOR PRODUCING COURSE TIMETABLES

  • Shannon, A.;Orozova, D.;Sotirova, E.;Atanassov, K.;Krawczak, M.;Melo-Pinto, P.;Nikolov, R.;Sotirov, S.;Kim, T.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2008.04a
    • /
    • pp.299-305
    • /
    • 2008
  • In a series of research papers, the authors have studied some of the most important models of a contemporary universities, such as: the research university, the entrepreneurial university and the digital university and construct their Generalized Net (GN) models. This paper is based on the case-studies of Sofia University, the Technical University of Munich and the University of Edinburgh. The main focus is to put the analysis of the processes of the functioning of a university which effectively integrates Information and Communication Technologies (ICT) in all university activities. A concrete example based on the process of course administration at University of Edinburgh is considered. This university is in a process of developing an integrated information system covering most of the university activities. The opportunity of using GNs as a tool for modeling such processes is analyzed as well.

  • PDF

A Dependability Estimation of Microprocessor-based Software under Memory Faults using Stochastic Activity Network (SAN)

  • Park, Jong-Gyun;Seong, Poong-Hyun
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1996.05b
    • /
    • pp.725-730
    • /
    • 1996
  • In this work, the software behavior under memory faults in operation phase is modeled and simulated using the stochastic activity network, generalized stochastic Petri nets. This networks permit the representation of concurrency, timeliness, fault tolerance, and degradable performance of system and provide a means for determining the stochastic behavior of a complex system. We estimate the reliability of an application software in the digitized system in nuclear power plants and show the sensitivity of the software reliability to the major physical parameters which affect the software failure in normal operation phase. We found that the effects of the hardware faults on the software failure should be considered for predicting the software dependability accurately in operation phase.

  • PDF

Development of Range Sensor Based Integrated Navigation System for Indoor Service Robots (실내용 서비스 로봇을 위한 거리 센서 기반의 통합 자율 주행 시스템 개발)

  • Kim Gunhee;Kim Munsang;Chung Woojin
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.10 no.9
    • /
    • pp.785-798
    • /
    • 2004
  • This paper introduces the development of a range sensor based integrated navigation system for a multi-functional indoor service robot, called PSR (Public Service Robot System). The proposed navigation system includes hardware integration for sensors and actuators, the development of crucial navigation algorithms like mapping, localization, and path planning, and planning scheme such as error/fault handling. Major advantages of the proposed system are as follows: 1) A range sensor based generalized navigation system. 2) No need for the modification of environments. 3) Intelligent navigation-related components. 4) Framework supporting the selection of multiple behaviors and error/fault handling schemes. Experimental results are presented in order to show the feasibility of the proposed navigation system. The result of this research has been successfully applied to our three service robots in a variety of task domains including a delivery, a patrol, a guide, and a floor cleaning task.

모멘트 생성 함수 기법을 이용한 유연 제조 셀의 해석적 성능 평가

  • 박용수;김종원
    • Proceedings of the Korean Society of Precision Engineering Conference
    • /
    • 1996.04a
    • /
    • pp.506-511
    • /
    • 1996
  • The performance evaluation of flexible manufacturing systems or cells at the stages of design and planning is one of important issues in manufacturing. For that reason, Guo has presented an approachbased on moment generating function and generalized stochastic PetriNets for performance analysis. In this paper, Buo's approach is extended tothe cases of flexible manufacturing cell including one machining center with a local buffer, AS/RS(Automatic Storage and Retrieval System), set-up station and AGV(Automated Guided Vehicle). Then the performance measures from this approach is compared with simulation. The major advantage ofthis method over existing performance evaluation methods is the ability to compute analytic solutions for performance measures.

  • PDF

Modeling of Virtual Switch in Cloud System (클라우드 시스템의 가상 스위치 모델링)

  • Ro, Cheul-Woo
    • Journal of Digital Convergence
    • /
    • v.11 no.12
    • /
    • pp.479-485
    • /
    • 2013
  • Virtualization is a promising approach to consolidating multiple online services onto a smaller number of computing resources. A virtualized server environment allows computing resources to be shared among multiple performance isolated platforms called virtual machines. Through server virtualization software, applications servers are encapsulated into VMs, and deployed with APIs on top generalized pools of CPU and memory resources. Networking and security have been moved to a software abstraction layer that transformed computing, network virtualization. And it paves the way for enterprise to rapidly deploy networking and security for any application by creating the virtual network. Stochastic reward net (SRN) is an extension of stochastic Petri nets which provides compact modeling facilities for system analysis. In this paper, we develop SRN model of network virtualization based on virtual switch. Measures of interest such as switching delay and throughput are considered. These measures are expressed in terms of the expected values of reward rate functions for SRNs. Numerical results are obtained according to the virtual switch capacity and number of active VMs.

A RAM-based Cumulative Neural Net with Adaptive Weights (적응적 가중치를 이용한 RAM 기반 누적 신경망)

  • Lee, Dong-Hyung;Kim, Seong-Jin;Gwon, Young-Chul;Lee, Soo-Dong
    • Journal of Korea Multimedia Society
    • /
    • v.13 no.2
    • /
    • pp.216-224
    • /
    • 2010
  • A RAM-based Neural Network(RNN) has the advantages of processing speed and hardware implementation. In spite of these advantages, it has a saturation problem, weakness of repeated learning and extract of a generalized pattern. To resolve these problems of RNN, the 3DNS model using cumulative multi discriminator was proposed. But that model does not solve the saturation problem yet. In this paper, we proposed a adaptive weight cumulative neural net(AWCNN) using the adaptive weight neuron (AWN) for solving the saturation problem. The proposed nets improved a recognition rate and the saturation problem of 3DNS. We experimented with the MNIST database of NIST without preprocessing. As a result of experimentations, the AWCNN was 1.5% higher than 3DNS in a recognition rate when all input patterns were used. The recognition rate using generalized patterns was similar to that using all input patterns.