Mau 16 Phieu bau BCH khong co so du

Mau 16 Phieu bau BCH khong co so du 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...

biên bản kiểm phiếu bầu BCH Nhóm: lần: Tổng số phiếu đợc nhận: Số phiếu hợp lệ: Số phiếu không hợp lệ Nhóm: lần: Tổng số phiếu đợc nhận: Số fiếu hợp lệ: Số phiếu không hợp lệ: Họ và tên Số lần không đợc tín nhiệm KQ TT Số lần không đợc tín nhiệm KQ Ghi chú 1 2 3 4 5 6 7 8 biên bản tổng hợp kết quả kiểm phiếu nhóm bầu BCH TT Họ và tên N1 N2 N3 N4 Nn Số lợt ghạch Kết quả Xếp thứ 1 2 3 4 5 6 Mẫu số 16: Bầu số dư (Tài liệu tham khảo) ĐẠI HỘI ĐẠI BIỂU HỘI NÔNG DÂN LẦN THỨ NHIỆM KỲ 2018 - 2023 * ., ngày tháng năm 2018 PHIẾU BẦU Ban Chấp hành Hội Nông dân khóa , nhiệm kỳ 2018 - 2023 Stt Họ tên Đơn vị công tác Đồng ý Không đồng ý ĐẠI HỌC THÁI NGUYÊN TRƯỜNG ĐẠI HỌC CNTT & TRUYỀN THÔNG NGUYỄN LÊ HOÀN LOẠI BỎ CÁC MẪU TIN NHÂN BẢN THỪA TRONG CƠ SỞ DỮ LIỆU QUAN HỆ LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH Thái Nguyên – 2012 i LỜI CAM ĐOAN Tôi xin cam đoan bản luận văn này là công trình nghiên cứu của riêng tôi, không sao chép ở bất kỳ công trình khoa học nào trước đây. Các kết quả nêu trong luận văn có nguồn gốc rõ ràng và được trích dẫn đầy đủ. Nếu có gì sai, tôi xin chịu hoàn toàn trách nhiệm. Học viên Nguyễn Lê Hoàn ii MỤC LỤC Trang MỞ ĐẦU 1 CHƯƠNG 1: CƠ SỞ LÍ THUYẾT 2 1.1. Tổng quan CSDL quan hệ 2 1.1.1. Định nghĩa quan hệ 2 1.1.2. Phụ thuộc hàm 2 1.1.3. Khóa 4 1.1.3. Các loại chuẩn 7 1.2. Hệ chuyên gia 14 1.2.1. Thể hiện dấu hiệu không chắc chắn 16 1.2.2. Thể hiện các luật không chắc chắn 19 1.2.3. Lan truyền chắc chắn đối với các luật có nhiều giả thiết 22 CHƯƠNG 2: LOẠI BỎ CÁC MẪU TIN NHÂN BẢN THỪA 25 2.1. Các dạng lệnh SQL 25 2.2. Các loại mảnh và cách phân mảnh quan hệ 32 2.2.1. Các lý do phân mảnh 40 2.2.2. Các kiểu phân mảnh. 40 2.3. Thể hiện dấu hiệu không chắc chắn cho các thuộc tính không khóa 50 2.4. Thể hiện luật không chắc chắn cho các thuộc tính có giá trị lặp 51 2.4.1. Thuật toán 52 2.4.2. Mệnh đề 53 2.5. Kết luận 54 CHƯƠNG 3: ỨNG DỤNG GIẢI MỘT SỐ BÀI TOÁN THỰC TẾ 55 3.1. Giới thiệu các quan hệ trong CSDL quản lí nhân sự 55 3.1.1. Bài toán phân mảnh tối ưu 55 iii 3.1.2. Bài toán phân mảnh ứng dụng. 55 3.2. Tư vấn 67 3.3. Kết luận và hướng phát triển 67 3.3.1. Kết luận 67 3.3.2. Hướng phát triển 67 TÀI LIỆU THAM KHẢO 68 iv DANH MỤC CÁC KÍ HIỆU CÁC KÍ HIỆU Ý NGHĨA  Phép giao  Phép hợp  Kí hiệu không thuộc  Kí hiệu thuộc + Phép cộng - Phép trừ X Tích đề các Phép nối  Phép chiếu  Tê ta > Phép so sánh lớn hơn < Phép so sánh nhỏ hơn  Phép so sánh lớn hơn hoăc bằng  Phép so sánh nhỏ hơn hoăc bằng \ Phép chia * Phép nhân v AND Phép và OR Phép hoặc  Tập rỗng  Phủ định = Phép bằng  Phép chọn  Kí hiệu với mọi  Pi vi DANH MỤC CÁC CHỮ VIẾT TẮT 1NF Fisrt Normal Form (Dạng chuẩn thứ nhất) 2NF Second Normal Form (Dạng chuẩn thứ hai) 3NF Third Normal Form (Dạng chuẩn thứ ba) 4NF Fourth Normal Form (Dạng chuẩn thứ bốn) 5NF Fifth Normal Form (Dạng chuẩn thứ năm) BCNF Boye Codd Normal Form (Dạng chuẩn BOYE CODD) CF Certainty Factor (Nhân tố chắc chắn) CSDL Cơ sở dữ liệu DDBM Distributed Database Managerment (Hệ quản trị CSDL phân tán) FD Functional Dependancy (Phụ thuộc hàm) GCS Global Conception Schema (lược đồ khái niệm toàn cục) LCS Local Conception Schema (lược đồ khái niệm địa phương) LTM Long Term Memory (bộ nhớ vĩnh cửu) MB Measure of Belief (Độ chắn chắn) MD Measure of Disbelief (Độ không chắn chắn) SQL Structured Query Langguage (Ngôn ngữ truy vấn có cấu trúc) STM Short Term Memory (bộ nhớ tạm thời) vii DANH MỤC CÁC BẢNG BIỂU Trang Bảng 1.1. HS 3 Bảng 1.2. HangHoa 5 Bảng 1.3. Khoa 6 Bảng 1.4.Luong 7 Bảng 1.5. TienLuong 8 Bảng 1.6.XeMay 8 Bảng 1.7. XeMay1 9 Bảng 1.8. XeMay2 9 Bảng 1.9. SV 10 Bảng 1.10. Xe 12 Bảng 1.11. R1 13 Bảng 1.12. R2 13 Bảng 1.13. R3 13 Bảng 1.14. Miêu tả các giá trị CF 23 Bảng 2.1. So sánh các lựa chọn nhân bản 39 Bảng 2.2. Truong 42 Bảng 2.3. Hocsinh 42 Bảng 2.4. Monhoc 42 Bảng 2.5.Diemthi 43 Bảng 2.6. Truong 1 44 Bảng 2.7. Truong2 45 Bảng 2.8. Hocsinh 1 46 Bảng 2.9. Hocsinh 2 46 Bảng 2.10.Monhoc 1 48 viii Bảng 2.11.Monhoc2 50 Bảng 3.1. Quan hệ R 56 Bảng 3.2. Mảnh ngang t1 56 Bảng 3.3. Mảnh ngang t2 56 Bảng 3.4. Mảnh ngang t3 57 Bảng 3.5. Mảnh ngang t4 57 Bảng 3.6. Mảnh ngang t5 57 Bảng 3.7. Mảnh ngang t6 57 Bảng 3.8. Mảnh ngang t7 58 Bảng 3.9. Mảnh ngang t8 58 Bảng 3.10. Mảnh ngang t9 58 Bảng 3.11. Mảnh ngang t10 58 Bảng 3.12. Mảnh ngang t11 59 Bảng 3.13. Mảnh ngang t12 59 Bảng 3.14. Mảnh ngang 1 60 Bảng ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ CAO THỊ NHÂM LOẠI BỎ MẨU TIN NHÂN BẢN THỪA TRONG CƠ SỞ DỮ LIỆU QUAN HỆ LUẬN VĂN THẠC SĨ Hà Nội - 2009 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Cao Thị Nhâm LOẠI BỎ MẨU TIN NHÂN BẢN THỪA TRONG CƠ SỞ DỮ LIỆU QUAN HỆ Ngành: Công nghệ thông tin Chuyên ngành: Công nghệ phần mềm Mã số: 60 48 10 LUẬN VĂN THẠC SĨ NGƯỜI HƯỚNG DẪN KHOA HỌC: TS. Lê Huy Thập Hà Nội - 2009 3 MỤC LỤC LỜI CAM ĐOAN 1 LỜI CẢM ƠN 2 MỤC LỤC 3 DANH MỤC HÌNH VẼ 5 DANH MỤC BẢNG 6 HỆ THỐNG CÁC TỪ VIẾT TẮT 8 MỞ ĐẦU 9 Chương 1 CƠ SỞ LÝ THUYẾT 12 1.1 CƠ SỞ DỮ LIỆU QUAN HỆ 12 1.1.1 Khái niệm về CSDL quan hệ 12 1.1.2 Các phép toán đại số quan hệ 16 1.2 PHÂN MẢNH CƠ SỞ DỮ LIỆU QUAN HỆ 23 1.2.1 Khái quát về cơ sở dữ liệu phân tán 23 1.2.2 Các kiểu phân mảnh cơ sở dữ liệu 25 1.3 LÝ THUYẾT CHẮC CHẮN 29 1.3.1 Hệ số chắc chắn dành cho dữ kiện 29 1.3.2 Hệ số chắc chắc chắn dành cho luật 30 1.3.3 Các quy tắc tính toán trên CF 30 1.4 TỔNG KẾT CHƯƠNG 1 32 Chương 2 THUẬT TOÁN LOẠI BỎ MẨU TIN NHÂN BẢN THỪA TRONG CSDL QUAN HỆ 33 2.1 TƯ TƯỞNG CỦA THUẬT TOÁN 33 2.2 TIÊU CHUẨN THẨM ĐỊNH BẢN GHI NHÂN BẢN THỪA 33 2.3 NỘI DUNG THUẬT TOÁN 35 4 2.3.1 Thuật toán xác định độ chắc chắn lặp cho từng bản ghi 35 2.3.2 Thuật toán loại bỏ bản ghi nhân bản thừa 36 2.3.3 Nhận xét thuật toán 38 2.4 TỔNG KẾT CHƯƠNG 2 39 Chương 3 ỨNG DỤNG THUẬT TOÁN 40 3.1 HỆ THỐNG LOẠI BỎ MẨU TIN NHÂN BẢN THỪA TRONG CSDL QUAN HỆ 40 3.1.1 Mô tả bài toán 40 3.1.2 Yêu cầu đặt ra đối với hệ thống 40 3.1.3 Khả năng giải quyết bài toán 41 3.1.4 Sơ đồ hệ thống 42 3.2 THIẾT KẾ HỆ THỐNG LOẠI BỎ MẨU TIN NHÂN BẢN THỪA TRONG CSDL QUAN HỆ 49 3.2.1 Xây dựng các lớp đối tượng 49 3.2.2 Biểu đồ tuần tự 59 3.3 KẾT QUẢ ỨNG DỤNG THUẬT TOÁN 61 3.3.1 Môi trường phát triển 61 3.3.2 Kết quả thực nghiệm 62 3.4 TỔNG KẾT CHƯƠNG 3 68 Chương 4 KẾT LUẬN & HƯỚNG PHÁT TRIỂN 69 4.1.1 Kết quả thu được trong quá trình nghiên cứu đề tài 69 4.1.2 Hướng phát triển 69 TÀI LIỆU THAM KHẢO 71 5 DANH MỤC HÌNH VẼ Hình 1-1 Kiến trúc cơ sở dữ liệu phân tán 23 Hình 1-2 Phân mảnh hỗn hợp của quan hệ EMP 27 Hình 3-1 Các tầng xử lý của hệ thống 42 Hình 3-2 Luồng xử lý của hệ thống EDRS 44 Hình 3-3 Sơ đồ tương tác giữa các lớp trong hệ thống 51 Hình 3-4 Biểu đồ tuần tự của quá trình loại bỏ bản ghi nhân bản 59 Hình 3-5 Biểu đồ tuần tự của quá tình xử lý bản ghi nghi ngờ nhân bản 60 Hình 3-6 Biểu đồ tuần tự của quá trình thiết lập luật cho hệ thống 60 6 DANH MỤC BẢNG Bảng 1-1 Quan hệ EMP 13 Bảng 1-2 Quan hệ EMP 1 14 Bảng 1-3 Quan hệ NHÂNVIÊN 17 Bảng 1-4 Kết quả phép chọn 17 Bảng 1-5 Kết quả phép chọn 18 Bảng 1-6 Kết quả của các phép toán tập hợp 19 Bảng 1-7 Tích Đề Các của hai quan hệ R và S 20 Bảng 1-8 Phép nối tê-ta hai quan hệ 21 Bảng 1-9 Phép nối tự nhiên hai quan hệ 22 Bảng 3-1 Ví dụ về tính toán hệ số chắc chắn 46 Bảng 3-2 Các lớp thuộc gói Rule Engine 49 Bảng 3-3 Các lớp thuộc gói Process 50 Bảng 3-4 Bảng thuộc tính của lớp clsRuleReader 52 Bảng 3-5 Bảng các phương thức của lớp clsRuleReader 52 Bảng 3-6 Bảng thuộc tính của lớp clsRuleEngine 52 Bảng 3-7 Bảng các phương thức của lớp clsRuleEngine 53 Bảng 3-8 Bảng các phương thức của lớp clsExpressionEvaluator 54 Bảng 3-9 Bảng các phương thức của lớp clsProxy 55 Bảng 3-10 Bảng các thuộc tính của lớp clsDeduplicate 55 Bảng 3-11 Bảng các phương thức của lớp clsDeduplicate 56 7 Bảng 3-12 Bảng các thuộc tính của lớp clsDAO 56 Bảng 3-13 Bảng các phương thức của lớp clsDAO 57 Bảng 3-14 Bảng các phương thức của lớp clsInterface 57 Bảng 3-15 Bảng các phương thức của lớp clsSetting 58 8 HỆ THỐNG CÁC TỪ VIẾT TẮT Kí hiệu viết tắt Tên tiếng Anh Ý nghĩa EDRS Eliminate duplicate record system Hệ thống loại bỏ mẩu tin nhân bản thừa CSDL Cơ sở dữ liệu CF Certainty factor ĐÁNH GIÂ THÔNG TIN VỂ TƯƠNG TÁC THUỐC CỦẠ THUỐC ĐIÊU TRỊ RỐI LOẠN LIPID MÁU DẪN CHẤT STATIN TRONG CÁC cở sở DỮ LIỆU TRA CỨU THÔNG TIN THUỐC VIỆT NAM Nguyễn Thu Vân, Nguyễn Mai Hoa, Nguyễn Hoàng Anh Trung tâm DI&ADR Quốc gia - Trường Đại học Dược Hà Nội SUMMARY Objectives: This study aimed a t evaiuating consistency in the listing and clinical significance ratings o f drug-drug interac­ tions (DDIs) with statins in six foreign drug interaction compendia and assess completeness o f information provided by Vietnamese drug Information resources Methods: the lists o f DDIs with statin drugs and the corresponding clinical significance ratings presented In the drug interactions appendix o f the British National Formulary, Stockiey's drug Interaction pocket companion, Thesaurus des interactions médicamenteuses, Hansten and Horn's Drug Interactions Analysis and Management, Drug interaction Facts and the MIcromedex-DRUG-REAX system were ail compared The intra-class correlation coefficient (ICC) was used to calculate the agreement among the resources A list o f DDIs with agreement o f a t least 4/6 compendia and fulfilled some criteria according to Bergk (2005) was developed to assess completeness o f Information on drug interaction provided by Vietnamese databases Results: a total o f 161 Inter­ actions were listed Only 17.4% DDIs were listed In compendia and 53.6% (15/28) o f them reached consensus o f clinical significance among all resources The ICC was under 0.4, Indicating poor agreement among the compendia Vietnamese databases varied greatly in completeness o f Information provided Conclusion: the disagreement among foreign compendia and insufficient information In Vietnamese resources is a main challenge to practitioners In choosing a reliable resource in routine practice Keywords: databases, drug Information, drug interaction, statins Đ ặ t vấn đề Tương tác thuốc (TTT) vấn đề phổ biến thực hành iâm sàng, gây hậu nghiêm trọng cho bệnh nhân Hiện nay, nhiều CSDL giới đâ phát triển nhằm đáp ứng nhu cấu tra cứu th ôn g tin TTT, hỗ trợ cán y tế việc sử dụng thuốc hợp lý Tuy nhiên, chênh lệch nhận định phần mểm điện tử lẫn sách chuyên khảo [3], [7] thách thức lớn đỗi với cán y tế trình tra cứu thông tin TTT, đặc biệt với thuốc có khả tương tác cao kèm theo hậu tương tác nguy hiểm nhóm statin (bệnh cơ, tiêu vân cấp) Nghiên cứu thực với mục tiêu đánh giá mức độ đóng thuận khả liệt kê nhận định mức độ có ý nghĩa lâm sàng cặp TTT với statin sở liệu (CSDL) tra cứu nước ngoài, th ời đánh giá khả bao quát thõng tin m ột sổ CSDL tra cứu tiếng Việt thường dùng TTT Kết vé thực trạng khả cung cấp thòng tin vẽ TTT CSDL tra cứu tiếng Việt giúp định hướng cho việc xây dựng m ột tài liệu chuyên khảo vềTTT tiếng Việt Đ ối tư ợ n g p h n g p h p n g h iê n cứu Đ ố i tư ợ n g Thông tin TTT thuốc nhóm statin: atorvastatin , flu vasta tin, pravastatin, rosuvastatin, sim vastatin tra cứu 13 CSDL, có CSDL tiế n g Việt: Dược th Quốc gia Việt Nam 2009 (DT), Tương tác thuốc ý định 2006 (TTCĐ),Thuốc biệt dược cách sử dụng 2010 (TBD), Vidal Việt Nam 2010 (VDVN), MIMS annual cẩm nang sử sụng thuốc 2010 (MA), MIMS cẩm nang nhà thuốc thực hành 2011 (MNT), MIMS online (MO); CSDL tiế n g Anh: British National Formulary 61 (BNF), Stockiey's drug interaction pocket companion 2010 (SPC), Drug Interaction Facts 2012 (DIF), Hansten and Horn's drug interaction analysis and managem ent 2011 (HH), Micromedex 2.0 - Reax system (MM); CSDL tiế n g Pháp:Thesaurus des interactions médicamenteuses 2010 (TIM) P h n g p h p n g h iê n u Đánh giá CSDL nước theo phương pháp Fulda (2000) [6] Vitry (2006) [9], liệt kê toàn cặpTTT với statin CSDL nước ngoài, thời ghi nhận mức độ tương tác nhận định M ột tương tác thuốc coi có ý nghĩa lâm sàng (YNLS) "tương tác thuốc làm thay đổi hiệu điều trị và/hoặc độc tính m ột thuóc tới mức cẩn phải hiệu chỉnh NHẬN XÉT CỦA GIÁO VIÊN MỤC LỤC Trang Nhận xét giáo viên Mục lục Danh mục hình vẽ Lời nói đầu Giới thiệu 1.1 Methodology( Phương pháp) .6 1.2 System architecture( Kiến trúc hệ thống) .8 1.3 Related work( công việc liên quan) .9 1.4 Paper roadmap (lộ trình phát triển) 11 Trình bày liệu .12 Vai Trò Phát Hiện Bất Thường .16 3.1 Phân Loại 16 3.2 Thử Nghiệm Đánh Giá .19 3.2.1 Tập hợp liệu .20 3.3 Kết .21 Phát dị thường không bị giám sát 24 4.1 Hàm khoảng cách .26 4.2 Thuật toán nhóm cụm 27 4.2.1 k-centers 27 4.2.2 k-means 28 4.3 Phương pháp phát bất thường 29 4.4 Đánh giá thử nghiệm 30 Kết Luận 34 2 DANH MỤC CÁC HÌNH VẼ, BẢNG Danh mục hình vẽ Trang Hình Tổng quan trình ID Bảng Ví dụ xây dựng Quiplet 16 Hình Zipf phân phối cho mẫu N = 10 19 Hình Hình 3: Tập liệu 2: Mô tả vai trò 22 Bảng Dữ liệu thực tế: Tỉ lệ xác thực sai từ chối sai 23 Hình Dữ liệu thực tế: Tỉ lệ xác thực sai từ chối sai 25 Hình Dữ liệu thực tế: Tỉ lệ xác thực sai từ chối sai 25 Hình Tập liệu không giám sát: Thuật toán k-means - Tỉ lệ xác thực sai từ chối sai phương thức phát Naive Bayes Hình Tập liệu không giám sát: Thuật toán k-centers - Tỉ lệ xác thực sai từ chối sai phương thức phát Naive Bayes Hình Tập liệu không giám sát: Thuật toán k-means - Tỉ lệ xác thực sai từ chối sai phương thức phát ngoại tuyến Hình Tập liệu không giám sát: Thuật toán k-centers - Tỉ lệ xác thực sai từ chối sai phương thức phát ngoại tuyến Hình 10 Tập liệu không giám sát: Tỉ lệ xác chối sai phương thức phát ngoại tuyến với xâm nhập truy vấn từ phân bố xác suất khác 31 31 33 32 33 Lời Nói Đầu Những nỗ lực đáng kể gần dành cho phát triển hệ thống quản lý sở liệu (DBMS)nhằm đảm bảo an ninh tốt Một phần quan trọng giải pháp bảo mật mạnh mẽ Intrusion Detection (ID), phát hành vi bất thường ứng dụng người dùng Ngày có chế ID đề xuất thiết kế đặc biệt để hoạt động DBMS Trong báo này, đề xuất chế Phương pháp tiếp cận dựa khai thác truy vấn SQL lưu trữ tập tin đăng nhập sở liệu kiểm toán Kết trình khai thác tài nguyên sử dụng để tạo cấu hình mô hình hành vi bình thường truy cập sở liệu xác định kẻ xâm nhập Chúng xem xét hai kịch để giải vấn đề Trong trường hợp , giả định sở liệu có Role Based Access Control (RBAC) mô hình chỗ Ở hệ thống RBAC cho phép liên kết với vai trò, nhóm nhiều người dùng, với người dùng Một lợi ích quan trọng việc cung cấp kỹ thuật ID cụ thể phù hợp với sở liệu RBAC giúp bảo vệ chống lại mối đe dọa nội Hơn nữa, tồn vai trò làm cho việc dùng phương pháp tiếp cận dùng với sở liệu với lượng người dùng lớn Trong kịch thứ hai , giả định vai trò liên quan đến người sử dụng sở liệu Trong trường hợp này, nhìn trực tiếp vào hành vi người dùng Chúng sử dụng thuật toán phân nhóm để tạo thành hồ sơ ngắn gọn đại diện cho hành vi người dùng bình thường Để phát hiện, sử dụng cụm cấu vai trò sử dụng kỹ thuật phát outlier để xác định hành vi lệch từ cấu hình Thử nghiệm đánh giá sơ hai sở liệu thực tế tổng hợp dấu vết cho thấy phương pháp làm việc tốt tình thực tế Trong trình thực đề tài nhóm em không khỏi mắc phải thiếu sót Mong thầy đóng góp ý kiến để chúng em hoàn thiện tốt đề tài sau Em xin chân thành cảm ơn! Sinh viên thực hiện: Hà văn Trường Nguyễn việt Long La Khắc Điệp Đỗ văn Tiền Nguyễn Tỉnh 4 Kiểm toán sở liệu Phát mẫu truy cập bất thường sở liệu quan hệ Giới