Luận Án Tiến Sĩ Mô Hình Hóa Và Đặc Tả Hình Thức Các Giao Diện Thành Phần Có Chứa Chất Lượng Dịch Vụ Và Tính Tương

Discussion in 'Chuyên Ngành Kỹ Thuật Phần Mềm' started by quanh.bv, Aug 17, 2019.

  1. quanh.bv

    quanh.bv Administrator Quản Trị Viên

    [​IMG]
    Mô Hình Hóa Và Đặc Tả Hình Thức Các Giao Diện Thành Phần Có Chứa Chất Lượng Dịch Vụ Và Tính Tương Tranh
    Luận án đề xuất lý thuyết Vết thời gian để hỗ trợ đặc tả các ràng buộc về thời gian trên các hệ thống tương tranh có ràng buộc thời gian. Vết thời gian là một sự mở rộng về thời gian của Vết Mazurkiewicz bằng việc bổ sung vào Vết Mazurkiewicz một hàm gán nhãn thời gian. Với việc mở rộng này, Vết thời gian có thể dễ dàng đặc tả các hành vi của hệ thống tương tranh có ràng buộc thời gian. Trong lý thuyết này, luận án còn đề xuất khái niệm Vết khoảng. Vết khoảng là các Vết Mazurkiewicz mà mỗi ký hiệu (hành động) trong bảng chữ cái phụ thuộc được gán một ràng buộc là một khoảng thời gian.
    • Luận án tiến sĩ tin học
    • Chuyên ngành Kỹ thuật phần mềm
    • Người hướng dẫn khoa học: TS. Đặng Văn Hưng, PGS.TS. Nguyễn Việt Hà
    • Tác giả: Đỗ Văn Chiểu
    • Số trang: 135
    • Kiểu file: PDF
    • Ngôn ngữ: Tiếng Việt
    • Đại học Quốc gia Hà Nội 2016
    Link Download
    https://vnu.edu.vn/ttsk/?C1667/N18795/Thong-tin-LATS-cua-NCS-do-Van-Chieu.htm
    https://drive.google.com/uc?id=1dwFdHiTIv-dVZeCxcCEG1GNNvCD397Ve
    https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1
     
    Last edited: Sep 3, 2019

Share This Page