水上警察

相关

• CV-32 雷伊泰号莱特号航空母舰（USS Leyte CV-32）是一艘隶属于美国海军的航空母舰，为埃塞克斯级航空母舰的十五号舰，在非官方上亦是长舰体埃塞克斯级的五号舰。她原命名为王冠点（Crown Point），以纪
• 成龙路街道成龙路街道，是中华人民共和国四川省成都市锦江区下辖的一个乡镇级行政单位。成龙路街道下辖以下地区：金象花园社区、皇经社区、花香苑社区、国槐路社区、棬子树社区、金像寺社
• 麦克斯·布鲁克斯麦克斯·布鲁克斯 （Max Brooks，1972年5月22日-）是一位美国作家、编剧和男演员。他是喜剧制作人Mel Brooks和女演员Anne Bancroft之子。他主要写作恐怖和幽默故事。布鲁克斯生于
• 周梅森周梅森（1956年3月9日－），江苏徐州人，中华人民共和国作家，中国作家协会会员，江苏省作家协会副主席，一级作家。
• 山本源吉山本源吉，（1763年－1825年），又名山本源右卫门、清木元悦，法号道佐，因此也有山本道佐之称，生于日本远江国滨松，日本江户时代围棋棋士，棋力六段，为著名业余碁豪，被称作“滨松的源吉”。1771
• 大只王子大只王子（英语：Prince Chunk）是美国的一只混种短毛猫，曾号称重达四十四磅，创世界纪录。当2008年收养它的新泽西州金顿县动物收容所曝光了这只猫的体重后，使它迅速成名，开始出现在《
• 李保国 (1961年12月)李保国（1961年－），男，陕西周至人，中国动物学家，西北大学生命科学学院教授，陕西省动物研究所所长。研究方向为灵长类行为生态、哺乳类动物生态、生物多样性保护等。1982年获得陕西师范大学生物系学士学位，1985年获得西北大学生物系动物学硕士学位。曾在京都大学、梅西大学做客座教授。2012年任西北大学生命科学学院院长。2009年至今任陕西省动物研究所所长，2015年至今任中国科学院西安分院副院长。担任《Current Zoology》编委、《动物学报》等杂志编委，中国动物学会等学会、协会理事，《中国西北地
• 韩娜娜韩娜娜（韩语：한나나，1979年1月30日－），韩国女演员。曾参选第43届韩国小姐。
• 沈业富沈业富（1732年－1807年），字既堂，又字方榖、方谷，号味镫老人，室名味镫斋、味镫书屋。江苏省扬州府高邮州（今属扬州市高邮县）人，清朝政治人物、书法家。乾隆十八年（1753年）中式癸酉科江南乡试举人。乾隆十九年（1754年）中式甲戌科第二甲第二十二名进士出身。点翰林院庶吉士学习清书。二十二年（1757年）：翰林院散馆，授编修。充国史馆纂修官二十五年（1760年）：以翰林院编修充任江西乡试副考官。二十七年（1762年）：以翰林院编修充任山西乡试副考官、续文献通考馆纂修官。撰制诰、办院事，勤于其职。二十八
• 析取范式在布尔逻辑中，析取范式(DNF)是逻辑公式的标准化（或规范化），它是合取子句的析取。作为规范形式，它在自动定理证明中有用。一个逻辑公式被认为是 DNF 的，当且仅当它是一个或多个文字的一个或多个合取的析取。同合取范式（CNF）一样，在 DNF 中的命题算子是与、或和非。非算子只能用做文字的一部分，这意味着它只能领先于命题变量。例如，下列公式都是 DNF:但如下公式不是 DNF:把公式转换成 DNF 要使用逻辑等价，比如双重否定除去、德·摩根定律和分配律。注意所有逻辑公式都可以转换成析取范式。但是，在某些情