Tài liệu miễn phí Tự động hoá
Download Tài liệu học tập miễn phí Tự động hoá
Lecture note Theory of automata - Lecture 15
After studying this chapter you will be able to understand: Examples of Kleene’s theorem part III (method 3), NFA, examples, avoiding loop using NFA, example, converting FA to NFA, examples, applying an NFA on an example of maze.
5/4/2020 5:25:29 PM +00:00
Lecture note Theory of automata - Lecture 14
This chapter presents the following content: Examples of Kleene’s theorem part III (method 1) continued, Kleene’s theorem part III (method 2: Concatenation of FAs), examples of Kleene’s theorem part III (method 2: concatenation FAs) continued, Kleene’s theorem part III (method 3: closure of an FA), examples of Kleene’s theorem part III (method 3: Closure of an FA) continued.
5/4/2020 5:25:23 PM +00:00
Lecture note Theory of automata - Lecture 13
The main contents of this chapter include all of the following: Examples of Kleene’s theorem part III (method 1) continued, Kleene’s theorem part III (method 2: Concatenation of FAs), example of Kleene’s theorem part III (method 2: Concatenation of FAs).
5/4/2020 5:25:17 PM +00:00
Lecture note Theory of automata - Lecture 12
In this chapter, you will learn to: Examples of writing REs to the corresponding TGs, RE corresponding to TG accepting EVEN-EVEN language, Kleene’s theorem part III (method 1:union of FAs), examples of FAs corresponding to simple REs, example of Kleene’s theorem part III (method 1) continued.
5/4/2020 5:25:11 PM +00:00
Lecture note Theory of automata - Lecture 11
Lecture Theory of automata - Lecture 8 presents the following content: Proof of Kleene’s theorem part II (method with different steps), particular examples of TGs to determine corresponding Res.
5/4/2020 5:25:05 PM +00:00
Lecture note Theory of automata - Lecture 10
This chapter presents the following content: Definition of GTG, examples of GTG accepting the languages of strings:containing aa or bb, beginning with and ending in same letters, beginning with and ending in different letters, containing aaa or bbb, nondeterminism, Kleene’s theorem (part I, part II, part III), proof of Kleene’s theorem part I.
5/4/2020 5:24:59 PM +00:00
Lecture note Theory of automata - Lecture 9
In this chapter, you will learn to: TGs accepting the languages: Containing aaa or bbb, beginning and ending in different letters, beginning and ending in same letters, EVEN-EVEN, a’s occur in even clumps and ends in three or more b’s, example showing different paths traced by one string, definition of GTG.
5/4/2020 5:24:53 PM +00:00
Lecture note Theory of automata - Lecture 8
Lecture Theory of automata - Lecture 8 presents the following content: TG definition, Examples: accepting all strings, accepting none, starting with b, not ending in b, containing aa, containing aa or bb.
5/4/2020 5:24:47 PM +00:00
Lecture note Theory of automata - Lecture 7
Lecture Theory of automata - Lecture 07 presents the following content: FA of EVEN EVEN, FA corresponding to finite languages(using both methods), transition graphs, example EVEN-EVEN, FA corresponding to finite languages, defining languages.
5/4/2020 5:24:41 PM +00:00
Lecture note Theory of automata - Lecture 6
In this chapter, the following content will be discussed: Language of strings beginning with and ending in different letters, Accepting all strings, accepting non-empty strings, accepting no string, containing double a’s, having double 0’s or double 1’s, containing triple a’s or triple b’s, EVEN-EVEN.
5/4/2020 5:24:35 PM +00:00
Lecture note Theory of automata - Lecture 5
This chapter includes contents: Different notations of transition diagrams, languages of strings of even length, Odd length, starting with b, ending in a (with different FAs), beginning with a, not beginning with b, beginning with and ending in same letters
5/4/2020 5:24:29 PM +00:00
Lecture note Theory of automata - Lecture 4
This chapter includes contents: Regular expression of EVEN-EVEN language, Difference between a* + b* and (a+b)*, Equivalent regular expressions; sum, product and closure of regular expressions; regular languages, finite languages are regular, introduction to finite automaton, definition of FA, transition table, transition diagram.
5/4/2020 5:24:23 PM +00:00
Lecture note Theory of automata - Lecture 3
This chapter includes contents: RE, Recursive definition of RE, defining languages by RE, { x}*, { x}+, {a+b}*, language of strings having exactly one aa, Language of strings of even length, language of strings of odd length, RE defines unique language (as Remark), language of strings having at least one a, language of strings havgin at least one a and one b, Language of strings starting with aa and ending in bb, Language of strings starting with and ending in different letters.
5/4/2020 5:24:17 PM +00:00
Lecture note Theory of automata - Lecture 2
This chapter includes contents: Kleene Star Closure, Plus operation, recursive definition of languages, INTEGER, EVEN, factorial, PALINDROME, {anbn}, languages of strings (i) ending in a, (ii) beginning and ending in same letters, (iii) containing aa or bb (iv)containing exactly aa.
5/4/2020 5:24:11 PM +00:00
Lecture note Theory of automata - Lecture 1
In this chapter, students will be able to understand: Introduction to the course title, Formal and Informal languages, Alphabets, Strings, Null string, Words, Valid and In-valid alphabets, length of a string, Reverse of a string, Defining languages, Descriptive definition of languages, EQUAL, EVEN-EVEN, INTEGER, EVEN, factorial, FACTORIAL, DOUBLEFACTORIAL, SQUARE, DOUBLESQUARE, PRIME, PALINDROME.
5/4/2020 5:24:05 PM +00:00
Nghiên cứu, tính toán thiết kế đầu kéo khí nén sử dụng vận chuyển vật tư, thiết bị trong mỏ than hầm lò
Bài viết trình bày kết quả nghiên cứu, tính toán thiết kế thiết bị này nhằm phục vụ công tác chế tạo sản phẩm đảm bảo an toàn sử dụng thiết bị trong hầm lò.
5/4/2020 4:50:16 PM +00:00
Nghiên cứu ứng dụng, khai thác bộ đếm tốc độ cao PLC FX3U - Mitshubishi trong đào tạo lập trình PLC
Trong bài viết này, nhóm tác giả nghiên cứu ứng dụng bộ đếm tốc độ cao, khai thác các lệnh xử lý liên quan đến bộ đếm tốc độ cao và xây dựng 02 bài thực hành mẫu về bộ đếm tốc độ cao dành cho đối tượng là sinh viên cao đẳng nghề “Công nghệ kỹ thuật điều khiển và tự động hóa”.
5/4/2020 4:48:10 PM +00:00
Bài thuyết trình Tìm hiểu cảm biến áp suất đường ống nạp
Bài thuyết trình Tìm hiểu cảm biến áp suất đường ống nạp trình bày giới thiệu chung; chức năng và nhiệm vụ; cấu tạo cảm biến áp suất đường ống nạp; nguyên lí hoạt động của cảm biến áp suất đường ống nạp; thông số kĩ thuật cảm biến áp suất đường ống nạp; thông số kĩ thuật cảm biến áp suất đường ống nạp.
5/4/2020 4:38:27 PM +00:00
Bài thuyết trình Tìm hiểu cảm biến khí nạp kiểu cánh trượt
Bài thuyết trình Tìm hiểu cảm biến khí nạp kiểu cánh trượt trình bày chức năng và nhiệm vụ; các loại cảm biến lưu lượng khí nạp; cấu tạo cảm biến khí nạp kiểu cánh trượt; nguyên lý hoạt động của cảm biến khí nạp kiểu cánh trượt; sơ đồ mạch điện; vị trí lắp đặt; các triệu chứng hư hỏng thường gặp.
5/4/2020 4:38:21 PM +00:00
Bài thuyết trình Tìm hiểu cảm biến vị trí trục cam
Bài thuyết trình Tìm hiểu cảm biến vị trí trục cam trình bày chức năng và nhiệm vụ; cấu tạo; nguyên lý hoạt động; phân loại dạng xung sinh ra của cảm biến trục cam; thông số kĩ thuật; vị trí của cảm biến trục cam.
5/4/2020 4:38:15 PM +00:00
Bài thuyết trình Cấu tạo nguyên lý hoạt động của cảm biến khoảng cách và cảm biến lùi trên ô tô
Bài thuyết trình Cấu tạo nguyên lý hoạt động của cảm biến khoảng cách và cảm biến lùi trên ô tô với các nội dung: tổng quan về cảm biến; các loại cảm biến; công dụng của cảm biến lùi cho xe ô tô; nguyên lý hoạt động của thiết bị cảm biến lùi cho xe ô tô; thông số kỹ thuật của bộ thiết bị cảm biến lùi cho xe ô tô.
5/4/2020 4:38:09 PM +00:00
Tìm hiểu CCS
Nội dung của tài liệu giới thiệu tài liệu về hệ thống điều khiển xe chạy tự động CCS; cấu tạo của hệ thống điều khiển xe chạy tự động CCS; hệ thống điều khiển xe chạy tự động CCS điều khiển bằng ECU; loại ECU điều khiển và cơ cấu chấp hành hệ thống CCS...
5/4/2020 4:37:50 PM +00:00
Hệ thống thu nhận tín hiệu hồng ngoại đa hướng dùng cho hệ đa robot
Nghiên cứu này nhằm thực hiện hệ thống thu nhận đa hướng cho hệ đa robot bằng cách sử dụng bộ thu tín hiệu hồng ngoại đơn hướng. Truyền thông hồng ngoại là một giải pháp phổ biến trong lĩnh vực đa robot vì có những ưu điểm như giá thành rẻ, dễ sử dụng và triển khai nhanh.
5/4/2020 3:43:53 PM +00:00
Tăng hiệu quả phát hiện dị thường trên ảnh UAV ứng dụng trong công tác tìm kiếm cứu nạn
Bài viết đề xuất một phương pháp tăng hiệu quả phát hiện mục tiêu của thuật toán RX khi kết hợp với các phương pháp trích rút đặc trưng SIFT và SURF, kết quả thử nghiệm trên bộ dữ liệu mẫu cho kết quả khác biệt rõ rệt, nhất là các trường hợp ảnh bị can nhiễu.
5/4/2020 1:44:17 PM +00:00
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 2(61)/2018
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 2(61)/2018 trình bày các nội dung chính sau: Đề xuất phương pháp phát hiện rau bị sâu bệnh bằng hình ảnh dựa trên các dấu hiệu trên bề mặt lá, tối ưu cấu trúc đa tương quan cho quá trình bám tín hiệu không nhầm lẫn với các tín hiệu định vị GNSS mới, ứng dụng giải thuật di truyền thiết kế bộ điều khiển trượt để điều khiển giàn cần trục cho điện phân đồng,... Mời các bạn cùng tham khảo để nắm nội dung chi tiết của tạp chí.
5/4/2020 10:41:20 AM +00:00
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 4(63)/2018
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 4(63)/2018 trình bày các nội dung chính sau: Ứng dụng xác xuất thống kê trong hỗ trợ phân loại bệnh ung thư máu, nghiên cứu và phát triển mô hình vật lý của pin mặt trời, phương pháp DEC-SVM phân lớp dữ liệu mất cân bằng, thiết kế bộ điều khiển thích nghi trượt bền vững sử dụng mạng nơron cho robot công nghiệp,... Mời các bạn cùng tham khảo để nắm nội dung chi tiết của tạp chí.
5/4/2020 10:41:13 AM +00:00
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 3(62)/2018
Tạp chí Nghiên cứu Khoa học Đại học Sao Đỏ: Số 3(62)/2018 trình bày các nội dung chính sau: Thiết kế bộ điều khiển mờ kết hợp với hai bộ điều khiển PID để điều khiển giàn cần trục kiểu con lắc đôi, thiết kế bộ điều khiển thích nghi trượt bền vững bám theo quỹ đạo trên cơ sở mạng nơron cho hệ thống tay máy robot,... Mời các bạn cùng tham khảo để nắm nội dung chi tiết của tạp chí.
5/4/2020 10:41:06 AM +00:00
Thiết kế bộ điều khiển thích nghi trượt bền vững sử dụng mạng nơron cho robot công nghiệp
Bài viết này đưa ra bộ điều khiển bền vững thích nghi mạng nơron cho robot công nghiệp để cải thiện độ chính xác cao của điều khiển bám. Để giả quyết các kiến thức chưa biết của hệ thống robot, bộ điều khiển ARNNs được sử dụng để xấp xỉ động lực học chưa biết mà không yêu cầu kiến thức trước đó.
5/4/2020 10:39:43 AM +00:00
Nghiên cứu, thí nghiệm mô hình thiết bị triệt tiêu dao động gây ra bởi dẫn xuất của dòng xoáy đối với đường ống biển
Bài viết đưa ra ba loại mô hình thiết bị nhằm triệt tiêu dao động gây ra bởi dẫn xuất của dòng xoáy (vortex-induced vibration: VIV) đó là: Mô hình các sợi gây nhiễu loạn dòng chảy, một đường xoắn ốc và hai đường xoắn ốc đảo ngược.
5/4/2020 10:39:25 AM +00:00
An optimization of multiple gates delay for unambiguous tracking for new gnss signals
Multipath is one of the main error sources in Global Navigation Satellite Systems (GNSS) such as Global Positioning System (GPS), Russian Global Navigation Satellite System (GLONASS) and European Galileo. In this paper, a novel method of multipath mitigation is proposed. It is based on using six correlators as multiple gate delay structure.
5/4/2020 10:38:02 AM +00:00