• Luận văn Kiểm chứng đặt tả uml cho tác tử phần mềmLuận văn Kiểm chứng đặt tả uml cho tác tử phần mềm

    Trong phương pháp kiểm chứng các đặc tả giao thức cho ứng dụng, các mô-đun aspect chứa mã kiểm chứng sẽ là các mô-đun cắt ngang hệ thống và tách biệt so với chương trình ban đầu. Từ biểu đồ trạng thái hay biểu đồ trình tự UML, AUML đặc tả giao thức, tôi xuất biểu đồ này ra dạng tài liệu XMI.

    pdf93 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2516 | Lượt tải: 0

  • Luận văn Kiểm chứng các giao thức bằng AOPLuận văn Kiểm chứng các giao thức bằng AOP

    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, giúp nâng cao khả năng dò tìm lỗi, thông báo lỗi mà không ảnh hưởng tới mã nguồn hệ thống. Trong thực tế, biểu đồ UML là sự lựa chọn rất phổ biến cho việc mô hình hóa hệ thống phần mềm ở giai đoạn thiết kế...

    pdf51 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 3030 | Lượt tải: 0

  • Luận văn 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ạngLuận văn 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

    ƒ So sánh theo chiều ngang : kết quảcho thấy chất lượng nhận dạng sau khi rút gọn đặc trưng sẽ tăng lên. Ví dụ: với tập Face_15_24_20, nếu giữnguyên 10 đặc trưng thì kết quảnhận dạng là 91.33, trong khi kết quảsau khi rút gọn còn 6 đặc trưng là 94.33. ƒ So sánh theo chiều xiên : với 2 tập đặc trưng cùng kích thước, tập đặc trưng nhận được...

    pdf109 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2869 | Lượt tải: 1

  • Luận văn Khảo sát mạng lan với các phần mở rộng không dâyLuận văn Khảo sát mạng lan với các phần mở rộng không dây

    - Cơchế điều khiển lưu lượng của mạng bằng giao thức TCP/IP và phản ứng sai lầm của mạng với sựmất mát gói tin do lỗi; nghiên cứu các cải tiến TCP áp dụng cho mạng hỗn hợp LAN và WLAN. - Tìm hiểu sâu ảnh hưởng của lỗi trên đường truyền không dây đến các tham sốhiệu suất chính của các ứng dụng sửdụng giao thức giao vận TCP và UDP trên mạng...

    pdf82 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 3275 | Lượt tải: 3

  • Luận văn Instant Messenger cho thiết bị di động với chức năng tự động phát hiện sự hiện diện của các nút mạngLuận văn Instant Messenger cho thiết bị di động với chức năng tự động phát hiện sự hiện diện của các nút mạng

    Chạy phần mềm sẽ có giao diện như trên với giá trị ở cột khoảng cách được thay đổi với giá trị tính toán được trong chương trình. Như hình trên khoảng cách từ máy này đến máy có hostname “dung” là 1 hop còn các máy khác thì không online sẽ có giá trị là offline. Khi chương trình chạy thì nút “Bắt đầu” sẽ ẩn đi và giao diện chỉ còn lại nút ...

    pdf54 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2649 | Lượt tải: 0

  • Luận văn Hệ thông tin điều hành tác nghiệp dành cho điện thoại di độngLuận văn Hệ thông tin điều hành tác nghiệp dành cho điện thoại di động

    - Tính tiến hóa: kiến trúc của phiên bản cho phép mở rộng các chức năng. - Giao diện nhỏ gọn, đơn giản, truy cập nhanh qua điện thoại di động: Phiên bản được thiết kế cho người dùng khi truy cập qua điện thoại phải dễ sử dụng, tra cứu được các văn bản mới và các văn bản cũ. - Tính an toàn: ch ỉnhững người dùng có quyền mới được vào phiên bả...

    pdf45 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2812 | Lượt tải: 1

  • Luận văn Hệ thống thông tin quản lý giáo dục bậc tiểu họcLuận văn Hệ thống thông tin quản lý giáo dục bậc tiểu học

    Xác định các giao diện cập nhật dữ liệu dựa trên mô hình E-R. Về nguyên tắc, tương ứng với mỗi thực thể và mỗi mối quan hệ có ít nhất mộtthuộc tính trên mô hình E-R ta có một giao diện cập nhật dữ liệu.

    pdf116 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2938 | Lượt tải: 0

  • Luận văn Hệ thống thông tin giao thông sử dụng SMS (SMS Server)Luận văn Hệ thống thông tin giao thông sử dụng SMS (SMS Server)

    Có 3 tùy chọn cập nhật thông tin –trạng thái tuyến đường:  Chỉ cho admin: chỉ cho phép admin cập nhật trực tiếp trên hệ thống.  Cho phép tất cả cập nhật: Tất cả các số điện thoại nhắn tin đến tổng đài theo đúng cú pháp đều được phép cập nhật thông tin – trạng thái tuyến đường.  Giới hạn các số: Chỉ cho phép các số có trong danh sách và ở...

    pdf63 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2702 | Lượt tải: 2

  • Luận văn Hệ thống quản lý đăng ký thuế sử dụng web serviceLuận văn Hệ thống quản lý đăng ký thuế sử dụng web service

    Phương thức: donvi_dangky_nhanvien:dùng để thêm thông tin về một nhân viên chưa có mã số thuế thu nhập cá nhân vào cơ sở dữ liệu. Nếu các thông tin nhập vào các ô nhập liệu đúng quy cách thì kết quả tra về là thông báo ”Bạn đã thêm thành công thông tin đăng ký thuế của nhân viên có số chứng minh thư: (cmt)”. Nếu số chứng mình thư đã có tron...

    pdf58 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 3280 | Lượt tải: 2

  • Luận văn Hàm RBF và một số ứng dụng trong đồ họa máy tínhLuận văn Hàm RBF và một số ứng dụng trong đồ họa máy tính

    Qua một số thí dụ đã trình bày, chúng ta thấy được những lợi ích của phần mềm FastRBF trong việc khôi phục và biểu diễn các đối tượng 3D. Đây là một phần mềm rất hữu ích cho những đối tượng cần sử dụng những kết quả của nó vào công việc của mình. Qua đó, chúng ta hiểu rõ hơn về vấn đề khôi phục và biểu diễn các đối tượng 3D để từ đó vận dụn...

    pdf62 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2916 | Lượt tải: 1