ATC代码 (V07)

相关

• 公理语义学公理语义学（Axiomatic semantics）是使用数理逻辑来证明程序正确性。程序中的命令的意义描述是通过对程序状态的断言（assertion）效果。断言是逻辑语句——带变量的谓词，而这些变量
• 祝世宁祝世宁（1949年12月－），生于江苏南京，原籍江苏镇江，中国功能材料学家，南京大学教授。现任南京大学物理系主任。1981年毕业于淮阴师范学院，1988年在南京大学获硕士学位，1996年在南京大学
• 海风海陆风是一种在海岸附近因海陆热力性质差异而产生的中尺度热力环流，属于小范围天气系统，对滨海地区的气候产生较大影响，是大气次级环流的一种。一般地，在白昼风从海上吹向陆地，称
• 卢台特期卢台特期是始新世的的第二个阶段，起始和终止时间分别为47.8百万年前和41.2百万年前。在通常情况下，该阶经常与巴尔顿期共同构成中始新亚世；另外在某些情况下，该期还可能与伊普雷
• 太阳高能粒子太阳高能粒子是来自太阳的高能量粒子，在1940年代初期就已经被观测到。他们包含质子、电子和能量在数十KeV至GeV的重离子（速度最快的粒子可以达到光速的80%）。人们对它们特别重
• 苹果汁苹果汁（英语：apple juice），是从苹果果肉榨出的果汁。苹果汁的制造是先压榨苹果果肉，再将果汁部分过滤出来，通常在工厂中会再进行低温杀菌处理。 由于自制苹果汁的过程必须榨汁再将
• 岩石类型岩石依不同的形成方式，可粗略分为三类：火成岩、沉积岩和变质岩。
• 瑟斯顿瑟斯顿县（Thurston County, Washington）是美国华盛顿州普吉特湾南岸的一个县，成立于1852年1月12日。面积2,004平方公里。根据美国2000年人口普查，共有人口207,355人。县治奥林匹
• 美国商业服务局美国商务服务局（CS）是美国商务部国际贸易署（英语：International Trade Administration）对促进贸易的有力臂膀，帮助美国公司在国际范围内成功运作。美国商务服务局由商务部次长领导
• 茼蒿茼蒿（学名：Glebionis coronaria），别名春菊、打某菜、茼蒿菜、艾菜、皇帝菜，是一种菊属植物，原产于地中海南岸。茼蒿在欧洲原本是庭园中美丽的观叶植物，但在宋朝引进中国后，却成为餐