CAST   TRITHUCKHOAHOC   LIBOL   CATEX [ Đăng Ký ] [ Đăng Nhập ]

Thống kê

Tổng tài liệu: 53365
Trong đó:
  • Bài Báo: 4532
  • Đề tài - Dự án: 379
  • Khác: 42729
  • Media: 85
  • Sách: 1045
  • Tiêu chuẩn/ Quy chuẩn: 4595

Danh mục tài liệu

  Khoa học Tự nhiên (16539)
  Khoa học Kỹ thuật (17907)
  Khoa học Đời sống (3301)
  Xã hội và Nhân Văn (1993)
  Khoa học Sức khỏe (8878)
  Tiêu chuẩn/Quy chuẩn (4747)

Danh mục Alphabet

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation. (05/01/2014)
Multi-valued networks provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. The abstraction theory therefore provides a mechanism for coping with the state space explosion problem and supports the analysis and comparison of multi-valued networks. We take as our starting point the abstraction theory for synchronous multi-valued networks which is based on the finite set of traces that represent the behaviour of such a model....
Tác giả: Steggles, L. J. | Số trang: 21 | Lĩnh vực: CNTT | Năm XB: 2011 | Loại tài liệu: Khác
Tài liệu cần xác thực trước khi tải

Tiêu đềTải về
  Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation. | Số trang: 21
         | Loại file: .pdf
  miễn phí


Tài liệu liên quan
© Copyright 2012 Trung tâm Thông tin Khoa học và Công nghệ - Sở Khoa học & Công nghệ TP. Cần Thơ
Địa chỉ: 118/3 Trần Phú - P.Cái Khế - Q.Ninh Kiều - TPCT
Điện thoại: 0292 3824031   Fax: 0292 3812352
Lượt truy cập:
(Website trong thời gian thử nghiệm)