杨子才

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• HCP磷杂乙炔是一种无色气体，化学式HCP，结构式H—C≡P。磷杂乙炔可以由磷化氢通过炭电弧放电得到，同时也产生乙炔和乙烷，或者由H3CPCl2热分解得到，副产物氯化氢。磷杂乙炔不稳定，仅在
• 准晶体准晶体，亦称为“准晶”或“拟晶”，是一种介于晶体和非晶体之间的固体。准晶体具有与晶体相似的长程有序的原子排列；但是准晶体不具备晶体的平移对称性。根据晶体局限定理（crysta
• 湘江湘江道，中华民国初期设置的道。在今湖南省境。1914年6月依旧长宝道区域置，治所在长沙县(今湖南长沙市)。属湖南省。辖长沙、湘阴、浏阳、醴陵、湘潭、宁乡、益阳、湘乡、攸县
• 关中渭河平原，又称为关中平原、关中，在中国陕西中部、秦岭北麓，东西长300公里，平均海拔约400米，其北部为陕北黄土高原，向南则是陕南山地、秦巴山脉，为陕西的工、农业发达，人口密集地区，富
• 黑子 (歌舞伎)黑子，通常又叫黑衣（黒衣（くろご）），是指歌舞伎中，身着黑衣并负责舞台布置的演员。黑子除了身着黑衣外，还要用黑布蒙面。有些西方电影更将黑子与忍者混为一谈。另外，除了穿黑衣外，在表现
• 鄂布斯·勇林鄂布斯·勇林，又名鄂布斯、鄂勇林。中国达斡尔族男演员，主要电视剧作品有《天龙八部》（饰耶律洪基）、《朱元璋》（饰徐达）以及《东方有大海》（饰明治天皇）；主要电影作品有一八九四·甲
• 邵新宇邵新宇（1968年11月－），男，江苏靖江人，中国机械工程专家，华中科技大学党委书记。1986年8月，于江苏靖江县中学加入中国共产党，并被免试保送华中工学院机制专业，大学期间曾担任全国学联副
• 玛丽·切尼玛丽·克莱尔·切尼（Mary Claire Cheney，1969年3月14日－）是前美国副总统迪克·切尼和妻子琳恩·切尼的第二个女儿。她是公开的同性恋者，已表示支持同性婚姻，她父亲也表示支持。玛
• 点灯夫群在群论中，点灯夫群（英语：Lamplighter group）是两个群 Z / 2 Z