title: Thuật toán

text:
Trong toán học và khoa học máy tính, một thuật toán, còn gọi là giải thuật, là một tập hợp hữu hạn các hướng dẫn được xác định rõ ràng, có thể thực hiện được bằng máy tính, thường để giải quyết một lớp vấn đề hoặc để thực hiện một phép tính. Các thuật toán luôn rõ ràng và được sử dụng chỉ rõ việc thực hiện các phép tính, xử lý dữ liệu, suy luận tự động và các tác vụ khác.

Là một phương pháp hiệu quả, một thuật toán có thể được biểu diễn trong một khoảng không gian và thời gian hữu hạn, và bằng một ngôn ngữ hình thức được xác định rõ ràng  để tính toán một hàm số. Bắt đầu từ trạng thái ban đầu và đầu vào ban đầu (có thể trống), các hướng dẫn mô tả một phép tính, khi được thực thi, sẽ tiến hành qua một số  hữu hạn các trạng thái kế tiếp được xác định rõ, cuối cùng tạo ra "đầu ra"  và chấm dứt ở trạng thái kết thúc cuối cùng. Sự chuyển đổi từ trạng thái này sang trạng thái tiếp theo không nhất thiết phải mang tính xác định; một số thuật toán, được gọi là thuật toán ngẫu nhiên, kết hợp đầu vào ngẫu nhiên.

Khái niệm thuật toán đã tồn tại từ thời cổ đại. Các thuật toán số học, chẳng hạn như thuật toán chia, được sử dụng bởi các nhà toán học Babylon cổ đại vào khoảng 2500 TCN và các nhà toán học Ai Cập vào khoảng 1550 TCN. Các nhà toán học Hy Lạp sau đó đã sử dụng các thuật toán trong sàng Eratosthenes để tìm số nguyên tố, và thuật toán Euclide để tìm ước chung lớn nhất của hai số. Các nhà toán học Ả Rập như al-Kindi vào thế kỷ thứ 9 đã sử dụng các thuật toán mật mã để phá mã, dựa trên phân tích tần số.

Bản thân từ thuật toán (algorithm) từ bắt nguồn từ nhà toán học thế kỷ thứ 9 Muḥammad ibn Mūsā al-Khwārizmī, tên ông được Latinh hóa thành Algoritmi. Việc chính thức hóa một phần những gì sẽ trở thành khái niệm thuật toán hiện đại bắt đầu với nỗ lực giải Entscheidungsproblem (vấn đề quyết định) do David Hilbert đặt ra vào năm 1928. Các công thức hóa sau này được đóng khung như những nỗ lực để xác định " khả năng tính toán hiệu quả "  hoặc "phương pháp hiệu quả". Những công thức hóa đó bao gồm các hàm đệ quy Gödel - Herbrand - Kleene của các năm 1930, 1934 và 1935, phép tính lambda của Alonzo Church năm 1936, Công thức 1 của Emil Post năm 1936 và các máy Turing của Alan Turing năm 1936–37 và 1939.

Định nghĩa không chính thức
Một định nghĩa không chính thức có thể là "một tập hợp các quy tắc xác định chính xác một chuỗi hoạt động", mà sẽ bao gồm tất cả các chương trình máy tính (bao gồm cả các chương trình không thực hiện phép tính số) và (ví dụ) bất kỳ thủ tục hành chính quy định nào  hoặc công thức nấu ăn.

Nói chung, một chương trình chỉ là một thuật toán nếu cuối cùng nó dừng lại  - mặc dù các vòng lặp vô hạn đôi khi có thể chấp nhận được.

Một ví dụ nguyên mẫu của một thuật toán là thuật toán Euclid, được sử dụng để xác định ước chung lớn nhất của hai số nguyên; một ví dụ được mô tả bằng lưu đồ ở trên và là ví dụ trong phần sau.

 đưa ra một định nghĩa không chính thức cho thuật toán như sau:

 Không một con người nào có thể viết đủ nhanh, đủ dài, hoặc đủ nhỏ † († "nhỏ hơn và nhỏ hơn mà không có giới hạn... bạn đang cố viết trên phân tử, trên nguyên tử, trên electron") để liệt kê tất cả các thành viên của vô số thiết lập bằng cách viết ra tên của họ, cái khác, trong một số ký hiệu. Nhưng con người có thể làm điều gì đó hữu ích không kém, trong trường hợp có nhiều tập hợp vô hạn nhất định: Họ có thể đưa ra các chỉ dẫn rõ ràng để xác định phần tử thứ n của tập hợp, cho n hữu hạn tùy ý. Những hướng dẫn như vậy phải được đưa ra khá rõ ràng, dưới hình thức mà chúng có thể được tuân theo bởi một máy tính toán hoặc bởi một con người chỉ có khả năng thực hiện các thao tác rất cơ bản trên các ký hiệu.

"Tập hợp vô hạn liệt kê được" là tập hợp mà các phần tử của nó có thể được song ánh tương ứng 1-1 với các số nguyên. Vì vậy, Boolos và Jeffrey đang nói rằng một thuật toán ngụ ý hướng dẫn cho một quá trình "tạo" các số nguyên đầu ra từ một số nguyên "đầu vào" tùy ý hoặc các số nguyên, theo lý thuyết, có thể lớn tùy ý. Ví dụ: một thuật toán có thể là một phương trình đại số chẳng hạn như y = m + n (tức là hai "biến đầu vào" tùy ý m và n tạo ra đầu ra y), nhưng các nỗ lực của các tác giả khác nhau để xác định khái niệm cho thấy rằng từ đó ngụ ý nhiều hơn thế này, một cái gì đó theo thứ tự của (cho ví dụ bổ sung):

 Các hướng dẫn chính xác (bằng ngôn ngữ mà "máy tính" hiểu được)  để có một quy trình "tốt"  nhanh, hiệu quả, chỉ định các "động thái" của "máy tính" (máy hoặc con người, được trang bị bên trong thông tin và khả năng)  để tìm, giải mã và sau đó xử lý các số nguyên / ký hiệu đầu vào tùy ý m và n, ký hiệu + và = … và "hiệu quả"
sản xuất ra, trong một thời gian "hợp lý", đầu ra-số nguyên y tại một nơi được chỉ định và với định dạng được chỉ định.

Khái niệm thuật toán cũng được sử dụng để định nghĩa khái niệm về khả năng giải mã — một khái niệm trung tâm để giải thích cách các hệ thống hình thức ra đời bắt đầu từ một tập hợp nhỏ các tiên đề và quy tắc. Về mặt logic, thời gian mà một thuật toán yêu cầu để hoàn thành không thể đo được, vì nó dường như không liên quan đến kích thước vật lý thông thường. Từ sự không chắc chắn như vậy, đặc trưng cho công việc đang diễn ra, dẫn đến việc không có định nghĩa thuật toán phù hợp với cả cách sử dụng thuật ngữ này một cách cụ thể (theo một nghĩa nào đó)

Hình thức hóa
Các thuật toán rất cần thiết cho cách máy tính xử lý dữ liệu. Nhiều chương trình máy tính chứa các thuật toán trình bày chi tiết các hướng dẫn cụ thể mà máy tính phải thực hiện — theo một thứ tự cụ thể — để thực hiện một nhiệm vụ cụ thể, chẳng hạn như tính tiền lương của nhân viên hoặc in phiếu điểm của học sinh. Vì vậy, một thuật toán có thể được coi là bất kỳ chuỗi hoạt động nào có thể được mô phỏng bởi một hệ thống hoàn chỉnh Turing. Các tác giả khẳng định luận điểm này bao gồm Minsky (1967), Savage (1987) và Gurevich (2000):

 Minsky: "Nhưng chúng tôi cũng sẽ duy trì, với Turing... rằng bất kỳ thủ tục nào có thể" tự nhiên "được gọi là hiệu quả, trên thực tế, có thể được thực hiện bởi một chiếc máy (đơn giản). Mặc dù điều này có vẻ cực đoan, nhưng những lập luận… ủng hộ nó thì khó có thể bác bỏ ”.
 Gurevich: “… Lập luận không chính thức của Turing ủng hộ luận điểm của ông ấy biện minh cho luận điểm mạnh mẽ hơn: mọi thuật toán đều có thể được mô phỏng bởi máy Turing… theo Savage [1987], thuật toán là một quá trình tính toán được xác định bởi máy Turing".

Máy Turing có thể xác định các quy trình tính toán không kết thúc. Các định nghĩa không chính thức của thuật toán thường yêu cầu thuật toán luôn kết thúc. Yêu cầu này làm cho nhiệm vụ quyết định xem một thủ tục chính thức có phải là một thuật toán không trong trường hợp chung - do một định lý chính của lý thuyết tính toán được gọi là bài toán dừng.

Thông thường, khi một thuật toán được liên kết với xử lý thông tin, dữ liệu có thể được đọc từ nguồn đầu vào, được ghi vào thiết bị đầu ra và được lưu trữ để xử lý thêm. Dữ liệu được lưu trữ được coi là một phần của trạng thái bên trong của thực thể thực hiện thuật toán. Trong thực tế, trạng thái được lưu trữ trong một hoặc nhiều cấu trúc dữ liệu.

Đối với một số quá trình tính toán này, thuật toán phải được xác định chặt chẽ: được chỉ định theo cách nó áp dụng trong mọi trường hợp có thể phát sinh. Điều này có nghĩa là mọi bước có điều kiện phải được xử lý một cách có hệ thống, theo từng trường hợp cụ thể; các tiêu chí cho từng trường hợp phải rõ ràng (và có thể tính toán được).

Bởi vì một thuật toán là một danh sách chính xác của các bước chính xác, thứ tự tính toán luôn quan trọng đối với hoạt động của thuật toán. Các hướng dẫn thường được giả định là được liệt kê rõ ràng và được mô tả là bắt đầu "từ trên cùng" và đi "xuống dưới cùng" —một ý tưởng được mô tả chính thức hơn bằng luồng kiểm soát.

Cho đến nay, cuộc thảo luận về việc chính thức hóa một thuật toán đã giả định các tiền đề của lập trình mệnh lệnh. Đây là quan niệm phổ biến nhất - một quan niệm cố gắng mô tả một nhiệm vụ bằng các phương tiện "máy móc", rời rạc. Duy nhất cho quan niệm về các thuật toán chính thức hóa này là phép toán gán, đặt giá trị của một biến. Nó bắt nguồn từ trực giác của " bộ nhớ " như một bàn di chuột. Dưới đây là một ví dụ về sự phân công như vậy.

Đối với một số quan niệm thay thế về những gì tạo thành một thuật toán, hãy xem lập trình hàm và lập trình logic.

Diễn đạt thuật toán
Các thuật toán có thể được thể hiện bằng nhiều loại ký hiệu, bao gồm ngôn ngữ tự nhiên, mã giả, lưu đồ, biểu đồ drakon, ngôn ngữ lập trình hoặc bảng điều khiển (được xử lý bởi trình thông dịch). Các biểu thức ngôn ngữ tự nhiên của các thuật toán có xu hướng dài dòng và mơ hồ, và hiếm khi được sử dụng cho các thuật toán phức tạp hoặc kỹ thuật. Mã giả, lưu đồ, biểu đồ drakon và bảng điều khiển là những cách có cấu trúc để thể hiện các thuật toán tránh nhiều sự mơ hồ thường gặp trong các câu lệnh dựa trên ngôn ngữ tự nhiên. Các ngôn ngữ lập trình chủ yếu nhằm mục đích thể hiện các thuật toán dưới dạng có thể được thực thi bởi máy tính, nhưng cũng thường được sử dụng như một cách để định nghĩa hoặc tài liệu hóa các thuật toán.

Có thể có nhiều cách biểu diễn khác nhau và người ta có thể thể hiện một chương trình máy Turing nhất định dưới dạng một chuỗi các bảng máy (xem máy trạng thái hữu hạn, bảng chuyển đổi trạng thái và bảng điều khiển để biết thêm), dưới dạng lưu đồ và biểu đồ drakon (xem biểu đồ trạng thái để biết thêm), hoặc như một dạng mã máy thô sơ hoặc mã lắp ráp được gọi là "bộ tứ" (xem máy Turing để biết thêm).

Các đại diện của thuật toán có thể được phân loại thành ba cấp độ được chấp nhận của mô tả máy Turing, như sau:

 1. Mô tả cấp cao
 “… Văn xuôi để mô tả một thuật toán, bỏ qua các chi tiết triển khai. Ở cấp độ này, chúng tôi không cần phải đề cập đến cách máy quản lý băng hoặc đầu từ của nó."
 2. Mô tả triển khai
 “… Văn xuôi được sử dụng để xác định cách máy Turing sử dụng đầu vào của nó và cách nó lưu trữ dữ liệu trên băng của nó. Ở cấp độ này, chúng tôi không đưa ra thông tin chi tiết về các trạng thái hoặc chức năng chuyển tiếp. "
 3. Mô tả chính thức
 Chi tiết nhất, "mức thấp nhất", đưa ra "bảng trạng thái" của máy Turing.

Thiết kế
Thiết kế thuật toán đề cập đến một phương pháp hoặc một quy trình toán học để giải quyết vấn đề và các thuật toán kỹ thuật. Việc thiết kế các thuật toán là một phần của nhiều lý thuyết giải pháp nghiên cứu hoạt động, chẳng hạn như lập trình động và chia để trị. Các kỹ thuật thiết kế và triển khai các thiết kế thuật toán còn được gọi là các mẫu thiết kế thuật toán, với các ví dụ bao gồm mẫu phương pháp mẫu và mẫu trang trí.

Một trong những khía cạnh quan trọng nhất của thiết kế thuật toán nằm ở việc tạo ra thuật toán có thời gian chạy hiệu quả, còn được gọi là Big O của nó.

Các bước điển hình trong quá trình phát triển thuật toán:

 Định nghĩa vấn đề
 Phát triển một mô hình
 Đặc điểm kỹ thuật của thuật toán
 Thiết kế một thuật toán
 Kiểm tra tính đúng đắn của thuật toán
 Phân tích thuật toán
 Thực hiện thuật toán
 Chương trình thử nghiệm
 Viết tài liệu

Thực hiện
Enaliarctos
Hầu hết các thuật toán được thiết kế để thực hiện như các chương trình máy tính. Tuy nhiên, các thuật toán cũng được thực hiện bằng các phương tiện khác, chẳng hạn như trong mạng nơ-ron sinh học (ví dụ, não người thực hiện phép tính số học hoặc côn trùng đang tìm kiếm thức ăn), trong mạch điện hoặc trong một thiết bị cơ khí.

Thuật toán máy tính

Trong các hệ thống máy tính, thuật toán về cơ bản là một ví dụ của logic được viết trong phần mềm bởi các nhà phát triển phần mềm, để có hiệu quả đối với (các) máy tính "đích" nhằm tạo ra đầu ra từ đầu vào (có thể là rỗng) nhất định. Một thuật toán tối ưu, thậm chí chạy trong phần cứng cũ, sẽ tạo ra kết quả nhanh hơn thuật toán không tối ưu (độ phức tạp thời gian cao hơn) cho cùng mục đích, chạy trong phần cứng hiệu quả hơn; đó là lý do tại sao các thuật toán, như phần cứng máy tính, được coi là công nghệ.

Chương trình "thanh lịch" (nhỏ gọn), chương trình "tốt" (nhanh): Khái niệm "đơn giản và thanh lịch" xuất hiện không chính thức ở Knuth và chính xác là ở Chaitin:

 Knuth: "… chúng tôi muốn có các thuật toán tốt theo một khía cạnh thẩm mỹ được xác định lỏng lẻo. Một tiêu chí… là khoảng thời gian thực hiện thuật toán…. Các tiêu chí khác là khả năng thích ứng của thuật toán với máy tính, tính đơn giản và sang trọng của nó, v.v. "
 Chaitin: "… một chương trình là 'thanh lịch', theo ý tôi thì đó là chương trình nhỏ nhất có thể để tạo ra kết quả đầu ra mà nó thực hiện"

Chaitin mở đầu cho định nghĩa của mình bằng: "Tôi sẽ cho bạn thấy rằng bạn không thể chứng minh rằng một chương trình là 'thanh lịch  —chẳng hạn như một bằng chứng sẽ giải quyết được bài toán tạm dừng (ibid).

Thuật toán so với hàm có thể tính toán bằng một thuật toán: Đối với một hàm đã cho, nhiều thuật toán có thể tồn tại. Điều này đúng, ngay cả khi không mở rộng tập lệnh có sẵn cho lập trình viên. Rogers nhận xét rằng “Điều quan trọng là phải phân biệt giữa khái niệm thuật toán, tức là thủ tục và khái niệm hàm có thể tính toán bằng thuật toán, tức là ánh xạ được tạo ra bởi thủ tục. Cùng một chức năng có thể có một số thuật toán khác nhau ".

Thật không may, có thể có sự cân bằng giữa tính tốt (tốc độ) và tính thanh lịch (tính nhỏ gọn) —một chương trình thanh lịch có thể cần nhiều bước để hoàn thành một phép tính hơn một chương trình kém thanh lịch hơn. Ví dụ sử dụng thuật toán Euclid xuất hiện bên dưới.

Máy tính, các mô hình tính toán: Máy tính (hay "máy tính" của con người ) là một loại máy bị hạn chế, một "thiết bị cơ khí xác định rời rạc"  làm theo hướng dẫn của nó một cách mù quáng. Các mô hình sơ khai của Melzak và Lambek  giảm khái niệm này thành bốn yếu tố: (i) các vị trí rời rạc, dễ phân biệt, (ii) các bộ đếm rời rạc, không thể phân biệt được  (iii) một tác nhân, và (iv) một danh sách các hướng dẫn có hiệu quả so với khả năng của tác nhân.

Minsky mô tả một biến thể phù hợp hơn của mô hình "bàn tính" của Lambek trong "Các cơ sở rất đơn giản để tính toán " của ông. Máy của Minsky tiến hành tuần tự thông qua năm (hoặc sáu, tùy thuộc vào cách đếm) lệnh, trừ khi IF – THEN GOTO có điều kiện hoặc GOTO không điều kiện thay đổi luồng chương trình không theo trình tự. Bên cạnh HALT, máy của Minsky bao gồm ba hoạt động gán (thay thế, thay thế) : ZERO (ví dụ: nội dung của vị trí được thay thế bằng 0: L ← 0), SUCCESSOR (ví dụ: L ← L + 1) và DECREMENT (ví dụ: L ← L - 1). Hiếm khi một lập trình viên phải viết "mã" với một tập lệnh giới hạn như vậy. Nhưng Minsky cho thấy (Melzak và Lambek cũng vậy) rằng cỗ máy của anh ấy là Turing hoàn chỉnh với chỉ bốn loại lệnh chung: GOTO có điều kiện, GOTO vô điều kiện, gán / thay thế / thay thế và HALT. Tuy nhiên, một số hướng dẫn gán khác nhau (ví dụ: DECREMENT, INCREMENT và ZERO / CLEAR / EMPTY cho máy Minsky) cũng được yêu cầu đối với tính năng Turing-completeness; đặc điểm kỹ thuật chính xác của chúng phần nào tùy thuộc vào nhà thiết kế. GOTO vô điều kiện là một sự tiện lợi; nó có thể được xây dựng bằng cách khởi tạo một vị trí chuyên dụng bằng 0, ví dụ như lệnh "Z ← 0"; sau đó lệnh IF Z = 0 THEN GOTO xxx là vô điều kiện.

Mô phỏng thuật toán: ngôn ngữ máy tính (computor): Knuth khuyên người đọc rằng "cách tốt nhất để học một thuật toán là thử nó.. Lấy ngay giấy bút và làm việc với một ví dụ". Nhưng những gì về một mô phỏng hoặc thực hiện các điều thực tế? Lập trình viên phải dịch thuật toán sang ngôn ngữ mà trình mô phỏng / máy tính / trình biên dịch có thể thực thi một cách hiệu quả. Stone đưa ra một ví dụ về điều này: khi tính toán căn bậc hai, người tính toán phải biết cách lấy căn bậc hai. Nếu không, thì thuật toán, để có hiệu quả, phải cung cấp một bộ quy tắc để trích xuất căn bậc hai.

Điều này có nghĩa là lập trình viên phải biết một "ngôn ngữ" có hiệu quả so với tác nhân tính toán mục tiêu (máy tính). Nhưng mô hình nào nên được sử dụng cho mô phỏng? Van Emde Boas nhận xét "ngay cả khi chúng ta đặt lý thuyết phức tạp dựa trên lý thuyết trừu tượng thay vì máy móc cụ thể, sự tùy tiện trong việc lựa chọn mô hình vẫn còn. Chính tại thời điểm này, khái niệm mô phỏng đi vào ". Khi tốc độ đang được đo, tập lệnh quan trọng. Ví dụ, chương trình con trong thuật toán Euclid để tính phần còn lại sẽ thực thi nhanh hơn nhiều nếu lập trình viên có sẵn lệnh " modulus " thay vì chỉ phép trừ (hoặc tệ hơn: chỉ "giảm dần" của Minsky).

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ụ

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:

 Nếu không có số nào trong tập hợp thì không có số cao nhất.
 Giả sử số đầu tiên trong tập hợp là số lớn nhất trong tập hợp.
 Với mỗi số còn lại trong tập hợp: nếu số này lớn hơn số lớn nhất hiện tại thì coi số này là số lớn nhất trong tập hợp.
 Khi không còn số nào trong tập hợp để lặp lại, hãy coi số lớn nhất hiện tại là số lớn nhất của tập hợp.

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

Thuật toán Euclid

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.

Để 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.

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ừ.

 Vị trí được ký hiệu bằng (các) chữ cái viết hoa, ví dụ: S, A, v.v.
 Số lượng (số) khác nhau ở một vị trí được viết bằng (các) chữ cái thường và (thường) được kết hợp với tên của vị trí. Ví dụ, vị trí L ở đầu có thể chứa số l = 3009.

Một chương trình đơn giản cho thuật toán Euclid

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. ]

 [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.

  L ← R (this first step is redundant, but is useful for later discussion).

  R ← S

  S ← L

E1: [Tìm phần dư]: Cho đến khi độ dài còn lại r trong R nhỏ hơn độ dài ngắn hơn s trong S, lặp đi lặp lại phép trừ số đo s trong S với độ dài còn lại r trong R.

 IF S > R THEN  done measuring so  GOTO 10 ELSE  measure again,

  R ← R − S

  [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.

 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.

 L ← R

 R ← S

 S ← L

 [Repeat the measuring process]:  GOTO 7

ĐẦU RA:

 [Done. S contains the greatest common divisor]:  PRINT S

XONG:

 HALT, END, STOP.

Một chương trình đơn giản cho thuật toán Euclid
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 ←. 5 REM Euclid's algorithm for greatest common divisor
 6 PRINT "Type two integers greater than 0"
 10 INPUT A,B
 20 IF B=0 THEN GOTO 80
 30 IF A > B THEN GOTO 60
 40 LET B=B-A
 50 GOTO 20
 60 LET A=A-B
 70 GOTO 20
 80 PRINT A
 90 ENDCá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.

Phiên bản sau có thể được sử dụng với các ngôn ngữ hướng đối tượng:// Euclid's algorithm for greatest common divisor
int euclidAlgorithm (int A, int B){
 A=Math.abs(A);
 B=Math.abs(B);
 while (B!=0){
   if (A>B) A=A-B;
   else B=B-A;
 }
 return A;
}

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
Thanh lịch (nhỏ gọn) so với tốt (tốc độ): Chỉ với sáu lệnh cốt lõi, "Thanh lịch" là chiến thắng rõ ràng, so với "Không thanh lịch" với 13 lệnh. Tuy nhiên, "Không thanh lịch" nhanh hơn (nó đến HALT trong ít bước hơn). Phân tích thuật toán  chỉ ra lý do tại sao lại như vậy: "Thanh lịch" thực hiện hai phép thử điều kiện trong mỗi vòng trừ, trong khi "Không thanh lịch" chỉ thực hiện một phép thử. Vì thuật toán (thường) yêu cầu nhiều lần lặp lại, nên trung bình sẽ lãng phí nhiều thời gian để thực hiện "B = 0?" kiểm tra chỉ cần thiết sau khi phần còn lại được tính toán.

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.

Đọc thêm
 Độ phức tạp thuật toán
 Máy truy tìm dữ liệu
 Thuật toán sắp xếp

Tham khảo

Thuật toán
Toán học rời rạc
Logic toán
Bài cơ bản sơ khai
Khoa học máy tính lý thuyết


title: 7572 Znokai

text:
7572 Znokai (1989 SF) là một tiểu hành tinh vành đai chính được phát hiện ngày 23 tháng 9 năm 1989 bởi K. Endate và K. Watanabe ở Kitami.

Tham khảo

Liên kết ngoài
JPL Small-Body Database Browser ngày 7572 Znokai

Tiểu hành tinh vành đai chính
Thiên thể phát hiện năm 1989


title: Hammarland

text:
Hammarland là một đô thị của Åland, một lãnh thổ tự trị của Phần Lan.

Đô thị này có dân số 1.409 và diện tích 135,21 km² trong đó có 1,99 km² là diện tích mặt nước. Mật độ dân số là 10,6 người trên mỗi km².

Dân đô thị này chỉ sử dụng tiếng Thụy Điển. 96% dân số nói tiếng Thụy Điển như tiếng mẹ đẻ.

Tham khảo

Liên kết ngoài
 Trang mạng chính thức của Hammarland

Đô thị của Åland


title: Fannia ornata

text:
Fannia ornata là một loài ruồi trong họ Fanniidae.

Chú thích

Tham khảo

Fannia


title: Izatha austera

text:
Izatha austera là một loài bướm đêm thuộc họ Oecophoridae. Nó là loài đặc hữu của New Zealand, ở đó nó is widespread throughout the North Island, with a single South Island record từ tây bắc Nelson.

Sải cánh dài 13–19 mm đối với con đực và 16.5–25 mm đối với con cái. Con trưởng thành bay từ tháng 12 đến tháng 2.

Chú thích

Tham khảo

Izatha


title: Aphthona gomerensis

text:
Aphthona gomerensis là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Gruev & Petitpierre miêu tả khoa học năm 1979.

Chú thích

Tham khảo

Aphthona


title: Shikokuchūō, Ehime

text:
là một thành phố thuộc tỉnh Ehime, Nhật Bản.

Tham khảo

Liên kết ngoài

 Website chính thức

Thành phố tỉnh Ehime
Thành phố ven biển ở Nhật Bản
Khu định cư cảng Nhật Bản


title: Solanum leucodendron

text:
Solanum leucodendron là một loài thực vật thuộc họ Solanaceae. Đây là loài đặc hữu của Brasil.

Chú thích

Chú thích

Tham khảo

 Carvalho, L.d'A.F. 1998. Solanum leucodendron. 2006 IUCN Red List of Threatened Species.  Truy cập 23 tháng 8 năm 2007.

Thực vật Brasil
L


title: Cephaloleia apicicornis

text:
Cephaloleia apicicornis là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Baly miêu tả khoa học năm 1869.

Chú thích

Tham khảo

Cephaloleia


title: Augochloropsis argentina

text:
Augochloropsis argentina là một loài Hymenoptera trong họ Halictidae. Loài này được Friese mô tả khoa học năm 1908.

Chú thích

Tham khảo

Augochloropsis
Động vật được mô tả năm 1908


title: Murakami Megumi

text:
, sinh ngày 6 tháng 6 năm 1992, là một thành viên cũ của nhóm nhạc thần tượng Nhật Bản °C-ute. Cô được đánh giá là một trong những thành viên tài năng nhất trong Hello! Project Kids và cũng là nhân tố quan trong đưa °C-ute đến với những thành công đầu tiên. Trong nhóm °C-ute, cô được xếp hát chính cùng với Suzuki Airi và Yajima Maimi, bộ ba này được đánh giá như bộ ba Natsuyaki Miyabi, Sugaya Risako, Tsugunaga Momoko của nhóm Berryz Koubou.

Sự nghiệp
Megumi tham gia Hello! Project từ 30 tháng 6 năm 2002 sau khi cùng 14 thành viên khác của Hello! Project Kids vượt qua hơn 29.000 bé gái khác trên toàn lãnh thổ Nhật Bản. Thế mạnh của Megumi là giọng hát và khả năng vũ đạo nên cô thường được xếp ở vị trí trung tâm trong đội hình của °C-ute. Cô cũng là thành viên của một vài nhóm nhạc khác trực thuộc Hello! Project như ZYX, Sexy Otonajan.

Ngày 1 tháng 11 năm 2006, Megumi đột ngột rời khỏi nhóm °C-ute mà không có một liveshow chia tay nào như các thành viên khác trong Hello! Project. Lý do cho việc này được Hello! Project đưa ra là để tập trung cho việc học tập và chăm lo cuộc sống riêng!

Tham khảo

Thành viên Cute
Nữ ca sĩ Nhật Bản
Người Saitama
Sinh năm 1992
Nhân vật còn sống
Nữ ca sĩ thế kỷ 21


title: Dahlenheim

text:
Dahlenheim là một xã thuộc tỉnh Bas-Rhin trong vùng Grand Est đông bắc Pháp.

Xem thêm
Xã của tỉnh Bas-Rhin

Tham khảo
 INSEE commune file

Xã của Bas-Rhin


title: Giải BFCA cho phim hài hay nhất

text:
Giải BFCA cho phim hài hay nhất là một trong các giải của BFCA dành cho phim hài được bầu chọn là hay nhất. Giải này dược lập từ năm 2005.

Các phim đoạt giải và được đề cử

Giai đoạn từ năm 2000

Giai đoạn từ năm 2010

Tham khảo

P
Giải thưởng cho phim hay nhất
Giải BFCA


title: Mueang Chaiyaphum (huyện)

text:
Mueang Chaiyaphum () là huyện thủ phủ (Amphoe Mueang) thuộc tỉnh Chaiyaphum, đông bắc Thái Lan.

Địa lý
Các huyện giáp ranh (từ phía bắc theo chiều kim đồng hồ) là Kaset Sombun, Kaeng Khro và Khon Sawan thuộc tỉnh Chaiyaphum, Kaeng Sanam Nang và Ban Lueam của tỉnh Nakhon Ratchasima, và Noen Sa-nga, Ban Khwao và Nong Bua Daeng.

Các vườn quốc gia Phu Lankha và Tat Ton nằm ở Mueang Chaiyaphum.

Hành chính
Huyện này được chia thành 19 phó huyện (tambon), các đơn vị này lại được chia thành 216 làng (muban). Chaiyaphum itself has town (thesaban mueang) status, và nằm trên lãnh thổ của toàn bộ tambon Nai Mueang. Ban Khai có thị trấn (thesaban tambon) nằm trên một phần lãnh thổ của the tambon Ban Khai.

Tham khảo

Liên kết ngoài
 Phu Laenkha National Park
 Tat Ton National Park

Mueang Chaiyaphum


title: Lasioglossum blandulum

text:
Lasioglossum blandulum là một loài Hymenoptera trong họ Halictidae. Loài này được Cockerell mô tả khoa học năm 1929.

Chú thích

Tham khảo

Lasioglossum
Động vật được mô tả năm 1929


title: 1014

text:
Năm 1014 là một năm trong lịch Julius.

Sự kiện

Sinh

Mất

Tham khảo

1013 1015

Năm 1014


title: Pyrrhalta limbatus

text:
Pyrrhalta limbatus là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Laboissiere miêu tả khoa học năm 1927.

Chú thích

Tham khảo

Pyrrhalta


title: Bocula odontosema

text:
Bocula odontosema là một loài bướm đêm thuộc họ Noctuidae. Nó được tìm thấy ở Queensland.

Liên kết ngoài
 staff.it.uts.edu.au

Chú thích

Bocula
Động vật được mô tả năm 1909


title: Schwartziella corrugata

text:
Schwartziella corrugata là một loài ốc biển nhỏ, là động vật thân mềm chân bụng sống ở biển trong họ Rissoidae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Schwartziella


title: Roncesvalles

text:
Roncesvalles là một đô thị trong tỉnh và cộng đồng tự trị Navarre, Tây Ban Nha. Đô thị này có diện tích là 15,1 ki-lô-mét vuông, dân số năm 2009 là 30 người với mật độ người/km². Đô thị này có cự ly 47 km so với tỉnh lỵ Pamplona.

Tham khảo

Đô thị ở Navarre
Khu dân cư ở Navarre


title: Anophthalmus

text:
Anophthalmus là một chi bọ cánh cứng đặc hữu của châu Âu.

Các loài
Chi này có các loài sau:
Anophthalmus ajdovskanus
Anophthalmus alphonsi
Anophthalmus amplus
Anophthalmus baratellii
Anophthalmus bernhaueri
Anophthalmus besnicensis
Anophthalmus bohiniensis
Anophthalmus bojani
Anophthalmus bukoveci
Anophthalmus capillatus
Anophthalmus daffneri
Anophthalmus driolii
Anophthalmus egonis
Anophthalmus erebus
Anophthalmus fabbrii
Anophthalmus fallaciosus
Anophthalmus gabriellae
Anophthalmus gobanzi
Anophthalmus gridellii
Anophthalmus haraldianus
Anophthalmus hauckei
Anophthalmus heteromorphus
Anophthalmus hirtus
Anophthalmus hitleri
Anophthalmus jalzici
Anophthalmus kahleni
Anophthalmus kaufmanni
Anophthalmus kerteczi
Anophthalmus kofleri
Anophthalmus leander
Anophthalmus maderi
Anophthalmus manhartensis
Anophthalmus mayeri
Anophthalmus meggiolaroi
Anophthalmus micklitzi
Anophthalmus nivalis
Anophthalmus paciuchensis
Anophthalmus pretneri
Anophthalmus ravasinii
Anophthalmus sanctaeluciae
Anophthalmus schatzmayri
Anophthalmus schaumi
Anophthalmus schmidti
Anophthalmus scopolii
Anophthalmus seppenhoferi
Anophthalmus severi
Anophthalmus spectabilis
Anophthalmus tolminensis
Anophthalmus winklerianus

Hình ảnh

Tham khảo

Liên kết ngoài
Anophthalmus at Fauna Europaea

Trechini


title: Péronville

text:
Péronville  là một xã thuộc tỉnh Eure-et-Loir trong vùng Centre-Val de Loire ở bắc trung bộ nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 214 mét trên mực nước biển.

Tham khảo

Xã của Eure-et-Loir


title: Pin điện

text:
Pin (bắt nguồn từ từ tiếng Pháp pile), còn được viết theo tiếng Anh là "battery", là một hoặc nhiều pin điện hóa (electrochemical cell) biến đổi năng lượng hóa học thành năng lượng điện. Từ khi được sáng chế lần đầu ("pin Volta") năm 1800 bởi Alessandro Volta, pin đã trở thành nguồn năng lượng thông dụng cho nhiều đồ vật trong gia đình cũng như cho các ứng dụng công nghiệp. Theo ước lượng năm 2005, công nghiệp sản xuất pin mang lại doanh thu 48 tỷ USD mỗi năm, với tốc độ tăng trưởng 6% trên năm.

Có hai loại pin: pin sơ cấp (pin dùng 1 lần), được thiết kế để sử dụng 1 lần sau đó vứt đi, và pin thứ cấp (pin nạp được), được thiết kế để nạp được nhiều lần. Các pin cỡ nhỏ được sản xuất cho các thiết bị tiêu thụ ít năng lượng như đồng hồ đeo tay; những pin lớn có thể cung cấp năng lượng cho các phuơng tiện giao thông chạy điện như xe máy điện, ô tô điện, hoặc các hệ thống lưu trữ năng lượng.

Pin phổ biến và xuất hiện nhiều nhất ngày nay là pin lithium, nó có hiệu suất cao và tuổi thọ dài nên thường được sử dụng nhiều trên hầu hết các thiết bị cần khả năng lưu trữ điện hiện đại.

Lịch sử
Nhà vật lý người Ý Alessandro Volta đã chế tạo và mô tả pin điện hóa đầu tiên, cọc voltaic,vào năm 1800.  Đây là một chồng các tấm đồng và kẽm, được ngăn cách bởi các đĩa giấy ngâm nước muối, có thể tạo ra một dòng điện ổn định trong một khoảng thời gian đáng kể. Volta không hiểu rằng điện áp là do phản ứng hóa học. Ông nghĩ rằng các tế bào của ông là một nguồn năng lượng vô tận, và các tác động ăn mòn liên quan tại các điện cực chỉ là một mối phiền toái, chứ không phải là hậu quả không thể tránh khỏi của hoạt động của chúng, như Michael Faraday đã chỉ ra vào năm 1834.

Mặc dù pin ban đầu có giá trị lớn cho mục đích thử nghiệm, nhưng trên thực tế điện áp của chúng dao động và chúng không thể cung cấp dòng điện lớn trong một thời gian dài. Tế bào Daniell,được phát minh vào năm 1836 bởi nhà hóa học người Anh John Frederic Daniell,là nguồn điệnthực tế đầu tiên, trở thành một tiêu chuẩn công nghiệp và xem việc áp dụng rộng rãi như một nguồn năng lượng cho các mạng lưới điện báo.  Nó bao gồm một nồi đồng chứa đầy dung dịch sunfat đồng, trong đó được ngâm một thùng chứa đất nung chứa đầy axit sulfuric và điện cực kẽm.

Những tế bào ướt này sử dụng chất điện phân lỏng, dễ bị rò rỉ và tràn nếu không được xử lý đúng cách. Nhiều người đã sử dụng lọ thủy tinh để giữ các thành phần của chúng, khiến chúng dễ vỡ và có khả năng nguy hiểm. Những đặc điểm này làm cho các tế bào ướt không phù hợp với các thiết bị di động. Gần cuối thế kỷ XIX, việc phát minh ra pin pin khô, thay thế chất điện phân lỏng bằng một hỗn hợp sền sệt, đã làm cho các thiết bị điện di động trở nên thực tế.

Tham khảo

Pin
Từ gốc Pháp
Phát minh của Ý

si:විදුලි කෝෂය (විද්‍යුතය)


title: Anabolia yunnanensis

text:
Anabolia yunnanensis là một loài Trichoptera trong họ Limnephilidae. Chúng phân bố ở miền Ấn Độ - Mã Lai.

Tham khảo

Anabolia


title: Saraca declinata

text:
Thô hay vàng anh hoa nhỏ (Saraca declinata) là một loài thực vật thuộc họ Fabaceae. Đây loài hoa biểu tượng của tỉnh Yala, Thái Lan.
Loài này phân bố ở Thái Lan, Myanmar, Việt Nam (Vườn quốc gia Phong Nha - Kẻ Bàng). Loài này được du nhập vào Ceylon.

Tham khảo

Đọc thêm
 Kress, W. John, DeFilipps, Robert A., Farr, Ellen, & Kyi, Daw Yin Yin. (2003). A Checklist of the Trees, Shrubs, Herbs, and Climbers of Myanmar. Washington, D. C.: National Museum of Natural History.

declinata
Thực vật Việt Nam
Thực vật Myanmar
Thực vật Thái Lan


title: Kalophrynus palmatissimus

text:
Kalophrynus palmatissimus là một loài ếch trong họ Nhái bầu. Chúng là loài đặc hữu của Malaysia.
Môi trường sống tự nhiên của chúng là các khu rừng ẩm ướt đất thấp nhiệt đới hoặc cận nhiệt đới. Loài này đang bị đe dọa do mất môi trường sống.

Nguồn
 Yaakob, N., Sukumaran, J. & Tzi Ming, L. 2004. Kalophrynus palmatissimus. 2006 IUCN Red List of Threatened Species.  Truy cập 23 tháng 7 năm 2007.

Tham khảo

Liên kết ngoài
Amphibian and Reptiles of bán đảo Mã Lai - Kalophrynus palmatissimus

Kalophrynus


title: Saint-Jacques-de-Thouars

text:
Saint-Jacques-de-Thouars là một xã thuộc tỉnh Deux-Sèvres trong vùng Nouvelle-Aquitaine phía tây nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 100 mét trên mực nước biển.

Tham khảo
INSEE

Xã của Deux-Sèvres


title: Chalepoxenus muellerianus

text:
Chalepoxenus muellerianus là một loài kiến thuộc họ Formicidae. Đây là loài đặc hữu của Ý.

Chú thích

Tham khảo

 Social Insects Specialist Group 1996. Chalepoxenus muellerianus. 2006 IUCN Red List of Threatened Species. Truy cập 31 tháng 7 năm 2007.

Động vật cánh màng châu Âu
Chalepoxenus


title: Föhrden-Barl

text:
Föhrden-Barl là một đô thị ở huyện Segeberg, bang Schleswig-Holstein, Đức. Đô thị Föhrden-Barl có diện tích 9,23 km², dân số thời điểm ngày 31 tháng 12 năm 2006 là 285 người.

Tham khảo

Xã và đô thị ở huyện Segeberg


title: Andrena hibernica

text:
Andrena hibernica là một loài Hymenoptera trong họ Andrenidae. Loài này được Warncke mô tả khoa học năm 1975.

Chú thích

Tham khảo

H
Động vật được mô tả năm 1975


title: Nakhon Thai (huyện)

text:
Nakhon Thai (, phiên âm: Nákhon Thay) là một huyện (amphoe) ở phía đông của tỉnh Phitsanulok, phía bắc Thái Lan.

Địa lý
Các huyện giáp ranh (từ phía tây nam theo chiều kim đồng hồ) là Wang Thong, Chat Trakan của tỉnh Phitsanulok, Na Haeo, Dan Sai của tỉnh Loei và Khao Kho của tỉnh Phetchabun.

Vườn quốc gia Phu Hin Rong Kla nằm ở huyện Nakhon Thai.

Nakhon Thai nằm trong lưu vực sông Nan, một phần của lưu vực sông Chao Phraya. Ngoài ra huyện này còn có sông Khwae Noi,  Fia (tiếng Thái:  ลำน้ำเฟี้ย) và Kaem (tiếng Thái:  ลำน้ำแขม).

Hành chính
Huyện này được chia thành 11 phó huyện (tambon), các đơn vị này lại được chia ra thành 142 làng (muban). Nakhon Thai là một thị trấn (thesaban tambon) which nằm trên một phần của the tambon Nakhon Thai. Có 10 tổ chức hành chính tambon.

Tham khảo

Liên kết ngoài
amphoe.com (tiếng Thái)
Vườn quốc gia Phu Hin Rong Kla

Nakhon Thai


title: Sigy-en-Bray

text:
Sigy-en-Bray là một xã thuộc tỉnh Seine-Maritime trong vùng Normandie miền bắc nước Pháp.

Dân số

Xem thêm
Xã của tỉnh Seine-Maritime
Seine-Maritime
Normandy

Tham khảo
INSEE

Liên kết ngoài
Sigy-en-Bray on the Quid website

Xã của Seine-Maritime


title: Résenlieu

text:
Résenlieu là một xã thuộc tỉnh Orne trong vùng Normandie tây bắc nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 300 mét trên mực nước biển.

Tham khảo

INSEE

Xã của Orne


title: Klondike (trò chơi)

text:
Klondike (hay Canfield) là trò chơi bài một người chơi, cũng đồng thời là biến thể phổ biến nhất khi nhắc tới các trò chơi trong dòng Solitaire hay Patience. Klondike được đánh giá là trò chơi "vượt qua những lời giải thích", khi có tỉ lệ chiến thắng (hoàn thành một ván chơi) rất thấp so với các trò chơi khác. Cũng bởi vậy, trò chơi này có rất nhiều biến thể con như Batsford, Easthaven, King Albert, hoặc một vài biến thể tới từ Hoa Kỳ như Agnes và Westcliff.

Tên gọi
Ở Mỹ và Canada, khi nhắc tới cụm từ "Solitaire" mà không đề cập thêm gì, người ta thường nghĩ tới trò chơi Klondike này, và Solitaire được coi là một tên gọi khác của Klondike. Điều đó cũng xảy ra ở Vương quốc Liên hiệp Anh và Bắc Ireland, và họ gọi trò chơi này là "Patience", còn ở các nơi khác là "American Patience" - Patience của người Mỹ.

Trong quá khứ, Klondike cũng được gọi là Canfield tại Mỹ, nhiều người cho rằng là do đây vốn là một trò chơi tại sòng bạc Canfield, Saratoga Springs, New York - và cái tên này cũng đã được biết tới ở Anh. Tuy nhiên, ngày nay từ "Canfield" giống như cái tên phiên bản Mỹ của trò chơi Demon ở Anh - cũng là một trò chơi thuộc dòng Solitaire. Cũng có những tin đồn cho rằng trò chơi này được tạo ra bởi Richard Albert Canfield nên mới có cái tên như vậy, mặc dù chính bản thân ông gọi trò chơi của mình là Klondike.

Ra đời
Theo các nhà nghiên cứu, trò chơi này trở nên phổ biến vào cuối thế kỉ XIX, và có thể đã được đặt cái tên Klondike như hiện nay ở Canada, khi mà cơn sốt vàng Klondike đã xảy ra tại đây trong giai đoạn 1896-1899. Trò chơi sớm nhất có luật chơi giống với Klondike như hiện nay xuất hiện trong phiên bản năm 1907 của cuốn Hoyle's Official Book of Games dưới cái tên "Seven-Card Klondike" (Klondike 7 lá). Trò chơi mang tên Klondike cũng xuất hiện trong cuốn sách đó, tuy nhiên lại trở thành một trò chơi mang tính cờ bạc - nó chính là Canfield (ở Mỹ), hay Demon sau này.

Trong ấn bản năm 1913 của cuốn sách Official Rules of Card Games (Luật chơi chính thức của các trò chơi bài), cái tên "Seven-Card Klondike" đã được rút gọn trở thành Klondike, với khác biệt ở việc chỉ rút một quân bài từ tập nguồn thay vì ba, và trò chơi mang tên Klondike đã chính thức lấy tên là Canfield.

Sự xuất hiện của Klondike trong Microsoft Windows vào những năm 1990 cũng góp phần phổ biến trò chơi này như hiện nay. Klondike được đánh giá là biến thể nổi tiếng nhất trong dòng trò chơi Solitaire.

Luật chơi
phải|nhỏ|300x300px|Trò chơi Klondike trong màn hình GNOME. Có hai nước chuyển bài hợp lệ: Từ J cơ (cột 5) sang Q nhép (cột 6); và từ 5 cơ (cột 7) sang 6 pích (cột 3).
Klondike được chơi bằng một bộ bài tú lơ khơ 52 lá, trừ những quân Phăng teo.

Sau khi tráo bài ngẫu nhiên, một bàn chơi gồm có 7 cột bài sẽ được xếp từ trái sang phải. Từ trái sang phải, mỗi cột sẽ có nhiều hơn 1 quân bài hơn cột ở trước theo số lượng 1-2-3-4-5-6-7 mỗi cột, và lá bài trên cùng của mỗi cột sẽ được lật ngửa lên. Số bài còn lại chưa xếp vào 7 cột này thường được đặt úp tại góc trái trên cùng bàn chơi, được gọi là tập nguồn. Ở góc phải trên cùng là vị trí của bốn dây bài, là nơi mà các quân bài từ át (bé nhất) tới Già - K của mỗi chất riêng biệt là cơ, rô, bích, tép được sắp xếp vào từ các quân bài đã lật ngửa tại bàn chơi - và để chiến thắng một ván chơi Klondike, người chơi cần phải sắp xếp đủ 52 quân bài vào cả 4 dây bài này theo thứ tự A-2-3-4-5-6-7-8-9-10-J-Q-K.

Có ba loại nước đi bài hợp lệ để góp phần chiến thắng trò chơi, đó là:
 Di chuyển những cây bài ngửa trong một cột sang một cột khác, sao cho sau khi di chuyển phải tạo được một dây với cây bài sẵn có trên cột mới mà ở đó, màu của quân bài được di chuyển tới phải khác với màu của quân bài ban đầu.
 Trường hợp cây bài lật ngửa dưới cùng là át hoặc có số liền sát cùng chất với cây bài ở dây bài thì ta chuyển cây bài đó từ cột dưới lên dây bài. Các quân bài trong dây bài có thể được tái sử dụng lại trong bàn chơi, theo thứ tự rút dần từ dây bài xuống.
 Khi có một cột rỗng (không chứa quân bài nào), người chơi có thể đặt vào đó một lá K (già) bất kỳ.

 Trong trường hợp những nước di chuyển trên không thể thực hiện hợp lệ, người chơi sẽ rút ba - hoặc một quân bài từ tập nguồn để sử dụng cho mục đích tương tự ba nước đi tiếp theo.

Nếu người chơi không còn khả năng thực hiện một nước đi nào hợp lệ và có ý nghĩa nữa, ván chơi thất bại và ở thời điểm này, không còn khả năng chiến thắng ván chơi đó nữa.

Tham khảo

Trò chơi trên Windows
Trò chơi trên thiết bị di động


title: Ctenopelta porifera

text:
Ctenopelta porifera là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển thuộc họ Peltospiridae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Ctenopelta


title: Bellamya phthinotropis

text:
Bellamya phthinotropis là một loài ốc nước ngọt cỡ lớn có mang và vảy, là động vật thân mềm chân bụng sống dưới nước thuộc họ Viviparidae.

Loài này có ở Kenya, Tanzania, và Uganda.

Tham khảo

 Brown, D.S. 1996. Bellamya phthinotropis. 2006 IUCN Red List of Threatened Species.  Truy cập 6 tháng 8 năm 2007.

Bellamya


title: Sao xanh

text:
Sao xanh hay sao lá mía (danh pháp khoa học: Hopea helferi) là một loài thực vật thuộc chi Sao, họ Dầu, phân bố tự nhiên ở các nước Campuchia, Ấn Độ, Malaysia, Myanmar và Thái Lan.

Tham khảo

H
Thực vật loài cực kỳ nguy cấp châu Á
Loài nguy cấp theo Sách đỏ IUCN
Cây Đông Dương
Cây Malaysia bán đảo


title: Eupetersia similis

text:
Eupetersia similis là một loài Hymenoptera trong họ Halictidae. Loài này được Benoist mô tả khoa học năm 1950.

Chú thích

Tham khảo

Eupetersia
Động vật được mô tả năm 1950


title: USB

text:
USB (Universal Serial Bus) là một chuẩn kết nối và truyền dữ liệu số tuần tự, tốc độ cao, đa năng, đa môi trường, dùng trong dân dụng, công nghiệp, môi trường cố định, di chuyển trên ô tô như: cổng sạc, màn hình trên ô tô, camera hành trình. Do sử dụng đa môi trường nên USB là chuẩn phổ biến nhất hiện nay với khoảng 2 tỷ cổng sản xuất/năm.

USB có khả năng nổi bật đó là khả năng cắm nóng và khả năng cấp năng lượng điện cho ngoại vi. Ban đầu, USB sử dụng để kết nối các thiết bị ngoại vi với máy tính, chúng thường được thiết kế dưới dạng các đầu cắm cho các thiết bị tuân theo chuẩn cắm-và-chạy mà với tính năng cắm nóng thiết bị (nối và ngắt các thiết bị không cần phải khởi động lại hệ thống).
Được phát hành vào năm 1996, tiêu chuẩn USB hiện được duy trì bởi tổ chức USB-IF.  Đã có bốn thế hệ USB, gồm: USB 1.x, USB 2.0, USB 3.x và USB4

Tổng quan
USB ban đầu được thiết kế để chuẩn hóa kết nối của thiết bị ngoại vi với máy tính để giao tiếp và cung cấp năng lượng điện. Nó đã thay thế phần lớn các giao diện như cổng nối tiếp và song song. USB đã trở nên phổ biến trên nhiều loại thiết bị. Ví dụ về thiết bị ngoại vi được kết nối qua USB bao gồm bàn phím, chuột máy tính, máy quay phim, máy in, đầu đĩa DVD, trình phát đa phương tiện di động, ổ đĩa và bộ điều hợp mạng...
Hiện các cổng kết nối USB đang dần thay thế các loại cáp sạc khác của các thiết bị di động.

Nhận dạng ổ cắm
Phần này nhằm cho phép xác định nhanh các ổ cắm USB trên thiết bị

Ưu điểm
USB được phát triển để đơn giản hóa và cải thiện giao diện giữa máy tính cá nhân và thiết bị ngoại vi, khi so sánh với các giao diện độc quyền tiêu chuẩn hoặc đặc biệt hiện có trước đây

Từ quan điểm của người dùng máy tính, giao diện USB cải thiện tính dễ sử dụng theo một số cách:
 Giao diện USB có thể tự cấu hình, giúp người dùng không cần phải điều chỉnh cài đặt của thiết bị về tốc độ hoặc định dạng dữ liệu, hoặc định cấu hình ngắt, địa chỉ đầu vào/ra hoặc kênh truy cập bộ nhớ trực tiếp.
 Đầu nối USB được tiêu chuẩn hóa tại máy chủ, vì vậy bất kỳ thiết bị ngoại vi nào cũng có thể sử dụng hầu hết các ổ cắm có sẵn.
 USB tận dụng tối đa sức mạnh xử lý bổ sung có thể được đưa vào các thiết bị ngoại vi để chúng có thể tự quản lý. Do đó, các thiết bị USB thường không có cài đặt giao diện người dùng điều chỉnh.
 Giao diện USB có thể rút nóng (có thể trao đổi thiết bị mà không cần khởi động lại máy tính).
 Các thiết bị nhỏ có thể được cấp nguồn trực tiếp từ giao diện USB, loại bỏ sự cần thiết của cáp cấp nguồn bổ sung.
 Vì chỉ cho phép sử dụng biểu trưng USB sau khi kiểm tra tuân thủ, người dùng có thể tin tưởng rằng thiết bị USB sẽ hoạt động như mong đợi mà không cần tương tác nhiều với các cài đặt và cấu hình.
 Giao diện USB xác định các giao thức để khôi phục từ các lỗi phổ biến, cải thiện độ tin cậy so với các giao diện trước đó.
 Cài đặt một thiết bị dựa trên tiêu chuẩn USB yêu cầu thao tác tối thiểu của người vận hành. Khi người dùng cắm thiết bị vào một cổng trên máy tính đang chạy, thiết bị đó hoàn toàn tự động định cấu hình bằng cách sử dụng trình điều khiển thiết bị hiện có hoặc hệ thống nhắc người dùng tìm trình điều khiển, sau đó cài đặt và cấu hình tự động.
 Tiêu chuẩn USB cũng cung cấp nhiều lợi ích cho các nhà sản xuất phần cứng và nhà phát triển phần mềm, đặc biệt là ở sự dễ thực hiện tương đối:
 Tiêu chuẩn USB loại bỏ yêu cầu phát triển các giao diện độc quyền cho các thiết bị ngoại vi mới.
 Một loạt các tốc độ truyền có sẵn từ giao diện USB phù hợp với các thiết bị khác nhau, từ bàn phím và chuột cho đến giao diện video trực tuyến.
 Giao diện USB có thể được thiết kế để cung cấp độ trễ khả dụng tốt nhất cho các chức năng quan trọng về thời gian hoặc có thể được thiết lập để thực hiện chuyển dữ liệu hàng loạt trong nền mà ít ảnh hưởng đến tài nguyên hệ thống.
 Giao diện USB được tổng thể hóa không có đường tín hiệu chỉ dành riêng cho một chức năng của một thiết bị

Tiêu chuẩn USB cũng cung cấp nhiều lợi ích cho các nhà sản xuất phần cứng và nhà phát triển phần mềm, đặc biệt là ở sự dễ dàng thực hiện:
 Tiêu chuẩn USB loại bỏ yêu cầu phát triển các giao diện độc quyền cho các thiết bị ngoại vi mới.
 Nhiều tốc độ truyền có sẵn từ giao diện USB phù hợp với các thiết bị khác nhau, từ bàn phím và chuột cho đến giao diện video trực tuyến.
 Giao diện USB có thể được thiết kế để cung cấp độ trễ tốt nhất cho các chức năng quan trọng về thời gian hoặc có thể được thiết lập để thực hiện chuyển dữ liệu hàng loạt trong nền mà ít ảnh hưởng đến tài nguyên hệ thống.
 Giao diện USB được tổng thể hóa không có đường tín hiệu chỉ dành riêng cho một chức năng của một thiết bị.

Hạn chế
Như với tất cả các tiêu chuẩn, USB có nhiều hạn chế đối với thiết kế của nó:
 Cáp USB có chiều dài hạn chế khoảng 5 mét, sử dụng hub thì có thể nối dài 30 mét, vì tiêu chuẩn này dành cho các thiết bị ngoại vi trên cùng một không gian hẹp, không phải giữa các phòng hoặc tòa nhà. Tuy nhiên, một cổng USB có thể được kết nối với một cổng truy cập các thiết bị ở xa.
 USB có cấu trúc liên kết mạng cây nghiêm ngặt và giao thức chủ / tớ để định địa chỉ các thiết bị ngoại vi; các thiết bị đó không thể tương tác với nhau ngoại trừ thông qua máy chủ lưu trữ và hai máy chủ không thể giao tiếp trực tiếp qua cổng USB của chúng. Có thể thực hiện một số phần mở rộng cho giới hạn này thông qua USB On-The-Go, thiết bị Dual-Role và bức tường giao thức.
 Máy chủ lưu trữ không thể phát tín hiệu đến tất cả các thiết bị ngoại vi cùng một lúc — mỗi thiết bị phải được định địa chỉ riêng. Một số thiết bị ngoại vi tốc độ rất cao yêu cầu tốc độ ổn định không có trong tiêu chuẩn USB.
 Mặc dù các bộ chuyển đổi tồn tại giữa một số giao diện cũ và USB, chúng có thể không cung cấp triển khai đầy đủ của phần cứng kế thừa. Ví dụ: bộ chuyển đổi cổng USB sang cổng song song có thể hoạt động tốt với máy in, nhưng không hoạt động tốt với máy quét yêu cầu sử dụng chân dữ liệu hai chiều.

Đối với một nhà phát triển sản phẩm, việc sử dụng USB yêu cầu thực hiện một giao thức phức tạp và ngụ ý một bộ điều khiển "thông minh" trong thiết bị ngoại vi. Các nhà phát triển thiết bị USB dự định bán công khai thường phải có USB ID. Điều này yêu cầu họ phải trả phí cho USB-IF. Các nhà phát triển sản phẩm sử dụng thông số kỹ thuật USB phải ký thỏa thuận với USB-IF. Việc sử dụng biểu trưng USB trên sản phẩm yêu cầu phí hàng năm và là thành viên của tổ chức.

Lịch sử
Bảy công ty bao gồm: Compaq, DEC, IBM, Intel, Microsoft, NEC và Nortel bắt đầu phát triển USB vào năm 1994. Mục đích là làm cho việc kết nối thiết bị bên ngoài với PC về cơ bản dễ dàng hơn bằng cách thay thế vô số đầu nối ở phía sau PC, giải quyết các vấn đề về khả năng sử dụng của các giao diện hiện có và đơn giản hóa cấu hình phần mềm của tất cả các thiết bị được kết nối với USB, cũng như cho phép tốc độ dữ liệu cho các thiết bị bên ngoài. Ajay Bhatt và nhóm của ông đã làm việc dựa trên tiêu chuẩn tại Intel; các mạch tích hợp đầu tiên hỗ trợ USB được Intel sản xuất vào năm 1995.

Thông số kỹ thuật ban đầu của USB 1.0, được giới thiệu vào tháng 1 năm 1996, xác định tốc độ truyền dữ liệu là 1,5 Mbit/s (thấp) và 12 Mbit/s (đầy đủ). Các thiết kế dự thảo đã yêu cầu một bus tốc độ đơn 5 Mbit / s, nhưng tốc độ thấp đã được thêm vào để hỗ trợ các thiết bị ngoại vi giá rẻ với cáp không có lớp bảo vệ. Các thiết kế dự thảo đã yêu cầu một bus tốc độ đơn 5 Mbit/s, nhưng tốc độ thấp đã được thêm vào để hỗ trợ các thiết bị ngoại vi giá rẻ với cáp không được che chắn, dẫn đến thiết kế tách rời với tốc độ dữ liệu 12 Mbit/s dành cho các thiết bị tốc độ cao hơn chẳng hạn như máy in và ổ đĩa mềm, và tốc độ 1,5 Mbit/s thấp hơn cho các thiết bị tốc độ dữ liệu thấp như bàn phím, chuột máy tính và joystick. Windows 95, OSR 2.1 cung cấp hỗ trợ OEM cho các thiết bị vào tháng 8 năm 1997. Phiên bản đầu tiên được sử dụng rộng rãi là USB 1.1, được phát hành vào tháng 9 năm 1998. iMac của Apple Inc. là sản phẩm chính đầu tiên có USB và thành công của iMac đã giúp USB phổ biến. Sau quyết định thiết kế của Apple để loại bỏ tất cả các cổng cũ khỏi iMac, nhiều nhà sản xuất PC đã bắt đầu xây dựng các PC không có thiết kế cũ, dẫn đến thị trường PC sử dụng USB làm chuẩn kết nối chính trở lên rộng lớn hơn.

Đặc điểm kỹ thuật USB 2.0 được phát hành vào tháng 4 năm 2000 và đã được USB-IF phê chuẩn vào cuối năm 2001. Hewlett-Packard, Intel, Lucent Technologies (nay là Nokia), NEC và Philips cùng dẫn dắt sáng kiến phát triển tốc độ truyền dữ liệu cao hơn, với đặc điểm kỹ thuật đạt được là 480 Mbit/s, nhanh gấp 40 lần so với thông số kỹ thuật ban đầu của USB 1.1.

Thông số kỹ thuật của USB 3.0 được xuất bản vào ngày 12 tháng 11 năm 2008. Mục tiêu chính của nó là tăng tốc độ truyền dữ liệu (lên đến 5 Gbit/s), giảm tiêu thụ điện năng, tăng công suất đầu ra và tương thích ngược với USB 2.0. USB 3.0 bao gồm một bus tốc độ cao hơn mới được gọi là SuperSpeed song song với USB 2.0. Vì lý do này, phiên bản mới còn được gọi là SuperSpeed. Các thiết bị được trang bị USB 3.0 đầu tiên đã được giới thiệu vào tháng 1 năm 2010.

, khoảng 6 tỷ cổng và giao diện USB đã có mặt trên thị trường toàn cầu và khoảng 2 tỷ cổng được bán mỗi năm.

Thông số kỹ thuật USB 3.1 đã được ra mắt vào tháng 7 năm 2013.

Vào tháng 12 năm 2014, USB-IF đã trình làng thông số kỹ thuật USB 3.1, USB Power Delivery 2.0 và USB-C cho IEC (TC 100 - Hệ thống và thiết bị âm thanh, video và đa phương tiện) để đưa vào tiêu chuẩn quốc tế IEC 62680 (Giao diện Bus nối tiếp đa năng cho dữ liệu và nguồn), hiện đang dựa trên USB 2.0.

Thông số kỹ thuật USB 3.2 đã được ra mắt vào tháng 9 năm 2017.

USB 1.x
Được phát hành vào tháng 1 năm 1996, tốc độ dữ liệu quy định USB 1.0 là 1,5 Mbps (Băng thông thấp) và 12 Mbps (đầy đủ). Nó không cho phép cáp mở rộng hoặc màn hình xuyên qua, do giới hạn về thời gian và điện áp. Rất ít thiết bị USB xuất hiện trên thị trường cho đến khi USB 1.1 được phát hành vào tháng 8 năm 1998. USB 1.1 là bản sửa đổi sớm nhất được áp dụng rộng rãi và dẫn đến cái mà Microsoft chỉ định là "PC không có di sản".

Cả USB 1.0 và 1.1 đều không chỉ định thiết kế cho bất kỳ đầu nối nào nhỏ hơn tiêu chuẩn loại A hoặc loại B. Mặc dù nhiều thiết kế cho đầu nối loại B thu nhỏ đã xuất hiện trên nhiều thiết bị ngoại vi, nhưng sự phù hợp với tiêu chuẩn USB 1.x đã bị cản trở bởi việc xử lý các thiết bị ngoại vi có các đầu nối thu nhỏ như thể chúng có kết nối bằng dây (nghĩa là: không có phích cắm hoặc ổ cắm ở đầu ngoại vi). Không có đầu nối loại A thu nhỏ nào được biết đến cho đến khi USB 2.0 (phiên bản số 1.01) ra mắt.

USB 2.0

USB phiên bản 2.0 được đưa ra vào tháng 4 năm 2000 (lúc đó Windows 2000 đã ra mắt cũng sẽ sớm tương thích với USB 2.0 vì hệ điều hành Windows 2000) và xem như bản cải tiến của USB 1.1. USB 2.0 (loại tốc độ cao) mở rộng băng thông cho ứng dụng đa truyền thông và truyền với tốc độ nhanh hơn 50 lần so với USB 1.1. Để có sự chuyển tiếp các thiết bị mới, USB 2.0 có đầy đủ khả năng tương thích với những thiết bị USB trước đó và cũng hoạt động tốt với những sợi cáp, đầu cắm dành cho cổng USB trước đó. Nó Hỗ trợ ba chế độ tốc độ (1,5 Mbps; 12 Mbps và 480 Mbps), USB 2.0 hỗ trợ những thiết bị chỉ cần băng thông thấp như bàn phím và chuột, cũng như thiết bị cần băng thông lớn như webcam, máy quét, máy in, máy quay và những hệ thống lưu trữ lớn. Sự phát triển của chuẩn USB 2.0 đã cho phép những nhà phát triển phần cứng phát triển các thiết bị giao tiếp nhanh hơn, thay thế các chuẩn giao tiếp song song và tuần tự cổ điển trong công nghệ máy tính. USB 2.0 và các phiên bản kế tiếp của nó trong tương lai sẽ giúp các máy tính có thể đồng thời làm việc với nhiều thiết bị ngoại vi hơn.

Hiện nay, nhiều máy tính cùng tồn tại song song hai chuẩn USB 2.0 và 3.0, người sử dụng nên xác định rõ các cổng 2.0 để sử dụng hiệu quả. Thông thường hệ điều hành Windows Vista có thể cảnh báo nếu một thiết bị USB 1.1 được cắm vào cổng USB 2.0.

USB 3.x

Thông số kỹ thuật USB 3.0 được phát hành vào ngày 12 tháng 11 năm 2008, với việc quản lý của nó được chuyển từ Nhóm quảng bá USB 3.0 sang USB-IF và được công bố vào ngày 17 tháng 11 năm 2008 tại Hội nghị các nhà phát triển USB SuperSpeed.

USB 3.0 bổ sung chế độ truyền SuperSpeed, với các phích cắm, ổ cắm và cáp tương thích ngược đi kèm. Ổ cắm và đầu nối SuperSpeed được xác định bằng biểu tượng riêng biệt và các miếng chèn màu xanh lam trong ổ cắm định dạng tiêu chuẩn.

Chế độ SuperSpeed cung cấp một chế độ truyền với tốc độ lý thuyết là 5,0 Gbps, ngoài ba chế độ truyền hiện có. Hiệu quả của nó phụ thuộc vào một số yếu tố bao gồm mã hóa ký hiệu vật lý và chi phí cấp liên kết. Ở tốc độ báo hiệu 5 Gbps với mã hóa 8b / 10b, mỗi byte cần 10 bit để truyền, do đó thông lượng thô là 500 MB/s. Khi điều khiển luồng, đóng khung gói và chi phí giao thức được xem xét, việc truyền tải tới một ứng dụng ở mức 400 MB/s (3,2 Gbps) trở lên là thực tế. Giao tiếp là song công trong truyền SuperSpeed chế độ; các chế độ trước đó là bán song công, do máy chủ phân xử.

Các thiết bị công suất thấp và công suất cao vẫn hoạt động với tiêu chuẩn này, nhưng các thiết bị sử dụng SuperSpeed có thể tận dụng lợi thế của dòng điện khả dụng tăng lên tương ứng từ 150 mA đến 900 mA.

USB 3.0 cũng giới thiệu giao thức UASP, cung cấp tốc độ truyền nói chung nhanh hơn so với giao thức BOT (Bulk-Only-Transfer).

USB 3.1, được phát hành vào tháng 7 năm 2013 có hai biến thể. Phiên bản đầu tiên giữ nguyên chế độ truyền SuperSpeed của USB 3.0 và được gắn nhãn USB 3.1 Gen 1 và phiên bản thứ hai giới thiệu chế độ truyền SuperSpeed+ mới dưới nhãn của USB 3.1 Gen 2. SuperSpeed+ tăng gấp đôi tín hiệu dữ liệu tối đa tốc độ xuống 10 Gbps, trong khi giảm chi phí mã hóa dòng xuống chỉ 3% bằng cách thay đổi sơ đồ mã hóa thành 128b/132b.

USB 3.2, được phát hành vào tháng 9 năm 2017, giữ nguyên các chế độ dữ liệu USB 3.1 SuperSpeed và SuperSpeed+ hiện có nhưng giới thiệu hai chế độ truyền SuperSpeed+ mới qua đầu nối USB-C với tốc độ dữ liệu là 10 và 20 Gbps (1,25 và 2,5 GB/s). Việc tăng băng thông là kết quả của hoạt động đa làn trên các dây hiện có nhằm mục đích cho khả năng lật đật của đầu nối USB-C.

Cách thức đặt tên
Bắt đầu với tiêu chuẩn USB 3.2, USB-IF đã giới thiệu một sơ đồ đặt tên mới. Để giúp các công ty xây dựng thương hiệu cho các chế độ truyền khác nhau, USB-IF đã khuyến nghị xây dựng thương hiệu cho các chế độ truyền 5, 10 và 20 Gbit/s là SuperSpeed USB 5Gbit/s, SuperSpeed USB 10Gbit/s và SuperSpeed USB 20Gbit/s, tương ứng:

USB4

nhỏ|The USB4 40Gbit/s logo
Thông số kỹ thuật của USB4 được USB-IF phát hành vào ngày 29 tháng 8 năm 2019.

USB4 dựa trên đặc điểm kỹ thuật của giao thức Thunderbolt 3. Nó hỗ trợ thông lượng 40 Gbit/s, tương thích với Thunderbolt 3 và tương thích ngược với USB 3.2 và USB 2.0. Kiến trúc xác định một phương pháp để chia sẻ động một liên kết tốc độ cao với nhiều loại thiết bị đầu cuối phục vụ tốt nhất cho việc truyền dữ liệu theo loại và ứng dụng.

Các đặc điểm kỹ thuật dưới đây sẽ cho thấy các công nghệ sau sẽ được hỗ trợ trong USB4:

Trong triển lãm CES 2020, USB-IF và Intel đã tuyên bố ý định cho phép các sản phẩm USB4 hỗ trợ tất cả các chức năng tùy chọn như các sản phẩm Thunderbolt 4. Các sản phẩm đầu tiên tương thích với USB4 dự kiến sẽ là dòng Tiger Lake của Intel và dòng CPU Zen 3 của AMD ra mắt vào cuối năm 2020.

Lịch sử các phiên bản

Các phiên bản đã ra mắt

Các phiên bản đặc biệt (sạc điện,...)

Những đặc trưng của USB

USB có những đặc trưng sau đây:
 Cho phép mở rộng 127 thiết bị kết nối cùng vào một máy tính thông qua một cổng USB duy nhất (bao gồm các hub USB);
 Những sợi cáp USB riêng lẻ có thể dài tới 5 mét; với những hub, có thể kéo dài tới 30 mét (6 sợi cáp nối tiếp nhau thông qua các hub) tính từ đầu cắm trên máy tính.
 Với USB 2.0 chuẩn tốc độ cao, đường truyền đạt tốc độ tối đa đến 480 Mbps.
 Cáp USB gồm hai sợi nguồn (+5V và dây chung GND) cùng một cặp gồm hai sợi dây xoắn để mang dữ liệu.
 Trên sợi nguồn, máy tính có thể cấp nguồn lên tới 500mA ở điện áp 5V một chiều (DC).
 Những thiết bị tiêu thụ công suất thấp (ví dụ: chuột, bàn phím, loa máy tính công suất thấp...) được cung cấp điện năng cho hoạt động trực tiếp từ các cổng USB mà không cần có sự cung cấp nguồn riêng (thậm chí các thiết bị giải trí số như SmartPhone, PocketPC ngày nay sử dụng các cổng USB để sạc pin). Với các thiết bị cần sử dụng nguồn công suất lớn (như máy in, máy quét...) không sử dụng nguồn điện từ đường truyền USB như nguồn chính của chúng, lúc này đường truyền nguồn chỉ có tác dụng như một sự so sánh mức điện thế của tín hiệu. Hub có thể có nguồn cấp điện riêng để cấp điện thêm cho các thiết bị sử dụng giao tiếp USB cắm vào nó bởi mỗi cổng USB chỉ cung cấp một công suất nhất định.
 Những thiết bị USB có đặc tính cắm nóng, điều này có nghĩa các thiết bị có thể được kết nối (cắm vào) hoặc ngắt kết nối (rút ra) trong mọi thời điểm mà người sử dụng cần mà không cần phải khởi động lại hệ thống.
 Nhiều thiết bị USB có thể được chuyển về trạng thái tạm ngừng hoạt động khi máy tính chuyển sang chế độ tiết kiệm điện.

Kết nối USB - máy tính

Khi một máy tính được cấp nguồn, nó truy vấn tất cả thiết bị được kết nối vào đường truyền và gán mỗi thiết bị một địa chỉ. Quy trình này được gọi là liệt kê – những thiết bị được liệt kê khi kết nối vào đường truyền. Máy tính cũng tìm ra từ mỗi thiết bị cách truyền dữ liệu nào mà nó cần để hoạt động:
 Ngắt - Một thiết bị như chuột hoặc bàn phím, gửi một lượng nhỏ dữ liệu, sẽ chọn chế độ ngắt.
 Hàng loạt - Một thiết bị như một chiếc máy in, nhận dữ liệu trong một gói lớn, sử dụng chế độ truyền hàng loạt. Một khối dữ liệu được gửi đến máy in (một khối 64 byte) và được kiểm tra để chắc chắn nó chính xác.
 Đẳng thời - Một thiết bị truyền dữ liệu theo chuỗi (lấy ví dụ như loa) sử dụng chế độ đẳng thời - kết nối liên tục. Những dòng dữ liệu giữa thiết bị và máy trong thời gian thực, và không có sự sửa lỗi ở đây.

Máy tính có thể gửi lệnh hay truy vấn tham số với điều khiển những gói tin.Khi những thiết bị được liệt kê, máy tính sẽ giữ sự kiểm tra đối với tổng băng thông mà tất cả những thiết bị đẳng thời và ngắt yêu cầu. Chúng có thể tiêu hao tới 90% của băng thông 480 Mbps cho phép.Sau khi 90% được sử dụng, máy tính sẽ từ chối mọi truy cập của những thiết bị đẳng thời và ngắt khác. Điều khiển gói tin và gói tin cho truyền tải hàng loạt sử dụng phần băng thông còn lại (ít nhất 10%).USB chia băng thông cho phép thành những khung, và máy tính điều khiển những khung đó. Khung chứa 1.500 byte, và một khung mới bắt đầu mỗi mili giây. Thông qua 1 khung, những thiết bị đẳng thời và ngắt lấy được một vị trí do đó chúng được đảm bảo băng thông mà chúng cần. Truyền tải hàng loạt và điều khiển truyền tải sử dụng phần còn lại.

Hub USB

Phần lớn những máy tính ta mua ngày nay có hai hoặc nhiều hơn một chút (có thể là 8 đến 10) đầu cắm USB được thiết kế sẵn trên các cổng xuất vào/ra hoặc các đầu cắm trên bo mạch chủ. Tuy nhiên người sử dụng có thể sử dụng các thiết bị ngoại vi hơn số cổng sẵn có qua khả năng mở rộng thiết bị trên các cổng USB thông qua các USB hub.

Các hub này có thể mở rộng ra rất nhiều cổng và nếu chúng được cung cấp nguồn điện từ bên ngoài (sử dụng các bộ adapter cấp nguồn riêng) sẽ cho phép các thiết bị USB sử dụng năng lượng từ hub mà không bị hạn chế bởi công suất giới hạn trên cổng USB trên máy tính.

Các USB hub hiện nay rất đa dạng về chủng loại, chuẩn hỗ trợ, số cổng mở rộng, hình dạng và thiết kế tích hợp. Nhiều thiết bị ngoại vi đã tích hợp các hub giúp cho người sử dụng dễ dàng cắm các thiết bị kết nối qua cổng USB, màn hình máy tính, bàn phím máy tính...cũng có thể được tích hợp USB hub.

Lưu ý: Một số thiết bị ngoại vi sử dụng các cổng USB để cấp nguồn cho chúng (như các ổ đĩa cứng gắn ngoài không có nguồn độc lập) với yêu cầu cắm vào đồng thời hai cổng USB thì điều này có nghĩa rằng chúng cần một công suất lớn hơn so với khả năng cung cấp của một cổng USB trên máy tính. Nếu sử dụng USB hub loại không có nguồn điện ngoài thì cũng trở thành vô nghĩa bởi đầu cắm còn lại của thiết bị ngoại vi này chỉ dùng để lấy điện. Sự vô ý này của rất nhiều người sử dụng đã làm hư hỏng bo mạch chủ bởi sự cung cấp điện năng quá tải giới hạn cho mỗi đầu ra USB.

Các thiết bị hoặc phương thức hỗ trợ giao tiếp USB
 Chuột
 Bàn phím
 Máy in
 Máy quét
 Xbox one
 Camera hành trình
Màn hình
 Modem giao tiếp thông qua USB thay cho cổng RJ-45 thông thường, thường thấy ở các modem ADSL hiện nay.
 Loa: Một số loại chỉ loa công suất thấp chỉ lấy nguồn từ đầu cắm USB (chúng vẫn cắm đường tín hiệu âm thanh từ bo mạch âm thanh thông thường, một số loại loa công suất cao chỉ lấy tín hiệu từ USB (chúng sử dụng nguồn điện riêng).
 Điện thoại VoIP: Điện thoại gọi thông qua Internet.
 Kết nối với các điện thoại di động, Điện thoại thông minh (SmartPhone), Thiết bị hỗ trợ cá nhân...
 Kết nối với những thiết bị lưu trữ mở rộng như: ổ Zip, ổ cứng gắn ngoài, ổ quang gắn ngoài, Ổ USB...
 Kết nối mạng giữa hai máy tính thông qua cáp USB.
 Các bộ chuyển đổi cổng: USB thành RS-232; USB thành PS/2; USB thành cổng Print truyền thống...
 Các bộ điều hợp sử dụng chuẩn giao tiếp USB: Hồng ngoại, Bluetooth, Wi-Fi...
 Các thiết bị nghiên cứu khoa học sử dụng giao tiếp USB để kết nối với máy tính.

Xem thêm
 Kết nối có dây
 Đầu đọc thẻ nhớ

Tham khảo

Liên kết ngoài

Tiếng Anh

 Home of USB Implementers Forum, Inc.
 Intel Universal Host Controller Interface (UHCI)

Bus nối tiếp
Phát minh của Hoa Kỳ
Đầu nối máy tính
Phát minh của Nhật Bản
Giới thiệu năm 1996
Bus máy tính
Giao thức tầng vật lý


title: Clayeures

text:
Clayeures  là một xã của tỉnh Meurthe-et-Moselle, thuộc vùng Grand Est, đông bắc nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 240 mét trên mực nước biển.

Tham khảo

Xã của Meurthe-et-Moselle


title: Roger Martin du Gard

text:
Roger Martin du Gard (23 tháng 3 năm 1881 – 23 tháng 8 năm 1958) là nhà văn, nhà viết kịch Pháp đoạt giải Nobel Văn học năm 1937.

Tiểu sử
Roger Martin du Gard sinh ở Neuilly-sur-Seine, ngoại ô Paris trong một gia đình viên chức khá giả có mấy đời làm luật sư. Năm 1906, sau khi tốt nghiệp trường Cao đẳng Lưu trữ (E'cole des Charter), ông tiếp tục nghiên cứu tâm thần học tại Paris. Năm 1908, trong vài tuần lễ ông viết xong và cho xuất bản cuốn sách đầu tiên có tựa đề Devenir (Trở thành) nhưng không mấy thành công. Ông chỉ thật sự nổi tiếng vào năm 1913, khi cho in cuốn Jean Barois, thể hiện sự giằng co giữa tín ngưỡng và khoa học trong tư tưởng con người, khẳng định lý tưởng dân chủ và nhân đạo.

Trong Chiến tranh thế giới thứ nhất, ông phục vụ trong quân đội Pháp ở mặt trận phía Tây. Từ năm 1920, sau khi giải ngũ, ông bắt đầu một cuộc sống ẩn dật ở trang trại, không tham gia vào các trào lưu văn học đương thời mà chỉ chú tâm vào công việc sáng tác tiểu thuyết, lao động nghệ thuật kiên trì, công phu. Hàng loạt tác phẩm có giá trị đã ra đời trong giai đoạn này, mà lớn nhất là bộ tiểu thuyết Les Thibault (Gia đình Thibault, 1922-1940), gồm 12 tập, 8 quyển, dựng lại lịch sử một gia tộc và bối cảnh xã hội Pháp trước Chiến tranh thế giới thứ nhất.

Năm 1936, ông được trao giải thưởng Văn học Paris cho tác phẩm L'Eté 1914 (Mùa hè năm 1914), tập 7 trong bộ Les Thibault; và năm sau, 1937, ông nhận được giải Nobel. Trong những năm Chiến tranh thế giới thứ hai, du Gard tham gia các hoạt động yêu nước, chống phát xít. Trong các tác phẩm cuối đời (Notes sur André Gide, Souvenirs autobiographiques et litteraires), ông tiếp tục lên tiếng ủng hộ nền nghệ thuật hiện thực chủ nghĩa.
Roger Martin du Gard qua đời vì một cơn đau tim năm 77 tuổi.

Tác phẩm
 Devenir (Trở thành, 1909), tiểu thuyết
 Jean Barois (1913), tiểu thuyết
 Les Thibault (Gia đình Thibault, 1922-1940), tiểu thuyết, 12 tập, 8 quyển
 Le testament du père Leleu (Chúc thư của cha Leleu, 1920), tiểu thuyết
 La gonfle (Bệnh phù, 1928), truyện
 Confidence africaine (Bí mật châu Phi, 1931), tiểu thuyết
 Un tacitume (Người trầm lặng, 1932), kịch
 Vileille France (Nước Pháp già cỗi, 1933), truyện vừa
 Notes sur André Gide (Ghi chép về André Gide, 1951), kí
 Souvenirs autobiographiques et litteraires (Hồi ức văn học và tự truyện, 1955)
 Les souvenirs du colonel Maumont (Nhật ký của đại tá Maumont, 1940-1958), tiểu thuyết viết dở

Tham khảo

Liên kết ngoài
 About Roger Martin du Gard
 Roger Martin du Gard, 1937 Nobel Laureate for Literature

Nhà văn Pháp
Người đoạt giải Nobel Văn học
Người Paris
Người Pháp đoạt giải Nobel
Sinh năm 1881
Mất năm 1958
Tiểu thuyết gia Pháp


title: Antillophos miculus

text:
Antillophos miculus là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Buccinidae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Antillophos


title: Prosipho aurora

text:
Prosipho aurora là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Buccinidae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Prosipho


title: Villar de la Yegua

text:
Villar de la Yegua là một đô thị ở tỉnh Salamanca, Castile và León, Tây Ban Nha. Theo điều tra dân số năm 2004 của Viện thống kê quốc gia Tây Ban Nha, đô thị này có dân số 272 người.

==Tham khảo==

Đô thị ở Salamanca


title: Dolicholatirus pauli

text:
Dolicholatirus pauli là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Fasciolariidae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Dolicholatirus


title: Cửa Bắc (Thành Hà Nội)

text:
Cửa Bắc, thành Cửa bắc hay Chính Bắc Môn (正北門) là một trong năm cửa của thành cổ Hà Nội thuộc thời Nguyễn.

Vị trí và hình dáng
Sử chép rằng Cửa Bắc được xây dựng từ thời Nguyễn, trên nền Cửa Bắc của thời Lê và hoàn thành năm 1805. Cửa Bắc được xây dựng theo kiến trúc vọng lâu: phía trên là lầu, phía dưới là thành.

Cửa Bắc nay nằm trên đường Phan Đình Phùng thuộc quận Ba Đình, Hà Nội. Cửa Bắc là một khối gần như vuông dạng hình thang, tường hai bên xoải ra. Lòng cửa là vòm cuốn xây gạch. Mép cửa kè đá hình chữ nhật, riềm trên bằng đá trang trí viền cánh sen. Trên nóc cửa có vọng lâu là một phương đình 8 mái.

Phía bắc trán cửa có gắn tấm biển, ở giữa khắc nổi ba chữ Hán "Chính Bắc Môn" (, viết và đọc từ phải sang trái kiểu truyền thống). Riềm cửa gắn biển đá trang trí nổi hoa dây. Bên cạnh phía phải gắn một tấm biển đá khắc ngày 25 tháng 4 1882, đánh dấu ngày quân Pháp khai hỏa, bắn vào thành và chiếm lấy thủ phủ xứ Bắc Kỳ. Tường cửa còn nguyên dấu đạn pháo của quân xâm lăng.

Trên lầu hiện là nơi thờ Nguyễn Tri Phương và Hoàng Diệu - hai vị Tổng đốc đã có công cùng nhân dân thành Hà Nội chống trả lại kế hoạch xâm chiếm thành của thực dân Pháp. Hai ông đều nhận lấy cái chết dầu không giữ được thành.

Giá trị văn hóa

Thành Cửa Bắc là một trong số ít di tích còn sót của thành cổ Hà Nội. Dấu vết đạn pháo bắn trên bức tường thành đã minh chứng cho một giai đoạn khó khăn của người dân Hà Nội phải chống trả sự chiếm thành khi thực dân Pháp đánh thành Hà Nội lần thứ hai năm 1882.

Năm 1999 cũng tại đây, các nhà khảo cổ đã phát hiện các phần còn lại của một bức tường xây bằng đá và gạch vồ, nền móng dày 1,2m và dấu tích của một kiến trúc khác thời Lê tại độ sâu từ 1,66m - 2,20m.

Hình ảnh về thành cửa Bắc

Chú thích

Liên kết ngoài

Lịch sử Hà Nội
Thành cổ Việt Nam


title: Agrolitha

text:
Agrolitha là một chi bướm đêm thuộc họ Noctuidae.

Chú thích

Tham khảo

Natural History Museum Lepidoptera genus database

Cuculliinae


title: Berndorf, Vulkaneifel

text:
Berndorf là một đô thị thuộc huyện Vulkaneifel, trong bang Rheinland-Pfalz, phía tây nước Đức. Đô thị này có diện tích 9,14 km², dân số thời điểm ngày 31 tháng 12 năm 2006 là 539 người.

Tham khảo

Xã và đô thị ở huyện Vulkaneifel


title: Hyposmocoma ocellata

text:
Hyposmocoma ocellata là một loài bướm đêm thuộc họ Cosmopterigidae. Nó là loài đặc hữu của Kauai. Loài địa phương ở Kaholuamano, nơi nó được tim thấy ở độ cao 4,000 feet.

Tham khảo

Liên kết ngoài
Insects of Hawaii. Volume 9, Microlepidoptera

Hyposmocoma
Loài đặc hữu của Hawaii


title: Chaklasi

text:
Chaklasi là một thành phố và khu đô thị của quận Kheda thuộc bang Gujarat, Ấn Độ.

Địa lý
Chaklasi có vị trí  Nó có độ cao trung bình là 34 mét (111 foot).

Nhân khẩu
Theo điều tra dân số năm 2001 của Ấn Độ, Chaklasi có dân số 36.041 người. Phái nam chiếm 52% tổng số dân và phái nữ chiếm 48%. Chaklasi có tỷ lệ 66% biết đọc biết viết, cao hơn tỷ lệ trung bình toàn quốc là 59,5%: tỷ lệ cho phái nam là 77%, và tỷ lệ cho phái nữ là 53%. Tại Chaklasi, 14% dân số nhỏ hơn 6 tuổi.

Tham khảo

Thành phố thuộc bang Gujarat


title: Ligny-en-Brionnais

text:
Ligny-en-Brionnais là một xã ở tỉnh Saône-et-Loire trong vùng Bourgogne-Franche-Comté nước Pháp.

Thông tin nhân khẩu
Theo điều tra dân số năm 1999, xã này có dân số 295 người.Dân số năm 2004 ước khoảng 337 người.

Xem thêm
Xã của tỉnh Saône-et-Loire

Tham khảo

INSEE
IGN

Xã của Saône-et-Loire


title: Cernay, Eure-et-Loir

text:
Cernay  là một xã thuộc tỉnh Eure-et-Loir trong vùng Centre-Val de Loire ở bắc trung bộ nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 185 mét trên mực nước biển.

Tham khảo

Xã của Eure-et-Loir


title: Eria spicata

text:
Eria spicata là một loài phong lan.

Hình ảnh

Liên kết ngoài

Tham khảo

S


title: Poley, Salzland

text:
Poley là một đô thị thuộc huyện Salzland, bang Saxony-Anhalt, Đức.

Tham khảo


title: Alurnus

text:
Alurnus là một chi bọ cánh cứng trong họ Chrysomelidae.
Chi này được Fabricius miêu tả khoa học năm 1775.

Các loài
Các loài trong chi này gồm:
 Alurnus batesii Baly, 1864
 Alurnus bipunctatus (Olivier, 1792)
 Alurnus boucardi Rosenberg, 1898
 Alurnus chapuisi Uhmann & Jolivet, 1952
 Alurnus costalis Rosenberg, 1898
 Alurnus eckardtae Günther, 1936
 Alurnus elysianus Thomson, 1856
 Alurnus grossus Fabricius, 1775
 Alurnus horni Uhmann, 1935
 Alurnus humeralis Rosenberg, 1898
 Alurnus lansbergei Sallé, 1849
 Alurnus mutabilis Waterhouse, 1881
 Alurnus obliquus Uhmann, 1961
 Alurnus octopunctatus Fairmaire, 1851
 Alurnus orbignyi Blanchard, 1843
 Alurnus ornatus Baly, 1869
 Alurnus salvini Baly, 1885
 Alurnus secernendus Uhmann, 1932
 Alurnus sexguttatus Rosenberg, 1898
 Alurnus undatus Brême, 1844

Chú thích

Tham khảo

Alurnini


title: Es Castell

text:
Es Castell (tên tiếng Tây Ban Nha Villacarlos trong thời kỳ Franco, dù được biết đến nhiều hơn bằng tên tiếng Catalan) là một đô thị trên đảo Menorca, thuộc quần đảo Baleares, Tây Ban Nha. Đô thị này thành lập năm 1771 bởi Patrick Mackellar.

Hình ảnh

Tham khảo

Liên kết ngoài
 Ajuntament des Castell
 Guide to Minorca: Es Castell
 Son Granot

Đô thị ở Menorca
Khu dân cư ở Menorca


title: Nhà thờ Wies

text:
Nhà thờ hành hương Wies () là một nhà thờ Rococo hình bầu dục được thiết kế vào cuối thập niên 1740 bởi anh em Johann Baptist và Dominikus Zimmermann. Sau này người còn sống trong số họ cư ngụ gần đó trong 11 năm cuối cùng của cuộc đời mình Nhà thờ nằm trên đồi thấp dưới chân dãy núi Anpơ, thuộc Steingaden, Weilheim-Schongau, tiểu bang Bayern, Đức.

Lịch sử
Năm 1738 một phụ nữ đã nhìn thấy nước mắt chảy xuống từ một tượng Chúa Giêsu bằng gỗ ọp ẹp. Phép lạ này khiến cho nhiều người hành hương đổ xô tới chiêm ngưỡng thánh tượng này. Họ đã cầu nguyện trước tượng Chúa Giêsu trên bàn thờ và nhiều người quả quyết là mình đã được lành bệnh nhờ phép lạ của Chúa.

Năm 1740 người ta xây một nguyện đường nhỏ để chứa thánh tượng, nhưng nguyện đường này đã sớm tỏ ra là quá nhỏ, không đủ chứa các tín đồ hành hương. Do đó tu viện Steingaden quyết định đặt kiến trúc sư Dominikus Zimmermann thiết kế, xây một nhà thờ riêng.

Dominikus Zimmermann đã dành ra 11 năm để thực hiện công trình này. Việc xây dựng diễn ra từ năm 1745 tới 1754. Phần nội thất được trang trí bằng loại vữa stucco theo truyền thống của trường phái Wessobrunner. "Tất cả được làm cho nhà thờ để làm cho (hiện tượng) siêu nhiên có thể nhìn thấy được. Các tượng điêu khắc và các tranh tường phối hợp với nhau sao cho tính thần thánh thiêng liêng thể hiện ở dạng có thể thấy được".

Một huyền thoại bình dân kể rằng bang Bayern đã có kế hoạch bán hoặc phá nhà thờ này trong thời kỳ thế tục hóa tài sản của giáo hội vào đầu thế kỷ 19, nhưng nhờ sự chống đối quyết liệt của các nông dân, ngôi nhà thờ độc đáo này mới được bảo toàn. Tuy nhiên các nguồn đáng tin cậy khác cho biết Bang đã quyết định tiếp tục dùng nhà thờ Wies làm nơi thu hút khách hành hương, dù có sự phản đối về kinh tế của tu viện Steingaden.

Nhà thờ Wies được UNESCO công nhận là di sản thế giới năm 1983 và đã được trùng tu lớn từ năm 1985 tới năm 1991.

Tham khảo

Liên kết ngoài

 Homepage of the Wieskirche
 Wies at the UNESCO

Di sản thế giới tại Đức
Nhà thờ tại Đức
Nhà thờ ở Bayern
Danh lam thắng cảnh ở Đức


title: Scuticaria strictifolia

text:
Scuticaria strictifolia là một loài lan đặc hữu của Brasil (São Paulo).

Hình ảnh

Tham khảo


title: Eleutherodactylus warreni

text:
Eleutherodactylus warreni là một loài ếch trong họ Leptodactylidae. Chúng là loài đặc hữu của Haiti.
Môi trường sống tự nhiên của nó là các khu rừng khô nhiệt đới hoặc cận nhiệt đới. Loài này đang bị đe dọa do mất môi trường sống.

Nguồn
 Hedges, B. & Thomas, R. 2004. Eleutherodactylus warreni. 2006 IUCN Red List of Threatened Species.  Truy cập 22 tháng 7 năm 2007.

Tham khảo

warreni
Động vật Haiti
Động vật đặc hữu Haiti
Động vật được mô tả năm 1976


title: Đền Phụ Quốc

text:
Đền Phụ Quốc nằm ở xóm Miễu, thôn Tam Tảo, thuộc xã Phú Lâm, huyện Tiên Du, tỉnh Bắc Ninh, Việt Nam. Đây là nơi thờ hai ông bà phụ quốc là Trần Quý và Đặng Thị Phương Dung, ân nhân cứu mạng vua Lý Thái Tổ, ông vua đầu tiên khởi nghiệp vương triều Lý với 216 năm hùng cường thịnh vượng.

Ngoài ra đền còn thờ Nhị Đào lại bộ, là hai vị tướng của Thục An Dương Vương.

Truyền thuyết
Ngôi đền này gắn liền với câu chuyện xảy ra cách đây ngàn năm, mà vẫn được dân gian truyền tụng đến nay. Ngày ấy, vào năm Bính Ngọ (1006), triều đình nhà Tiền Lê ngày một suy đồi. Lê Long Đĩnh giết anh trai là Lê Long Việt (Trung Tông), cướp ngôi vua, rồi làm nhiều điều hủ bại, tàn ác... Quần thần trong triều bất phục khinh bỉ, dân chúng cả nước căm giận oán hờn. Cùng lúc này ở hương Diên Uẩn, châu Cổ Pháp, trấn Kinh Bắc liên tiếp xuất hiện những bài "Sấm Ngữ", bài khuyến và thơ phú mà nội dung đều nói lên là "Nhà Lê đã suy tàn, nhà Lý sẽ lên thay". Thậm chí có những bài còn nói thẳng ra không còn ý tứ xa xôi nữa.

"Tật Lê chìm Bắc ThủyLý tử thụ Nam Thiên
Tứ phương can qua tĩnhBát biểu hạ bình yên."

Nghĩa là:

"Gốc Lê chìm bể BắcChồi Lý mọc trời Nam
Bốn phương tan giáo mácTám cõi được bình an."

Thấy tình thế vậy, Lê Ngọa Triều (Lê Long Đĩnh) lo sợ mất ngôi báu, bèn ra lệnh cho người lùng bắt thủ tiêu Lý Công Uẩn và những người họ Lý. Một hôm có tin mật báo: "Nhân tài ấy đang có trong đám dân phu", vua Lê Ngọa Triều liền tức tốc cho lính bao vây, lùng sục rất kỹ mà không thấy. Tương truyền rằng: Lý Công Uẩn được mẹ là Phạm Thị Ngà báo mộng khuyên con trốn sang vùng Trang Tam Tảo (Tiên Du) lánh nạn. Vua Lê sai quân đuổi theo và ra lệnh "bắt được là giết". Trên đường Lý Công Uẩn chạy trốn, đến giữa cánh đồng, Lý Công Uẩn gặp một lão nông đang cày ruộng giữa trời nắng chang chang... Sau khi biết sự thể, chẳng ngần ngại, ông vội vàng đưa chàng trai lạ lánh vào nhà mình. Rồi vợ chồng ông bà Trần Quý - Phương Dung, bất chấp nguy hiểm, chẳng sợ trọng tội đã đào hầm để cho Lý Công Uẩn xuống ở, sau đó khiêng một chum nước lớn đặt lên miệng hầm. Quan quân của Lê Ngọa Triều lên tới vùng đó khám xét rất kỹ, nhưng cũng không bắt được Lý Công Uẩn, Vua Lê Ngọa Triều tức lắm, cho gọi thầy bói vào cung gieo quẻ, thầy bói quẻ nói "Thủy thượng nhân hạ". Vua Lê Ngọa Triều cho rằng Lý Công Uẩn đã chết chìm dưới sông nên ra lệnh rút quân hồi triều. Nơi ấy sau gọi là Làng Hồi Quân nay là Hồi Quan, Tương Giang, Từ Sơn.

Sau khi lên ngôi Hoàng Đế, nhớ ơn cứu mạng của hai vợ chồng ông lão, Vua phong cho ông bà là Phụ Quốc Đại Vương Trần Quý, bà Minh Phúc Phương Dung Hoàng Thái Hậu, ban cho nhiều ân sủng, ông còn cùng Lý Công Uẩn sang Ai Lao, Khơ Me (nay là Lào và Campuchia) chiêu mộ binh lính và cùng nhà Vua đánh giặc. Những người ở trang Tam Tảo cùng phò vua đánh giặc đều được hưởng bổng lộc ân sủng của triều đình, mỗi người được cấp một thẻ bài được làm bằng Ngà voi(ngày nay tương đương huân chương kháng chiến). Khi ông bà mất vua Lý Thái Tổ đã về Trang TAM TẢO và ở lại một tháng để chịu Tang ông Bà Phụ Quốc, nhà vua thương tiếc ông bà PHỤ QUỐC đã cho lập đền thờ ở chính nơi ông bà Phụ Quốc lúc sinh thời đã sinh sống, cấp lộc điền cho dân ở Trang Tam Tảo làm hương hỏa thờ cúng Ông bà "Phụ Quốc". Hàng năm Nhà Vua,cùng quan quân triều đình đều về Trang Tam Tảo cúng giỗ ông bà Phụ Quốc và ra lệnh cho dân ở các làng: Dương Lôi, Đình Bảng, Tiêu... về Trang Tam Tảo gửi giỗ, cúng giỗ, ăn giỗ ngày mất của ông bà "Phụ Quốc", ngay mồng 1 tháng 4 giỗ Vua ông Phụ Quốc Vương TRẦN QÚY và ngày mồng 10 tháng 4 giỗ bà Minh Phúc PHƯƠNG DUNG Hoàng Thái Hậu,nhân dân quanh vùng Kinh Bắc đến dự rất đông và hành Lễ tưởng nhớ công lao của Ông Bà Phụ Quốc. Vì vậy mà trên mái ngôi đền có đề ba chữ là "Quốc tế từ", nhân dân quanh vùng gọi là "Đền Hộ Quốc" Đền Giúp Nước hay "Đền Phụ Quốc".

Kiến trúc
Đền theo kiểu tam cấp hai nhịp tiền tế,ba gian Đại bái và hậu cung, trên đỉnh có đề ba chữ "Quốc tế từ". Hai bên là hai dãy tả vu và hữu vu, mỗi bên 5 gian hai bên tả vu hữu vu có voi trầu ngựa Phục,kiệu bát cống của Vua. Cổng Đền hình vòm cạnh có cây đa cổ thụ, trước có hồ nước, đầu đền có khu Văn Chỉ và hàng bia đá hai bên, trong đền còn có tượng ông bà Phụ Quốc, mũ, áo, hia, hài, long ngai, long báu, bài vị của hai ông bà Phụ Quốc. Ngoài ra trong Đền còn có đôi ngựa Thờ và hai người dắt Ngựa, Sắc Phong của các Triều Đại, Lý, Trần, Hậu Lê, Nguyễn... Trước cửa có Đôi Kỳ Lân, hai bên có 4 Vị Tướng Canh gác Đền.

Mái đền lợp bằng ngói cổ, Vì kèo kết cấu trồng giường giá chiêng. Các con chồng, đầu kê đều có điêu khắc họa tiết hoa văn phong phú như tứ Linh tứ qúy,lưỡng long trầu nguyệt. Trong đền còn nhiều đồ thờ quý và những pho tượng được tạo từ thời Lê Mạc.

Đền được sửa chữa lại vào năm 1953 và 1959 sau trận càn lớn của thực dân Pháp Ngôi Đền bị tàn phá gần hết chỉ còn lại toà Đại bái và gian Hậu cung,Cổng đền bị tàn phá cùng nhà tiền tế và hai dãy hữu vu và tả vu,khu văn chỉ..

Lễ hội
Vì Ông bà Phụ Quốc là Cha Mẹ nuôi, người cứu mạng Lý Công Uẩn thoát chết, nên nhà Vua cho xây dựng đền để con cháu về sau phụng thờ hai Ông bà Phụ Quốc. Nhưng nay con cháu Nhà Lý chưa tìm về nơi thờ Phụ Mẫu Lý Công Uẩn, Ông bà Phụ Quốc không có con, nên hàng năm nhân dân Tam Tảo tổ chức lễ hội vào ngày mùng 10 tháng 2 âm lịch ngày sinh ông bà Phụ Quốc, ngày 1 tháng 4 âm lịch Giỗ Vua Ông, ngày 10 tháng 4 âm lịch Giỗ Vua Bà.

Trong lễ hội vào ngày mồng 10 tháng 2 có rước Long Đình, kiệu bát cống,bát bửu, lọng, cờ xi,từ đình Tam Tảo đến Nghè - chùa Tam Tảo, từ Nghè - chùa rước về Đền Phụ Quốc rồi lại từ Đền Phụ Quốc rước về Đình,Đoàn rước kéo dài hàng 1 km,với hàng nghìn người tham ra, hết một vòng là tổ chức hát xướng, thi dệt vải, thi bắt trạch trong chum và múa rối nước.

Tham khảo

Di tích tại Bắc Ninh
Phụ Quốc


title: Agapetus viricatus

text:
Agapetus viricatus là một loài Trichoptera trong họ Glossosomatidae. Chúng phân bố ở miền Ấn Độ - Mã Lai.

Tham khảo

Agapetus


title: Monte, Haute-Corse

text:
Monte là một xã ở tỉnh Haute-Corse trên đảo Corse, Pháp. Xã này có diện tích 14,8 km², dân số năm 1999 là 444 người. Khu vực này có độ cao 640 mét trên mực nước biển. Xã này có chung tổng Alto-di-Casaconi với Volpajola, Campile, Olmo, Prunelli-di-Casacconi, Ortiporio, Campitello, Canavaggia, Lento, Bigorno, Scolca, Crocicchia và Penta-Acquatella.

Monte toạ lạc tại chân Monte Sant'Angelu,  so với Borgo.

Tham khảo

Xã của Haute-Corse


title: Lodi, Lombardia

text:
Lodi là một đô thị và thị xã của Ý. Đô thị này là tỉnh lỵ tỉnh Lodi trong vùng Lombardia. Lodi có diện tích 41 km2, dân số theo ước tính năm 2010 của Viện thống kê quốc gia Ý là 43.488 người. Lodi nằm ở hữu ngạn sông Adda.

Tham khảo

Đô thị tỉnh Lodi
Thành phố của Ý
Thành phố và thị trấn ở Lombardia


title: Sphecodes lasimensis

text:
Sphecodes lasimensis là một loài Hymenoptera trong họ Halictidae. Loài này được Blüthgen mô tả khoa học năm 1927.

Chú thích

Tham khảo

Sphecodes
Động vật được mô tả năm 1927


title: Sphecodes decorus

text:
Sphecodes decorus là một loài Hymenoptera trong họ Halictidae. Loài này được Cameron mô tả khoa học năm 1897.

Chú thích

Tham khảo

Sphecodes
Động vật được mô tả năm 1897


title: Afrolimnophila abyssinica

text:
Afrolimnophila abyssinica là một loài ruồi trong họ Limoniidae. Chúng phân bố ở vùng nhiệt đới châu Phi.

Liên kết ngoài

Tham khảo

Afrolimnophila
Limoniidae ở vùng Afrotropic


title: 19367 Pink Floyd

text:
19367 Pink Floyd là một tiểu hành tinh thuộc vành đai chính được đặt tên theo ban nhạc rock người Anh Pink Floyd. Nó được phát hiện ngày 3 tháng 12 năm 1997.

Tham khảo

Liên kết ngoài
Orbit diagram

Tiểu hành tinh vành đai chính
Pink Floyd
Thiên thể phát hiện năm 1997


title: Austrolimnophila merklei

text:
Austrolimnophila merklei là một loài ruồi trong họ Limoniidae. Chúng phân bố ở vùng Tân nhiệt đới.

Liên kết ngoài

Tham khảo

Austrolimnophila
Limoniidae ở vùng Neotropic


title: Reus

text:
Reus là thủ phủ của comarca Baix Camp, tỉnh Tarragona, cộng đồng tự trị Catalonia, Tây Ban Nha.

Biến động dân số

Tham khảo

 Panareda Clopés, Josep Maria; Rios Calvet, Jaume; Rabella Vives, Josep Maria (1989). Guia de Catalunya, Barcelona:Caixa de Catalunya. ISBN 84-87135-01-3 (Spanish). ISBN 84-87135-02-1 (Catalan).

Liên kết ngoài
 Official Page of Reus
 Unofficial site about the new museum Gaudí Centre
 Salou and Flights to Reus

Baix Camp
Đô thị ở Tarragona


title: Neadeloides

text:
Neadeloides là một chi bướm đêm thuộc họ Crambidae.

Chú thích

Tham khảo

 Natural History Museum Lepidoptera genus database

Pyraustini


title: Coronilla

text:
Chi Coronilla có các loài cây thân thảo và cây bụi Cựu thế giới.

Các loài Coronilla bị một số ấu trùng của vài loài Lepidoptera ăn bao gồm ấu trùng loài Coleophora coronillae (chỉ ăn Coronilla varia) và Coleophora vicinella.

Loài Coronilla gồm có:
 Coronilla glauca
 Coronilla iberica
 Coronilla minima
 Coronilla valentina
 Coronilla varia L.

Hình ảnh

Tham khảo

Liên kết ngoài
 Coronilla in Botany.com

Loteae


title: Phong Lê

text:
Giáo sư Phong Lê, tên thật là Lê Phong Sừ, sinh ngày 10 tháng 11 năm 1938 ở Sơn Trà, huyện Hương Sơn, Hà Tĩnh, là một nhà nghiên cứu, phê bình văn học Việt Nam hiện đại, nguyên Viện trưởng Viện Văn học thuộc Trung tâm Khoa học Xã hội và Nhân văn Quốc gia (nay là Viện Hàn lâm Khoa học xã hội Việt Nam); hội viên Hội nhà văn Việt Nam. Ông được phong học hàm Phó giáo sư năm 1984 và Giáo sư năm 1991.

Quá trình công tác
Sau khi tốt nghiệp khoa ngữ văn của Đại học Tổng hợp Hà Nội năm 1959, ông trở về công tác tại Viện Văn học từ những ngày đầu tiên Viện chính thức tách ra từ Ban nghiên cứu Văn, Sử Địa và mang tên như ngày nay. Ông lần lượt trải qua các chức vụ: biên tập viên tòa soạn Tạp chí Văn học của Viện (1960); Nghiên cứu viên, trưởng phòng Phòng văn học Việt Nam hiện đại (1965-1987); Ủy viên Hội đồng khoa học Viện Văn học (từ 1968); Viện trưởng Viện Văn học kiêm Tổng biên tập Tạp chí Nghiên cứu Văn học, Nghiên cứu viên cao cấp, Ủy viên Hội đồng khoa học Viện Khoa học Xã hội Việt Nam (1988-1995).

Tác phẩm đã xuất bản
Phong Lê đã viết riêng và chủ biên khoảng 30 công trình lý luận và nghiên cứu về văn học Việt Nam thế kỷ 20, trong đó đáng chú ý là những công trình:

In riêng
 Mấy vấn đề văn xuôi Việt Nam 1945-1970 (1972)
 Văn và người (1976)
 Văn xuôi Việt Nam trên con đường hiện thực xã hội chủ nghĩa (1980)
 Văn học Việt Nam hiện đại – Lịch sử và lý luận (1980 - 1987, 7 tập)
 Chủ tịch Hồ Chí Minh và văn học Việt Nam hiện đại (1986)
 Văn học và công cuộc đổi mới (1994)
 Nam Cao - Phác thảo sự nghiệp và chân dung (1997)
 Văn học trên hành trình của thế kỷ XX (1997)
 Một số gương mặt văn chương học thuật Việt Nam hiện đại (2001)
 Văn học Việt Nam hiện đại - những chân dung tiêu biểu (2001)
 Người trong văn (2006)

In chung
 Tác gia văn xuôi Việt Nam hiện đại (1976)
 Nhà thơ Việt Nam hiện đại (1984)
 Văn học về đề tài công nhân, tập 1 năm 1983 và tập 2 năm 1985
 Nhà văn các dân tộc thiểu số Việt Nam (1988)
 Cách mạng, kháng chiến và đời sống văn học 1945-1954, 3 tập (1987-1995)
 Nghĩ tiếp về Nam Cao (1992).
 Nguyễn Ái Quốc - Hồ Chí Minh - Tư tưởng và sự nghiệp văn học (Viết chung với GS Hà Minh Đức, GS Nguyễn Đăng Mạnh; Nhà xuất bản Lý luận chính trị xuất bản năm 2005)

Giải thưởng
Ông được giải thưởng Nhà nước về Khoa học và Công nghệ năm 2005.

Tham khảo

Liên kết ngoài
 Nhà lý luận phê bình Phong Lê

Nhà phê bình văn học Việt Nam
Nhà nghiên cứu văn học Việt Nam
Người Hà Tĩnh
Viện Hàn lâm Khoa học xã hội Việt Nam
Giáo sư Việt Nam
Giải thưởng Nhà nước
Nhân vật còn sống
Viện Văn học (Việt Nam)
Người Hương Sơn


title: Lestrimelitta niitkib

text:
Lestrimelitta niitkib là một loài Hymenoptera trong họ Apidae. Loài này được Ayala mô tả khoa học năm 1999.

Chú thích

Tham khảo

Lestrimelitta
Động vật được mô tả năm 1999


title: Xoài rừng

text:
Xoài rừng, hay xoài lá nhỏ (danh pháp khoa học: Mangifera minutifolia) là một loài thực vật thuộc họ Anacardiaceae. Đây là loài đặc hữu của Việt Nam.

Chú thích

Tham khảo

Thực vật đặc hữu Việt Nam
M
Thực vật Việt Nam
Thực vật dễ tổn thương


title: Lacconectus spangleri

text:
Lacconectus spangleri là một loài bọ cánh cứng trong họ Bọ nước. Loài này được Brancucci miêu tả khoa học năm 1986.

Chú thích

Tham khảo

Bọ nước
Lacconectus


title: Euphorbia itremensis

text:
Euphorbia itremensis là một loài thực vật thuộc họ Euphorbiaceae. Đây là loài đặc hữu của Madagascar. Môi trường sống tự nhiên của chúng là vùng nhiều đá. Chúng hiện đang bị đe dọa vì mất môi trường sống.

Chú thích

Tham khảo
 Haevermans, T. 2004. Euphorbia itremensis. 2006 IUCN Red List of Threatened Species.  Truy cập 21 tháng 8 năm 2007.

Thực vật Madagascar
I
Thực vật dễ tổn thương


title: Exosoma speciosum

text:
Exosoma speciosum là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Weise miêu tả khoa học năm 1907.

Chú thích

Tham khảo

Exosoma


title: Cescau, Pyrénées-Atlantiques

text:
Cescau, Pyrénées-Atlantiques là một commune tỉnh Pyrénées-Atlantiques, thuộc vùng Nouvelle-Aquitaine, tây nam nước Pháp.

Xem thêm
Commune của tỉnh Pyrénées-Atlantiques

Tham khảo
INSEE
IGN

Xã của Pyrénées-Atlantiques


title: Zodia chrysosperma

text:
Zodia chrysosperma là một loài bướm đêm thuộc họ Choreutidae. Nó được tìm thấy ở Brasil.

Chú thích

Tham khảo

Zodia
Động vật được mô tả năm 1931


title: Ecnomus allaeri

text:
Ecnomus allaeri là một loài Trichoptera trong họ Ecnomidae. Chúng phân bố ở vùng nhiệt đới châu Phi.

Tham khảo

Trichoptera ở vùng nhiệt đới châu Phi
Ecnomus


title: Naudedrillia praetermissa

text:
Naudedrillia praetermissa là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Turridae.

Miêu tả

Phân bố

Chú thích

Tham khảo

Naudedrillia


title: Công ước phòng chống tham nhũng

text:
Công ước Liên Hợp Quốc phòng chống tham nhũng (tiếng Anh: United Nations Convention against Corruption; viết tắt: UNCAC) đã được thông qua tại  Đại hội đồng Liên Hợp Quốc ngày 31 tháng 10 năm 2003 (Nghị quyết 58/4).

Để chống lại tham nhũng, công ước quy định những quy ước và chuẩn mực chung về các vấn đề chính bao gồm:
 Công tác phòng chống
 Hình sự hóa tội phạm tham nhũng
Thu hồi tài sản bị thất thoát
 Hợp tác quốc tế và hỗ trợ kỹ thuật.

Điều 5 đến điều 14 của công ước quy định các biện pháp phòng chống tham nhũng bao gồm: Quy ước về chuẩn mực hành xử của cán bộ, viên chức nhà nước; cũng như các biện pháp bảo đảm sự độc lập của ngành Tư pháp, tiêu chí tuyển chọn cán bộ, viên chức và đấu thầu công khai các dự án, công trình; thúc đẩy tính minh bạch và truy cứu trách nhiệm trong việc quản lý tài chính công cộng và khu vực tư nhân; mở rộng sự tham gia của các tầng lớp dân chúng trong xã hội dân sự .

Các hiệp ước bắt đầu có hiệu lực từ ngày 14 tháng 12 2005, sau khi hội đủ 30 quốc gia đầu tiên phê chuẩn.

Ký kết và phê chuẩn
Tính đến ngày 1 tháng 7 năm 2009, đã có 140 chữ ký phê chuẩn, chấp nhận, chấp thuận  của 136 quốc gia. Gần đây nhất là Việt Nam, Chủ tịch nước Nguyễn Minh Triết đã phê chuẩn Công ước này .

Việt Nam
Chủ tịch nhà nước Nguyễn Minh Triết đã phê chuẩn Công ước này ngày 3 tháng 7 năm 2009 .

Theo phát biểu của điều phối viên thường trú LHQ John Hendra, lộ trình thực hiện công ước này tại Việt Nam có thể bao gồm những bước sau:
 Nâng cao năng lực và áp dụng các chuẩn mực quốc tế liên quan tới chính sách phòng chống tham nhũng.
 Chính phủ Việt Nam đề ra một "lộ trình minh bạch", trong đó quy định chi tiết khối lượng và mục tiêu cụ thể của kế hoạch phòng chống của các cơ quan chính phủ trong thời hạn cụ thể.
 Mở rộng phạm vi tham gia phòng chống tham nhũng cho những đối tác ngoài khu vực nhà nước, bao gồm các cơ quan báo chí, các tổ chức xã hội....

Xem thêm
 Tổ chức Minh bạch Quốc tế
 Ngày Quốc tế chống tham nhũng

Chú thích

Liên kết ngoài
 United Nations Convention against Corruption website
 UN Convention against Corruption gets go-ahead during Summit treaty event
 UNCAC Theme page  at the Anti-Corruption Resource Centre (U4)
  Chiến lược phòng, chống tham nhũng đến năm 2020

Luật 2003
Công ước và Nghị quyết Liên Hợp Quốc
Cơ quan chuyên môn thuộc Liên Hợp Quốc
Tham nhũng
Hiệp ước của Hoa Kỳ


title: Taprobanea

text:
Taprobanea là một chi phong lan trong họ Orchidaceae.

Xem thêm
Danh sách các chi Phong lan

Tham khảo

Pridgeon, A.M., Cribb, P.J., Chase, M.A. & Rasmussen, F. eds. (1999). Genera Orchidacearum 1. Oxford Univ. Press.
Pridgeon, A.M., Cribb, P.J., Chase, M.A. & Rasmussen, F. eds. (2001). Genera Orchidacearum 2. Oxford Univ. Press.
Pridgeon, A.M., Cribb, P.J., Chase, M.A. & Rasmussen, F. eds. (2003). Genera Orchidacearum 3. Oxford Univ. Press
Berg Pana, H. 2005. Handbuch der Orchideen-Namen. Dictionary of Orchid Names. Dizionario dei nomi delle orchidee. Ulmer, Stuttgart

Danh sách các chi phong lan
Phân họ Lan


title: Fasciolaria curvirostris

text:
Fasciolaria curvirostris là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Fasciolariidae.

Miêu tả

Phân bố

Chú thích

Tham khảo

C


title: Molophilus unispiculatus

text:
Molophilus unispiculatus là một loài ruồi trong họ Limoniidae. Chúng phân bố ở miền Tân bắc.

Liên kết ngoài

Tham khảo

Molophilus
Limoniidae ở vùng Nearctic


title: Bad Rodach

text:
Bad Rodach là một đô thị tại huyện Coburg, bắc bang Bayern, Đức. Đô thị này tọa lạc 10 km về phía đông nam của Hildburghausen, và 17 km về phía tây bắc của Coburg. Dân số thời điểm cuối năm 2006 là 6436 người.

Tham khảo


title: Propebela delicata

text:
Propebela delicata là một loài ốc biển, là động vật thân mềm chân bụng sống ở biển trong họ Conidae, họ ốc cối.

Miêu tả

Phân bố

Chú thích

Tham khảo

Động vật được mô tả năm 1964
Propebela


title: Oecetis kimminsi

text:
Oecetis kimminsi là một loài Trichoptera trong họ Leptoceridae. Chúng phân bố ở miền Australasia.

Chú thích

Tham khảo

Oecetis


title: Nouillonpont

text:
Nouillonpont  là một xã thuộc tỉnh Meuse trong vùng Grand Est đông nam nước Pháp. Xã này nằm ở khu vực có độ cao trung bình 225 mét trên mực nước biển.

Thị trấn nằm ở hữu ngạn sông Othain, sông tạo thành phần lớn ranh giới phía tây.

Tham khảo

Xã của Meuse


title: Procraerus nagaoi

text:
Procraerus nagaoi là một loài bọ cánh cứng trong họ Elateridae. Loài này được Ôhira miêu tả khoa học năm 1968.

Chú thích

Tham khảo

Procraerus


title: Jasses

text:
Jasses là một commune tỉnh Pyrénées-Atlantiques, thuộc vùng Nouvelle-Aquitaine, tây nam nước Pháp.

Xem thêm
Commune của tỉnh Pyrénées-Atlantiques

Tham khảo
INSEE
IGN

Xã của Pyrénées-Atlantiques


title: Hopea mindanensis

text:
Hopea mindanensis là một loài thực vật thuộc họ Dipterocarpaceae. Đây là loài đặc hữu của Philippines.

Chú thích

Tham khảo
 Ashton, P. 1998. Hopea mindanensis. 2006 IUCN Red List of Threatened Species.  Truy cập 21 tháng 8 năm 2007.

Thực vật Philippines
M


title: Issaquah, Washington

text:
Issaquah là một thành phố nằm trong quận King thuộc tiểu bang Washington, Hoa Kỳ.
Thành phố này được đặt tên theo. Theo điều tra dân số của Cục điều tra dân số Hoa Kỳ năm 2000, thành phố có dân số người.

Lịch sử

Địa lý
Theo Cục điều tra dân số Hoa Kỳ, thành phố có diện tích km2, trong đó có km2 là diện tích mặt nước.

Thông tin nhân khẩu

Kinh tế

Giáo dục

Tham khảo

Liên kết ngoài

Thành phố của Washington (tiểu bang)


title: Stenograpta

text:
Stenograpta là một chi bướm đêm thuộc họ Erebidae.

Chú thích

Tham khảo

Natural History Museum Lepidoptera genus database

Erebidae