Browsing by Subject Kiểm định

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 11 of 11
  • 000000272312.pdf.jpg
  • Thesis


  • Authors : Nguyễn Thái Bình;  Advisor : Nguyễn Đức Minh (2013)

  • Tổng quan về kiểm định hình thức phần cứng; Kiểm chứng hình thức; Phát triển chương trình tạo ROBĐ mạch LOGIC biểu diễn bằng FCK.

  • 000000296650-tt.pdf.jpg
  • Thesis


  • Authors : Nguyễn Công Trung;  Advisor : Nguyễn Quốc Cường (2015)

  • Giới thiệu chung về cân băng tải, các yêu cầu kỹ thuật, yêu cầu đo lường cân băng tải. Phân tích thiết kế hệ thống kiểm định cân băng tải. Phân tích thiết kế hệ thống phần cứng và phần mềm.

  • 000000273432-tt.pdf.jpg
  • Thesis


  • Authors : Nguyễn Đức Cường;  Advisor : Trần Đức Khánh (2014)

  • Tổng quan về hoare logic, separation logic và kiểm định phần mềm, kiểm chứng mô hình, vai trò của separation logic trong tự động hóa kiểm định phần mềm. Nêu cơ sở lý thuyết của separation logic và giải pháp cho ứng dụng kiểm định phần mềm tự động. Cài đặt thử công cụ kiểm định tự động ứng dụng separation logic.

  • 310096-TT.pdf.jpg
  • Thesis


  • Authors : Lưu Trọng Nghĩa;  Advisor : Hoàng Thăng Bình (2016)

  • Tổng quan khái quát về ngành công nghiệp ô tô Việt Nam, giới thiệu hệ thống kiểm định trong và ngoài nước, quy định về bảo dưỡng sửa chữa ô tô của pháp luật Việt Nam. Cơ sở đề xuất tiêu chuẩn an toàn và bảo vệ môi trường của phương tiện cơ giới đường bộ, quy trình bảo dưỡng, sửa chữa ô tô, giới thiệu tiêu chuẩn bảo dưỡng một số hãng xe tại Việt Nam. Đề xuất tiêu chuẩn bảo dưỡng&#x...

  • 000000253236-TT.pdf.jpg
  • Thesis


  • Authors : Nguyễn, Quang Huy;  Advisor : Nguyễn, Sỹ Mão (2010)

  • Giới thiệu chung về các vấn đề của đề tài. Tổng quan về vai trò vị trí công tác kiểm định và đánh giá các chỉ tiêu chất lượng của lò hơi trong nhà máy điện. Tác động đối với chương trình mục tiêu quốc gia về phát triển năng lượng và tiết kiệm năng lượng. Mục tiêu và nội dung công tác kiểm định và đánh giá các chỉ tiêu kinh tế kỹ thuật. Áp dụng quy trình kiểm định cho một dự&#...

  • 000000296661.pdf.jpg
  • Thesis


  • Authors : Nguyễn Vũ Thu Hương;  Advisor : Huỳnh Thị Phương Liên; Nguyễn Thị Xuân Sâm (2015)

  • Nêu đặc điểm virút viêm não Nhật Bản (VNNB), vắc xin VNNB, quy trình sản xuất vắcxin VNNB bất hoạt, sản xuất trên tế bào vero tại Vabiotech, căn cứ và cở xây dựng tiêu chuẩn cơ sở trong kiểm định chất lượng vắcxin Jecevax. Nêu các phương pháp nghiên cứu. Kết quả phân tích thành phần hóa học trong kiểm định vắcxin Jecevax, tính an toàn và công hiệu trong kiểm định vắcxin Jecevax, so sánh kết quả ...