stanford-oval/wikipedia huggingface dataset:
Sukhoi Su-47
Lịch sử

Ban đầu được gọi là S-37, Sukhoi đã tái định danh chiếc máy bay thử nghiệm hiện đại của mình thành Su-47 năm 2002. Sự thay đổi phản ánh quyết định của công ty về việc tiếp thị mẫu thiết kế như một máy bay chiến đấu chứ không còn là một nguyên mẫu thực nghiệm nữa. Su-47 cũng thường được gọi là Berkut (Đại bàng Vàng), S-37 ban đầu được chế tạo làm loại máy bay thí nghiệm các vật liệu composite cũng như các hệ thống điều khiển fly-by-wire phức tạp của Nga. Chiếc máy bay này sử dụng cánh nghiêng phía trước cho phép nó có được khả năng thao diễn tuyệt vời cũng như các góc hoạt động và tấn công lên tới 45° hay hơn nữa.
TsAGI từ lâu đã biết về tính năng ưu việt của các loại cánh nghiêng phía trước, với việc nghiên cứu gồm cả việc phát triển Tsibin LL và xem xét chiếc Junkers Ju 287 bắt được trong thập kỷ 1940. Các loại cánh nghiêng phía trước có lực cản sóng (wave drag) thấp hơn, giảm mô-men uốn, và giúp máy bay ít chòng chành hơn so với các hình dạng cánh máy bay quy ước. Không may thay, cánh nghiêng phía trước cũng gây ra tình trạng xoắn (phân bố lực không đều) đủ mạnh để làm gãy cánh máy bay nếu chúng chỉ được chế tạo bằng vật liệu quy ước. Chỉ những vật liệu composite mới được khám phá gần đây mới giúp đưa ý tưởng loại cánh nghiêng phía trước trở thành hiện thực.
Giống như đối thủ phương Tây của mình, loại Grumman X-29, S-37 ban đầu chỉ có mục tiêu phô diễn kỹ thuật, và cũng từng được dự định trở thành loại máy bay đầu tiên trong thế hệ máy bay chiến đấu tiếp sau của Nga. Một máy bay chiến đấu như vậy không chỉ đòi hỏi phải hiện đại như F-22 Raptor của Hoa Kỳ và Eurofighter Typhoon của châu Âu, mà còn phải có tính cạnh tranh cả về chi phí với Dự án MiG 1.44/1.42 mang tính quy ước hơn của Mikoyan. Tuy nhiên, Sukhoi hiện đang nỗ lực tiếp thị loại S-37 tới quân đội Nga và các khách hàng nước ngoài với tư cách một máy bay chiến đấu sản xuất theo quyền riêng của họ. Phản ứng ban đầu không tốt, nhưng tính năng của loại máy bay này gây ấn tượng tới mức chính phủ Nga đã cung cấp đủ số vốn cần thiết cho việc thử nghiệm và thiết kế tiếp theo.
Thiết kế

S-37 không có kích thước tương tự như các loại máy bay chiến đấu lớn của Sukhoi trước đó như Su-35. Để giảm các chi phí phát triển, S-37 mượn phần thân trước, cánh dọc, và bộ bánh đáp từ loại Su-27. Tuy nhiên, máy bay được tích hợp các đặc tính giảm khả năng bị phát hiện bởi ra-đa (gồm cả các vật liệu hấp thụ ra-đa), một khoang vũ khí trong, và khoảng không gian cần thiết cho một hệ thống ra-đa hiện đại. Dù về khái niệm tổng thế nó giống với loại máy bay nghiên cứu X-29 của Mỹ hồi thập niên 1980, S-37 có kích cỡ lớn gấp khoảng hai lần và giống với một loại máy bay chiến đấu thực sự hơn bản thiết kế của Hoa Kỳ.
Để giải quyết vấn đề phân bố lực không đều trên cánh, S-37 sử dụng các vật liệu composite đã được xử lý kỹ để chống lại hiện tượng xoắn trong khi vẫn cho phép cánh có được những tính năng khí động học ưu việt. Vì sải cánh khá lớn của nó, S-37 có lẽ sẽ được trang bị cánh gấp, nhằm tương thích với kích cỡ những nhà chứa máy bay Nga. Giống như mẫu trước của nó, S-37 Berkut sử dụng thiết kế ba tầng cánh, với cánh mũi phía trước và cánh đuôi phía sau. Khá ngạc nhiên, S-37 có hai khoang đuôi với kích thước không bằng nhau bên trên các cửa thoát khí. Khoang ngắn, ở phía trái, là nơi đặt ra-đa sau, trong khi khoang dài là nơi đặt phanh dù.
Bất kỳ loại S-37 được sản xuất nào cũng đều có khả năng mang hầu hết các loại tên lửa đang được sử dụng trong Không quân Nga và Ấn Độ, gồm cả AA-12 Adder, AA-11 Archer, và AA-10 Alamo. Dường như nó không thể mang loại tên lửa tầm dài Novator KS-172 AAM-L, được phát triển để trang bị trên loạt Su-27, MiG-31, và MiG 1.44.
Thông tin chung > Khả năng thao diễn

Su-47 có tính cơ động rất cao ở tốc độ siêu thanh, cho phép nó thay đổi góc tấn công và đường bay nhanh chóng trong khi vẫn giữ được tính năng thao diễn ở tốc độ siêu thanh.
Các tỷ lệ quay tối đa, và các giới hạn tốc độ không khí trên và dưới cho việc khai hỏa vũ khí, là những yếu tố quan trọng trong việc giành ưu thế trên không. Máy bay Su-47 có mức độ thao diễn rất cao trong khi vẫn giữ được sự ổn định và khả năng điều khiển ở mọi góc tấn công. Các tỷ lệ quay tối đa là yếu tố quan trọng trong không chiến tầm gần cũng như tầm trung, khi phải đối mặt với nhiều đối thủ ở các hướng khác nhau. Tỷ lệ quay cao của Su-47 cho phép phi công nhanh chóng đổi hướng máy bay sang mục tiêu tiếp sau và chuẩn bị khai hỏa vũ khí.
Cấu hình cánh ngược so với cánh xuôi cùng diện tích mang lại một số ưu điểm:
Tỷ số lực nâng/lực cản lớn
Khả năng thao diễn cao trong tình huống cận chiến (dogfight)
Tầm hoạt động rộng ở tốc độ dưới âm
Cải thiện khả năng chống thất tốc và đặc tính chống xoay
Cải thiện độ ổn định ở các góc tấn công lớn
Tốc độ bay hành trình tối thiểu thấp
Khoảng cách cất, hạ cánh ngắn
Thông tin chung > Thân

Hình cắt ngang thân Berkut hình oval và khung máy bay được chế tạo chủ yếu bằng nhôm và các hợp kim titan 13% (theo trọng lượng) vật liệu composite. Vòm mũi hơi phẳng ở phía trước, và có cạnh đứng để tăng các đặc điểm chống quay của máy bay.
Bất kỳ loại Su-47 được sản xuất nào cũng đều có khả năng mang hầu hết các loại tên lửa đang được sử dụng trong Không quân Nga và Ấn Độ, gồm cả AA-12 Adder, AA-11 Archer, và AA-10 Alamo. Dường như nó không thể mang loại tên lửa tầm dài Novator KS-172 AAM-L, được phát triển để trang bị trên loạt Su-27, MiG-31, và MiG 1.44.
Thông tin chung > Cánh

Cánh ngược giữa thân tạo nên hình dáng khác biệt của Su-47. Phần lớn lực nâng tạo ra bởi cánh ngược xảy ra ở phần phía trong sải cánh. Lực nâng không bị hạn chế bởi hiện tượng thất tốc đầu mút cánh (wingtip stall) và do đó làm giảm sự xuất hiện của các xoáy cảm ứng tại đầu mút cánh. Cánh liệng duy trì được độ hiệu quả ở góc tấn lớn, khả năng điều khiển bay được duy trì tốt ngay cả khi xảy ra hiện tượng tách dòng trên bề mặt cánh.
Các dầm cánh được chế tạo gần 90% vật liệu composite. Cánh giữa nghiêng phía trước có tỷ lệ hướng (aspect ratio) cao, góp phần tăng tính năng hoạt động tầm xa. Phần phía trước cánh lượn nhẹ vào các rầm cánh, chúng được lắp đặt các tấm có thể đổi hướng ở phần trước; cánh nắp (flap) và cánh nhỏ trên phần lái đuôi. Cánh mũi di chuyển mọi hướng diện tích nhỏ hình thang được nối với phần kéo dài của gờ trước cánh.
Nhược điểm của kiểu thiết kế cánh đó là nó tạo ra các lực quay mạnh có thể làm cánh gãy khỏi thân, đặc biệt khi hoạt động ở tốc độ cao. Lực xoắn này đòi hỏi phải sử dụng một lượng lớn vật liệu composite nhằm tăng sức bền và tuổi thọ cánh. Dù vậy, ban đầu máy bay bị hạn chế ở tốc độ Mach 1.6. Những sửa đổi kỹ thuật gần đây đã giúp tăng giới hạn này, nhưng mức giới hạn mới vẫn chưa được xác định.
Thông tin chung > Động cơ chỉnh hướng - Thrush Vector

Dù không phải là kỹ thuật mang tính cách mạng, hệ thống (với kiểu biến cải động cơ PFU) từ -20° tới +20° ở 30°/giây theo cả hai hướng dọc và ngang (in pitch and yaw) giúp tăng đáng kể tính cơ động có được của kiểu cánh nghiêng phía trước.
Thông tin chung > Buồng lái

Thiết kế buồng lái nhấn mạnh trên sự tiện lợi cho phi công và giúp phi công có khả năng kiểm soát máy bay khi thao diễn ở mức độ gia tốc trọng trường cực lớn. Máy bay được trang bị một ghế phóng mới và hệ thống hỗ trợ cứu nạn. Ghế phóng thay đổi hình dạng thích ứng nghiêng một góc 60°, làm giảm tác động của các lực g lên phi công. Ghế cho phép máy bay thao diễn chiến đấu trong các trận đánh hỗn loạn với tác động lực g giảm thiểu. Phi công Su-47 sử dụng thanh điều khiển biên, tốc độ chậm và một bộ điều khiển lực phụt kiểu cảm biến độ căng (tensiometric throttle control).
Quốc gia sử dụng

Không quân Nga
Đặc điểm kỹ thuật (Su-47) > Đặc điểm riêng

Phi đoàn: 1
Chiều dài: 22.6 m (74 ft 2 in)
Sải cánh: từ 15.16 m đến 16.7 m (49 ft 9 in to 54 ft 9 in)
Chiều cao: 6.3 m (20 ft 8 in)
Diện tích: 666 ft² (203 m²)
Trọng lượng rỗng: 36.100 lbs (16375 kg)
Trọng lượng cất cánh: 55.115 lb (25.000 kg)
Trọng lượng cất cánh tối đa: 77.162 lbs (35.000 kg)
Động cơ : 2x động cơ phản lựa tuabin cánh quạt Lyulka AL-37FU điều khiển số, **Công suất thực : 83.4 kN (18.700 lbf) mỗi chiếc
Công suất khi đốt nhiên liệu lần 2: 142.2 kN (32.000 lbf) mỗi chiếc
Hướng phụt: 20° tới +20° ở 30°/giây theo cả hai hướng dọc và ngang
Đặc điểm kỹ thuật (Su-47) > Hiệu suất bay

Vận tốc cực đại: Mach 2.1 (2.200 km/h, 1400 mph), Mach 1.35 (1.400 km/h, 870 miles) trên biển
Tầm bay: 3.300 km (2.050 mi)
Trần bay: 18.000 m (59.050 ft)
Vận tốc lên cao: 230 m/s (45.300 ft/min)
Lực nâng của cánh: 79.4 lb/ft² (36 kg/m²)
Lực đẩy/trọng lượng: N/A
Đặc điểm kỹ thuật (Su-47) > Vũ khí

1x pháo GSh-30-1 30 mm với 150 viên đạn
Tên lửa: 14 giá treo vũ khí (2 đầu cánh, 6-8 dưới cánh, 4-6 dưới thân)
Không đối không: R-77, R-77PD, R-73, K-74
Không đối đất: X-29T, X-29L, X-59M, X-31P, X-31A, KAB-500, KAB-1500
Nội dung liên quan

| --- | --- |
: Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Sukhoi Su-47.
| --- | --- |
: Wikimedia Commons có thêm hình ảnh và phương tiện truyền tải về Sukhoi Su-47.
Nội dung liên quan > Máy bay có tính năng tương đương

X-29
Dự án MiG 1.44
Eurofighter Typhoon
F-22 Raptor
J-XX
Dassault Rafale
Rhipidia melanaria

| Rhipidia melanaria> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Diptera
Họ (familia): Limoniidae
Chi (genus): Rhipidia
Danh pháp hai phần
Rhipidia melanaria Alexander, 1942 
Rhipidia melanaria là một loài ruồi trong họ Limoniidae. Chúng phân bố ở vùng Tân nhiệt đới.
Annona humilis

| Annona humilis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Mesangiospermae
Phân lớp (subclass): Magnoliidae
Bộ (ordo): Magnoliales
Họ (familia): Annonaceae
Chi (genus): Annona
Loài (species): A. humilis
Danh pháp hai phần
Annona humilis Benth., 1851 
Annona humilis là loài thực vật có hoa thuộc họ Na. Loài này được Benth. mô tả khoa học đầu tiên năm 1851.
Araeoncus macrophthalmus

| Araeoncus macrophthalmus> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Linyphiidae
Chi (genus): Araeoncus
Loài (species): A. macrophthalmus
Danh pháp hai phần
Araeoncus macrophthalmus František Miller, 1970 
Araeoncus macrophthalmus là một loài nhện trong họ Linyphiidae.
Loài này thuộc chi Araeoncus. Araeoncus macrophthalmus được František Miller miêu tả năm 1970.
Chú thích

↑  Platnick, Norman I. (2010): The world spider catalog, version 10.5. American Museum of Natural History.
Syzygium mindorense

| Syzygium mindorense> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Eudicots
Bộ (ordo): Myrtales
Họ (familia): Myrtaceae
Chi (genus): Syzygium
Loài (species): S. mindorense
Danh pháp hai phần
Syzygium mindorense (C.B.Rob.) Masam., 1942 
Syzygium mindorense là một loài thực vật có hoa trong Họ Đào kim nương. Loài này được (C.B.Rob.) Masam. miêu tả khoa học đầu tiên năm 1942.
Chú thích

↑  The Plant List (2010). “Syzygium mindorense”. Truy cập ngày 7 tháng 6 năm 2013.
Cosmophasis arborea

| Cosmophasis arborea> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Salticidae
Chi (genus): Cosmophasis
Loài (species): C. arborea
Danh pháp hai phần
Cosmophasis arborea Berry, Beatty & Prószyński, 1997 
Cosmophasis arborea là một loài nhện trong họ Salticidae.
Loài này thuộc chi Cosmophasis. Cosmophasis arborea được Berry, Joseph A miêu tả năm 1997. Beatty & Jerzy Prószyński.
Chú thích

↑  Platnick, N. I. (2012) The world spider catalog, version 12.5. American Museum of Natural History. DOI: 10.5531/db.iz.0001.
Hemiphractus scutatus

| Hemiphractus scutatus> Tình trạng bảo tồn |
| --- | --- |
 Ít quan tâm  (IUCN 3.1)
Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Amphibia
Bộ (ordo): Anura
Họ (familia): Hemiphractidae
Chi (genus): Hemiphractus
Loài (species): H. scutatus
Danh pháp hai phần
Hemiphractus scutatus (Spix, 1824) 
Danh pháp đồng nghĩa
 Hemiphractus boulengeri Miranda-Ribeiro, 1926 Hemiphractus divaricatus Cope, 1868 Hemiphractus spixii Wagler, 1828
Hemiphractus scutatus là một loài ếch thuộc họ Hemiphractidae.
Loài này có ở Brasil, Colombia, Ecuador, Peru, và có thể cả Bolivia.
Môi trường sống tự nhiên của chúng là rừng ẩm vùng đất thấp nhiệt đới hoặc cận nhiệt đới.
Rhipidia microsticta

| Rhipidia microsticta> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Diptera
Họ (familia): Limoniidae
Chi (genus): Rhipidia
Danh pháp hai phần
Rhipidia microsticta Alexander, 1921 
Rhipidia microsticta là một loài ruồi trong họ Limoniidae. Chúng phân bố ở vùng Tân nhiệt đới.
Annona impressivenia

| Annona impressivenia> Phân loại khoa học |
| --- | --- |
Giới (regnum): Plantae
(không phân hạng): Angiospermae
(không phân hạng): Mesangiospermae
Phân lớp (subclass): Magnoliidae
Bộ (ordo): Magnoliales
Họ (familia): Annonaceae
Chi (genus): Annona
Loài (species): A. impressivenia
Danh pháp hai phần
Annona impressivenia Saff. ex R.E.Fr., 1931 
Annona impressivenia là loài thực vật có hoa thuộc họ Na. Loài này được Saff. ex R.E.Fr. mô tả khoa học đầu tiên năm 1931.
Hemiphractus

| Hemiphractus |
| --- | --- |

Phân loại khoa học
Giới (regnum): Animalia
Ngành (phylum): Chordata
Lớp (class): Amphibia
Bộ (ordo): Anura
Họ (familia): Hemiphractidae
Chi (genus): Hemiphractus Wagler, 1828
Các loài
 Xem trong bài.
Hemiphractus là một chi động vật lưỡng cư trong họ Hemiphractidae, thuộc bộ Anura. Chi này có 6 loài và 17% bị đe dọa hoặc tuyệt chủng.
Puerto Vallarta

| Puerto Vallarta |
| --- | --- |

  Ấn chương
Tên hiệu: P.V.
 Vị trí (màu đỏ) trong tiểu bang Jalisco
Puerto Vallarta
Tọa độ: 20°40′B 105°16′T﻿ / ﻿20,667°B 105,267°T﻿ / 20.667; -105.267 
Quốc gia:  México
Bang:  Jalisco
Đô thị: Puerto Vallarta
Thành lập: 1851
Chính quyền
 • Thị trưởng: Lic. Ramon Guerrero (Movimiento Ciudadano)
Diện tích
 • Đô thị: 1,300,7 km2 (502,19 mi2)
Độ cao: 7 m (23 ft)
Dân số (2010)
 • Tổng cộng: 255,725
 • Đô thị: 255,725
 • Tên gọi dân cư: Vallartense
Múi giờ: CST (UTC−6)
 • Mùa hè (DST): CDT (UTC−5)
Mã bưu điện: 48300
Mã điện thoại: 322
Thành phố kết nghĩa: Santa Barbara, Gijón, Highland Park, San Francisco 
Trang web: www.puertovallarta.gob.mx
Puerto Vallarta (phát âm tiếng Tây Ban Nha: [pweɾto βaʝaɾta]) là một thành phố nghỉ dưỡng tuyệt đẹp của Mexico nằm bên bờ Thái Bình Dương của Bahía de Banderas. Điều tra dân số 2010 của Puerto Vallarta là 255.725 người  làm cho nó trở thành thành phố lớn thứ hai ở bang Jalisco. Thành phố Puerto Vallarta là thủ phủ của các đô thị tại Puerto Vallarta trong đó bao gồm thành phố cũng như các trung tâm dân cư bên ngoài của thành phố kéo dài từ Boca de Tomatlán đến biên giới Nayarit (sông Ameca).
Thành phố này nằm ở 20 ° 40' Bắc 105 ° 16' Tây, có có diện tích 502,19 dặm vuông (1,300.7 km2). Phía bắc giáp bang Nayarit. Phía Đông giáp khu đô thị của Mascota và San Sebastián del Oeste, phía nam giáp thành phố Talpa de Allende và Cabo Corriente.
Puerto Vallarta được theo tên của Ignacio Vallarta, một cựu thống đốc bang Jalisco. Trong tiếng Tây Ban Nha, Puerto Vallarta thường được rút ngắn "Vallarta", trong khi người nói tiếng Anh gọi là thành phố PV cho ngắn. Trong cách viết tắt Internet thành phố thường được gọi như PVR, theo Mã sân bay của Hiệp hội Vận tải của Sân bay Quốc tế Gustavo Diaz Ordaz thuộc thành phố.
Hemipyxis apicicostata

| Hemipyxis apicicostata> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Họ (familia): Chrysomelidae
Chi (genus): Hemipyxis
Loài (species): H. apicicostata
Danh pháp hai phần
Hemipyxis apicicostata Kimoto, 1989 
Hemipyxis apicicostata là một loài bọ cánh cứng trong họ Chrysomelidae. Loài này được Kimoto miêu tả khoa học năm 1989.
Chú thích

↑  Chrysomelidae in Synopsis of the described Coleoptera of the World ngày 13 tháng 12 năm 2008
La Valette-du-Var

| --- | --- |
 La Valette-du-Var
La Valette-du-Var

Hành chính
Quốc gia:  Pháp
Vùng: Provence-Alpes-Côte d'Azur
Tỉnh: Var
Quận: Toulon
Tổng: La Valette-du-Var
Liên xã: Communauté d'agglomération Toulon Provence Méditerranée
Xã (thị) trưởng: Christiane Hummel (2008-2014)
Thống kê
Độ cao: 37–701 m (121–2.300 ft) (bình quân 64 m (210 ft)[chuyển đổi: tùy chọn không hợp lệ])
Diện tích đất1: 15,5 km2 (6,0 dặm vuông Anh)
INSEE/Mã bưu chính: 83144/ 83160

La Valette-du-Var là một xã thuộc tỉnh Var trong vùng Provence-Alpes-Côte d’Azur, Pháp. Xã này có diện tích 15,5 km², dân số 22.067 người. Xã này nằm ở khu vực có độ cao trung bình 67 mét trên mực nước biển.
Biến động dân số

| Năm | 1962 | 1968 | 1975 | 1982 | 1990 | 1999 | 2006 |
| --- | --- | --- | --- | --- | --- | --- | --- |
| Dân số | 6949 | 11 194 | 14 745 | 18 296 | 20 687 | 21 739 | 22 067 |
From the year 1962 on: No double counting—residents of multiple communes (e.g. students and military personnel) are counted only once.
La Cauchie

| --- | --- |
 La Cauchie   
La Cauchie   
Vị trí trong vùng Nord-Pas-de-Calais La Cauchie    
Hành chính
Quốc gia:  Pháp
Vùng: Hauts-de-France
Tỉnh: Pas-de-Calais
Quận: Arras
Tổng: Beaumetz-lès-Loges
Liên xã: Vertes vallées
Xã (thị) trưởng: Robert Lesage (2008-2014)
Thống kê
Độ cao: 135–168 m (443–551 ft) (bình quân 161 m (528 ft)[chuyển đổi: tùy chọn không hợp lệ])
Diện tích đất1: 2,2 km2 (0,85 dặm vuông Anh)
Nhân khẩu1: 178  
 - Mật độ: 81/km2 (210/sq mi)
INSEE/Mã bưu chính: 62216/ 62158

2 Dân số không tính hai lần: cư dân của nhiều xã (ví dụ, các sinh viên và quân nhân) chỉ tính một lần.
La Cauchie là một xã của tỉnh Pas-de-Calais, thuộc vùng Hauts-de-France, miền bắc nước Pháp.
Dân số

| 1962 | 1968 | 1975 | 1982 | 1990 | 1999 |
| --- | --- | --- | --- | --- | --- |
| 138 | 150 | 166 | 155 | 165 | 178 |
Census count starting from 1962: Population without duplicates
Reimei

Reimei(レイメイ, 黎明, Bình minh) là đĩa đơn hợp tác giữa nhạc sĩ Nhật Bản Sayuri và MY FIRST STORY [ja]. Nó được phát hành bởi Ariola Japan [ja] vào ngày 5 tháng 12 năm 2018.
Bài hát chủ đề "Reimei" được chỉ định làm nhạc nền mở đầu mùa thứ hai của anime truyền hình "Golden Kamuy [ja]", và vào ngày 22 tháng 10 năm 2018, video mở đầu của anime sử dụng bài hát này đã được đăng trên YouTube. Xuất bản trong. Video âm nhạc được phát hành trên YouTube vào ngày 6 tháng 11 năm 2018, và video thông báo được phát hành trên Twitter của Sayuri vào ngày 20 tháng 11 năm 2018.
Luận lý Hoare

Luận lý Hoare (còn được biết đến với tên Luận lý Floyd–Hoare) là một hệ chính quy do nhà khoa học máy tính người Anh C. A. R. Hoare phát triển, và sau đó được Hoare và những nhà nghiên cứu khác tinh lọc lại. Mục đích của hệ thống là cung cấp một tập các quy luật luận lý để suy luận tính đúng đắn của các chương trình máy tính bằng tính chính xác của luận lý toán học.
Nó được xuất bản trong bài báo năm 1969 của Hoare, ở đó Hoare đã sử dụng lại những đóng góp trước đó của Robert Floyd, người đã xuất bản một hệ thống tương tự dành cho sơ đồ luồng (flowchart).
Đặc điểm trung tâm của luận lý Hoare là bộ ba Hoare. Bộ ba này mô tả sự thực thi một đoạn mã có thể thay đổi trạng thái tính toán như thế nào. Bộ ba Hoare có dạng
trong đó P và Q là những khẳng định và C là một mệnh lệnh. P được gọi là tiền điều kiện và Q là hậu điều kiện. Những khẳng định là những công thức có dạng luận lý vị từ.
Luận lý Hoare có những tiên đề và luật suy diễn dành cho tất cả những mẫu cơ bản của ngôn ngữ lập trình mệnh lệnh. Ngoài các luật dành cho ngôn ngữ đơn giản trong bài báo nguyên thủy của Hoare, những luật dành cho những mẫu ngôn ngữ khác cũng đã được phát triển từ lúc đó bởi Hoare và nhiều nhà nghiên cứu khác. Có những luật dành cho đồng thời, thủ tục, nhảy, và con trỏ.
Tính đúng đắn bộ phận và toàn phần

Luận lý Hoare chuẩn chỉ chứng minh tính đúng đắn bộ phận, trong khi điều kiện dừng phải được chứng minh độc lập. Do đó cách diễn dịch bộ ba Hoare là: Nếu P là trạng thái trước khi thực thi C, thì Q sẽ là trạng thái sau khi thực thi nó, hoặc C không dừng (chạy vô tận). Chú ý rằng nếu C không dừng thì sẽ không có khái niệm "sau", do đó Q có thể là bất cứ thứ gì. Thực vậy, người ta có chọn Q là false để diễn tả rằng C không dừng.
Tính đúng đắn toàn phần cũng có thể được chứng minh bằng phiên bản mở rộng của quy luật While.
Các quy luật > Luật về phát biểu gán

Tiên đề gán chỉ ra rằng sau phép gán, bất kỳ vị từ nào chứa biến là true đối với vế phải phép gán:
Ở đây  P[E/x] chỉ ra rằng biểu thức P trong đó tất cả các lần xuất hiện tự do của biến x đã được thay bằng biểu thức E.
Ý nghĩa của tiên đề gán này là giá trị đúng sai của  \{P[E/x]\} là tương đương với giá trị đúng sai của  \{P\} sau khi gán.  Do đó nếu  \{P[E/x]\} là true trước phép gán, nhờ tiên đề gán  \{P\} cũng sẽ true sau phép gán. Ngược lại, nếu  \{P[E/x]\} là false trước phép gán, thì chắc chắn  \{P\} phải là false sau phép gán.
Các ví dụ về những bộ ba đúng:
\{x+1=43\}\ y:=x+1\ \{y=43\}\!
\{x+1\leq N\}\ x:=x+1\ \{x\leq N\}\ \!
Tiên đề gán do Hoare đưa ra không áp dụng vào trường hợp có nhiều hơn một tên cùng chỉ một giá trị lưu trữ. Ví dụ,
là không đúng nếu x và y cùng đại diện cho một biến, vì không có tiền điều kiện nào có thể khiến cho y bằng 3 sau khi x được gán bằng 2.
Các quy luật > Luật ghép

Luật về phát biểu ghép của Hoare áp dụng cho những chương trình được thực thi tuần tự S và T, trong đó S thực thi trước T và được viết là S;T.
Ví dụ, xét hai phát biểu sau:
và
Theo luật ghép, ta có thể kết luận:
Các quy luật > Luật While

Ở đây P là điều kiện bất biến của vòng lặp.
Các quy luật > Luật While dành cho tính đúng đắn toàn phần

Trong luật này, ngoài việc giữ các điều kiện bất biến vòng lặp, ta cũng phải chứng minh dừng bằng cách chứng minh giá trị của một số hạng giảm dần sau mỗi lần lặp, ở đây là t.  Chú ý rằng t phải là giá trị thuộc tập chắc chắn, để cho mỗi bước lặp có thể tính được bằng cách giảm giá trị đi một chuỗi hữu hạn.
Ví dụ

| 0 | 1 | 2 | 3 |
| --- | --- | --- | --- |
Example 1
|  \{x+1=43\}\! |  \ y:=x+1\ \! |  \{y=43\}\! | (Tiên đề gán) |
|  |  |  |  (x+1=43\implies x=42) |
|  \{x=42\}\! |  \ y:=x+1\ \! |  \{y=43\land x=42\}\! | (Luật hệ quả) |
Example 2
|  \{x+1\leq N\}\! |  \ x:=x+1\ \! |  \{x\leq N\}\ \! | (Tiên đề gán) |
|  |  |  | ( x<N\implies x+1\leq N với x, N là kiểu số nguyên.) |
|  \{x<N\}\! |  \ x:=x+1\ \! |  \{x\leq N\}\ \! | (Luật hệ quả) |
La Valla-en-Gier

| --- | --- |
 La Valla-en-Gier
La Valla-en-Gier

Hành chính
Quốc gia:  Pháp
Vùng: Auvergne-Rhône-Alpes
Tỉnh: Loire
Quận: Saint-Étienne
Tổng: Saint-Chamond-Sud
Xã (thị) trưởng: Jean-Claude Flachat (2008–2014)
Thống kê
Độ cao: 440–1.388 m (1.444–4.554 ft) (bình quân 650 m (2.130 ft)[chuyển đổi: tùy chọn không hợp lệ])
Diện tích đất1: 34,78 km2 (13,43 dặm vuông Anh)
Nhân khẩu2: 741  (1999)
 - Mật độ: 21/km2 (54/sq mi)
INSEE/Mã bưu chính: 42322/ 42131
1 Dữ liệu địa chính Pháp loại trừ các hồ và ao lớn hơn 1 km² (0.386 dặm vuông hoặc 247 acre) cũng như các cửa sông.
2 Dân số không tính hai lần: cư dân của nhiều xã (ví dụ, các sinh viên và quân nhân) chỉ tính một lần.
La Valla-en-Gier là một xã trong tỉnh Loire miền trung nước Pháp.
Cosmophasis cypria

| Cosmophasis cypria> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Phân ngành (subphylum): Chelicerata
(không phân hạng): Arachnomorpha
Lớp (class): Arachnida
Bộ (ordo): Araneae
Họ (familia): Salticidae
Chi (genus): Cosmophasis
Loài (species): C. cypria
Danh pháp hai phần
Cosmophasis cypria (Thorell, 1890) 
Cosmophasis cypria là một loài nhện trong họ Salticidae.
Loài này thuộc chi Cosmophasis. Cosmophasis cypria được Tord Tamerlan Teodor Thorell miêu tả năm 1890.
Chú thích

↑  Platnick, N. I. (2012) The world spider catalog, version 12.5. American Museum of Natural History. DOI: 10.5531/db.iz.0001.