- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Báo cáo khoa học: công nghệ GIS
Khoa học ngày nay ngày càng phát triển kéo theo đó nhu cầu tìm hiểu về khoa học, về công nghệ và về thế giới ngày càng tăng cao. Việc tìm hiểu về thế giới xung quanh là sự tò mò cũng như là niềm mơ ước của bao nhiêu người. Người ta có nhiều cách để khám phá thế giới như đi du lịch, thể thao thám hiểm, xem ti vi, hoặc biến thế giới trở thành...
60 p dtu 15/11/2012 244 2
Từ khóa: công nghệ GIS, Báo cáo khoa học, hệ thống thông tin, xử lý thông tin, cơ sở dữ liệu, wed ứng dụng
Digital video quality vision models and metrics
Digital video quality vision models and metrics Humans are highly visual creatures. Evolution has invested a large part of our neurological resources in visual perception. We are experts at grasping visual environments in a fraction of a second and rely on visual information for many of our day-to-day activities. It is not surprising that, as our world is becoming more digital every day, digital images and digital video are becoming...
192 p dtu 07/11/2012 189 2
Từ khóa: visual information, Digital video quality, imaging systems, kỹ thuật số, hệ thống hình ảnh, chất lượng hình ảnh
Radio frequency integrated circuit design
Radio frequency integrated circuit (RFIC) design is an exciting area for research or product development. Technologies are constantly being improved, and as they are, circuits formerly implemented as discrete solutions can now be integrated onto a single chip. In addition to widely used applications such as cordless phones and cell phones, new applications continue to emerge. Examples of new products requiring RFICs are wireless local-area...
431 p dtu 01/11/2012 223 2
Từ khóa: Radio frequency integrated circuit design, wireless local-area networks, Global Positioning System, thiết kế hệ thống, tần số vô tuyến, công nghệ vô tuyến
Bài giảng Môn học Máy Công Cụ Điều Khiển Chương Trình Số
CNC viết tắt của các từ Computer Numerical Control, xuất hiện vào khoảng đầu thập niên 1970 khi máy tính bắt đầu được dùng ở các hệ điều khiển máy công cụ thay cho NC, Numerical Control (Điều Khiển Số). Trước khoảng thời gian nầy, các chương trình NC thường phải được mã hoá và xử lý trên các băng đục lỗ, hệ điều khiển phải có bộ đọc băng...
124 p dtu 29/10/2012 263 2
Từ khóa: máy công cụ, điều khiển số, khoa học công nghệ, bài giảng Môn học Máy Công Cụ Điều Khiển Chương Trình Số, cơ khí ứng dụng, hệ thống dữ liệu
Đặc tả hình thức - Đặc tả và tính đúng đắn của hàm
Phương pháp này chính là phương pháp kiểm thử chủ đạo được áp dụng trong giai đoạn lập trình và giai đoạn kiểm thử của quy trình phát triển phần mềm trên thế giới hiện nay. Các công cụ hỗ trợ phương pháp này: Công cụ phát sinh các dữ liệu thử nghiệm. Công cụ cho phép thực thi hàm và ghi nhận kết quả. Công cụ kiểm tra tính phù hợp của...
40 p dtu 11/10/2012 217 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Các cơ sở của đặc tả
Thực hiện các phép toán trên mệnh đề. Lập bảng chân trị của 1 dạng mệnh đề. Chứng minh dạng mệnh đề là hằng đúng/sai. Chứng minh 2 dạng mệnh đề tương đương logic. Chứng minh các phép suy diễn trên mệnh đề.
68 p dtu 11/10/2012 207 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
27 p dtu 11/10/2012 210 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
Đặc tả hình thức - Nội dung môn học
Nêu được ý nghĩa của 1 số thuật ngữ cơ bản dùng trong môn học Đặc tả hình thức. Trình bày được vai trò của các phương pháp hình thức trong các bước của quy trình phát triển phần mềm. Nêu lịch sử ra đời và phát triển của các ngôn ngữ hình thức, cũng như tính chất chung của chúng. Liệt kê được 1 số ngôn ngữ hình thức phổ biến hiện nay.
15 p dtu 11/10/2012 207 2
Từ khóa: Đặc tả hình thức, phát triển phần mềm, ngôn ngữ hình thức, cơ sở toán học, xây dựng hệ thống, Ngôn ngữ tự nhiên
The relational model represents the database as a collection of relations. Informally, each relation resembles a table of values or, to some extent, a "flat" file of records. For example, the database of files that was shown in Figure 01.02 is considered to be in the relational model. However, there are important differences between relations and files, as we shall soon see. When a relation is thought of as a table of values, each row in the...
46 p dtu 11/10/2012 234 2
Từ khóa: relational model, Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Đại số quan hệ
Cơ sở dữ liệu (viết tắt CSDL; tiếng Anh là database) được hiểu theo cách định nghĩa kiểu kĩ thuật thì nó là một tập hợp thông tin có cấu trúc. Tuy nhiên, thuật ngữ này thường dùng trong công nghệ thông tin và nó thường được hiểu rõ hơn dưới dạng một tập hợp liên kết các dữ liệu, thường đủ lớn để lưu trên một thiết bị lưu trữ như...
34 p dtu 11/10/2012 282 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Xử lý câu truy vấn và tối ưu hóa
Cơ sở dữ liệu (viết tắt CSDL; tiếng Anh là database) được hiểu theo cách định nghĩa kiểu kĩ thuật thì nó là một tập hợp thông tin có cấu trúc. Tuy nhiên, thuật ngữ này thường dùng trong công nghệ thông tin và nó thường được hiểu rõ hơn dưới dạng một tập hợp liên kết các dữ liệu, thường đủ lớn để lưu trên một thiết bị lưu trữ như...
26 p dtu 11/10/2012 266 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu
Cơ sở dữ liệu - Chuẩn hóa CSDL quan hệ
Chuẩn hóa giúp người thiết kế CSDL xác định được lược đồ quan hệ tốt nhất. Nó cung cấp một khung sườn để phân tích các lược đồ quan hệ dựa trên khóa và các phụ thuộc hàm giữa các khóa của chúng. Chuẩn hóa dựa trên khái niệm dạng chuẩn: 1NF, 2NF, 3NF, BCNF, 4NF, 5 NF. Chuẩn hóa đảm bảo các thuộc tính không phụ thuộc trực tiếp vào khóa...
44 p dtu 11/10/2012 277 2
Từ khóa: Cơ sở dữ liệu, hệ quản trị cơ sở dữ liệu, cấu trúc thông tin, kỹ thuật dữ liệu, an toàn dữ liệu, liên kết dữ liệu