• Đề tài Phương pháp kiểm chứng tính đúng đắn của một chương trình java đa luồng thông qua sử dụng logic hoareĐề tài Phương pháp kiểm chứng tính đúng đắn của một chương trình java đa luồng thông qua sử dụng logic hoare

    Có rất nhiều phương pháp để kiểm chứngtính đúng đắncủamột chương trình Java đa luồng. Một trong các phương pháp đó là sử dụnglogic Hoare. Kiểm chứng tính đúng đắn của một chương trình Java đa luồng sử dụnglogic Hoare yêu cầu ta cần phải chứng minhmột chương trình được bổ sung và chú thích dưới sự thi hành của các lệnh phải thỏa mãn: Nếu bướ...

    pdf64 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2274 | Lượt tải: 0

  • Đề tài Phục hồi thông tin từ dữ liệu quan sát bằng thuật giải di truyềnĐề tài Phục hồi thông tin từ dữ liệu quan sát bằng thuật giải di truyền

    Máy tính ngày nay ÿã tr͟thành m͙t trong nhͯng công cͥquan tr͍ng. Có ÿɉͣc ÿLɾu ÿó là do máy tính có hai ÿLʀm mɞnh chͧyɼu là W͑c ÿ͙xͭlý và khɠnăng lɉu trͯ. Sͱphát triʀn cͧa Trí tuʄNhân tɞo làm cho máy tính càng thông minh hɇn. Kɼt hͣp v͛i nhͯng khɠnăng ÿang ngày càng hoàn thiʄn cͧa máy tính, các ͩng dͥng cͧa Trí tuʄ Nhân tɞo có mɴt ͟khɬp m͍i nɇi...

    pdf73 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 1911 | Lượt tải: 3

  • Đề tài Phòng chống tấn công từ chối dịch vụ phân tán vào các WebsiteĐề tài Phòng chống tấn công từ chối dịch vụ phân tán vào các Website

    Phòng chống tấn công từchối dịch vụ, đặc biệt là các cuộc tấn công từchối dịch vụphân tán vào các Website vẫn đang là đềtài nhận được rất nhiều quan tâm của các nhà nghiên cứu. Bên cạnh những khó khăn do cơsởhạtầng mạng còn yếu kém, sự phát triển không ngừng của các công cụvà phương pháp tấn công khiến cho việc phòng và chống tấn công từchối...

    pdf61 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2454 | Lượt tải: 2

  • Đề tài Phát triển, tối ưu thuật toán adaptive pagelayout trên pcĐề tài Phát triển, tối ưu thuật toán adaptive pagelayout trên pc

    Page layout là thuật toán được ứng dụng nhiều trong các bài toán hiển thị và tương tác với người sử dụng. Ngày nay, cùng với sự phổ biến của thiết bị di động (TBDĐ) trong đời sống con người thì vấn đề này càng mang ý nghĩa thiết thực. Vấn đề đặt ra là đưa các bài toán được hiển thị trên PC trước đây chuyển sang các TBDĐ với kích cỡ màn hình hạn ...

    pdf53 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 1998 | Lượt tải: 0

  • Đề tài Phát triển hệ thống quản lý quan hệ khách hàng cho doanh nghiệpĐề tài Phát triển hệ thống quản lý quan hệ khách hàng cho doanh nghiệp

    Ngày nay việc áp dụng hệ thống thông tin để l ưu trữ, xử lý, sử dụng thông tin trong các tổ chức, doanh nghiệp là một nhu cầu hết sức cần thiết. Hoạt động quản lý thông tin liên quan tới khách hàng là một hoạt động sống còn của các doanh nghiệp. Khối lượng dữ liệu thông tin về khách hàng là một khối lượng dữ liệu thông tin lớn, có quan hệ chặ...

    pdf75 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2149 | Lượt tải: 1

  • Đề tài Phát hiện biên, biểu diễn Fourier Elliptic và ứng dụngĐề tài Phát hiện biên, biểu diễn Fourier Elliptic và ứng dụng

    Xử lý ảnh là một lĩnh vực đã và đang được quan tâm của nhiều nhà khoa học trong và ngoài nước bởi tính phong phú và lợi ích c ủa nó được ứng dụng trong khoa học kỹ thuật, kinh tế, xã hội và đời sống con người. Lĩnh vực xử lý ảnh liên quan tới nhiều ngành khác như: hệ thống tin học, trí tuệ nhân tạo, nhận dạng, viễn thám, y học, nông học. Hi...

    pdf83 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2124 | Lượt tải: 3

  • Đề tài Phân tích và thiết kế hệ thống quản trị kí túc xá sinh viênĐề tài Phân tích và thiết kế hệ thống quản trị kí túc xá sinh viên

    Khoá luận này có nội dung xây dựng hệthống thông tin Quản lý Ký túc xá của ĐHQG HN Phần đầu khoá luận nghiên cứu yêu cầu thông tin của Trung tâm hỗtrợsinh viên của ĐHQG HN mà bài toán quản lý KTX là một nội dung. Do khuôn khổcủa một khoá luận tốt nghiệp không thểbao quát được mọi vấn đế đặt ra của Trung tâm hỗtrợsinh viên nên khoá luận ch...

    pdf92 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 11359 | Lượt tải: 1

  • Đề tài Phân tích và thiết kế hệ thống thông tin sáng tạo tại liên hiệp các hội khoa học kỹ thuật Việt NamĐề tài Phân tích và thiết kế hệ thống thông tin sáng tạo tại liên hiệp các hội khoa học kỹ thuật Việt Nam

    Liên hiệp các Hội khoa học kỹthuật Việt Nam là một tổchức xã hội của các trí thức với hàng trăm hội thành viên. Một trong những hoạt động của Liên hiệp hội là tổ chức các hoạt động sáng tạo thông qua các hội thi hay giải thưởng. Tuyrất đa dạng nhưng có thểthấy một sốcác hoạt động cốt lõi của các cuộc thi hay giải thưởng thường tương tựnhư nh...

    pdf112 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2123 | Lượt tải: 1

  • Đề tài Phân tích thiết kế phần mềm tính lươngĐề tài Phân tích thiết kế phần mềm tính lương

    Hiên nay, tại Việt Nam các doanh nghiệp sản xuất sản phẩm thường gặp nhiều khó khăn hơn các doanh nghiệp kinh doanh trong bài toán tính lương vì trong bài toán tính lương của các doanh nghiệp sản xuất đa dạng hơn và phảitính các sốliệu khác nhau, vì vậy việc tính toán rất phức tạp và phải lưu giữnhiều giấy tờphục vụcho việc tính toán. Chính v...

    pdf110 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 3050 | Lượt tải: 2

  • Đề tài Phân tích mạng xã hội bằng công nghệ wave - phân tích quan hệĐề tài Phân tích mạng xã hội bằng công nghệ wave - phân tích quan hệ

    Khóa luận tốt nghiệp này trình bày những hiểu biết vềcông nghệWAVE nhưsựhình thành, các tính chất, đặc điểm, các điểm mạnh của công nghệWAVE so với các công nghệhiện thời và ứng dụng của nó vào việc giải quyết các bài toán cụthể. Phần chính của khóa luận này là đưa ra các bài toán tổng quan vềvấn đềphân tích thông tin trên mạng xã hội Yahoo...

    pdf78 trang | Chia sẻ: nhungnt | Ngày: 26/10/2012 | Lượt xem: 2326 | Lượt tải: 3