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

面向模型检验的跨时钟域设计电路特性生成方法被引量：2: 1; 作者冯毅许经纬 +2 位作者易江芳佟冬程旭《电子学报》 EI CAS CSCD 北大核心 2009年第2期258-265,共8页; 对跨时钟域设计进行功能验证是SoC验证中的难点问题.传统的面向跨时钟域设计的模型检验方法并没有充分考虑电路特性描述的完整性问题,然而制订完整的电路特性是模型检验有效性的基础,不全面的电路特性描述将可能隐藏设计错误.为生成完... 展开更多; 关键词形式化验证模型检验跨时钟域设计电路特性生成; 在线阅读下载PDF 职称材料

槟榔加呋喃丙胺治疗慢性血吸虫病的疗效观察被引量：3: 2; 作者徐兆骥傅宝珍 +7 位作者马亦林吴康贵陈和生许经纬李明淦李讳英毛慧心李忠玉《浙江大学学报（医学版）》 CAS 1982年第S1期78-79,共2页; 于1978年11月用槟榔煎剂加呋喃丙胺治疗慢血32例,继于1980年5月用槟榔浸膏片加呋喃丙胺治疗慢血61例。治疗中所用槟榔煎剂系由花槟榔碎块煎煮而成,每毫升相当原药材0.258,槟榔浸膏片系用乙醇抽提槟榔中的有效成分,经过浓缩,添加适当赋... 展开更多; 关键词槟榔丙胺驱虫药(中药) 伯胺裂体吸虫病地方病血吸虫病汤剂煎剂; 在线阅读下载PDF 职称材料

工业聚落居住空间的崛起与再生: 3; 作者曾梓峰许经纬《城市建筑》 2007年第1期70-73,共4页; 本文以德国Sachsendof-Madlow大型社会住宅项目为例,从对话式的参与式规划、深入民众生活的参与机制、真实生活中的居住环境、历史文脉下居住空间的新诠释、开发策略与行动内容几方面来介绍工业聚落空间崛起与再生的实践过程。; 关键词 Sachsendof-Madlow 社会住宅项目工业聚落空间; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向模型检验的跨时钟域设计电路特性生成方法	冯毅许经纬易江芳佟冬程旭	《电子学报》 EI CAS CSCD 北大核心	2009	2	在线阅读下载PDF 职称材料
2	槟榔加呋喃丙胺治疗慢性血吸虫病的疗效观察	徐兆骥傅宝珍马亦林吴康贵陈和生许经纬李明淦李讳英毛慧心李忠玉	《浙江大学学报（医学版）》 CAS	1982	3	在线阅读下载PDF 职称材料
3	工业聚落居住空间的崛起与再生	曾梓峰许经纬	《城市建筑》	2007	0	在线阅读下载PDF 职称材料