论文部分内容阅读
东北鼢鼠形态及脏器组织结构的研究
【机 构】
：
黑龙江省齐齐哈尔师范学院生物系
【出 处】
：
全国兽类学学术讨论会
【发表日期】
：
1990年期
其他文献
提出了基于形变模型的3D动画方法.用一形变模型表示物体的表面,由模型的变形来实现动画;为了使模型自适应改变其拓扑结构,将模型的进化问题转化为函数的水平集进化问题;同时
伦敦烟雾事件rn众所周知,伦敦曾有“雾都”之名,冬天多半都是浓雾天气,而浓雾的产生与工业革命有很大关系.煤炭是工业革命的核心原料,每天的煤炭燃烧会释放出大量烟尘,当它们
期刊
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前