Kiẻm tra 45p hinh 7

Kiẻm tra 45p hinh 7 tài liệu, giáo án, bài giảng , luận văn, luận án, đồ án, bài tập lớn về tất cả các lĩnh vực kinh tế,...

Kiểm tra cấu hình hệ thống với PC Wizard 2008PC Wizard 2008 hiển thị chi tiết thông tin cấu hình máy tính. TTO - Một hệ thống máy tính phụ thuộc rất nhiều vào cấu hình phần cứng và nhiều phần mềm cài đặt khác nhau. Chúng ta có thể kiểm tra bằng cách mở thùng máy để xem các thiết bị bên trong, có thể thông qua BIOS SETUP hoặc nhờ những tiện ích của hệ điều hành Windows . Một cách kiểm tra khác hữu hiệu hơn là dùng PC Wizard 2008.Đây là chương trình dễ sử dụng, vừa hỗ trợ kiểm tra cả phần cứng lẫn phần mềm, vừa giúp đo lường khả năng hoạt động của hệ thống . một cách trực quan, chỉ với những cú bấm chuột đơn giản. PC Wizard 2008 là phần mềm miễn phí của Laurent Kutil và Franck Delattre, dung lượng 2,63 MB, tương thích Windows. Bạn có thể tải về tại đây.Hướng dẫn sử dụngSau khi cài đặt, kích hoạt chương trình, ở bên trái cửa sổ làm việc có 5 thẻ, ứng với mỗi thẻ là biểu tượng của những thành phần mà nó có thể quản lý, báo cáo chi tiết. Các chi tiết ấy sẽ được hiển thị phía bên trái cửa sổ này. Bấm vào từng chi tiết ở phía trên phần bên trái cửa sổ thì các thông tin sẽ được hiển thị ở bên dưới. Theo đó:+ Hardware (các thiết bị phần cứng) gồm 12 biểu tượng, bấm từng biểu tượng sẽ được các thông số hiển thị ở cửa sổ bên phải bao gồm: Thông tin tổng quan về hệ thống; về Mainboard; bộ vi xử lý; đồ họa; các cổng IO; ổ đĩa; thiết bị ngoại vi…+ Configuration: 21 thông số cấu hình hệ thống như: Tình trạng bảo mật, thông tin về desktop, font hệ thống, các dịch vụ đang hoạt động, password… + System file: 12 thông tin về các loại file hệ thống như: Config.nt; Autoexec.nt; Config.dos; Các Event Log .+ Resources: các nguồn tài nguyên như các ngắt (IRQ); IO Ports; DMA; Memory Resource+ Benchmark: Đo lường các chuẩn gồm 15 thông số như CPU, Cache L1; Cache L2; Video/DirectX .Khi sử dụng Benchmark phải chờ chương trình khảo sát và tính toán, lúc ấy không nên di động con chuột hay gõ bàn phím.Là phiên bản 2008 nên PC Wizard đáp ứng được đối với các thiết bị mới ra đời trong năm 2007 như: Chipset Intel 945 GU; Intel PM/GM965, Intel P35/P31/G33/G31, VIA P4M800/CE, ATI RC610/RS690/RS700/SC710, SiS 671…Nhìn chung PC Wizard 2008 là một tiện ích khá hay giúp chúng ta nắm rõ về hệ thống máy tính đang sử dụng.TẠ XUÂN QUANTuổi trẻ GV: Tô Diệu Ly 0943153789 THCS LÊ LỢI –QUẬN HÀ ĐƠNG KIỂM TRA CHƯƠNG I MƠN: HÌNH HỌC LỚP Thời gian làm 45 phút Bài (2 điểm) Chỉ cặp góc so le trong, cặp góc a đồng vị, phía hình vẽ bên b A3 c B Bài (3 điểm) Trong hình bên, biết a // b, góc D1 = 550 a) Chứng minh c ⊥ b b) Tính số đo góc C2 Bài (2 điểm) Phát biểu định lí, ghi giả thiết kết luận định lí minh hoạ hình vẽ sau: c y’ x a O b y Bài (3 điểm) Cho hình vẽ Biết a//b, góc A= 300, góc B = 450 Tính số đo góc AOB A 30° a O 45° B b x’ BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI GIAN TUYẾN TÍNH NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 1LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặc biệt nhất tới Thầy TS Huỳnh Quyết Thắng, người đã định hướng đề tài và tận tình hướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện bản luận văn cao học này, từ những ý tưởng trong đề cương nghiên cứu, phương pháp giải quyết vấn đề cho đến những lần kiểm tra cuối cùng để hoàn tất bản luận văn. Tôi xin chân thành bày tỏ lòng biết ơn sâu sắc tới Trung tâm Đào tạo Sau đại học và các thầy cô giáo trong khoa Công nghệ thông tin, trường Đại học Bách Khoa Hà Nội đã cho tôi nhiều kiến thức quý báu về các vấn đề hiện đại của ngành công nghệ thông tin, cho tôi một môi trường tập thể, một khoảng thời gian học cao học tuy ngắn ngủi nhưng khó quên trong cuộc đời. Tôi xin bày tỏ lòng cảm ơn chân thành tới tất cả các bạn bè, các đồng nghiệp đã động viên tôi trong suốt thời gian thực hiện bản luận văn này. Cuối cùng tôi xin dành một tình cảm biết ơn sâu nặng tới Bố, Mẹ và gia đình, những người đã luôn luôn ở bên cạnh tôi trong mọi nơi, mọi lúc trong suốt quá trình làm bản luận văn cao học này cũng như trong suốt cuộc đời tôi. Hà nội, tháng 11 năm 2006 Tác giả Phạm Thị Thái Ninh 2 LỜI CAM ĐOAN Tôi xin cam đoan đây là công trình nghiên cứu của riêng tôi. Các kết quả nêu trong bản luận văn này là trung thực và chưa từng được ai công bố trong bất cứ công trình nào khác. TÁC GIẢ LUẬN VĂN PHẠM THỊ THÁI NINH 3MỤC LỤC LỜI CẢM ƠN . 1 LỜI CAM ĐOAN . 2 MỤC LỤC . 3 DANH MỤC CÁC TỪ VIẾT TẮT 6 DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ .7 LỜI MỞ ĐẦU . 8 CHƯƠNG I: TỔNG QUAN VỀ KIỂM TRA MÔ HÌNH PHẦN MỀM . 12 1.1 Lịch sử phát triển 12 1.2 Kiểm tra mô hình phần mềm . 15 1.2.1 Khái niệm kiểm tra mô hình 15 1.2.2 Kiểm tra mô hình phần mềm . 15 1.3 Phân loại hướng tiếp cận kiểm tra mô hình phần mềm 19 1.3.1 Cách tiếp cận động . 19 1.3.2 Cách tiếp cận tĩnh . 19 1.3.4 Kết hợp giữa hai cách tiếp cận tĩnh và động 19 1.4 Kiểm tra mô hình phần mềm cổ điển và hiện đại . 20 1.5 Kết luận chương 22 CHƯƠNG 2: CÁC KỸ THUẬT KIỂM TRA MÔ HÌNH PHẦN MỀM . 23 2.1 Giới thiệu . 23 2.2 Phương pháp ký hiệu biểu diễn 25 2.3 Phương pháp duyệt nhanh . 28 2.4 Phương pháp rút gọn . 30 2.4.1 Họ và tên: Lớp: . Ngày kiểm tra: 30 / 9/2008 Ngày trả bài: . BÀI KIỂM TRA MƠN HÌNH HỌC 9 Thời gian: 15 phút Điểm Lời phê của cơ giáo I/ TRẮC NGHIỆM KHÁCH QUAN Khoanh tròn vào chữ cái đứng trước phương án mà em cho là đúng. Câu 1: Cho hình vẽ bên, ta có: 1) Độ dài đoạn AB bằng A. 10 B. 3 C. 5 D. 9 2) Độ dài đoạn AH bằng A. 10 B. 3 C. 5 D. 9 Câu 2: Trong hình bên, tg α bằng A. 4 5 B. 3 5 C. 4 3 D. 3 4 Câu 3: Trong hình bên , cosB bằng A. AB AC B. AC BC C. BH AB D. AH AB Câu 4: Cho ∆ MNP vng tại M, MH ⊥ NP. Biết NH = 5cm, HP = 9 cm. Độ dài MH bằng A. 3 5 . B. 7. C. 4,5. D. 4. Câu 5: Trong tam giác ABC vng tại A có AC = 3; AB = 4. Khi đó sinB bằng A. 3 4 . B. 3 5 . C. 4 5 . D. 4 3 . Câu 6: Trong tam giác ABC vng tại A có AC = 3a; AB = 3 3a , cotgB bằng A. 3 a 3 . B. 3 3a . C. 3 . D. 3 3 . Câu 7: Trong tam giác ABC vng tại A có AC = 3; AB = 4. Khi đó tgB bằng A. 3 4 . B. 3 5 . C. 4 5 . D. 4 3 . Câu 8: Cho 0 0 35 ; 55α = β = . Khẳng định nào sau đây là sai ? A. sin sinα = β . B. sin cosα = β . C. tg cotgα = β . D. cos =sinα β . 91 H CB A α 10 8 6 H C B A Câu 9: Giá trị của biểu thức 2 0 2 0 2 0 2 0 cos 20 cos 40 cos 50 cos 70+ + + bằng A. 1. B. 2. C. 3. D. 0. Câu 10: Cho 2 cos = 3 α , khi đó sin α bằng A. 5 9 . B. 5 3 . C. 1 3 . D. 1 2 . Câu 11: Thu gọn biểu thức 2 2 2 sin cotg .sinα + α α được kết quả là A. 1. B. 2 cos α . C. 2 sin α . D. 2. II/ TRAÉC NGHIEÄM TÖÏ LUAÄN Câu 12: Cho ∆ ABC vuông tại A, đường cao AH. Biết AC = 13 cm; HC = 12 cm. a) Tính độ dài AH? b) Tính sin C; sin B ? Phòng giáo dục huyện nam sách Mã đề Toan8-045-2214-3353-0414-3 Ma trận đề kiểm tra môn toán kỳ II Thời gian lam bài 45 phút tiết 54 (hình) Chủ đề chính Các mức độ cần đánh giá Tổng Nhận biết Thông hiểu Vận dụng TNKQ TL TNKQ TL TNKQ TL 1.Định lí Ta Lét trong tam giác.5T 2 1 1 0,5 1 1,5 4 3 2. Tam giác đồng dạng.11T 2 1 2 3 3 3 7 7 TổNG 4 2 3 3,5 4 4,5 11 10 Phòng giáo dục huyện nam sách Mã đề Toan8-045-2214-3353-0414-3 đề kiểm tra môn toán kỳ II Thời gian lam bài 45 phút tiết 54 (hình) A/ Trắc nghiệm: (2đ) Bài 1(2đ) (Chọn đáp án đúng nhất rồi ghi vào bài làm của mình) 1. Tỉ số của hai đoạn thẳng AB và CD đợc kí hiệu là A. CD AB . B. AB CD . C. Không có đáp án nào. 2.Hai đoạn thẳng AB và CD gọi là tỉ lệ với hai đoạn thẳng AB và CD nếu có tỉ lệ thức : a) '' '' DC BA CD AB = b) '''' BA CD CD AB = c) '' '' BA DC CD AB = d) CD DC BA AB '' '' = 3.Độ dài x trong hình sau là(biết BC//MN) A A.4 B.3 C.3,5 4 6 D.2,5 M N 2 x B C 4.Trong hình sau(biết BAD = DAC) ta có : A) AB AC DC BD = B) AC AB DC DB = C) AC AD DC BD = D) AB AD DC EB = A B D C II. Tự luận.(8 điểm) Bài tập: Cho tam giác ABC cân tại A Có AB = AC = 5cm ,BC = 6cm. Phân giác của góc B cắt AC tại M, phân giác của góc C cắt AB tai N. a) Tính AM , MC . b) Tính MN. c) Tính tỉ số diện tích của các tam giác AMN và ABC. d) Tính diện tích tam giác BMN. Ghi chú: Học sinh không làm vào đề. Ngời coi thi không giảI thích gì thêm. Phòng giáo dục huyện nam sách Mã đề Toan8-045-2214-3353-0414-3 đáp án đề kiểm tra môn toán kỳ II Thời gian lam bài 45 phút tiết 54 (hình) A/ trắc nghiệm : Câu 1 2 3 4 đáp án A A B B điểm 0,5đ 0,5đ 0,5đ 0,5đ B/ tự luận: Câu Nội dung điểm 2 Vẽ hình A N M B H C a) BM là phân giác góc B nên: ).( 11 30 11 25 5 ).( 11 25 . 11 5 65 5 cmAMACCM cmACAM BCAB AB AC AM BC AN MC AM === == + = + == b) Ta có ., CM AM BN AN BC AB CM AM va BC AC BN AN === Theo định lí đảo của định lí Ta lét ta có MN//BC,suy ra ).( 11 30 5 6. 11 25 . cm AC BCAM MN AC AM BC MN ==== c)Ta có 2 2 . 25 121 25.10 250 ( ) 121 121 AMN ABC AMN S MN S BC S cm = = = = d)S AB BN S S ABM BMN = ( cùng đờng cao hạ từ M) . 121 30 5.5 11 25 . 11 30 . AC AM AB BN S S AC AM S S ABC BMN ABC ABM = = Hạ AH BC tại H>Trong tam giác vuôngAHC có 0,5đ 0,75đ 0,75đ 0,75đ 0,75đ 0,5đ 0,75đ 0,75đ 0,75đ 0,75đ AH 2 =AC 2 – HC 2 = 5 2 – 3 2 = 16 ⇒ AH = 4 (cm) VËy )( 121 300 10. 121 30 . 121 30 )(10 2 5.4 2 . 2 2 cmSS cm BCAH S ABCBMN ABC === === 0,5® 0,5® Kiểm tra cấu hình hệ thống với PC Wizard 2008PC Wizard 2008 hiển thị chi tiết thông tin cấu hình máy tính. TTO - Một hệ thống máy tính phụ thuộc rất nhiều vào cấu hình phần cứng và nhiều phần mềm cài đặt khác nhau. Chúng ta có thể kiểm tra bằng cách mở thùng máy để xem các thiết bị bên trong, có thể thông qua BIOS SETUP hoặc nhờ những tiện ích của hệ điều hành Windows . Một cách kiểm tra khác hữu hiệu hơn là dùng PC Wizard 2008.Đây là chương trình dễ sử dụng, vừa hỗ trợ kiểm tra cả phần cứng lẫn phần mềm, vừa giúp đo lường khả năng hoạt động của hệ thống . một cách trực quan, chỉ với những cú bấm chuột đơn giản. PC Wizard 2008 là phần mềm miễn phí của Laurent Kutil và Franck Delattre, dung lượng 2,63 MB, tương thích Windows. Bạn có thể tải về tại đây.Hướng dẫn sử dụngSau khi cài đặt, kích hoạt chương trình, ở bên trái cửa sổ làm việc có 5 thẻ, ứng với mỗi thẻ là biểu tượng của những thành phần mà nó có thể quản lý, báo cáo chi tiết. Các chi tiết ấy sẽ được hiển thị phía bên trái cửa sổ này. Bấm vào từng chi tiết ở phía trên phần bên trái cửa sổ thì các thông tin sẽ được hiển thị ở bên dưới. Theo đó:+ Hardware (các thiết bị phần cứng) gồm 12 biểu tượng, bấm từng biểu tượng sẽ được các thông số hiển thị ở cửa sổ bên phải bao gồm: Thông tin tổng quan về hệ thống; về Mainboard; bộ vi xử lý; đồ họa; các cổng IO; ổ đĩa; thiết bị ngoại vi…+ Configuration: 21 thông số cấu hình hệ thống như: Tình trạng bảo mật, thông tin về desktop, font hệ thống, các dịch vụ đang hoạt động, password… + System file: 12 thông tin về các loại file hệ thống như: Config.nt; Autoexec.nt; Config.dos; Các Event Log .+ Resources: các nguồn tài nguyên như các ngắt (IRQ); IO Ports; DMA; Memory Resource+ Benchmark: Đo lường các chuẩn gồm 15 thông số như CPU, Cache L1; Cache L2; Video/DirectX .Khi sử dụng Benchmark phải chờ chương trình khảo sát và tính toán, lúc ấy không nên di động con chuột hay gõ bàn phím.Là phiên bản 2008 nên PC Wizard đáp ứng được đối với các thiết bị mới ra đời trong năm 2007 như: Chipset Intel 945 GU; Intel PM/GM965, Intel P35/P31/G33/G31, VIA P4M800/CE, ATI RC610/RS690/RS700/SC710, SiS 671…Nhìn chung PC Wizard 2008 là một tiện ích khá hay giúp chúng ta nắm rõ về hệ thống máy tính đang sử dụng.TẠ XUÂN QUANTuổi trẻ GV: Tô Diệu Ly 0943153789 THCS LÊ LỢI –QUẬN HÀ ĐƠNG KIỂM TRA CHƯƠNG I MƠN: HÌNH HỌC LỚP Thời gian làm 45 phút Bài (2 điểm) Chỉ cặp góc so le trong, cặp góc a đồng vị, phía hình vẽ bên b A3 c B Bài (3 điểm) Trong hình bên, biết a // b, góc D1 = 550 a) Chứng minh c ⊥ b b) Tính số đo góc C2 Bài (2 điểm) Phát biểu định lí, ghi giả thiết kết luận định lí minh hoạ hình vẽ sau: c y’ x a O b y Bài (3 điểm) Cho hình vẽ Biết a//b, góc A= 300, góc B = 450 Tính số đo góc AOB A 30° a O 45° B b x’ BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ------------------------------- LUẬN VĂN THẠC SỸ KHOA HỌC KIỂM TRA MÔ HÌNH PHẦN MỀM SỬ DỤNG LÝ THUYẾT ÔTÔMAT BUCHI VÀ LOGIC THỜI GIAN TUYẾN TÍNH NGÀNH: CÔNG NGHỆ THÔNG TIN MÃ SỐ: PHẠM THỊ THÁI NINH Người hướng dẫn khoa học: TS. HUỲNH QUYẾT THẮNG HÀ NỘI 2006 1LỜI CẢM ƠN Trước hết tôi xin gửi lời cảm ơn đặc biệt nhất tới Thầy TS Huỳnh Quyết Thắng, người đã định hướng đề tài và tận tình hướng dẫn chỉ bảo tôi trong suốt quá trình thực hiện bản luận văn cao học này, từ những ý tưởng trong đề cương nghiên cứu, phương pháp giải quyết vấn đề cho đến những lần kiểm tra cuối cùng để hoàn tất bản luận văn. Tôi xin chân thành bày tỏ lòng biết ơn sâu sắc tới Trung tâm Đào tạo Sau đại học và các thầy cô giáo trong khoa Công nghệ thông tin, trường Đại học Bách Khoa Hà Nội đã cho tôi nhiều kiến thức quý báu về các vấn đề hiện đại của ngành công nghệ thông tin, cho tôi một môi trường tập thể, một khoảng thời gian học