论文部分内容阅读
A STUDY ON FORMAL MODEL INTEGRATION
【机 构】
：
CollegeofInformationScienceandEngineering
【出 处】
：
电子科学学刊：英文版
【发表日期】
：
2006年5期
【基金项目】
：
Supported by the National Natural Science Foundation of China （No.60474041 ）.
其他文献
Multi-channel Global Positioning System (GPS) satellite signal simulator is used to provide realistic test signals for GPS receivers and navigation systems. In
<正>A new type of dispenser cathode with dual-layer (Os-W/Re) is developed. The cathode coated with Os-W/Re shows better emission performance than the cathode c
宋人所作的《苕溪渔隐丛话》中有个故事:宋代著名词人秦少游为汝南学官时,曾患肠胃病。友人前来看他,拿出一幅出自唐代诗人王维之手的丹青《辋川图》。走时嘱咐道:你如常观此
<正>一、问题的提出从中职学生整个群体来看,大多数学生都有正确的思想和政治态度,在个人利益和价值取向上牢牢把握正确的方向,整体的思想是乐观、积极、向上的。然而,由于东
会议
狂犬病是当前死亡率最高的一个病症,对人们的生命安全造成巨大威胁,当前临床上尚无特效治疗方法.接种狂犬病疫苗是最为有效的一个方法.本文在阐述我国狂犬病流行现状的基础上