• Đề tài Đặc tả và kiểm chứng phần mềm sử dụng CafeOBJĐề tài Đặc tả và kiểm chứng phần mềm sử dụng CafeOBJ

    Công nghệthông tin hiện nay là một trong những ngành phát triển mạnh mẽnói chung, cùng với công nghệphần mềmnói riêng. Nhằm tạo ra những sản phẩm phần mềm đảm bảo chất lượng và tính chính xác cao. Nên việc đặc tảvà kiểm chứng phần mềm hết sức quan trọng trong nhiều lĩnh vực sửdụng phần mềm, đặc biệt là các ngành công nghệcao đòi hỏi sựchính...

    pdf50 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 2403 | Lượt tải: 1

  • Đề tài Đặc tả và kiểm chứng các phần mềm tương tranhĐề tài Đặc tả và kiểm chứng các phần mềm tương tranh

    Phần mềm tương tranh, một phần mềm được ứng dụngrộng rãi trong các hệ thống nhúng và các hệthống điều khiển. Chúng có vai trò vô cùng quan trọng trong việc điều khiển các hệthống đó. Chỉcần một lỗi nhỏcủa phần mềm có thểgây ra hậu quảvô cùng nghiêm trọng vì những hệthống này có thểtrực tiếp và gián tiếp ảnh hưởng đến cuộc sống của con người....

    pdf53 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 1930 | Lượt tải: 1

  • Đề tài Cross-domain Ajax cho các ứng dụng mashupĐề tài Cross-domain Ajax cho các ứng dụng mashup

    Ngày nay, mashup ngày càng trởnên thịnh hành theo trào lưu Web 2.0. Mashup cho phép mọi người thểhiện khảnăng sáng tạo bất tận bằng cách ‘nối’ hai hay nhiều ứng dụng web lại với nhau. Và nếu có chính sách kiểm soát thích hợp, mashup có thể tạo nên một lớp ứng dụng mới hiệu quảvà hữu ích trong rất nhiều môi trường. Để mashup dữliệu từnhiều ngu...

    pdf43 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 2090 | Lượt tải: 1

  • Đề tài Hợp tác nghiên cứu phát triển các hệ thống xử lý ảnh nhanh trên cơ sở áp dụng công nghệ mạng nơron phi tuyến tế bàoĐề tài Hợp tác nghiên cứu phát triển các hệ thống xử lý ảnh nhanh trên cơ sở áp dụng công nghệ mạng nơron phi tuyến tế bào

    Mạng nơron tếbào và công nghệxửlý ảnh tốc độcao trên cơsởmạng nơron tếbào là một lĩnh vực khoa học công nghệmới ởViệt nam và trên thếgiới; có nhiều triển vọng cho nhiều ứng dụng đột phá. Mục tiêu của nhiệm vụhợp tác qua đường nghị định thưvới Hungary là tiếp nhận và làm chủ đựợc công nghệxửlý ảnh nhanh, xửlý song song trên nền mạng nơron tếbà...

    pdf186 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 2119 | Lượt tải: 1

  • Đề tài Công nghệ rfidĐề tài Công nghệ rfid

    Nội dung cơbản của khóa luận gồm hai nội dung chính: tổng quát công nghệ RFID và triển khai một ứng dụng đơn giản. Phần thứnhất giới thiệu vềcông nghệRFID (nhận dạng sóng vô tuyến từxa), các thành phần của một hệthống RFID, nền tảng của công nghệnày, các thành phần liên quan trong một hệthống RFID, những ứng dụng đang được áp dụng trong thực...

    pdf51 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 3036 | Lượt tải: 5

  • Đề tài Chuyển đổi từ mô hình UML sang OWL Ontology và ứng dụngĐề tài Chuyển đổi từ mô hình UML sang OWL Ontology và ứng dụng

    Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại khôngđủ chặt chẽvà chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả.Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các cô...

    pdf105 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 2555 | Lượt tải: 3

  • Đề tài Chuyển đổi đặc tả uml với ocl sang đặc tả alloyĐề tài Chuyển đổi đặc tả uml với ocl sang đặc tả alloy

    UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng thực bằng các ký hiệu trực quan. Một mô hình UML gồm nhiều biểu đồ thể hiện các khía cạnh khác nhau của hệ thống. OCL được sử dụng để mô tả các ràng buộc cho các đối tượng của mô hình UML. Một cách để kiểm tra sự đúng đắn của mô hình UML là chuyển đổi mô hình UML sang đặc tả A...

    pdf51 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 2519 | Lượt tải: 1

  • Đề tài Chuỗi đặc trưng âm thanh và ứng dụng trong tìm kiếm nhạc sốĐề tài Chuỗi đặc trưng âm thanh và ứng dụng trong tìm kiếm nhạc số

    Những năm gần đây đã chứng kiến sựphát triển mạnh mẽcủa khoa học và ngành công nghiệp tính toán các đặc trưng của các đối tượng đa phương tiện. Khái niệm chuỗi đặc trưng âm thanh ra đời có ý nghĩa quan trọng trong việc phát triển các ứng dụng liên quan đến âm thanh nhờ đó mang lại rất nhiều tiện ích cho cuộc sống hiện đại của con người. Một...

    pdf42 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 1943 | Lượt tải: 1

  • Đề tài Chữ ký số và ứng dụngĐề tài Chữ ký số và ứng dụng

    Mật mã học là một trong những vấn đề quan trọng trong lĩnh vực bảo mật và an toàn thông tin. Trên thế giới, mật mã học đã được ra đời từ thời La Mã cổ đại và ngày càng được nghiên cứu , phát triển đạt được những thành tựu to lớn. Trong mật mã học, vấn đề bảo mật luôn đi đôi với vấn đề xác thực thông tin, đặc biệt trong hệ thống mã hóa khóa ...

    pdf45 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 3581 | Lượt tải: 2

  • Đề tài Các phương pháp tấn công rsaĐề tài Các phương pháp tấn công rsa

    Hệmật RSA được phát minh bởi Ron Rivest, Adi Shamir, và Len Adleman, công bốlần đầu vào tháng 8 năm 1977. Hệmật sửdụng trong lĩnh vực đảm bảo tính riêng tưvà cung cấp cơchếxác thực của dữliệu số. Ngày nay, RSA đã được phát triển ứng dụng rộng rãi trong thương mại điện tửvà đặc biệt nó là hạt nhân của hệ thống thanh toán điện tử. Ngay từkhi...

    pdf57 trang | Chia sẻ: nhungnt | Ngày: 31/10/2012 | Lượt xem: 3258 | Lượt tải: 5