文章归档 · 2018-07

← 返回月份列表

烏納山

烏納山是南極洲的山峰,位於沙克爾頓海岸,屬於伊麗莎白女王嶺的一部分,處於赫爾姆冰川和洛厄里冰川之間,海拔高度2,170米,以美國研究隊的極地科學家命名。

奧爾峰

奧爾峰是南極洲的山峰,屬於米勒嶺的一部分,在1957年12月由新西蘭探險隊發現,以斯科特基地的科學家命名,現時由南極條約體系管理。

正规模态逻辑

在逻辑中,正规模态逻辑是模态公式的集合 L,L 包含 所有命题重言式, 所有满足 Kripke 模式的实例: \Box(A\to B)\to(\Box A\to\Box B), 并且 L 闭合于 分拆规则(肯定前件): A\rightarrow B, A\vdash B, 必然性规则: 从 \vdash A 推出 \vdash\Box A。 最小化的满足上述条件的逻辑叫做 K。大多数如今常用的模态逻辑(指有哲学动机的)如C. I. 刘易…

洛克伍德山

洛克伍德山是南極洲的山峰,位於沙克爾頓海岸,屬於亞歷山德拉皇后山脈的一部分,是格林德利高原的東部,處於貝爾山以南9公里,由英國探險隊命名。

蘭平峰

蘭平峰是南極洲的山峰,位於沙克爾頓海岸,處於普雷布爾冰川和懷科夫冰川之間,屬於亞歷山德拉皇后山脈的一部分,以美國的地磁學家命名。

休森冰川

休森冰川是南極洲的冰川,位於沙克爾頓海岸的亞歷山德拉皇后山脈地區,全長28公里,最終注入比爾德摩爾冰川,以新西蘭探險隊的測量員命名。

哈文山

哈文山是南極洲的山峰,位於沙克爾頓海岸的肯特冰川南岸,屬於伊麗莎白女王嶺的一部分,處於特德羅山以西,美國地質調查局根據測量和海軍空中照片繪入地圖。

加拉德冰川

加拉德冰川是南極洲的冰川,位於沙克爾頓海岸的亞歷山德拉皇后山脈地區,流經洛克伍德山和柯克帕特里克山,最終在貝爾海崖以南注入比爾德摩爾冰川。

克利夫斯冰川

克利夫斯冰川是南極洲的冰川,位於沙克爾頓海岸,處於霍蘭山脈地區,流經里德山,最終注入羅布冰川,美國地質調查局根據測量和該國海軍的空中照片繪入地圖。

愛麗絲冰川

愛麗絲冰川是南極洲的冰川,位於沙克爾頓海岸,流經亞歷山德拉皇后山脈,最終在錫羅希角注入比爾德摩爾冰川,由歐內斯特·沙克爾頓率領的英國探險隊發現。

人民监督员

人民监督员是接受检察院委任,对人民检察院办理直接受理立案侦查案件工作实施监督的中国公民。 人民监督员制度的创设 为了加强对查办职务犯罪工作的监督,提高执法水平和办案质量,在中央部署下,中国一些地方的检察院先行试点人民监督员制度。试点取得了成功,得到中共中央的充分肯定和社会各界广泛赞同。于是,自2010年10月29日起,最高人民检察院要求各级人民检察院全面推行人民监督员制度。 担任资格 人民监督员必须是年满23岁,没有犯罪记录,有选举和被…

溪北村

溪北村可以指以下地方: 中華民國 溪北村 (新港鄉):位於嘉義縣新港鄉的行政區 溪北村 (溪口鄉):位於嘉義縣溪口鄉的行政區 溪北村 (屏東縣):位於屏東縣南州鄉的行政區 中華人民共和國 溪北村 (台州市):位於浙江省台州市三門縣海游鎮 溪北村 (紹興市):位於浙江省紹興市諸暨市璜山鎮 溪北村 (湖州市):浙江省湖州市德清縣莫干山鎮 溪北村 (江蘇):位於江苏省扬州市宝应县曹甸镇 溪北村 (龙岩市):位於福建省龙岩市上杭县才溪镇 溪北村…