How much information of concurrency can be got from firing sequences in petri nets

It is well known from [2, 3] that in general processes in Petri nets are not recoverable from firing sequences. However, firing sequences in Petri nets say something about concurrency. The paper presents a way to define concurrency from firing sequences of nets. It turns out that the information of concurrency in a firing sequences characterizes all its processes

Mô hình nền tảng máy chủ chia sẻ và bài toán vector packing trong cung cấp tài nguyên cho dịch vụ ảo hóa

In cloud computing, optimizing resource for virtual services to enhance IaaS service performance and meet the requirements of efficient resource exploitation is an attractive issue in recent times. In this paper, we study the problem of providing multi-dimensional resources based on shared hosting platforms for virtual services. We construct the problem as an optimization formulation that uses a linear programming to minimize the number of physical servers. The solution to this formulation is applying the standard algorithms of vector packing problem to solve and evaluate solutions via emulation-based program.Tối ưu hóa tài nguyên để cung cấp cho dịch vụ ảo hóa nhằm nâng cao hiệu suất dịch vụ IaaS (infrastructure as a service), đáp ứng yêu cầu khai thác tài nguyên hiệu quả trong Điện toán Đám mây là vấn đề đang được quan tâm hiện nay. Trong bài báo này, chúng tôi nghiên cứu bài toán cung cấp tài nguyên đa chiều từ nền tảng máy chủ chia sẻ cho dịch vụ ảo hóa, đưa ra công thức tính trên cơ sở bài toán quy hoạch tuyến tính nhằm tối thiểu hóa số máy chủ vật lý, độ phức tạp của bài toán và áp dụng các thuật toán chuẩn của bài toán vector packing để giải và đánh giá thông qua mô phỏng trên nhiều kịch bản thử nghiệm

THUẬT TOÁN PHÂN MẢNH DỌC VÀ CẤP PHÁT TRONG CƠ SỞ DỮ LIỆU HƯỚNG ĐỐI TƯỢNG PHÂN TÁN

Các hệ thống thông tin ngày nay thường được yêu cầu xây dựng dựa trên những kiến trúc hướng đối tượng và phân tán trên mạng, bao gồm từ nhiều cơ sở tính toán đa dạng, không thuần nhất. Trong các môi trường như thế, hệ thống có sở dữ liệu hướng đối tượng phân tán cung cấp những cơ chế rất tin cậy và hiệu quả để tổ chức lưu trữ, xử lý và truy vấn khối lượng rất lớn các đối tượng khác nhau. Với các đặc tính cơ bản của hướng đối tượng như đóng gói, kế thừa, phân cấp lớp, bài toán thiết kế trong cơ sở dữ liệu hướng đối tượng phân tán phát sinh thêm nhiều vấn đề phức tạp so với bài toán thiết kế trong cơ sở dữ liệu quan hệ. Thiết kế trong cơ sở dữ liệu hướng đối tượng phân tán được chia thành hai giai đoạn: Phân mảnh lớp đối tượng và cấp phát lớp. Mục tiêu của phân mảnh và cấp phát là nâng cao hiệu năng xử lý và giảm việc truyền dữ liệu. Thông thường hai giai đoạn này là tách biệt, phân mảnh xong mới thực hiện cấp phát. Bài báo này đề cập tới một thuật toán trong đó việc phân mảnh và cấp phát trong cơ sở dữ liệu hướng đối tượng phân tán được thực hiện đồng thời, đối với trường hợp các thuộc tính và phương thức đều thuộc loại đơn giản

Các phụ thuộc đối tượng mờ dựa trên xấp xỉ ngữ nghĩa theo cách tiếp cận đại số gia tử

In this paper, we study fuzzy dependencies among attributes, between the attributes and methods in a fuzzy object class basing on approximate semantic. Similarly in the clear/fuzzy relational database, we present the definition of fuzzy attribute dependency and fuzzy method dependency. Furthermore, we applied fuzzy dependencies to find quite approximate answers for Null queries on object-oriented database model with fuzzy information and uncertainty.Trong bài báo này, chúng tôi tập trung nghiên cứu phụ thuộc mờ giữa các thuộc tính và giữa thuộc tính với phương thức trong một lớp đối tượng mờ dựa trên xấp xỉ ngữ nghĩa theo cách tiếp cận đại số gia tử (ĐSGT). Tương tự như trong cơ sở dữ liệu (CSDL) quan hệ rõ/mờ, bài báo đưa ra các định nghĩa phụ thuộc thuộc tính mờ và phụ thuộc phương thức mờ. Ngoài ra, sử dụng các phụ thuộc mờ này để tìm ra câu trả lời gần đúng cho truy vấn Null trên mô hình CSDL hướng đối tượng (HĐT) với thông tin mờ và không chắc chắn

Đặc tả hình thức các điều kiện đúng cho thực hiện song song của hệ thống giao tác trong cơ sở dữ liệu thời gian thực.

-

Một cách chọn mẫu huấn luyện và thuật học để xây dựng cây quyết định trong khai phá dữ liệu.

-

Phát triển thuật toán khai thác dữ liệu dựa trên bao đóng của các thuộc tính.

See full text.Xem toàn văn

Lịch sử Thăng Long - Hà Nội. t.I

1022 tr. : ảnh màu ; 24 cm