• Tài liệu đại số đại cươngTài liệu đại số đại cương

    Giáo trình đại số đại cương được viết theo chương trình quy định của học phần cùng tên, 4 tín chỉ nhằm phục vụ cho sinh viên ngành toán - tin học. Với thời lượng hạn hẹp giáo trình chỉ bao gồm những kiến thức cơ bản.

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

  • Bài giảng Toán cao cấp A1 - Đại Số Tuyến TínhBài giảng Toán cao cấp A1 - Đại Số Tuyến Tính

    Bài 1 Khái niệm trường 1.1 Các tính chất cơ bản của số thực 1.2 Định nghĩa trường . . . . . . . . 1.3 Một số tính chất của trường . . . 1.4 Trường số hữu tỷ . . . . . . . . 1.5 Trường các số nguyên modulo p Bài 2 Không gian vectơ và không gian con 2.1 Định nghĩa không gian vectơ . . . . . 2.2 Ví dụ về không gian vectơ . . . . . . 2.3 Một...

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

  • Trắc nghiệm toán cao cấpTrắc nghiệm toán cao cấp

    Cho ma trận M5x6 [R]: M là họ vector hàng của A, N là họ vector cột của A. Biết hạng của A=5. Khẳng định nào đúng: a. M độc lập tuyến tính, N phụ thuộc tuyến tính b. M và N đều độc lập tuyến tính c. M v à N đều phụ thuộc tuyến tính d. N độc lập tuyến tính, M phụ thuộc tuyến tính

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

  • Đề tài Kiểm thử theo mô hình fsm và ứng dụng của nó trong webĐề tài Kiểm thử theo mô hình fsm và ứng dụng của nó trong web

    Đảm bảo phần mềm là một nhiệm vụvô cùng quan trọng trong phát triển phần mềm, nó liên quan mật thiết đến sựtồn tại và phát triển của các công ty phần mềm. Trong đó cósựkiểm thửchương trình, nó là sựkiểm tra thông qua việc thực hiện chương trình, được tiến hành sau khi đã phát triển chương trình (mã nguồn). Nó là kỹ thuật kiểm tra khá phổbiến...

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

  • Đề 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: 2727 | 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: 2213 | 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: 1928 | 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: 1967 | 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: 2097 | 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: 2510 | Lượt tải: 3