丁香

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 显微图谱《显微图谱》（Micrographia，又译为《显微制图》、《显微术》、《显微镜图集》、《显微图象》、《显微图志》、《微观图集》）是罗伯特·胡克的一部著作。这本书于1665年9月出版，
• 特殊摄影特摄（日语：特撮／とくさつ Tokusatsu ?）是日语“特撮（とくさつ）”的和制汉语的转变，是（日本）特殊摄影技术（（传统）特效）的简称。亦是指使用大量特技效果的真人电影、电视剧的日语术语。特
• 更新世更新世（英语：Pleistocene，发音： /ˈplaɪs.təˌsiːn, -toʊ-/ PLYSE-tə-seen, -⁠toh-），亦称洪积世，时间自2,588,000年前到11,700年前，为地质时代中新生代第四纪的早期。这一时期
• 植物分类表 (NCBI)NCBI是美国国家生物技术信息中心，其分类方法一般吸收了最新的科学进展，能被全世界的生物界所接受。本列表仅列出有胚植物（Embryophyta）部分，所有分类单元均分至科。以下所有有胚
• 马达蛋白马达蛋白是一类分子马达，它们可以沿着合适底物的表面进行移动。马达蛋白是利用ATP水解所产生的化学能量转化为自身的运动。马达蛋白是细胞内物质运输颗粒和囊泡的载体。马达
• 方形神殿方形神殿（法语：Maison Carrée）是位于法国南部尼姆的一座古代建筑，是保存状态最为良好的古罗马时期神殿建筑之一。方形神殿建设于公元前16年。4世纪后，这里成为基督教的教堂。182
• 霍亚金·罗德利果华金·罗德里戈，阿兰胡埃斯公园侯爵（西班牙语：Joaquín Rodrigo Vidre，Marqués de los Jardines de Aranjuez，1901年11月22日－1999年7月6日），西班牙作曲家。罗德里戈自幼失明，不会弹
• PaO一氧化镤是具放射性的无机化合物，是一种镤的氧化物，化学式为PaO，是白色不透明晶体。一氧化镤有时能再盐岩中发现。一氧化镤和其他镤氧化物不同在于一氧化镤只有2价。镤氧化时，能
• 甘草次酸甘草次酸（glycyrrhetinic acid，或glycyrrhetic acid，也叫Enoxolone）是一种五环三萜物质，由草药光果甘草的甘草酸水解得到故而得名。甘草次酸可以看作是β-香树脂醇（齐墩果烷型）的衍