• Đề tài Mạng xã hội địa điểm trên facebookĐề tài Mạng xã hội địa điểm trên facebook

    Khóa luận nghiên cứu và trình bày cách thức tạo ra một mạng xã hội địa điểm. Cũng giống nhưmạng xã hội ảo các thành viên trong mạng chia sẻcho nhau thông tin vềcá nhân, cảm nghĩhay một vấn đềnào đó thì ởmạng xã hội địa điểm thông tin được chia sẻ là vềvịtrí, địa điểm yêu thích của từng thành viên. Phần đầu khóa luận giới thiệu vềcác công ngh...

    pdf47 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2113 | Lượt tải: 4

  • Đề tài Logic mô tả và ứng dụng trong cơ sở dữ liệuĐề tài Logic mô tả và ứng dụng trong cơ sở dữ liệu

    Nghiên cứu trong lĩnh vực biểu diễn tri thức và suy diễn thường tập trung vào các phương pháp có khảnăng mô tả“thếgiới” ởmức cao. Trong những năm gần đây, người ta thường nhắc tới “logic mô tả” (Description logic) như là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụthể có sửdụng logic mô tả, tri thức của miền ứng dụng đ...

    pdf84 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2440 | Lượt tải: 1

  • Đề tài Kỹ thuật mạng Nơron và giải thuật di truyền trong khai phá dữ liệu và thử nghiệm ứng dụngĐề tài Kỹ thuật mạng Nơron và giải thuật di truyền trong khai phá dữ liệu và thử nghiệm ứng dụng

    Trong những năm gần đây, vai trò của máy tính trong việc l-u trữ và xử lý thông tin ngày càng trở nên quan trọng. Bên cạnh đó, các thiết bị thu thập dữ liệu tự động cũng phát triển mạnh góp phần tạo ra những kho dữliệu khổng lồ. Dữ liệu đ-ợc thu thập và l-u trữ ngày càng nhiều nh-ng ng-ời ra quyết định lại cần có những thông tin bổ ích, nhữ...

    pdf102 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2565 | Lượt tải: 1

  • Đề tài Kỹ thuật lưu lượng trong mạng chuyển mạch nhãn đa giao thứcĐề tài Kỹ thuật lưu lượng trong mạng chuyển mạch nhãn đa giao thức

    Trong những năm gần đây, với sự phát triển nhanh chóng các dịch vụ IP và sự bùng nổ Internet đã dẫn đến một loạt thay đổi trong nhận thức kinh doanh của các nhà khai thác. Lưu lượng lớn nhất hiện nay trên mạng trục là lưu lượng IP. Giao thức IP thống trị toàn bộ các giao thức lớp mạng, hệ quả là tất cả các xu hướng phát triển công nghệ lớp ...

    pdf126 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2988 | Lượt tải: 1

  • Đề tài Kỹ thuật đa truy nhập trong mạng quang và ứng dụngĐề tài Kỹ thuật đa truy nhập trong mạng quang và ứng dụng

    Ngày nay, thế giới đang b-ớc sang kỷ nguyên của thông tin, trong đó công nghệ thông tin và truyền thông là động lực thúc đẩy sự phát triển của xã hội. Do đó, nhu cầu truyền thông ngày càng lớn với nhiều dịch vụ mới băng rộng và đa ph-ơng tiện trong đời sống kinh tế – xã hội của từng quốc gia cũng nh-kết nối toàn cầu. Để đáp ứng đ-ợc vai t...

    pdf124 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2568 | Lượt tải: 2

  • Đề tài Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kếĐề tài Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế

    Nội dung chính của bài khóa luận “Kiểm tra sự tinh chế hai mô hình có áp dụng mẫu thiết kế” có thể được trình bày ngắn gọn qua các vấn đề sau: - Tìm hiểu về khái niệm và vai trò của Mẫu thiết kế (design pattern) nói chung và mẫu thiết kế hợp nhất nói chúng cũng như việc áp dụng mẫu thiết kế hợp nhất (union design pattern) - Thực hiện chuyển...

    pdf58 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2021 | Lượt tải: 3

  • Đề tài Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tínhĐề tài Kiểm tra mô hình phần mềm sử dụng lý thuyết Ôtômat Buchi và Logic thời gian tuyến tính

    Với sựphát triển nhanh tột bậc của lĩnh vực công nghệthông tin và truyền thông trên cảcác hệthống phần cứng và phần mềm, khảnăng xảy ra nhiều lỗi, đặc biệt là các lỗi tinh vi là rất cao. Những lỗi này có thểgây ra những hậu quảnghiêm trọng vềtiền bạc, thời gian, thậm chí cuộc sống của con người. Nhìn chung, một lỗi càng sớm được phát hiện s...

    pdf102 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2097 | Lượt tải: 4

  • Đề tài Kiểm lỗi chính tả tiếng việtĐề tài Kiểm lỗi chính tả tiếng việt

    Hiện nay, vấn đềkiểm lỗi chính tảvăn bản tựđộng là một vấn đềđược rất nhiều cá nhân, đơn vịtrên thếgiới nghiên cứu và triển khai. Với tiếng Việt, hiện cũng có không ít công trình nghiên cứu và sản phẩm giải quyết bài toàn này, tuy nhiên các chương trình kiểm lỗi chính tảcảm ngữcảnh tiếng Việt còn rất ít, và đặc biệt là chưa có chương trình ...

    pdf39 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2949 | Lượt tải: 1

  • Đề tài Kiểm chứng mô hình phần mềm sử dụng nusmvĐề tài Kiểm chứng mô hình phần mềm sử dụng nusmv

    Kiểm chứng mô hình (model checking) làmột hướng tiếp cận hiệu quả cho việc đảm bảo chất lượng phần mềm.Kĩ thuật này được áp dụng để chứng minh một cách tự động tính đúng đắn của phần mềm hoặc chỉ ra tại sao phần mềm không chạy đúng thông qua phản ví dụ. Hiện nay có rất nhiều công cụ kiểm chứngmô hìnhphần mềm như NuSMV, SPIN, KRONOS . Khóa ...

    pdf45 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 2074 | Lượt tải: 1

  • Đề tài Kiểm chứng mô hình aspect-uml bằng alloyĐề tài Kiểm chứng mô hình aspect-uml bằng alloy

    Ngày nay, công nghệthông tin ngày càng phát triển và được ứng dụng vào tất cả các lĩnh vực của cuộc sống xã hội. Nó tạo ra một diện mạo mới cho xã hội và nhờđó nền văn minh nhân loại được nâng lên một tầm cao mới. Công nghệphần mềm là một phần không thểtách rời trong công nghệthông tin. Hiện nay ngành công nghệphần mềm trên thếgiới đã và đan...

    pdf41 trang | Chia sẻ: nhungnt | Ngày: 09/11/2012 | Lượt xem: 1998 | Lượt tải: 0