• Đề tài Kiểm thử phần mềm nhúngĐề tài Kiểm thử phần mềm nhúng

    Các hệthống nhúng ngày nay rất phát triển với những ứng dụng rộng rãi trong nhiều lĩnh vực công nghiệp và đời sống, đâu đâu ta cũng bắt gặp các ứng dụng của hệthống nhúng, từnhững thiết bịnhỏnhư điện thoại, máy nghe nhạc đến các hệthống phức tạp nhưô tô, máy móc công nghiệp. Trong phát triển phần mềm nhúng, khâu kiểm thửcó vai trò quan trọn...

    pdf61 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2823 | Lượt tải: 1

  • Đề tài Kiểm thử dựa trên mô hìnhĐề tài Kiểm thử dựa trên mô hình

    Quá trình sinh các ca kiểm thửtựđộng dựa trên mô hình gồm các công đoạn chính: Xây dựng mô hình, nhúng mã C, áp dụng công cụSpin đểsinh các ca kiểm thử. Trong đó xây dựng mô hìnhlà công đoạn đầu tiên, nhiệm vụchính ởđây là từ mô tảcác yêu cầu của hệthống và chức năng xác định cùng với dữliệu đầu vào và raphải xây dựng được mô hình của hệthốn...

    pdf50 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2301 | Lượt tải: 3

  • Đề tài Kiểm định và so sánh các mô hình biến đổi amino acid cho virút cúmĐề tài Kiểm định và so sánh các mô hình biến đổi amino acid cho virút cúm

    Khóa luận với đềtài “kiểm định và so sánh các mô hình biến đổi amino acid cho virút cúm”. Đề tài này chúng tôi đã thực hiện những công việc sau: 1. Nghiên cứu tổng quan vềsinh học phân tửvà tin sinh học. 2. Nghiên cứu mô hình biến đổi amino acid. 3. Kiểm thứmô hình I09 cho virút cúm và so sánh với các mô hình khác như: LG, WAG, HIVw, HIVb, J...

    pdf41 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2006 | Lượt tải: 0

  • Đề tài Kiểm chứng đặt tả uml cho tác tử phần mềmĐề tài Kiểm chứng đặt tả uml cho tác tử phần mềm

    Trong quy trình phát triển phần mềm, kiểm chứng phần mềm đóng vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống trong suốt quá trình thực thi. Nó có nhiệm vụ phát hiện và dò tìm lỗi cho giai đoạn kiểm thử phần mềm. Phương pháp lập trình hướng khía cạnh (AOP) cùng với công nghệ AspectJ ra đời đã tạo ra hướng phát triển mới cho...

    pdf93 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2047 | Lượt tải: 2

  • Đề tài Kiểm chứng các giao thức bằng AOPĐề tài Kiểm chứng các giao thức bằng AOP

    Kiểm chứng phần mềm có một vai trò quan trọng trong việc đảm bảo tính đúng đắn của hệ thống phần mềm trong suốt quá trình thực thi,kiểm chứng giúp phát hiện,tìm ra lỗi và thông báo lỗi cho nhà phát triển. Phương pháp lập trình hướng khía cạnh (AOP) cùng với công nghệ AspectJ ra đời đã tạo ramột hướng phát triển mới cho kiểm chứng phần mềm, ...

    pdf51 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2167 | Lượt tải: 2

  • Đề tài Khung làm việc - Framework và ứng dụng cho bài toán luồng công việcĐề tài Khung làm việc - Framework và ứng dụng cho bài toán luồng công việc

    Qua tìm hiểu thực tếcho thấy, với các tổchức, cơ quan khác nhau có nghiệp vụthực hiện công tác tổchức xửlý và giao việc không giống nhau. Tuy nhiên vềcơ bản các công ty, doanh nghiệp đều có mô hình quản lý và luồng quy trình nghiệp vụthực hiện công tác tổchức và giao việc giống nhau. Do đó, đểphát triển và mở rộng một hệthống có tính chất th...

    pdf101 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2592 | Lượt tải: 3

  • Đề tài Khảo sát ứng dụng của tập thô trong lựa chọn và rút gọn đặc trưng cho bài toán nhận dạngĐề tài Khảo sát ứng dụng của tập thô trong lựa chọn và rút gọn đặc trưng cho bài toán nhận dạng

    Trong chuyên ngành Trí tuệnhân tạo, Nhận dạng là một trong những lĩnh vực phát triển sớm nhất và đã tìm được rất nhiều ứng dụng trong cuộc sống, chẳng hạn nhưdự báo tiềm năng khoáng sản từ ảnh vệtinh, nhận diện tội phạm qua vân tay, hay gần đây người ta đưa ra khái niệm ngôi nhà thông minhvới nhiều chức năng tự động hoá hoàn toàn dựa vào khả...

    pdf109 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2156 | Lượt tải: 1

  • Đề tài Khảo sát mạng lan với các phần mở rộng không dâyĐề tài Khảo sát mạng lan với các phần mở rộng không dây

    Mạng LAN nói chung (LAN có dây) có đặc điểm là tốc độcao, tỉsuất lỗi gói tin nhỏ, độtrễcủa các gói tin truyền trong mạng nhỏvà thăng giáng độtrễ (jitter) không quá lớn. Ngày nay việc kết nối các mạng LAN không dây (WLAN) với mạng LAN có dây ngày càng trởnên phổbiến, các ứng dụng về mạng hỗn hợp hai loại truyền thông này đã mang lại cho cho xã...

    pdf82 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 3400 | Lượt tải: 2

  • Đề tài Khảo sát ảnh hưởng của sự chuyển động các nút mạng đến hiệu suất của một số giao thức định tuyến trong ManetĐề tài Khảo sát ảnh hưởng của sự chuyển động các nút mạng đến hiệu suất của một số giao thức định tuyến trong Manet

    Ngày nay, cùng với sự bùng nổ, phát triển mạnh mẽ của các thiết bị di động cá nhân như: laptop, smartphone, tablet,…, thì nhu cầu kết nối giữa các thiết bịnày cũng ngày càng đòi hỏi cao hơn về tốc độ và khả năng di chuyển trong khi kết nối. Mạng di động đặc biệt –MANET (Mobile Ad-hoc Network) là một trong những công nghệ vượt trội đáp ứng nh...

    pdf69 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2605 | Lượt tải: 1

  • Đề tài Khai phá dữ liệu và thuật toán khai phá luật kết hợp song songĐề tài Khai phá dữ liệu và thuật toán khai phá luật kết hợp song song

    Với sự bùng nổ và phát triển của công nghệ thông tin đã mang lại nhiều hiệu quả đối với khoa học cũng như các hoạt động thực tế, trong đó khai phá dữ liệu là một lĩnh vực mang lại hiệu quả thiết thực cho con người. Khai phá dữ liệu đã giúp người sử dụng thu được những tri thức hữu ích từ những cơ sở dữ liệu hoặc các kho dữ liệu khổng lồ khá...

    pdf86 trang | Chia sẻ: nhungnt | Ngày: 30/10/2012 | Lượt xem: 2733 | Lượt tải: 5