都市圈作为典型的复杂巨系统，其国土、人口、交通等要素呈现出共同演化、协同发展的特征。现有基于元胞自动机的空间模拟方法通常分......

提出并实现了一种基于Verilog模拟器与C模拟器协同模拟的微处理器验证平台Bug Finder.该平台通过System Verilog DPI(Direct Progr......

近日，上海航天技术研究院控制所某卫星研保建设项目顺利通过验收，表明该所大型双星伴飞运动系统已初步建成并投入使用。　　该系统为......

文章研究嵌入式系统协调设计方法,重点讨论一个完整的嵌入式系统协调设计环境--BitCoDesign构造,把嵌入式系统设计分解为系统功能......

文中以宝月油田构造高部位宝月断背斜布心组三段Ⅳ砂组油藏地质建模为例,利用已有的基础地质研究及测井解释、地震解释等成果,以Pe......

介绍了一个用来验证嵌入式系统硬件 /软件 ,及其交互功能的硬件 /软件协同验证环境 .硬件 /软件功能分别使用系统提供的 EHDL 语言......