• Luận văn Đánh giá chi phí tìm đường của một số giao thức định tuyến trong mạng manetLuận văn Đánh giá chi phí tìm đường của một số giao thức định tuyến trong mạng manet

    Ngoài ra, luận văn cũng xem xét bài toán định tuyến trong mạng MANET và các giải pháp có thể sử dụng để giải quyếtbài toán định tuyến cũng như giới thiệu một số giao thức định tuyến điển hình trong mạng MANET. Đi cùng với lý thuyết là phần thực nghiệm mô phỏng, tôi đã tích hợp một số giao thức định tuyến mạng MANET vào bộ chương trình mô ph...

    pdf87 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 4005 | Lượt tải: 2

  • Luận văn Đảm bảo chất lượng phục vụ cho truyền video streaming trong mạng không dây 802.11Luận văn Đảm bảo chất lượng phục vụ cho truyền video streaming trong mạng không dây 802.11

    Phần lớn trong sốcác gói tin nhận được ở bên nhận có độ trễ lớn hơn 0.6s và hơn một nửa có độ trễ lớn hơn 0.8s. Một số dịch vụ video streaming có yêu cầu độ trễ rất thấp, thì với độ trễ tầm 0.6s hoặc 0.8s trở lên không thể đáp ứng được yêu cầu này do đó có thể dịch vụ sẽbị gián đoạn và khó duy trì được trong tình trạng sử dụng cơ chế này.

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

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

    Với mỗi thuộc tính, từ trạng thái đầu init, nếu tất cảcác trạng thái đạt được thỏa mãn thuộc tính thì xem như thuộc tính đã được chứng minh. Chúng ta sẽ chứng minh rằng không có một trạng thái nào trong không gian trạng thái là không thỏa mãn với từng thuộc tính. Khi chạy tất cả chúng trong CafeOBJ, tất cả kết quả trả về bởi CafeOBJ sẽ là “...

    pdf50 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2393 | Lượt tải: 2

  • Luận văn Cross-Domain ajax cho các ứng dụng web mashupLuận văn Cross-Domain ajax cho các ứng dụng web mashup

    Geocoding là quá trình chuyển đổi địa chỉ vào một tọa độ địa lý. Google Maps API bao gồm Geocoding services mà có thể được truy cập trực tiếp qua HTTP Request hoặc bằng cách sử dụng một đối tượng GClientGeocoder.

    pdf43 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2374 | Lượt tải: 0

  • Luận văn Công nghệ thông tin mạng nơron tế bàoLuận văn Công nghệ thông tin mạng nơron tế bào

    - Nghiên cứu phát triển các hệ xử lý ảnh siêu âm, ảnh cắt lớp 2D, 3D thời gian thực - Nghiên cứu phát triển hệ thống xử lý ảnh nhanh cho một số ứng dụng công nghiệp - Nghiên cứu phát triển hệ thống nhận dạng đa mục tiêu di động cho các ứng dụng dân dụng và quốc phòng

    pdf186 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 3089 | Lượt tải: 2

  • Luận văn Chuyển đổi từ mô hình UML sang OWL ONTOLOGY và ứng dụngLuận văn Chuyển đổi từ mô hình UML sang OWL ONTOLOGY và ứng dụng

    Mẫu Union Pattern là một mẫu có cấu trúcmô tả mối quan hệ thừa kế giữa lớp cha và lớp con của nó.Lớp cha là lớp ảo đại diện cho tập hợp các lớp con. Mục tiêu của Union Pattern hướng tới hai lợi ích của thiết kế hướng đối tượnglà tập hợp mã (hoisting)và việc tách riêngcác tầng trừu tượng

    pdf105 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2803 | Lượt tải: 1

  • Luận văn Chuyển đổi đặc tả UML với OCL sang đặc tả ALLOYLuận văn Chuyển đổi đặc tả UML với OCL sang đặc tả ALLOY

    Lớp ATM có 3 phương thức. Ba phương thức này được chuyển hoàn toàn thành các mệnh đề -predicate. Danh sách tham biến của các phương thức trong biểu đồ lớp được mang nguyên vẹn thành danh sách tham biến của mệnh đề trong Alloy.

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

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

    Khóa luận đã trình bày một cách tổng quan về hệ thống chuỗi đặc trưng âm thanh và các ứng dụng phổ biến của nó. Trong khóa luận cũng trình bày chi tiết hai phương pháp khác nhau về việc trích rút ra chuỗi đặc trưng âm thanh của một đoạn âm thanh và cách thức tìm kiếm chuỗi đặc trưng phù hợp với nó trong một cơ sở dữ liệu lớn. Qua đó chúng ta...

    pdf42 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2703 | Lượt tải: 3

  • Luận văn Cách tiếp cận dựa trên ngữ liệu cho kiểm lỗi chính tả tiếng ViệtLuận văn Cách tiếp cận dựa trên ngữ liệu cho kiểm lỗi chính tả tiếng Việt

    Do mục tiêu chính của đề tài là tính thực tế, mô hình được áp dụng ở đây không nên đòi hỏi nhiều thời gian và không gian xử lý. So với các đề tài kiểm lỗi chính tả tiếng Việt đã được công bố, mô hình n-gram của VCL Spell không quá phức tạp nhưng vẫn đảm bảo độ chính xác chấp nhận được.

    pdf116 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2441 | Lượt tải: 1

  • Luận văn Các kỹ thuật gỡ lỗi trong việc phát triển hệ thống nhúng với ngôn ngữ CLuận văn Các kỹ thuật gỡ lỗi trong việc phát triển hệ thống nhúng với ngôn ngữ C

    Việc gỡ lỗi giúp nâng cao chất lượng phần mềm, nhưng các phương pháp, các công cụ chỉ là những thiết bị bổ trợ, cách hiệu quả nhất để giảm thiểu số lỗi trong phần mềm là chính bản thân các kỹ sư lập trình cần viết chương trình sáng sủa, rõ ràng, và kiểm soát các lỗi của họ. Điều này sẽ giúp cho công việc gỡ lỗi đỡ vất vả hơn rất nhiều.

    pdf65 trang | Chia sẻ: lylyngoc | Ngày: 26/10/2013 | Lượt xem: 2865 | Lượt tải: 0