检索结果-维普期刊中文期刊服务平台

嵌入式微处理器片上调试系统的设计和验证被引量：1: 1; 作者龚令侃卢景芬《计算机工程》 CAS CSCD 北大核心 2008年第B09期131-133,共3页; 为了尽可能保持芯片原有体系结构,综合基于软件监控和基于JTAG的2种方法,提出扩展嵌入式处理器片上调试系统的完整解决方案。该系统包括PC端的开发环境IDE、命令转发与控制子系统Probe和支持JTAG标准的目标CPU等部分。通过软硬件协同设... 展开更多; 关键词嵌入式微处理器片上调试系统软硬件协同设计和验证; 在线阅读下载PDF 职称材料

船舶废气清洗系统设计和试验验证被引量：1: 2; 作者厉成恩李鑫《船海工程》北大核心 2020年第S01期73-76,共4页; 以某11.4万载重t成品油/原油船为对象,设计并安装了1套与船舶燃烧设备相匹配的混合式废气清洗系统,航行试验结果表明,经清洗后的船舶尾气中SO2/CO2比值及洗涤水pH值均满足IMO《废气清洗系统导则(2015)》的要求,从而校验了设计、安装方... 展开更多; 关键词废气清洗系统硫氧化物减排设计和验证; 在线阅读下载PDF 职称材料

“句芒”号卫星超光谱探测仪设计与系统验证: 3; 作者井亚舟段鹏飞 +4 位作者李碧岑王伟刚安宁夏晨晖崔博伦《中国空间科学技术》 CSCD 北大核心 2023年第6期142-149,共8页; 随着双碳目标的提出,碳监测定量化遥感技术的发展需求日益迫切,对日光诱导叶绿素荧光定量化的遥感监测可以作为植被实际光合作用效果和碳循环效能评价的重要手段。介绍了“句芒”号卫星的有效载荷之一超光谱探测仪的性能指标、设计方案... 展开更多; 关键词日光诱导叶绿素荧光遥感光谱仪高光谱推扫成像光栅分光设计和验证; 在线阅读下载PDF 职称材料

标记迁移系统的组合可达性分析被引量：2: 4; 作者文艳军王戟齐治昌《计算机科学》 CSCD 北大核心 2005年第12期110-111,145,共3页; 标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描... 展开更多; 关键词标记迁移系统计算机辅助设计和验证组合可达性分析状态空间爆炸问题观察等价; 在线阅读下载PDF 职称材料

题名嵌入式微处理器片上调试系统的设计和验证被引量：1: 1; 作者龚令侃卢景芬; 机构华东计算技术研究所; 出处《计算机工程》 CAS CSCD 北大核心 2008年第B09期131-133,共3页; 文摘为了尽可能保持芯片原有体系结构,综合基于软件监控和基于JTAG的2种方法,提出扩展嵌入式处理器片上调试系统的完整解决方案。该系统包括PC端的开发环境IDE、命令转发与控制子系统Probe和支持JTAG标准的目标CPU等部分。通过软硬件协同设计和验证,确保系统划分正确,子系统协调工作,并缩短了调试系统的开发周期。; 关键词嵌入式微处理器片上调试系统软硬件协同设计和验证; Keywords embedded microprocessor on-chip debug system software/hardware co-design and co-verification; 分类号 N945 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名船舶废气清洗系统设计和试验验证被引量：1: 2; 作者厉成恩李鑫; 机构中国船级社广州分社; 出处《船海工程》北大核心 2020年第S01期73-76,共4页; 文摘以某11.4万载重t成品油/原油船为对象,设计并安装了1套与船舶燃烧设备相匹配的混合式废气清洗系统,航行试验结果表明,经清洗后的船舶尾气中SO2/CO2比值及洗涤水pH值均满足IMO《废气清洗系统导则(2015)》的要求,从而校验了设计、安装方法的正确性。; 关键词废气清洗系统硫氧化物减排设计和验证; Keywords exhaust gas clean system SOx emission reduction design and verification; 分类号 U692.7 [交通运输工程—港口、海岸及近海工程]; 在线阅读下载PDF 职称材料

题名“句芒”号卫星超光谱探测仪设计与系统验证: 3; 作者井亚舟段鹏飞李碧岑王伟刚安宁夏晨晖崔博伦; 机构北京空间机电研究所; 出处《中国空间科学技术》 CSCD 北大核心 2023年第6期142-149,共8页; 基金国家重大科技专项工程。; 文摘随着双碳目标的提出,碳监测定量化遥感技术的发展需求日益迫切,对日光诱导叶绿素荧光定量化的遥感监测可以作为植被实际光合作用效果和碳循环效能评价的重要手段。介绍了“句芒”号卫星的有效载荷之一超光谱探测仪的性能指标、设计方案、系统组成、验证结果及在轨运行情况。超光谱探测仪是面向太阳诱导植被荧光探测的精密光学仪器,系统采用了推扫成像和光栅色散分光的技术方案,经过测试验证,光谱分辨率优于0.3 nm,地面像元分辨率达到1.5 km,典型输入辐亮度条件下系统信噪比优于500,各项指标均满足和优于探测任务需求,具备高光谱分辨率、高信噪比、高稳定性的探测能力,其良好的表现将在植被监测和碳循环应用等方面发挥重要的作用。; 关键词日光诱导叶绿素荧光遥感光谱仪高光谱推扫成像光栅分光设计和验证; Keywords solar-induced fluorescence remote sensing spectrometer hyperspectral pushbroom imaging grating dispersion design scheme and performance; 分类号 V19 [航空宇航科学与技术—人机与环境工程]; 在线阅读下载PDF 职称材料

题名标记迁移系统的组合可达性分析被引量：2: 4; 作者文艳军王戟齐治昌; 机构国防科技大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2005年第12期110-111,145,共3页; 基金国家自然科学基金(重点项目 No.60233020 重大研究计划项目 No.90104007) +1 种基金 863项目(No.2001AA113202 No.2001AA113190)资助; 文摘标记迁移系统是一种在计算机辅助设计和验证中得到广泛使用的形式模型。当系统中的模块比较多时,系统的整体模型有可能出现状态空间的指数级爆炸,组合可达性分析是缓解这一问题的一种有效方法。已有的工作缺乏对该方法基本原理的清晰描述和精确表达。本文对其基本原理进行了分析和概括,并作了形式化陈述,证明了相关结论。本文的工作有助于深入理解和澄清组合可达性分析的内部工作机制。; 关键词标记迁移系统计算机辅助设计和验证组合可达性分析状态空间爆炸问题观察等价; Keywords Labeled transition system, Computer-assistant design and verification, Compositional reachability analysis （CRA） ,State-explosion; 分类号 TP393 [自动化与计算机技术—计算机应用技术] N94 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	嵌入式微处理器片上调试系统的设计和验证	龚令侃卢景芬	《计算机工程》 CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
2	船舶废气清洗系统设计和试验验证	厉成恩李鑫	《船海工程》北大核心	2020	1	在线阅读下载PDF 职称材料
3	“句芒”号卫星超光谱探测仪设计与系统验证	井亚舟段鹏飞李碧岑王伟刚安宁夏晨晖崔博伦	《中国空间科学技术》 CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
4	标记迁移系统的组合可达性分析	文艳军王戟齐治昌	《计算机科学》 CSCD 北大核心	2005	2	在线阅读下载PDF 职称材料