• Luận văn Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFDLuận văn Hệ thống hỗ trợ kiểm tra tính đúng đắn của mô hình DFD

    Mạng Petri cơ bản được xây dựng bởi Carl Adam [1], mạng đầu tiên này được gọi là mạng CE (Condition/Event) trong mô hình này mỗi place chứa nhiều nhất là một token (khái niệm place và token sẽ được giải thích bên dưới), để khắc phục hạn chế này, nhiều tác giả đã mở rộng theo các hướng khác nhau tạo thành nhiều dạng phong phú của mạng Petri,

    pdf20 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1308 | Lượt tải: 0

  • Luận văn Nghiên cứu các tính chất của tia X và xây dựng hệ mô phỏng cắt lớp 3DLuận văn Nghiên cứu các tính chất của tia X và xây dựng hệ mô phỏng cắt lớp 3D

    (Bản scan) Một ảnh số được xem như một hình chữ nhật trong R2, có cạnh song song với 2 trục tọa độ, gồm NxM hình vuông, mỗi hình vuông mang một độ xám (số thực), cần tính biến đổi Radon hàm đặc trưng của một hình vuông.

    pdf22 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1333 | Lượt tải: 0

  • Luận văn Nghiên cứu phát triển mô hình tri thức dạng hàm và ứng dụngLuận văn Nghiên cứu phát triển mô hình tri thức dạng hàm và ứng dụng

    (Bản scan) Cơ chế tổ chức nhận thức của con người thường được xây dựng dựa trên cơ sở các sự kiện (fact), xem như các đơn vị cơ bản nhất. Một sự kiện là một dạng tri thức khai báo. Nó cung cấp một số hiểu biết về một biến cố hay một vấn đề nào đó. Một sự kiện có thể được dùng để xác nhận giá trị của một thuộc tính xác định của một vài đối tượng.

    pdf16 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1344 | Lượt tải: 0

  • Đề tài Ứng dụng lý thuyết tối ưu giải bài toán lập lịchĐề tài Ứng dụng lý thuyết tối ưu giải bài toán lập lịch

    Tối ưu hóa là một ngành toán học ứng dụng, đã và đang được nhiều người quan tâm nghiên cứu, tìm hiểu và ứng dụng vào thực tiễn. Bài toán tối ưu là kết quả của việc mô hình hóa những vấn đề nảy sinh từ thực tế, chúng có thể được diễn đạt dưới dạng toán học là tìm các biến số thỏa mãn những điều kiện nhất định và làm cho một hàm số cho trước đạt giá ...

    pdf16 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 3929 | Lượt tải: 1

  • Luận văn Ứng dụng logic mờ, mạng nơron và mạng PLC trong điều khiển giám sát đèn giao thôngLuận văn Ứng dụng logic mờ, mạng nơron và mạng PLC trong điều khiển giám sát đèn giao thông

    (Bản scan) Hàm thuộc uA(x) định nghĩa trên tập A, trong khái niệm tập hợp kinh điển chỉ có hai giá trị là 1 nếu x thuộc A hoặc 0 nếu x không thuộc A. Hình II.1 mô tả hàm thuộc của hàm uA(x), trong đó tập A được định nghĩa như sau: A = {x thuộc R | 2< x <6}

    pdf39 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1537 | Lượt tải: 0

  • Luận văn Khai phá dữ liệu - Tìm tập luật kết hợp có khả năng cho hiệu quả ứng dụng caoLuận văn Khai phá dữ liệu - Tìm tập luật kết hợp có khả năng cho hiệu quả ứng dụng cao

    (Bản scan) Khai phá dữ liệu là việc sử dụng các kỹ thuật nhằm phát hiện những thông tin có giá trị tiềm ẩn trong CSDL lớn. Khai phá dữ liệu là một khái niệm ra đời vào những năm cuối của thập niên 80. Về bản chất, khai phá dữ liệu liên quan đến việc phân tích dữ liệu và sử dụng các kỹ thuật để tìm ra các mẫu có tính chính quy (regularities) tron...

    pdf15 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1373 | Lượt tải: 0

  • Luận văn Học mạng betlief bayers từ dữ liệu và thực nghiệm mô hìnhLuận văn Học mạng betlief bayers từ dữ liệu và thực nghiệm mô hình

    (Bản scan) Học mạng Bayes từ dữ liệu là tìm ra một mô hình bao gồm phần cấu trúc và phần tham số phù hợp với mô hình tiềm ẩn trong dữ liệu luyện. Nói cách khác, ta phải tìm được các thông tin độc lập có điều kiện và cường độ của sự phụ thuộc giữa các biến trong miền đang xét.

    pdf34 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1339 | Lượt tải: 0

  • Luận văn Nghiên cứu bài toán phân trang áp dụng vào ảnh quét tiếng ViệtLuận văn Nghiên cứu bài toán phân trang áp dụng vào ảnh quét tiếng Việt

    Bài toán phân trang thực hiện công việc phân rã ảnh đầu vào thành các thành phần khác nhau, gồm nội dung, cấu trúc vật lý và cấu trúc logic của nó. Nội dung là thành phần thông tin của tư liệu, tức là các dòng văn bản. Cấu trúc vật lý mô tả thông tin vật lý của nội dung, vị trí, hình dạng của nó.

    pdf22 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1264 | Lượt tải: 0

  • Luận án Vấn đề bảo trì và nhất quán dữ liệu trong môi trường kho dữ liệu: Triển khai một ứng dụng tại ngân hàng thương mại cổ phần Sài Gòn công thươngLuận án Vấn đề bảo trì và nhất quán dữ liệu trong môi trường kho dữ liệu: Triển khai một ứng dụng tại ngân hàng thương mại cổ phần Sài Gòn công thương

    (Bản scan) Dữ liệu lưu tại kho dữ liệu trong các khung nhìn cụ thể hóa, những dữ liệu này được trích ra từ các nguồn dữ liệu và được quản lý bởi các hệ thống độc lập với nhau và độc lập với hệ thống quản lý kho dữ liệu. Như vậy hệ thống quản lý của một nguồn dữ liệu không thể biết những khung nhìn cụ thể hóa trong kho dữ liệu được định nghĩa như t...

    pdf46 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1215 | Lượt tải: 0

  • Luận văn Xây dựng công cụ mô hình hoá tiến trình hỗ trợ mẫu tiến trìnhLuận văn Xây dựng công cụ mô hình hoá tiến trình hỗ trợ mẫu tiến trình

    Tiến trình phần mềm được định nghĩa là một tập các hoạt động có thứ tự để phát triển hoặc bảo trì một sản phẩm phần mềm [2]. Ngày nay, tất cả các tổ chức phát triển phần mềm đều tuân thủ theo một tiến trình phát triển nào đó. Tiến trình phát triển phần mềm có ảnh hưởng to lớn đến chất lượng của các sản phẩm phần mềm. Từ đó chúng ta có thể thấy được...

    pdf21 trang | Chia sẻ: vietpd | Ngày: 19/10/2013 | Lượt xem: 1191 | Lượt tải: 0