Giao trinh TTNT - Chuong 4 ppt

... NhỏHơn(y,x) 113 3. a 4. b Giả sử ¬d đúng, ta có thêm các biểu thúc đúng sau: 5. ¬d 6. ¬b ∨ c (Res 1A, 3) 7. ¬a ∨ c (Res 1B, 4) 8. ¬c ∨ d (Res 2A, 4) 9. ¬b ∨ ¬c (Res 2C, 5) 10. c (Res 3, 7A) 11. ¬c (Res 4, 9A) Mâu ... Tính luỹ đẳng - của phép ∧: p ∧ p ≡ p - của phép ∨: p ∨ p ≡ p i) Luật Demorgan ¬(p ∨ q) ≡ ¬p ∧ ¬q ¬(p ∧ q) ≡ ¬p ∨ ¬q j) Một số luật khác cho phép kéo theo - (p...

Ngày tải lên: 10/08/2014, 14:20

... tiên của Max sẽ là: X 4. 2. Thủ tục Alpha – Beta Các giá trị ước lượng phát sinh tương ứng với các đỉnh Và, Hoặc được gọi là các α-giá trị và β-giá trị tương ứng. Thủ tục alpha-beta bắt đầu từ nút ... tại mỗi thời điểm các nút lá của nó thuộc một trong ba dạng sau: - Các đỉnh kết thúc. - Các đỉnh lá không phải là đỉnh kết thúc. - Các đỉnh chưa được xử lý. Trong cây tìm kiếm, ở mỗ...

Ngày tải lên: 10/08/2014, 14:20

... 4: Công nghệ WAN và bảo mật Page | 9 Hình 6-1 2: Giao diện nhận diện EUI- 64 138 Hình 6-1 3: Sự chuyển đổi IPv4 đến IPv6 140 Hình 6-1 4: Cisco IOS Dual Stack 141 Hình 6-1 5: Cấu hình Dual-Stack ... từ 132 .43 .48 .0 đến 132 .43 .63.255 132 .43 .63.255 – 132 .43 .48 .0 = wildcard mask 0.0.15.255 Access-list 1 permit 132 .43 .48 .0 0.0.15.255 Ví dụ 2: Match một dãy từ...

Ngày tải lên: 28/06/2014, 05:20

... R1 N17 G03 Z-72.5 R3 N18 Z-76.5 R2 N19 G02 X18 Z-77.5 R1 N20 G01 X12 Z-82.5 N21 G02 X20 Z-86.5 R4 N22 G01 X 24 Z-88.5 N23 G03 X32 Z-92.5 R4 N 24 G01 Z-95 N25 G00 X45 Z50 N26 ... G03 X33 Z-21 R2 N7 G01 Z-36 N8 G03 X31 Z-37 R1 N9 G02 Z-39 R1 N10 G03 Z -4 1 R1 N11 G02 Z -4 3 R1 N12 G03 X33 Z -4 4 R1 N13 X18 Z-51.5 R7.5 Phọi P Z X Hỗnh 5-3 7: Hỗnh daùng ch...

Ngày tải lên: 24/10/2012, 11:33

... cách sau: 1. - Click menu Modify => Chọn lệnh 2. - Click vào biểu tượng trên Draw Toolbar 3. - Đánh lệnh Command : Gõ lệnh ↵ Các lệnh sau đây chỉ trình bày cách đánh lệnh. 1- Lệnh ERASE ... first break point: Specify second break point:@ ↵ 1 5- Lệnh CHAMFER : Vát mép cát cạnh Command: CHA ↵ ( TRIM mode) Current chamfer Dist1 = 40 .0000, Dis2=20.0000 Select first line or...

Ngày tải lên: 13/11/2012, 16:37

... Chọn kiểu đờng xu hớng trong Type : - Linear - đờng thẳng; - Logarithmic logarit; - Polynomial - đa thức; - Power hàm mũ; - Exponential hàm e mũ; - Moving average dạng bình quân động ... labels . Bài giảng EXCEL - GV Th.S Nguyễn Biên Cơng - Trang 65 - Bài tập 4. 1 : Sử dụng dữ liệu ở Bài tập 1 .4, vẽ đồ thị tơng quan dung trọng...

Ngày tải lên: 19/11/2012, 08:54

... = 12 1 RR R + (U ramax -U ramin )=β(U ramax -U ramin ) ( 4- 6 ) 2- Với triggerSmith không đảo Với triggerSmith không đảo (Hình 4- 6 a)cóđặc tính truyền đạt(Hình 4- 6 b)dạng ngượcvới đặc tính hình 4- 5 b. Thực chất ... lập U C ( ∞ )= -U max xuát phát từ phương trình: [ ] RC t CCCC eUUUtU − −∞−∞= )0()()()( ( 4- 1 6) từ đó ta có: 21 1 1ln()1ln( RR R RCRCt hp + +=+= β ( 4- 1 7) S...

Ngày tải lên: 25/10/2013, 19:02

... Từ ( 4- 1 1) ta có = cos -1 (a z ) ( 4- 1 2) Từ ( 4- 9 ) ta có = cos -1 (a x / sin) ( 4- 1 3) Từ ( 4- 5 ) và ( 4- 1 2) ta có = cos -1 (-n z / sin) ( 4- 1 4) Trong đó ta đà dùng ký hiệu cos -1 thay ... C 2 34 C 5 C 6 - S 2 34 S 6 -C 2 34 C 5 S 6 - S 2 34 C 6 C 2 34 S 5 C 2 34 a 4 +C 23 a 3 +C 2 a 2 S 2 34 C 5 C 6 + C 2 34 S 6 -S 2 34...

Ngày tải lên: 28/10/2013, 08:15

... vát góc khác nhau qua bảng thuộc tính hình 3 .4 dới đây: Phơng án 1: chọn (Angle-distance) vát góc cạnh thứ nhất với khoảng cách là D1tính từ điểm giao nhau gần nhất của hai cạnh, cạnh thứ 2 sẽ ... nhanh. a) Trớc khi Extend b) Sau khi Extend Hình 3.13 Hình 3. 14 Bài giảng thiết kế kỹ thuật Nguyễn Hồng Thái 31 Hình 3.3 Hình 3 .4 Cạnh thứ 2 Hình 3.5 Lệnh có tác dụng vê tròn các đối tợng...

Ngày tải lên: 14/12/2013, 21:15

... đổi tên Base- Extrude thành một tên có ý nghĩa đầy đủ, ta tiến hành nh sau: - Kích chuột vào FeatureManager design tree rồi sau đó kích chuột vào Base- Extrude hoặc kích vào Base-Extrude rồi ... (Base-Extrude nằm trong cửa sổ FeatureManager design tree. - Nhập tên mới nh là Box rồi kích Enter (Lu ý tên không đợc có ký tự @). Tơng tự ta cũng có thể đổi tên Boss-Extrude1 thành Knob; Cu...

Ngày tải lên: 14/12/2013, 21:15