cyanic-selkie/wikianc huggingface dataset:
Thuật toán
Thuật toán máy tính
Lập trình có cấu trúc, cấu trúc chuẩn: Theo luận điểm của Church – Turing, bất kỳ thuật toán nào cũng có thể được tính toán bằng một mô hình được gọi là Turing hoàn chỉnh và theo các minh chứng của Minsky, tính đầy đủ của Turing chỉ yêu cầu bốn loại lệnh — GOTO có điều kiện, GOTO không điều kiện, phép gán, HALT. Kemeny và Kurtz nhận thấy rằng, trong khi việc sử dụng "vô kỷ luật" GOTO vô điều kiện và IF-THEN GOTO có điều kiện có thể dẫn đến " mã spaghetti ", một lập trình viên có thể viết các chương trình có cấu trúc chỉ bằng các hướng dẫn này; mặt khác "cũng có thể, và không quá khó, để viết các chương trình có cấu trúc tồi bằng một ngôn ngữ có cấu trúc". Tausworthe tăng cường ba cấu trúc kinh điển Böhm-Jacopini: SEQUENCE, IF-THEN-ELSE và WHILE-DO, với hai cấu trúc khác: DO-WHILE và CASE. Một lợi ích bổ sung của chương trình có cấu trúc là nó tự cho mình các bằng chứng về tính đúng đắn bằng cách sử dụng quy nạp toán học.
Các ký hiệu lưu đồ hợp quy: Phụ tá đồ họa được gọi là lưu đồ, đưa ra cách mô tả và ghi lại một thuật toán (và một chương trình máy tính của một thuật toán). Giống như quy trình chương trình của máy Minsky, lưu đồ luôn bắt đầu ở đầu trang và tiếp tục xuống. Các ký hiệu chính của nó chỉ có bốn: mũi tên có hướng hiển thị luồng chương trình, hình chữ nhật (SEQUENCE, GOTO), hình thoi (IF-THEN-ELSE) và dấu chấm (OR-tie). Các cấu trúc kinh điển Böhm – Jacopini được tạo ra từ những hình dạng nguyên thủy này. Cấu trúc con có thể "lồng" trong hình chữ nhật, nhưng chỉ khi một lối ra duy nhất xảy ra từ cấu trúc thượng tầng. Các ký hiệu và cách sử dụng chúng để xây dựng các cấu trúc chính tắc được thể hiện trong sơ đồ.
Ví dụ thuật toán
Một trong những thuật toán đơn giản nhất là tìm số lớn nhất trong danh sách các số có thứ tự ngẫu nhiên. Tìm lời giải yêu cầu nhìn vào mọi số trong danh sách. Từ đó dẫn đến một thuật toán đơn giản, có thể được nêu trong phần mô tả cấp cao bằng văn xuôi tiếng Anh, như:
Mô tả cấp cao:
Bán mô tả chính thức: Được viết bằng văn xuôi nhưng gần với ngôn ngữ cấp cao của chương trình máy tính hơn nhiều, sau đây là cách mã hóa chính thức hơn của thuật toán bằng mã giả hoặc mã pidgin:
Input: A list of numbers L. Output: The largest number in the list L.
if L.size = 0 return null largest ← L[0] for each item in L, do if item > largest, then largest ← item return largest
Prosopocoilus gertrudae
Prosopocoilus gertrudae là một loài bọ cánh cứng trong họ Lucanidae. Loài này được 🇦🇹 mô tả khoa học năm 1991.
Thuật toán
Thuật toán Euclid
trái|nhỏ|263x263px|Sơ đồ ví dụ về thuật toán Euclid từ TL Heath (1908), có thêm chi tiết. Euclid không vượt quá phép đo thứ ba và không đưa ra ví dụ số. Nic gastus đưa ra ví dụ về 49 và 21: "Tôi lấy số ít hơn trừ đi số lớn hơn; 28 là còn lại; sau đó một lần nữa tôi trừ cho điều này cùng 21 (vì điều này là có thể); còn lại là 7; tôi trừ đi 21, 14 được left; từ đó tôi lại trừ đi 7 (vì điều này là có thể); còn lại là 7, nhưng không thể trừ 7 từ 7. " Heath bình luận rằng "Cụm từ cuối cùng gây tò mò, nhưng ý nghĩa của nó là đủ rõ ràng, cũng như ý nghĩa của cụm từ về kết thúc 'tại một và cùng một số'." (Heath 1908: 300). Thuật toán của Euclid để tính ước số chung lớn nhất (ƯCLN) cho hai số xuất hiện dưới dạng Mệnh đề II trong Quyển VII ("Lý thuyết số cơ bản") của tác phẩm Cơ sở của ông. Do đó, Euclid đặt ra vấn đề: "Cho hai số không nguyên tố với nhau, hãy tìm số đo chung lớn nhất của chúng". Ông định nghĩa "Một số [là] một vô số bao gồm các đơn vị": một số đếm, một số nguyên dương không bao gồm số không. Để "đo" là đặt một chiều dài ngắn s liên tiếp (q lần) lên trên chiều dài l cho đến khi phần còn lại là r nhỏ hơn chiều dài ngắn s. Nói cách hiện đại, phần dư r = l - q × s, q là thương số, hoặc phần dư r là "môđun", phần nguyên còn lại sau phép chia.
Prosopocoilus gertrudae
Tham khảo
Thể loại:Prosopocoilus Thể loại:Động vật được mô tả năm 1991
Thuật toán
Thuật toán Euclid
Để phương pháp Euclid thành công, độ dài bắt đầu phải thỏa mãn hai yêu cầu: (i) độ dài không được bằng 0, VÀ (ii) phép trừ phải “hợp lệ”; tức là, một phép thử phải đảm bảo rằng số nhỏ hơn trong hai số bị trừ đi số lớn hơn (hoặc hai số có thể bằng nhau để phép trừ của chúng cho kết quả bằng không).
Chứng minh ban đầu của Euclid bổ sung thêm một yêu cầu thứ ba: hai độ dài không được nguyên tố với nhau. Euclid đã quy định điều này để ông có thể xây dựng một bằng chứng rút gọn là vô lý rằng số đo chung của hai số trên thực tế là lớn nhất. Trong khi thuật toán của Nicomachus cũng giống như thuật toán của Euclid, khi các số nguyên tố với nhau, nó mang lại số "1" cho số đo chung của chúng. Vì vậy, chính xác mà nói, sau đây thực sự là thuật toán của Nicomachus. phải|nhỏ|350x350px|Biểu thức đồ họa của thuật toán Euclid để tìm ước số chung lớn nhất cho 1599 và 650.
Ngôn ngữ máy tính cho thuật toán Euclid
Chỉ một số loại lệnh được yêu cầu để thực thi thuật toán Euclid — một số phép thử logic (GOTO có điều kiện), GOTO không điều kiện, phép gán (thay thế) và phép trừ.
Một chương trình đơn giản cho thuật toán Euclid
phải|nhỏ|349x349px|"Inelegant" là bản dịch của phiên bản thuật toán của Knuth với vòng lặp phần dư dựa trên phép trừ thay thế việc sử dụng phép chia (hoặc lệnh "modulus"). Bắt nguồn từ Knuth 1973: 2–4. Tùy thuộc vào hai số "Không phù hợp" có thể tính toán gcd trong ít bước hơn "Thanh lịch". Thuật toán sau đây được đóng khung như là phiên bản bốn bước của Knuth của Euclid's và Nicomachus, nhưng thay vì sử dụng phép chia để tìm phần dư, nó sử dụng các phép trừ liên tiếp của độ dài s từ độ dài còn lại r cho đến khi r nhỏ hơn s. Mô tả cấp cao, được in đậm, được phỏng theo Knuth 1973: 2–4:
ĐẦU VÀO:
[Into two locations L and S put the numbers l and s that represent the two lengths]: INPUT L, S
[Initialize R: make the remaining length r equal to the starting/initial/input length l]: R ← L
E0: [Đảm bảo r ≥ s. ]
3 [Ensure the smaller of the two numbers is in S and the larger in R]: IF R > S THEN the contents of L is the larger number so skip over the exchange-steps 4, 5 and 6:  GOTO step 6 ELSE  swap the contents of R and S.
4 L ← R (this first step is redundant, but is useful for later discussion).
5 R ← S
6 S ← L
8 R ← R − S
9 [Remainder-loop]:  GOTO 7.
E2: [Phần dư có bằng 0? ]: HOẶC (i) số đo cuối cùng là chính xác, phần còn lại trong R bằng 0 và chương trình có thể tạm dừng, HOẶC (ii) thuật toán phải tiếp tục: số đo cuối cùng để lại phần dư trong R nhỏ hơn số đo trong S.
10 IF R = 0 THEN done so GOTO step 15 ELSE CONTINUE TO step 11,
E3: [Đảo vị trí s và r ]: Điểm mấu chốt của thuật toán Euclid. Sử dụng phần dư r để đo số trước đó nhỏ hơn s; L phục vụ như một kho lưu trữ tạm thời.
11 L ← R
12 R ← S
14 [Repeat the measuring process]: GOTO 7
ĐẦU RA:
15 [Done. S contains the greatest common divisor]: PRINT S
XONG:
16 HALT, END, STOP.
Phiên bản sau của thuật toán Euclid chỉ yêu cầu sáu lệnh cốt lõi để thực hiện mười ba lệnh được yêu cầu bởi "chương trình chưa thanh lịch"; tệ hơn nữa là "chương trình chưa thanh lịch" yêu cầu nhiều loại hướng dẫn hơn. [làm rõ] Bạn có thể tìm thấy sơ đồ của "Thanh lịch" ở đầu bài viết này. Trong ngôn ngữ BASIC (không có cấu trúc), các bước được đánh số, và lệnh LET [] = [] là lệnh gán được ký hiệu bằng ←. Cách "chương trình thanh lịch" hoạt động: Thay cho "vòng lặp Euclid" bên ngoài, "Elegant" di chuyển qua lại giữa hai "co-vòng lặp", một vòng lặp A> B tính A ← A - B và một vòng lặp B ≤ A tính toán B ← B - A. Điều này hoạt động bởi vì, khi cuối cùng giá trị nhỏ nhất M nhỏ hơn hoặc bằng dải con S (Chênh lệch = Minuend - Subtrahend), minuend có thể trở thành s (chiều dài đo mới) và subtrahend có thể trở thành r mới (độ dài được đo); nói cách khác, "ý nghĩa" của phép trừ đảo ngược.
Kiểm tra các thuật toán Euclid
Một thuật toán có làm được những gì mà tác giả của nó muốn nó làm không? Một số trường hợp thử nghiệm thường cung cấp một số tin cậy về chức năng cốt lõi. Nhưng các thử nghiệm là không đủ. Đối với các trường hợp thử nghiệm, một nguồn sử dụng 3009 và 884. Knuth đề xuất 40902, 24140. Một trường hợp thú vị khác là hai số nguyên tố cùng nhau 14157 và 5950.
Nhưng "trường hợp ngoại lệ" phải được xác định và thử nghiệm. Liệu "Inelegant" có thực hiện đúng khi R> S, S> R, R = S không? Cũng vậy cho chương trình "Thanh lịch": B> A, A> B, A = B? (Có cho tất cả). Điều gì xảy ra khi một số bằng 0, cả hai số đều bằng không? ("Chưa thanh lịch" rơi vào vòng lặp vĩnh viễn trong các trường hợp trên; "Thanh lịch" rơi vào vòng lặp vĩnh viễn khi A = 0.) Điều gì xảy ra nếu người dùng nhập số âm ? Số phân số? Nếu các số đầu vào, tức là miền của hàm được tính toán bởi thuật toán / chương trình, chỉ bao gồm các số nguyên dương bao gồm cả số 0, thì các lỗi ở số 0 chỉ ra rằng thuật toán (và chương trình khởi tạo nó) là một hàm riêng phần chứ không phải một hàm tổng. Một thất bại đáng chú ý do các ngoại lệ kiểu như vậy là sự cố tên lửa Ariane 5 Flight 501 (ngày 4 tháng 6 năm 1996).
Chứng minh tính đúng đắn của chương trình bằng cách sử dụng quy nạp toán học: Knuth chứng minh việc áp dụng quy nạp toán học cho phiên bản "mở rộng" của thuật toán Euclid và ông đề xuất "một phương pháp chung áp dụng để chứng minh tính hợp lệ của bất kỳ thuật toán nào". Tausworthe đề xuất rằng thước đo độ phức tạp của một chương trình là độ dài của bằng chứng tính đúng đắn của nó.
Đo lường và cải thiện các thuật toán Euclid
Các thuật toán có thể được cải thiện không?: Một khi lập trình viên đánh giá một chương trình "phù hợp" và "hiệu quả" - nghĩa là nó tính toán chức năng mà tác giả của nó dự định - thì câu hỏi sẽ trở thành, liệu nó có thể được cải thiện không?
Có thể cải thiện độ nhỏ gọn của "Không thanh lịch" bằng cách loại bỏ năm bước. Nhưng Chaitin đã chứng minh rằng việc nén một thuật toán không thể được tự động hóa bằng một thuật toán tổng quát; đúng hơn, nó chỉ có thể được thực hiện theo kinh nghiệm; tức là, bằng cách tìm kiếm đầy đủ, thử và sai, thông minh, sáng suốt, áp dụng suy luận quy nạp, v.v. Quan sát các bước 4, 5 và 6 được lặp lại trong các bước 11, 12 và 13. So sánh với "Thanh lịch" cung cấp gợi ý rằng các bước này, cùng với các bước 2 và 3, có thể bị loại bỏ. Điều này làm giảm số lượng lệnh cốt lõi từ 13 xuống 8, làm cho nó "thanh lịch" hơn "Thanh lịch", với chín bước.
Tốc độ của "Thanh lịch" có thể được cải thiện bằng cách di chuyển "B = 0?" kiểm tra bên ngoài của hai vòng trừ. Thay đổi này yêu cầu bổ sung ba lệnh (B = 0 ?, A = 0 ?, GOTO). Bây giờ "Thanh lịch" tính toán các số ví dụ nhanh hơn; cho dù điều này luôn đúng đối với bất kỳ A, B và R, S nào cho trước hay không sẽ yêu cầu một phân tích chi tiết.
Tham khảo
Thuật toán Toán học rời rạc Thể loại:Logic toán Thể loại:Bài cơ bản sơ khai Thể loại:Khoa học máy tính lý thuyết
Si ta
Tham khảo
P Thể loại:Thực vật được mô tả năm 1925
Alpha Aquarii
Alpha Aquarii (α Aquarii, viết tắt Alpha Aqr, α Aqr), tên chính thức Sadalmelik, là một sao đơn trong chòm sao Bảo Bình. Với cấp sao biểu kiến 2,94 nó là ngôi sao sáng thứ hai trong chòm sao Bảo Bình. Dựa trên các đo đạc thị sai được thực hiện trong nhiệm vụ Hipparcos, nó nằm ở khoảng cách khoảng 520 ly tính từ Mặt Trời.
Nó tạo thành thành phần chính hoặc thành phần 'A' của sao đôi quang học có định danh là WDS J22058-0019 (thành phần phụ hoặc thành phần 'B' là UCAC2 31789179 ).
Danh pháp
α Aquarii (Latinh hóa thành Alpha Aquarii) là định danh Bayer của ngôi sao này. WDS J22058-0019 A cũng là tên gọi của nó trong Danh lục sao đôi Washington.
Nó mang tên gọi truyền thống là Sadalmelik, bắt nguồn từ thành ngữ tiếng Ả Rập سعد الملك (sa'd al-malik) nghĩa là "may mắn của nhà vua". Tên gọi Rucbah cũng được áp dụng cho ngôi sao này; mặc dù nó chia sẻ tên gọi đó với Delta Cassiopeiae. Nó cũng là một trong hai ngôi sao có tên riêng cổ xưa nằm trong phạm vi một độ từ xích đạo thiên cầu. Nguồn gốc của tên gọi tiếng Ả Rập đã thất lạc theo dòng lịch sử. Năm 2016, Hiệp hội Thiên văn Quốc tế đã thành lập Nhóm công tác IAU về tên Sao (WGSN) để lập danh lục và chuẩn hóa tên riêng cho các ngôi sao. WGSN phê duyệt tên gọi Sadalmelik cho Alpha Aquarii (WDS J22058-0019 A) vào ngày 21 tháng 8 năm 2016, và hiện nay nó được gộp trong Danh sách tên sao được IAU phê chuẩn (Delta Cassiopeiae được đặt tên là Ruchbah).
Trong tiếng Trung, 危宿 (Wēi Xiù, Nguy Tú) có nghĩa là Sao Nguy (một khoảnh sao), đề cập đến một khoảnh sao gồm Alpha Aquarii, Theta Pegasi và Epsilon Pegasi. Do đó, tên tiếng Trung của Alpha Aquarii là 危宿一 (Wēi Xiù yī, Nguy Tú nhất).
Tính chất
Với tuổi đời 53 triệu năm, Alpha Aquarii đã phát triển thành một sao siêu khổng lồ với phân loại sao G2 Ib. Nó có khối lượng gấp 5,1 lần Mặt Trời và đã mở rộng tới khoảng 53 lần bán kính Mặt Trời. Nó phát xạ với độ sáng gấp 2.100 lần độ sáng của Mặt Trời từ bầu khí quyển bên ngoài của nó ở nhiệt độ hiệu dụng 5.383 K. Ở nhiệt độ này, ngôi sao phát sáng màu vàng của ngôi sao loại G. Kiểm tra ngôi sao này của Đài thiên văn tia X Chandra cho thấy nó thiếu hụt tia X đáng kể so với các sao dãy chính loại G. Sự thiếu hụt này là một đặc điểm chung của các ngôi sao khổng lồ loại G sớm.
Bomolocha pacatalis
Bomolocha pacatalis là một loài bướm đêm trong họ Noctuidae.
Liên kết ngoài
Thể loại:Bomolocha
Bành Sủng
Bành Sủng (chữ Hán: 彭宠, ? – 29), tên tự là Bá Thông, người huyện Uyển, quận Nam Dương, Kinh Châu là thủ lĩnh quân phiệt đầu đời Đông Hán trong lịch sử Trung Quốc. Ông từng phục vụ nhà Tân, sau đó khởi binh rồi lần lượt quy thuận các chính quyền của Canh Thủy đế, Quang Vũ đế, cuối cùng tự lập làm Yên vương, trở thành một trong các thủ lĩnh quân phiệt.
Eleutherodactylus grabhami
Eleutherodactylus grabhami là một loài ếch trong họ Leptodactylidae. Chúng là loài đặc hữu của Jamaica. Môi trường sống tự nhiên của nó là các khu rừng đất thấp ẩm nhiệt đới và cận nhiệt đới. Loài này đang bị đe dọa do mất môi trường sống.
1523
Năm 1523 (số La Mã:MDXXIII) là một năm thường bắt đầu vào thứ năm (liên kết sẽ hiển thị đầy đủ lịch) trong lịch Julius.
Bành Sủng
Quy thuận Canh Thủy
Cha Bành Sủng là Bành Hoành, thời Hán Ai đế làm đến thái thú Ngư Dương, dung mạo hùng vĩ, ăn uống rất khỏe, có oai ở vùng biên; vì không ăn cánh với Vương Mãng nên bị giết.
Eleutherodactylus grabhami
Tham khảo
grabhami Thể loại:Động vật đặc hữu Jamaica
1523
Tham khảo
Thể loại:Năm 1523
Bành Sủng
Quy thuận Canh Thủy
Tháng 9 (ÂL) năm 23, Canh Thủy lên ngôi, sai yết giả Hàn Hồng cầm cờ tiết kêu gọi các châu phía bắc, được phép đặt các quan chức lương bổng dưới 2000 thặng. Hồng vốn là người quận Nam Dương, đến đất Kế gặp Sủng, Hán, nhận đồng hương thì rất mừng, lập tức bái ông làm Thiên tướng quân, hành Ngư Dương thái thú sự, Hán làm An Nhạc lệnh.
Quy thuận Lưu Tú
Tháng 10 (ÂL), Lưu Tú nhận lệnh đi phủ dụ Hà Bắc, đến đất Kế, gởi thư chiêu hàng, Sủng bày bò, rượu để đợi gặp mặt. Gặp lúc Vương Lang khởi binh, truyền hịch Yên, Triệu, kêu gọi nhân dân Ngư Dương, Thượng Cốc, người phương bắc đi theo ông ta rất nhiều, nhưng Ngô Hán thuyết phục ông đi theo Lưu Tú. Bấy giờ Thượng Cốc thái thú Cảnh Huống cũng sai Công tào Khấu Tuân đến gặp Sủng, đề nghị liên kết hưởng ứng Lưu Tú. Ông bèn phát 3000 bộ kỵ, lấy Ngô Hán làm hành Trưởng sử, cùng Đô úy Nghiêm Tuyên, Hộ quân Cái Diên, Hồ Nô lệnh Vương Lương, hợp với quân Thượng Cốc nam hạ, đuổi kịp Lưu Tú ở Quảng A. Lưu Tú thừa chế phong Sủng làm Kiến Trung hầu, ban hiệu Đại tướng quân. Khi quân Hán vây Hàm Đan (24), ông vận chuyển lương thực, trước sau không dứt.
Tháng 5 (Âl) năm 25, Lưu Tú đuổi đánh nghĩa quân Đồng Mã, gặp Sủng ở đất Kế. Ông tự phụ công lớn, cho rằng Lưu Tú đối đãi với mình chưa tương xứng, có ý bất mãn. Lưu Tú biết, hỏi U Châu mục Chu Phù. Phù cho rằng Sủng muốn được đối đãi như các bậc đại hiền thời xưa, nhưng không được nên thất vọng, Lưu Tú bỏ qua việc này.
Khi Lưu Tú lên ngôi (cùng năm 25), là Quang Vũ đế, bộ hạ cũ của ông là Ngô Hán, Vương Lương đều làm đến tam công, mà Sủng thì không được gia chức gì cả, càng ấm ức không vui, than rằng: Công của ta đáng được làm vương, ấy thế mà, bệ hạ quên ta rồi chăng?
Phản Hán tự lập
Khi ấy các nơi phía bắc tan hoang vì chiến loạn, chỉ có Ngư Dương tương đối toàn vẹn, lại giữ được các cơ quan quản lý muối và sắt, Sủng đem đổi lấy lương thực, tích trữ tiền tài, ngày càng giàu mạnh, khiến Châu mục Chu Phù đố kỵ, nhiều lần gièm pha.
Mùa xuân năm 26, Quang Vũ đế tin lời Chu Phù, hạ chiếu bắt Bành Sùng vào triều. Sủng sợ Phù hãm hại, dâng sớ xin cùng đi với Phù để đối chất, lại gửi thư cho Ngô Hán, Cái Diên, hết lời kể tội Phù, cố nài bắt ông ta cùng đi. Quang Vũ đế không đồng ý, Sủng càng ngờ vực. Mà vợ Sủng tính cứng rắn, không chịu uất ức, nên khuyên ông đừng đi. Sủng cùng thân tín bàn bạc, mọi người đều oán Phù, cũng khuyên như vậy. Hán Quang Vũ đế sai con của em họ của Bành Sủng là Tử Hậu Lan Khanh đến dụ. Sủng bèn giữ Tử Hậu Lan Khanh lại, rồi phát binh làm phản, tự làm tướng đưa 2 vạn quân tấn công Phù ở đất Kế, chia quân đánh các quận Quảng Dương, Thượng Cốc, Hữu Bắc Bình. Sủng sai sứ mời gọi Cảnh Huống, nhưng Huống bắt chém sứ giả.
Mùa thu, Hán Quang Vũ đế sai Du kích tướng quân Đặng Long cứu đất Kế. Long đóng quân ở phía nam đất Lộ, Phù đóng quân ở Ung Nô, hai nơi cách nhau hàng trăm dặm. Sủng dốc quân xuôi Hoàng Hà đánh Long, phái riêng 3000 kỵ binh tập kích phía sau, đại phá quân Hán. Phù ở xa, không thể cứu, đành quay về Kế.
Mùa xuân năm sau (27), Bành Sng chiếm được mấy huyện thuộc Hữu Bắc Bình, Thượng Cốc, sai sứ đem mỹ nữ, lụa là đút lót Hung Nô, lại liên kết với Trương Bộ cùng các lộ nghĩa quân tại Phú Bình, Hoạch Tác, trao đổi con tin với nhau. Sau đó, Sủng chiếm được Kế, tự lập làm Yên vương.
Cái chết
Mùa xuân năm 29, bọn gia Tử Mật gồm 3 người nhân dịp Sủng trai giới, đang nằm ngủ một mình, cho bắt trói, giả truyền mệnh của ông phân tán các nô tỳ đi chỗ khác, rồi lừa bắt cả vợ của Sủng. Sau khi lấy được một số tài sản, bọn Tử Mật ép Sủng viết giấy thông hành, xong, chém đầu cả hai vợ chồng, gói lại, ra khỏi thành chạy thẳng đến kinh đô. Hán Quang Vũ Đế phong cho bọn chúng làm Bất Nghĩa hầu.
Thủ hạ của Sủng là thượng thư Hàn Lập cùng lập con của Sủng là Bành Ngọ làm vương, lấy Tử Hậu Lan Khanh làm tướng quân. Vài ngày sau, quốc sư Hàn Lợi phát động binh biến, giết cả họ của Sủng, đem đầu Ngọ đến chỗ Chinh lỗ tướng quân Sái Tuân xin hàng.
Chú thích
Thể loại:Quân phiệt đầu đời Đông Hán Thể loại:Người Hà Nam (Trung Quốc) Thể loại:Năm sinh không rõ Thể loại:Mất năm 29 Thể loại:Nhân vật quân sự nhà Tân
Aulonothroscus hector
Aulonothroscus hector là một loài bọ cánh cứng trong họ Throscidae. Loài này được Cobos miêu tả khoa học năm 1972.
Tham khảo
Thể loại:Aulonothroscus
Douglas BTD Destroyer
Douglas BTD Destroyer là một kiểu máy bay ném bom/ngư lôi được phát triển cho Hải quân Hoa Kỳ trong Chiến tranh thế giới thứ hai. Đây là chiếc máy bay đầu tiên của Hải quân có bộ càng đáp ba bánh.
Thiết kế và phát triển
Chiếc BTD được thiết kế như là một kiểu thay thế cho chiếc máy bay ném bom bổ nhào SBD Dauntless. Thiết kế hai chỗ ngồi ban đầu được thay đổi sau đó thành phiên bản máy bay ném ngư lôi/máy bay ném bom bổ nhào một chỗ ngồi. Chiếc nguyên mẫu bay chuyến bay đầu tiên vào ngày 8 tháng 4 năm 1943, và Hải quân đã đặt hàng 358 chiếc BTD-1.
Lịch sử hoạt động
Chiếc BTD-1 sản xuất hàng loạt đầu tiên được hoàn thành vào tháng 6 năm 1944. Cho đến khi Nhật Bản đầu hàng vào tháng 8 năm 1945, chỉ có 28 chiếc máy bay được giao hàng và không có chiếc nào tham gia chiến đấu. Số đặt hàng còn lại bị hủy bỏ do kết thúc chiến tranh.
Đặc điểm kỹ thuật (BTD-1)
Tham khảo: Dave's Warbirds
Danh sách liên quan
BTD Destroyer Thể loại:Máy bay quân sự Hoa Kỳ thập niên 1940 Thể loại:Máy bay hoạt động trên tàu sân bay Thể loại:Máy bay chiến đấu Thể loại:Máy bay ném bom Thể loại:Máy bay ném bom bổ nhào Thể loại:Máy bay ném bom ngư lôi Thể loại:Máy bay trinh sát Thể loại:Máy bay cánh giữa Thể loại:Máy bay một động cơ cánh quạt
Korudeğirmen, Gönen
Korudeğirmen là một xã thuộc huyện Gönen, tỉnh Balıkesir, Thổ Nhĩ Kỳ. Dân số thời điểm năm 2010 là 162 người.
Obrium brunneum
Obrium brunneum là một loài bọ cánh cứng trong họ Cerambycidae.
Tham khảo
Thể loại:Obrium
Dicranomyia luteipes
Dicranomyia luteipes là một loài ruồi trong họ Limoniidae. Chúng phân bố ở miền Australasia.
Tham khảo
Thể loại:Dicranomyia Thể loại:Limoniidae ở vùng Australasia
Odontoschisma longiflorum
Odontoschisma longiflorum là một loài rêu trong họ Cephaloziaceae. Loài này được Stephani mô tả khoa học đầu tiên..
Liên kết ngoài
Thể loại:Odontoschisma
Saif al-Arab al-Gaddafi
Saif al-Arab al-Gaddafi (سيف العرب القذافي, nghĩa: Thanh gươm Ả Rập; của Gaddafa; 1982 – 30 tháng 4 năm 2011) là con trai thứ sáu của nhà lãnh đạo Muammar Gaddafi. Ngày 30 tháng 4 năm 2011, chính quyền Libya thông báo rằng Saif và ba người cháu đã bị chết trong một cuộc không kích của NATO vào nhà của Saif. . Trong thời gian diễn ra cuộc nổi dậy, Saif đã được giao quyền chỉ huy một nhóm binh lính của cha ông để đàn áp những người biểu tình tại Benghazi. Saif cũng là một trong số những người con ít được biết đến của Muammar Gaddafi.
Saif là con của Muammar Gaddafi với người vợ thứ hai. Khi mới 4 tuổi, Saif đã bị thương khi Hoa Kỳ ném bom Libya năm 1986.
Tham khảo
Thể loại:Sinh năm 1982 Thể loại:Mất năm 2011 Thể loại:Gia đình Gaddafi Thể loại:Người Tripoli
Muamar el Gadafi
Cơ quan An ninh Quốc gia (Hoa Kỳ)
phải|nhỏ|Huy hiệu của NSA Cơ quan An ninh Quốc gia Hoa Kỳ/Cục An ninh Trung ương (tiếng Anh: National Security Agency/Central Security Service, viết tắt NSA/CSS) là cơ quan thu thập các tin tức tình báo được cho là lớn nhất thuộc chính phủ Hoa Kỳ. Nó có nhiệm vụ thu thập và phân tích các tín hiệu truyền thông nước ngoài đồng thời đảm bảo an toàn cho các kênh truyền thông của chính phủ Hoa Kỳ. Được chính thức thành lập vào ngày 4 tháng 11 năm 1952, NSA là một bộ phận của Bộ quốc phòng Hoa Kỳ và luôn được đặt dưới quyền lãnh đạo của một tướng 3 sao. NSA là một thành phần quan trọng của cộng đồng Tình báo Hoa Kỳ (United States Intelligence Community) đứng đầu bởi Giám đốc tình báo quốc gia (Director of National Intelligence).
Do tính chất công việc nghe lén, hoạt động của NSA/CSS liên quan rất nhiều tới những nghiên cứu trong lĩnh vực phân tích mật mã (phá mã), tiếp bước của những cơ quan tiền thân đã rất thành công trong việc phá mã trong thế chiến II. (Xem thêm: Mã Purple, Venona, và JN-25).
Trụ sở của NSA đặt tại pháo đài George G. Meade, tiểu bang Maryland, cách Washington, DC khoảng 16 km về phía đông bắc. NSA có cổng riêng của mình trên đường Baltimore-Washington với biển "Dành riêng cho nhân viên NSA" và luôn được 2 xe cảnh sát bang Maryland canh gác. Rất khó để đánh giá quy mô hoạt động của NSA vì đây là thông tin mật nhưng ta có thể đánh giá gián tiếp thông qua hóa đơn tiền điện. Ngân sách dành chi trả tiền điện hàng năm của NSA đứng ở vị trí thứ 2 trong toàn bang Maryland với số tiền hơn 21 triệu đô la Mỹ. Các bức ảnh chụp bãi đỗ xe của NSA cho thấy có khoảng 18000 vị trí đỗ xe nhưng hầu hết các dự đoán đánh giá tổng số nhân viên trên toàn cầu của NSA phải gấp đôi con số nói trên.
Để thực hiện nhiệm vụ bảo đảm an toàn thông tin cho chính phủ, NSA tham gia vào rất nhiều lĩnh vực công nghệ trong đó có thiết kế các phần cứng và phần mềm chuyên biệt, sản xuất các chíp bán dẫn đặc biệt (có cả nhà máy sản xuất chíp tại pháo đài Fort Meade) và nghiên cứu nâng cao về mật mã học. NSA cũng ký hợp đồng với các công ty tư nhân trong lĩnh vực nghiên cứu và thiết bị.
Lịch sử
Nguồn gốc của NSA có thể coi bắt đầu từ một tổ chức thiết lập bên trong Bộ quốc phòng Hoa Kỳ có tên là Cơ quan an ninh lực lượng vũ trang (tiếng Anh: Armed Forces Security Agency, viết tắt AFSA) đặt dưới sự chỉ đạo của Bộ tổng tham mưu (Joint Chiefs of Staff) thành lập vào ngày 20 tháng 5 năm 1949. AFSA có nhiệm vụ chỉ đạo các hoạt động tình báo điện tử của các bộ phận tình báo bao gồm: Cơ quan an ninh quân sự (Army Security Agency), Bộ phận an ninh hải quân (Naval Security Group), và Cục an ninh không quân (Air Force Security Service). Tuy nhiên cơ quan này có rất ít quyền lực và thiếu các cơ chế phối hợp trung tâm. NSA ra đời từ một bản ghi nhớ ngày 10 tháng 10 năm 1951 gửi từ giám đốc CIA Walter Bedell Smith tới James B. Lay, bí thư thường trực của Hội đồng an ninh quốc gia. Ban ghi nhớ nêu rõ: "sự quản lý và phối hợp các hoạt động thu thập và xử lý thông tin tình báo truyền thông tỏ ra kém hiệu quả" và đề nghị một cuộc khảo sát về các hoạt động tình báo truyền thông. Đề nghị được phê chuẩn vào ngày 13 tháng 12 năm 1951 và các nghiên cứu được cho phép vào ngày 28 tháng 12 năm 1951 và báo cáo được hoàn thành vào 13 tháng 6 năm 1952. Được biết đến dưới tên " báo cáo hội đồng Brownell" theo tên của chủ tịch hội đồng Herbert Brownell, bản báo cáo đã tóm lược lịch sử các hoạt động tình báo truyền thông của Hoa Kỳ và đề xuất yêu cầu về chỉ đạo và phối hợp các hoạt động này ở mức độ quốc gia. NSA đã được thành lập với phạm vi vượt qua giới hạn trong lĩnh vực quân sự.
Việc thành lập NSA được phê chuẩn trong một bức thư của tổng thống Harry S. Truman vào tháng 6 năm 1952. NSA được chính thức thành lập qua một chỉ thị số 9 của Hội đồng an ninh quốc gia (NSCID) vào ngày 24 tháng 10 năm 1952 và bắt đầu hoạt động từ ngày 4 tháng 11 năm 1952. Bản thân bức thư của tổng thống Truman cũng là thông tin mật và được giữ bí mật trước công chúng nhiều năm sau đó.
Tham gia của NSA trong các hệ thống mật mã công cộng
Kể từ thời gian dưới quyền lãnh đạo của Bobby Ray Inman, NSA đã tham dự vào việc tạo lập chính sách đối với công chúng trong lĩnh vực sử dụng mật mã trong cả vai trò cố vấn cho các bộ phận khác của chính phủ Hoa Kỳ cũng như tham dự trực tiếp.
Nhiều khả năng dưới ảnh hưởng của tranh cãi trong quá trình thiết kế DES mà sự liên quan của NSA trong quá trình chọn thuật toán thay thế DES chỉ hạn chế ở việc kiểm tra hiệu suất phần cứng (Xem thêm: Quá trình thiết kế AES).
NSA cũng là yếu tố quan trọng trong những tranh cãi hồi cuối thập kỷ 1990 trong vấn đề xuất khẩu công nghệ mật mã. Từ lâu, phần cứng và phần mềm mật mã được xếp cùng hạng với máy bay chiến đấu, xe tăng, pháo và bom nguyên tử.
Tại nhiều thời điểm, NSA/CSS đã cố gắng hạn chế việc xuất bản các tài liệu nghiên cứu về mật mã học, chẳng hạn như các thuật toán mật mã hóa khối Khufu và Khafre.
Bằng sáng chế
NSA có quyền đệ trình để nhận bằng sáng chế từ Văn phòng Sở hữu công nghiệp và Sáng chế Hoa Kỳ (US Patent and Trademark Office) theo một thủ tục đặc biệt mà thông tin không được tiết lộ ra công chúng. Không giống với các bằng sáng chế thông thường khác, bằng sáng chế của NSA được giữ bí mật và không có thời hạn công bố. Tuy nhiên, nếu Văn phòng Sáng chế nhận được yêu cầu đăng ký của cho sáng chế giống với sáng chế của NSA thì bằng sáng chế đó sẽ được công bố và được chính thức trao cho NSA giống như trường hợp bình thường kể từ ngày công bố.
Các hoạt động trong nước
Quy chế hoạt động của NSA (quyết định số 12333 ) cho phép tổ chức này quyền được thu thập thông tin "tình báo nước ngoài hoặc phản gián" đồng thời cấm thu thập các "thông tin liên quan tới các hoạt động trong nước của công dân Hoa Kỳ". Trong lãnh thổ Hoa Kỳ, NSA vẫn tuyên bố dựa hoàn toàn vào FBI để lấy các thông tin về các hoạt động tình báo nước ngoài và hạn chế phạm vi hoạt động của mình trong giới hạn các tòa đại sứ và các hoạt động của phái đoàn nước ngoài.
Các hoạt động mô tả dưới đây, đặc biệt là chương trình nghe lén điện thoại và cơ sở dữ liệu cuộc gọi, đã tạo nên những lo ngại về sự lạm dụng quyền lực của NSA.
ECHELON
nhỏ|300px|phải|Trụ sở của NSA tại Pháo đài Fort Meade, Maryland
Về mặt kỹ thuật, cùng với sự phát triển và tính chất mở của công nghệ, hầu như tất cả các dạng truyền thông hiện đại (điện thoại, Internet, fax, thông tin vệ tinh) đều có thể bị nghe trộm. Các hoạt động nghe lén của NSA đã tạo ra rất nhiều chỉ trích vì chúng đã xâm phạm đến đời tư của các công dân Hoa Kỳ. Tuy nhiên, điều luật liên quan tới NSA về thu thập thông tin tình báo của Hoa Kỳ (USSID 18) đã cấm hoàn toàn việc nghe lén và lưu trữ thông tin về "các tổ chức, công ty, thực thể và công dân Hoa Kỳ" trừ khi có phê chuẩn bằng văn bản của Tổng chưởng lý Hoa Kỳ (Attorney General). Toà án tối cao Hoa Kỳ cũng có quy định cấm các cơ quan tình báo thực hiện việc theo dõi các công dân Hoa Kỳ. Tuy nhiên trong một số trường hợp đặc biệt (chẳng hạn như vụ 11/9), việc theo dõi trên có thể được thực hiện mà không vi phạm điều luật USSID 18. Tuy nhiên, trong quá khứ, đã có dư luận về việc vi phạm điều luật USSID 18 mặc dù các quy định chặt chẽ của NSA nghiêm cấm việc này.
Nghe lén điện thoại
Vào ngày 16 tháng 12 năm 2005, tờ New York Times đã đăng một bản tin khẳng định dưới áp lực của Nhà Trắng và mệnh lệnh của tổng thống George W. Bush, trong nỗ lực chống khủng bố, NSA đã thực hiện việc nghe lén (trái luật) đối với các cuộc gọi ra nước ngoài của công dân Hoa Kỳ. Theo tờ báo này: "Nhà Trắng yêu cầu The New York Times không công bố bài báo vì có thể gây ảnh hưởng tới việc điều tra và khiến những kẻ khủng bố trở nên cảnh giác hơn. Sau khi có cuộc họp với những viên chức cấp cao về những điều này, tờ báo đã lùi ngày xuất bản chậm lại 1 năm để tiến hành những báo cáo bổ sung. Một vài thông tin mà những quan chức trên cho rằng có thể có ích cho khủng bố đã được cắt bỏ."
Tin tức về việc nghe lén đã tạo nên sự phản đối kịch liệt từ quốc hội và các tổ chức. Họ coi đây là một sự vi phạm pháp luật và hiến pháp. Thượng nghị sĩ Arlen Specter (R-PA), chủ tịch Ủy ban Tư pháp Thượng viện Hoa Kỳ đã nói rằng "điều đó rõ ràng là không phù hợp", "sai sót một cách hệ thống" và ông ta muốn tổ chức giải trình về vấn đề này trong đầu năm 2006. Yêu cầu điều tra nói trên cũng được Hạ nghị sĩ Rob Simmons (R-CT), chủ tịch tiểu ban Tình báo của Ủy ban An ninh nội địa ủng hộ. Trong một phát biểu của mình, ông ta nói: "Liệu việc nghe lén chỉ được thực hiện để chống khủng bố hay nó còn được dùng cho nhiều việc khác nữa?". Cũng giống như ECHELON (xem phần trước), một số cá nhân cho rằng các chính sách của Nhà Trắng đã mâu thuẫn với Luật thông tin tình báo nước ngoài trong đó có nêu: "Không được cố tình thu thập thông tin liên lạc từ, đến hoặc liên quan tới công dân Hoa Kỳ nếu không được sự cho phép của cấp có thẩm quyền". Thu thập thông tin để chống khủng bố được đề cập trong phần II của Luật Ái quốc Hoa Kỳ (USA Patriot Act).
Ngày 16 tháng 12, Scott McClellan, thư ký báo chí của Nhà Trắng, từ chối bình luận về sự việc này: "không có lý do gì mà chúng ta bàn luận về các hoạt động tình báo đang diễn ra bởi vì điều này có thể khiến các nỗ lực ngăn chặn tấn công của chúng ta trở nên vô ích" Sáng hôm sau, 17 tháng 12, tổng thống Hoa Kỳ đã có bài phát biểu dài 8 phút trực tiếp trên truyền hình thay vì bài phát biểu hàng tuần trên radio khẳng định rằng ông ta đã chấp thuận việc tìm kiếm nghe lén này. Tỏ ra giận dữ, ông ta bảo vệ hành động của mình là "quan trọng cho an ninh quốc gia" và rằng người dân Hoa Kỳ trông chờ vào tổng thống "làm tất cả những việc trong giới hạn quyền lực, trong khuôn khổ hiến pháp và pháp luật, để bảo vệ họ và các quyền tự do" chừng nào mà al-Qaida còn tỏ ra là một mối đe dọa. Ông ta còn dùng những lời nặng nề để nói về những người đã tiết lộ câu chuyện, cho rằng họ đã vi phạm pháp luật: "Việc rò rỉ thông tin không được phép đã làm ảnh hưởng tới an ninh quốc gia và đặt các công dân trong tình trạng nguy hiểm".
Bộ Tư pháp Hoa Kỳ đã mở một cuộc điều tra vào cuối tháng 12 năm 2005 để tìm ra nguồn tin đã tiết lộ cho tờ New York Times.
Cơ sở dữ liệu cuộc gọi
Ngày 10 tháng 5 năm 2006, tờ USA Today đăng tin về việc NSA đang vận hành một "cơ sở dữ liệu lớn nhất từng có trên Trái Đất" chứa thông tin của tất cả các cuộc gọi (cả trong nước và quốc tế) thực hiện qua các công ty AT&T, Verizon và BellSouth. Sau khi thừa nhận việc này, chính quyền cũng khẳng định là không thu thập những thông tin như họ tên, địa chỉ và các thông tin cá nhân khác. Cũng giống như các công ty điện thoại lớn khác, Qwest Communications cũng bị yêu cầu cung cấp các thông tin cuộc gọi nhưng đã từ chối thực hiện viện trên cơ sở pháp luật.10 tháng 5 năm 2006-nsa_x.htm
Nghe lén điện thoại của công dân Hoa Kỳ
Trong những năm sau khi Richard Nixon từ chức, có một vài cuộc điều tra về việc lạm dụng các cơ sở của CIA và NSA. Thượng nghị sĩ Frank Church đã chỉ đạo một ủy ban của Thượng viện và tìm ra một số hoạt động mà trước đó chưa được biết đến, chẳng hạn như kế hoạch ám sát Fidel Castro của CIA dưới chỉ đạo của John F. Kennedy và Chưởng lý Robert F. Kennedy. Trong quá trình điều tra, ủy ban cũng phát hiện rằng NSA đã chủ động thực hiện việc nghe lén điện thoại của các công dân Hoa Kỳ.
PRISM
Vào tháng 6 năm 2013, một cựu nhân viên của CIA (Edward Snowden), làm việc cho NSA qua hãng Booz Allen Hamilton tiết lộ, cơ quan này trong chương trình PRISM đã theo dõi các hoạt động trên Internet toàn thế giới bằng cách khai thác các thông tin của các khách hàng các hãng lớn. Theo báo chí tường thuật, trong số đó có các hãng như Google, Microsoft, Apple, Facebook, Yahoo, PalTalk, YouTube, Skype und AOL, NSA được quyền truy cập trực tiếp ngay trên các Servers của họ.
Giám đốc
nhỏ| Trung tướng [[Keith B. Alexander, giám đốc thứ 16 của NSA (2005–2014).]]
USA, USAF, và USN là viết tắt của Lục quân, Không quân và Hải quân Hoa Kỳ.
Các hệ thống mật mã của NSA
NSA đảm nhiệm vai trò về thành phần liên quan tới mật mã trong các hệ thống sau:
NSA trong văn học
Từ khi sự tồn tại của NSA được biết đến rộng rãi vài thập kỷ gần đây, đặc biệt từ thập kỷ 1990, cơ quan này được đề cập đến trong nhiều tiểu thuyết trinh thám. Hầu hết trong số này đã thổi phồng vai trò của NSA trong các hoạt động của các cơ quan tình báo. Trong bộ phim Die Another Day trong series phim Jame Bond, nhân vật nữ chính (Bond girl) do Halle Berry thủ vai là một nhân viên của NSA. Hai tiểu thuyết của Dan Brown là Mật mã Da Vinci và Pháo đài số (Tựa gốc "Digital Fortress"), nói về những cuộc giải mã hay truy tìm tung tích chìa khoá của mã tuần hoàn của cặp đôi Susan Fletcher và David Breker. Bên cạnh đó, NSA cũng xuất hiện trong nhiều bộ phim, sách và trò chơi điện tử khác.
Liên kết ngoài
Thể loại:Khởi đầu năm 1952 ở Hoa Kỳ Thể loại:Tổ chức bảo mật máy tính Thể loại:Cơ quan chính phủ thành lập năm 1952 Thể loại:Giám sát hàng loạt Thể loại:Cơ quan tình báo tín hiệu Thể loại:Trung tâm siêu máy tính Thể loại:Bộ Quốc phòng Hoa Kỳ Thể loại:Bí mật chính phủ Hoa Kỳ Thể loại:Cơ quan phân tích tình báo
Beynes, Yvelines
Beynes là một xã của Pháp nằm ở tỉnh Yvelines et dans la région Île-de-France.
Các xã giáp ranh gồm: Mareil-sur-Mauldre về phía bắc, Crespières về phía đông bắc, Thiverval-Grignon về phía đông, Saint-Germain-de-la-Grange về phía đông nam, Villiers-Saint-Frédéric về phía nam, Saulx-Marchais về phía tây nam.
Biến động dân số
Biểu đồ (biểu đồ wikipedia)
Liên kết ngoài
Thể loại:Xã của Yvelines
Stachys petrokosmos
Stachys petrokosmos là một loài thực vật có hoa trong họ Hoa môi. Loài này được Rech.f. miêu tả khoa học đầu tiên năm 1949.
Liên kết ngoài
Thể loại:Stachys Thể loại:Thực vật được mô tả năm 1949
Núi Bạch Vân (Quảng Châu)
Núi Bạch Vân (白云山, Hán Việt: Bạch Vân sơn) hay Khu danh thắng phong cảnh núi Bạch Vân (tiếng Trung: 白云山风景名胜区, Hán Việt: Bạch Vân phong cảnh danh thắng khu, gọi là "Dương Thành đệ nhất tú" (đẹp nhất Dương Thành)"羊城第一秀"，là một dày núi nằm ở phía bắc thành phố Quảng Châu, Quảng Châu, Cộng hòa Nhân dân Trung Hoa, là khu phong cảnh nổi tiếng của thành phố Quảng Châu. Dãy núi này do 30 ngọn tạo thành, từ bắc đến nam dài 9,7 km, đông-tây dài 4,5 km, tổng diện tích 28 km2. Ngọn núi chính là ngọn núi Ma Tinh nằm ở giữa với độ cao so với mực nước biển 372,8 m.
Andrena nigrihirta
Andrena nigrihirta là một loài Hymenoptera trong họ Andrenidae. Loài này được Ashmead mô tả khoa học năm 1890.
Phát thanh âm nhạc
Phát thanh âm nhạc (tiếng Anh: music radio) là một định dạng phát thanh mà trong đó nội dung phát sóng chủ yếu là âm nhạc. Sau khi lĩnh vực truyền hình thay thế những nội dung đầy ấn tượng của hình thức radio cổ ở Mỹ, thì các định dạng âm nhạc đã chiếm ưu thế tại nhiều quốc gia trên thế giới. Phát thanh âm nhạc và hài kịch vẫn cứ thế tiếp tục, thường là trên sóng phát thanh công cộng.
Tham khảo
Thể loại:Lịch sử phát thanh Thể loại:Định dạng phát thanh
Burgos (tỉnh)
nhỏ|phải|250px|Tỉnh Burgos Burgos là một tỉnh ở phía bắc Tây Ban Nha, đông bắc cộng đồng tự trị Castile và León. Tỉnh này giáp các tỉnh Palencia, Cantabria, Vizcaya, Álava, La Rioja, Soria, Segovia, Valladolid. Thủ phủ là thành phố Burgos.
Tỉnh có diện tích 14.300 km² và dân số 352.273 người (2002), trong đó có gần một nửa sống ở tỉnh lỵ. Có 371 đô thị ở Burgo.
trái|nhỏ|Các đô thị tỉnh Burgos Sông quan trọng nhất ở tỉnh này là Ebro và Duero. Phía bắc và đông nam là vùng núi.
Dicranomyia luteitarsis
Dicranomyia luteitarsis là một loài ruồi trong họ Limoniidae. Chúng phân bố ở miền Ấn Độ - Mã Lai.
Tham khảo
Thể loại:Dicranomyia Thể loại:Limoniidae ở vùng Indomalaya
Aulonothroscus hiekei
Aulonothroscus hiekei là một loài bọ cánh cứng trong họ Throscidae. Loài này được Cobos miêu tả khoa học năm 1975.
Tham khảo
Thể loại:Aulonothroscus
Blatnička
Blatnička là một làng thuộc huyện Hodonín, vùng Jihomoravský, Cộng hòa Séc.
Tham khảo
Thể loại:Huyện Hodonín Thể loại:Làng của Cộng hòa Séc
Ctenitis mexicana
Ctenitis mexicana là một loài thực vật có mạch trong họ Dryopteridaceae. Loài này được A.R. Sm. mô tả khoa học đầu tiên năm 2004.
Liên kết ngoài
Thể loại:Ctenitis Thể loại:Thực vật được mô tả năm 2004
Antonio Díaz (khu tự quản)
Antonio Díaz là một khu tự quản thuộc bang Delta Amacuro, Venezuela. Thủ phủ của khu tự quản Antonio Díaz đóng tại Curiapo. Khự tự quản Antonio Díaz có diện tích 22746 km2, dân số theo điều tra dân số ngày 21 tháng 10 năm 2001 là 2315 người.
Lựa chọn hạt nhân
Tại Thượng viện Hoa Kỳ, lựa chọn hạt nhân (tiếng Anh: nuclear option) là một thủ tục nghị viện cho phép Thượng viện sửa đổi các quy tắc thường trực chỉ với sự ủng hộ của đa số thành viên, thay vì cần 2/3 thành viên ủng hộ như thông thường.
Lựa chọn hạt nhân lần đầu tiên được sử dụng vào tháng 11 năm 2013, khi Đảng Dân chủ Thượng viện do Harry Reid lãnh đạo sử dụng thủ tục này để loại bỏ quy tắc yêu cầu một đề cử Hành pháp phải có 60 phiếu ủng hộ để được thông qua. Vào tháng 4 năm 2017, lựa chọn hạt nhân được sử dụng một lần nữa, lần này bởi Đảng Cộng hòa Thượng viện do Mitch McConnell lãnh đạo, đã loại bỏ quy tắc yêu cầu một Thẩm phán Tòa án Tối cao phải có 60 phiếu ủng hộ để được thông qua nhằm chấm dứt các cuộc tranh luận về ứng cử viên Thẩm phán Neil Gorsuch.
Do sử dụng vũ khí hạt nhân là lựa chọn cực đoan nhất trong chiến tranh và nước sử dụng không lường trước được hậu quả, trong khi thủ tục này là thủ tục cuối cùng mà Đảng đa số có thể đưa ra nhằm đạt được mục đích của mình, họ cũng không thể lường trước liệu các tiền lệ mới mà họ đưa ra có bị Đảng thiểu số trong tương lai trả đũa hay không, chính vì vậy, thủ tục này được đặt tên là "Lựa chọn hạt nhân".
Quy tắc XX của Thượng viện
Lựa chọn hạt nhân không phải là một thủ tục chính thức, mà là một kẽ hở phát sinh từ Quy tắc XX của Quy tắc Thường trực của Thượng viện Hoa Kỳ: "Một quan điểm có thể được đưa ra ở bất kỳ giai đoạn nào của quá trình lập pháp ... sẽ do Quan chức Chủ tọa quyết định mà không cần tranh luận, tùy thuộc vào quan điểm mà người đó đưa ra trước Thượng viện ... và mọi quan điểm sẽ được Quan chức Chủ tọa quyết định ngay lập tức và không cần tranh luận."
Thủ tục dẫn chứng
Lựa chọn hạt nhân thường được đưa ra bởi Lãnh đạo Đa số Thượng viện, bằng cách nêu ra các quan điểm trái với quy tắc thường trực. Quan chức chủ tọa sau đó sẽ từ chối quan điểm đó dựa trên các quy tắc và tiền lệ của Thượng viện; phán quyết này sau đó sẽ bị Lãnh đạo chống lại và sẽ bị hủy bỏ sau một cuộc bỏ phiếu với sự ủng hộ của đa số thành viên, thiết lập một tiền lệ mới. Ví dụ: vào ngày 21 tháng 11 năm 2013, sau một cuộc bỏ phiếu hòa giải không thành công theo Quy tắc XXII, lựa chọn hạt nhân đã được sử dụng, như sau: Ngài REID. Tôi có một quan điểm về việc sửa đổi Quy tắc XXII cho tất cả các đề cử trừ đề cử Tòa án Tối cao chỉ yêu cầu có được đa số phiếu ủng hộ thì sẽ thông qua. Chủ tịch Thượng viện tạm quyền. Theo quy tắc, quan điểm của ngài không hợp lệ. Ngài REID. Tôi phản đối phán quyết của Chủ tịch và yêu cầu một cuộc bỏ phiếu đối với phán quyết của ngài ngay lập tức. (48–52 là tỷ lệ bỏ phiếu đối với phán quyết của Chủ tịch) Chủ tịch Thượng viện tạm quyền. Phán quyết của Chủ tịch không còn hiệu lực theo kết quả bỏ phiếu. Chủ tịch Thượng viện tạm quyền. Theo tiền lệ mà Thượng viện đặt ra từ hôm nay, ngày 21 tháng 11 năm 2013, ngưỡng giới hạn đối với các đề cử, không bao gồm các đề cử vào Tòa án Tối cao Hoa Kỳ, chỉ cần đa số phiếu đơn giản để thông qua. Đó là phán quyết của Chủ tịch. Như đã thấy, Lãnh đạo Harry Reid đã đề nghị quan điểm của mình dù trái với quy tắc, do vậy Chủ tịch tạm quyền đã bác bỏ quan điểm của Reid. Tuy nhiên, Reid đã phản đối phán quyết này và kêu gọi một cuộc bỏ phiếu đối với phán quyết của Chủ tịch, đa số các thành viên (52 người) đã phản đối phán quyết này, do vậy phán quyết của Chủ tịch không còn hiệu lực, và đương nhiên quan điểm của Reid sẽ được công nhận, trở thành tiền lệ mới cho Thượng viện, đây chính là cách Lựa chọn hạt nhân vận hành.
Quy tắc 60 phiếu bầu
phải|220x220px Năm 1806, Thượng viện đã thay đổi các quy tắc để loại bỏ hạn chế thời gian mà một thành viên có thể tranh luận. Năm 1917, Quy tắc XXII được sửa đổi, cho phép kết thúc một cuộc tranh luận bằng thủ tục Hòa giải (có hiệu lực với đa số hai phần ba), sau đó quy tắc lại được sửa đổi để cho phép thủ tục Hòa giải có hiệu lực với chỉ đa số ba phần năm năm 1975 (hiện tại ba phần năm Thượng viện là 60 thành viên). Như vậy, mặc dù một dự luật có thể được thông qua bởi đa số thành viên, sự phản đối của ít nhất 41 thượng nghị sĩ có thể hủy bỏ dự luật ngay lập tức bằng chiến thuật cản trở. Trong Thượng viện hiện đại, bất kỳ dự luật phi lưỡng đảng thường được yêu cầu 60 phiếu bầu, trừ một số ngoại lệ.
Hiệu lực
Tính hợp pháp của lựa chọn hạt nhân đã bị lung lay dữ dội. Ví dụ, Nghị sĩ hùng biện Thượng viện Alan Frumin đã phản đối lựa chọn hạt nhân vào năm 2005. Các báo cáo tiếp đó của Vụ Khảo cứu Quốc hội đã làm rõ việc sử dụng lựa chọn hạt nhân là "vi phạm các quy tắc và tiền lệ của Thượng viện". Tuy nhiên, hiệu lực của nó đã không còn bị thách thức nghiêm trọng kể từ khi được cả hai đảng sử dụng vào năm 2013 và 2017.
Tên gọi
Thượng nghị sĩ Đảng Cộng hòa Ted Stevens đề nghị sử dụng phán quyết của Chủ tịch để loại bỏ hàng loạt các ứng cử viên tư pháp vào tháng 2 năm 2003. Kế hoạch này có tên là "Hulk". Nhiều tuần sau, Thượng nghị sĩ Trent Lott đặt tên cho nó là lựa chọn hạt nhân vào tháng 3 năm 2003 vì việc sử dụng nó được coi là phương sách cuối cùng với những hậu quả lớn cho cả hai đảng, giống như vũ khí nguyên tử trong chiến tranh.
Andrena nigripes
Andrena nigripes là một loài Hymenoptera trong họ Andrenidae. Loài này được Provancher mô tả khoa học năm 1895.
Lựa chọn hạt nhân
Quy tắc Thượng viện trước năm 1917
Trong các quy tắc đầu tiên của Thượng viện có bao gồm một thủ tục để hạn chế tranh luận nhưng đã bị bãi bỏ vào năm 1806 do hiểu lầm rằng nó không có ích gì. Bắt đầu từ năm 1837, các thượng nghị sĩ bắt đầu tận dụng kẽ hở này trong các quy tắc bằng cách đưa ra các bài phát biểu dài dòng để ngăn chặn các dự luật mà họ phản đối, chiến thuật này được gọi là "cản trở" (Filibuster), bài phát dài nhất kéo dài lên đến 24 giờ 18 phút, được đưa ra bởi Strom Thurmond chống lại Đạo luật Dân quyền vào năm 1957.
Andrena nigripes
Tham khảo
N Thể loại:Động vật được mô tả năm 1895
Lựa chọn hạt nhân
Quy tắc Thượng viện trước năm 1917
Năm 1890, Thượng nghị sĩ Đảng Cộng hòa Nelson Aldrich đe dọa sẽ đánh bại những phản đối từ Đảng Dân chủ đối với Đạo luật Bầu cử Liên bang bằng cách viện dẫn một thủ tục tương tự với lựa chọn hạt nhân ngày nay. Nếu tất cả mọi thứ đều như dự kiến của Aldrich thì một tiền lệ mới sẽ ra đời cho phép hạn chế một cuộc tranh luận khi đa số thành viên ủng hộ. Tuy nhiên, Đảng Dân chủ cuối cùng đã có thể tập hợp đa số thành viên nhằm bãi bỏ kế hoạch của Aldrich.
Kỷ nguyên Hòa giải sớm, 1917 – 1974
Lựa chọn hạt nhân đã có thể được bắt nguồn từ ý kiến vào năm 1917 của Thượng nghị sĩ Đảng Dân chủ Thomas J. Walsh từ Montana. Walsh cho rằng Hiến pháp Hoa Kỳ cho phép Thượng viện có thể bỏ qua các quy tắc do chính nó trước đó đã thiết lập và có quyền sửa đổi các quy tắc của mình với sự ủng hộ từ đa số thành viên. "Hiến pháp quy định rằng mỗi viện có thể tự lập ra các quy tắc của riêng mình, điều đó có nghĩa là mỗi viện có thể sửa đổi các quy tắc của mình với đa số phiếu ủng hộ.""
Những người phản đối cho rằng sửa đổi của Walsh sẽ dẫn đến sự hỗn loạn về mặt thủ tục, nhưng lập luận của ông là nhân tố chính trong việc thông qua thủ tục Hòa giải đầu tiên vào cuối năm đó.
Năm 1957, Phó Tổng thống Richard Nixon (và do đó đồng thời là Chủ tịch Thượng viện) đã viết một ý kiến cố vấn rằng Thượng viện có thể tự sửa đổi các quy tắc của chính mình với đa số thành viên ủng hộ. (Nixon nói rõ rằng ông ấy chỉ đưa ra ý kiến cá nhân, không phải phán quyết chính thức). Ý kiến của Nixon, cùng với các ý kiến tương tự của Hubert Humphrey và Nelson Rockefeller, được coi là tiền lệ để ủng hộ quan điểm rằng Thượng viện có thể tự sửa đổi các quy tắc của mình vào đầu mỗi phiên họp với đa số thành viên ủng hộ. Khi Quốc hội Hoa Kỳ khóa 85 khai mạc vào tháng 1 năm 1957, Clinton P. Anderson đã cố gắng viện dẫn ý kiến của Nixon để sử dụng Lựa chọn hạt nhân nhưng bị Lyndon B. Johnson, với tư cách là Lãnh đạo Đa số Thượng viện, bãi bỏ. .