• Luận văn Xây dựng trình biên dịch cho ngôn ngữ WaveLuận văn Xây dựng trình biên dịch cho ngôn ngữ Wave

    Trong phần này chúng tôi trình bày vềcú pháp và ngữnghĩa của ngôn ngữ Wave. Đây là một ngôn ngữ đặc biệt cho phép tạo và xửlý thông tin trong không gian mạng theo hướng. Chương trình viết bằng ngôn ngữnày có thể được coi nhưnhững thành phần linh hoạt, có khảnăng di động và kết hợp với các thành phần riêng lẻ, phân tán khác. Trong quá trình “...

    pdf93 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 1885 | Lượt tải: 1

  • Luận văn Xây dựng hệ thống giải bài toán SMT hiệu năng cao – Phần máy trạmLuận văn Xây dựng hệ thống giải bài toán SMT hiệu năng cao – Phần máy trạm

    Vấn đề giải quyết các bài toán Satisfiability Modulo Theories (SMT)hiện nay đang được nghiên cứu và phát triển ởnhiều nơi trên thếgiới. Cho đến ngày nay, nhiều trường đại học, tổ chức đã nghiên cứu và đưa ra những bộ giải giải quyết bài toán SMT (hay còn gọi là SMT solver). Ví dụnhưZ3 của Mcrosoft, yices của SRI, CVC3 của một sốtrường đại h...

    pdf47 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2453 | Lượt tải: 1

  • Lộ trình phát triển từ GSM lên 3GLộ trình phát triển từ GSM lên 3G

    Vào đầu thập niên 1980, tại Châu Âu người ta phát triển một mạng điện thoại di động chỉ sử dụng trong một vài khu vực. Sau đó vào năm 1982 nó được chuẩn hóa bởi CEPT (European Conference of Postal and Telecommunications Administrations) và tạo ra Groupe Spéccial Mobile (GSM) với mục đích sử dụng chung cho toàn Châu Âu. Mạng điện thoại di động s...

    pdf92 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2439 | Lượt tải: 1

  • Đối sánh tự động lược đồ XMLĐối sánh tự động lược đồ XML

    Một vấn đề rất quan trọng trong các hệ thống xử lý thông tin là trao đổi và sử dụng lại dữliệu giữa các hệthống có dữliệu không đồng nhất. Tính không đồng nhất của dữliệu là do các tổchức hoặc ứng dụng thường tạo ra dữliệu cho chính mình dựa trên các yêu cầu riêng biệt. Các yêu cầu này hầu hết thường được đặc tảtrong các mô hình dữliệu trừu...

    pdf114 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2074 | Lượt tải: 2

  • Luận văn Nghiên cứu một số vấn đề về động lực học chất rắn trong xử lý va chạmLuận văn Nghiên cứu một số vấn đề về động lực học chất rắn trong xử lý va chạm

    Công nghệ thông tin đã, đang và sẽ tiếp tục trên đà phát triển mạnh mẽ của mình, sự phát triển nhanh chóng ấy đã đem lại những thành tựu đáng kể cho nhiều lĩnh vực như y tế (với các phần mềm quản lý bệnh viện, mô phỏng tim người, cơ thể người, các mô cơ ), giao thông (các phần mềm trắc nghiệm thi lý thuyết lái xe, phần mềm mô phỏng lái xe ả...

    pdf54 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2116 | Lượt tải: 4

  • Khóa luận Nghiên cứu phát triển hệthống thửng hiệm cung cấp quang cảnh đường phố Hà NộiKhóa luận Nghiên cứu phát triển hệthống thửng hiệm cung cấp quang cảnh đường phố Hà Nội

    Du lịch là nhu cầu khá phổbiến hiện nay tại nhiều quốc gia, trong đó có Việt Nam, nhưng thật khó khăn cho khách hàng trong việc lựa chọn địa điểm du lịch, nếu chỉthông qua tranh ảnh, các tờrơi, quảng cáo thì chắc chắn sẽkhông được chính xác. Còn gì tiện lợi hơn khi bạn có thể“xem” “tận mắt” những địa điểm mà bạn đang đắn đo, đểxem mình thíc...

    pdf49 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 1936 | Lượt tải: 1

  • Đề tài Điều chế dp - Qpsk, giải pháp nâng cấp mạng đường trục VNPTĐề tài Điều chế dp - Qpsk, giải pháp nâng cấp mạng đường trục VNPT

    Ngày nay, các hệ thống truyền dẫn WDM đã và đang đƣợc triển khai rộng khắp, trở thành công nghệ chủ đạo trong các mạng truyền tải đƣờng dài cũng nhƣ mạng đô thị và khu vực. Với những ƣu điểm nổi bật nhƣ tốc độ truyền tải cao và giá thành hợp lý, công nghệ WDM vẫn sẽ là một công nghệ không thể thay thế trong nhiều năm nữa. Tuy nhiên những nă...

    pdf82 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 3951 | Lượt tải: 5

  • Công nghệ nén delta ứng dụng trong cập nhật phần mềm tại ngân hàng công thương Việt NamCông nghệ nén delta ứng dụng trong cập nhật phần mềm tại ngân hàng công thương Việt Nam

    Trong các lĩnh vực của công nghệ thông tin -viễn thông hiện nay, việc truyền tải tin tức đã là một công việc xảy ra thường xuyên. Tuy nhiên, thông tin được truyền tải đi thường rất lớn, điều này gây khó khăn cho công việc truyền tải: gây tốn kém tài nguyên mạng, tiêu phí khả năng của hệ thống Để giải quyết vấn đề đó, các thuật toán nén đã đ...

    pdf84 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2292 | Lượt tải: 3

  • Cơ sở lý thuyết và phương hướng giải quyết cho thiết bị di độngCơ sở lý thuyết và phương hướng giải quyết cho thiết bị di động

    Page layout là thuật toán được ứng dụng nhiều trong các bài toán hiển thị và tương tác với người sử dụng. Ngày nay, cùng với sự phổ biến của thiết bị di động (TBDĐ) trong đời sống con người thì vấn đề này càng mang ý nghĩa thiết thực. Vấn đề đặt ra là đưa các bài toán được hiển thị trên PC trước đây chuyển sang các TBDĐ với kích cỡ màn hình hạn ...

    pdf53 trang | Chia sẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2195 | Lượt tải: 2

  • Khóa luận Chuỗi đặc trưng âm thanh và ứng dụng trong tìm kiếm nhạc sốKhóa luận 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ẻ: lvbuiluyen | Ngày: 02/12/2013 | Lượt xem: 2115 | Lượt tải: 3