Thư viện tập trung - Thư viện điện tử

Trang chủ
Luận án, luận văn
System-on-chip protocol compliance verification using interval property checking: Thesis/ Nguyen Duc Minh

Luận án, luận văn

System-on-chip protocol compliance verification using interval property checking: Thesis/ Nguyen Duc Minh

Tác giả : Nguyen Duc Minh

Năm xuất bản : 2009

Nơi xuất bản : Kaiserslautern

Mô tả vật lý : 130p.: ill.; 21cm resume

Số phân loại : 621.382

Chủ đề : 1. $2Bộ TK TVQGĐiều khiển tự động. 2. $2Bộ TK TVQGHệ thống truyền thông. 3. $2Bộ TK TVQGMạch vi điện tử. 4. $2Bộ TK TVQGThẩm định.

Danh mục
Công nghệ (Khoa học ứng dụng)
Công nghệ và hoạt động liên hệ
Vật lý ứng dụng

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Xây dựng công thức toán của thẩm định thuộc tính có tên là thẩm định thuộc tính khoảng (IPC) để loại trừ các mẫu lỗi sai, tăng năng suất qui trình IPC. Đưa ra một số bộ các thuộc tính có thể tái sử dụng để thẩm định sự tương hợp giao thức truyền thông trong các hệ thống thông tin tự động trên chíp

Chia sẻ

Hiển thị MARC

Thông tin dữ liệu nguồn

Thư viện	Ký hiệu xếp giá	Dữ liệu nguồn
Thư viện Quốc gia Việt Nam	LA04.14075	https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-385040.html

Nhan đề :

Xếp giá :

Bạn đọc :

Ngày mượn :

Hạn trả :

Tài liệu cùng tác giả

Sách, tuyển tập

Khúc tráng ca Thành cổ: Dấu tích còn lại của một thời/ B.s.: Nguyễn Văn Bằng, Nghiêm Hùng, Trần Diệp.

Tác giả : B.s.: Nguyễn Văn Bằng, Nghiêm Hùng, Trần Diệp.

Nhà xuất bản : Văn hoá Thông tin

Năm xuất bản : 2008

Sách, tuyển tập

Trần Hưng Đạo/ Nguyễn Khắc Thuần, Nguyễn Hoàng Ngọc Dũng ; Tranh: Võ Phan Ninh, Nguyễn Đức Minh. T.1, Thời niên thiếu

Tác giả : Nguyễn Khắc Thuần, Nguyễn Hoàng Ngọc Dũng ; Tranh: Võ Phan Ninh, Nguyễn Đức Minh.

Nhà xuất bản : Giáo dục

Năm xuất bản : 2008

Sách, tuyển tập

Giáo dục trẻ khiếm thị/ Nguyễn Đức Minh

Tác giả : Nguyễn Đức Minh

Nhà xuất bản : Giáo dục

Năm xuất bản : 2008

Sách, tuyển tập

Sách chữ nổi cho học sinh mù lớp 1 nhu cầu và giải pháp/ Nguyễn Đức Minh

Tác giả : Nguyễn Đức Minh

Sách, tuyển tập

Con gà mái đỏ bé nhỏ: = The little red hen/ Lời: Minh Anh ; Tranh: Nguyễn Đức Minh, Trần Phạm Xuân Huyên

Tác giả : Lời: Minh Anh ; Tranh: Nguyễn Đức Minh, Trần Phạm Xuân Huyên

Nhà xuất bản : Giáo dục

Năm xuất bản : 2008

Tài liệu cùng danh mục chủ đề

Luận án, luận văn

Xây dựng mô hình ứng dụng hệ thống máy tính và viễn thông để đánh giá trình độ công nghệ cho các doanh nghiệp và các ngành kinh tế: LATS Kỹ thuật: 62.52.70.01/ Nguyễn Hoài Giang

Tác giả : Nguyễn Hoài Giang

Năm xuất bản : 2008

Sách, tuyển tập

Giáo trình lý thuyết mạch điện: Sách dùng cho các trường đào tạo hệ trung học chuyên nghiệp/ Lê Văn Bảng

Tác giả : Lê Văn Bảng

Nhà xuất bản : Giáo dục

Năm xuất bản : 2009

Sách, tuyển tập

Giáo trình điện tử công suất/ Nguyễn Văn Đường

Tác giả : Nguyễn Văn Đường

Nhà xuất bản : Nông nghiệp

Năm xuất bản : 2008

Sách, tuyển tập

Giáo trình cung cấp điện theo tiêu chuẩn IEC: Nông thôn, miền núi. Nhà ở, khách sạn../ Trần Quang Khánh

Tác giả : Trần Quang Khánh

Nhà xuất bản : Khoa học và Kỹ thuật

Năm xuất bản : 2009

Sách, tuyển tập

Báo cáo đề tài: Khảo sát đánh giá thực trạng công nghệ và đề xuất các giải pháp kỹ thuật công nghệ phát triển nhóm các sản phẩm pin và ăcquy của ngành công nghiệp hoá chất Việt Nam: Thực hiện Hợp đồng số: 194.08 - RD/HĐ - KHCN/ Chử Văn Nguyên

Tác giả : Chử Văn Nguyên

Nhà xuất bản : Tổng công ty Hoá chất Việt Nam

Năm xuất bản : 2009

Ấn phẩm định kỳ
System-on-chip protocol compliance verification using interval property checking: Thesis/ Nguyen Duc Minh

Ấn phẩm định kỳ
System-on-chip protocol compliance verification using interval property checking: Thesis/ Nguyen Duc Minh

Ldr		01573aam 22003138a 4500
001		CLN251312489
005	__	20100617100608.0
008	__	090401s2009 \|\|\|\|\|\|engsd
041	0_	$aeng
082	14	$214$a621.382$bS610T
100	1_	$aNguyen Duc Minh
242	00	$aThẩm định trường hợp giao thức truyền trong các hệ thống trên chép sử dụng phương pháp thẩm định thuộc tính khoảng
245	10	$aSystem-on-chip protocol compliance verification using interval property checking:$bThesis/$cNguyen Duc Minh
260	__	$aKaiserslautern,$c2009
300	__	$a130p.:$bill.;$c21cm$eresume
502	__	$aUniversität Kaiserslautern ; Defence: 16/1/2009
504	__	$aApp.: p. 123-129
520	__	$aXây dựng công thức toán của thẩm định thuộc tính có tên là thẩm định thuộc tính khoảng (IPC) để loại trừ các mẫu lỗi sai, tăng năng suất qui trình IPC. Đưa ra một số bộ các thuộc tính có thể tái sử dụng để thẩm định sự tương hợp giao thức truyền thông trong các hệ thống thông tin tự động trên chíp
546	__	$aText in English
650	_7	$2Bộ TK TVQG$aThẩm định
650	_7	$2Bộ TK TVQG$aMạch vi điện tử
650	_7	$2Bộ TK TVQG$aĐiều khiển tự động
650	_7	$2Bộ TK TVQG$aHệ thống truyền thông
852		$aNLV$bNLV$jLA04.14075
900		1
925		G
926		0
927		LA