检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于SPECMAN E的DMC功能验证

基于SPECMAN E的DMC功能验证

作者：雷东峰西安电子科技大学

学位级别：硕士

在SOC的设计中,数字逻辑电路的规模越来越大,现在平均门数已经在百万门以上,在如此大规模电路的设计中功能验证已经成为IC设计的一个瓶颈,所以设计团队不得不用50%0%的时间去进行功能验证,如此多的时间已经超过了进行新代码开发的时间... 详细信息

在SOC的设计中,数字逻辑电路的规模越来越大,现在平均门数已经在百万门以上,在如此大规模电路的设计中功能验证已经成为IC设计的一个瓶颈,所以设计团队不得不用50%0%的时间去进行功能验证,如此多的时间已经超过了进行新代码开发的时间。而且随着规模的越来越大,其验证的难度也会成指数增长,如果规模增加一倍,那么验证的难度就会是原难度的四倍。尽管耗去大量的时间和人力,仍然会有一些边缘情况没有覆盖到,这样就导致了芯片流片的不成功。于是业界提出了受限随机矢量生成验证方法学,即在满足条件约束的情况下随机产生验证矢量。本文通过对DMC在SPECMAN-E的环境下的验证的介绍,对受限随机矢量验证方法学进行了探索。在本文中描述了使用E语言结合Verilog语言验证的整个过程,首先根据DUT的规范制定出验证计划和验证覆盖率的目标,画出验证环境结构图,接着使用E语言和Verilog语言对验证环境进行编程,产生激励和约束条件。最后对发现的错误进行纠错,同时对功能覆盖率和代码覆盖率进行收集。最后对使用SPECMAN的优越性进行总结,对验证方法学发展进行了展望。

关键词： DMC SPECMAN-E 功能验证

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

谈增设剽窃他人著作罪

法商研究 1995年第2期13卷 54-57页

作者：雷东生

谈增设剽窃他人著作罪雷东生近年来，抄袭、剽窃他人著作予以发表的现象屡禁不止，且有愈演愈烈之势。剽窃行为既严重地侵犯了著作权人的著作权，欺骗了社会公众，也影响了文化市场的健康、正常发展，而原有的民事、行政制裁措施已不足... 详细信息

谈增设剽窃他人著作罪雷东生近年来，抄袭、剽窃他人著作予以发表的现象屡禁不止，且有愈演愈烈之势。剽窃行为既严重地侵犯了著作权人的著作权，欺骗了社会公众，也影响了文化市场的健康、正常发展，而原有的民事、行政制裁措施已不足以制止这种行为的发生，因此，运用刑...

关键词：侵权行为著作权人作品著作权法剽窃行为侵犯著作权犯罪社会主义市场经济情节严重其他严重情节违法所得

原状脱硫石膏聚苯颗粒轻质保温材料的制备与性能

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2017年第2期47卷 384-391页

作者：雷东移郭丽萍孙伟东南大学材料科学与工程学院南京211189 东南大学先进土木工程材料协同创新中心南京211189 南大学江苏省土木工程材料重点实验室南京211189

在原状脱硫石膏胶凝体系研究的基础上,针对相关原料对原状脱硫石膏聚苯颗粒轻质保温材料各项性能的影响进行了实验研究.实验结果得到:保温骨料聚苯颗粒与原状脱硫石膏胶凝体系的最佳体积比为82.6%;纤维素醚与原状脱硫石膏胶凝体系的最... 详细信息

在原状脱硫石膏胶凝体系研究的基础上,针对相关原料对原状脱硫石膏聚苯颗粒轻质保温材料各项性能的影响进行了实验研究.实验结果得到:保温骨料聚苯颗粒与原状脱硫石膏胶凝体系的最佳体积比为82.6%;纤维素醚与原状脱硫石膏胶凝体系的最佳质量比为0.5%;可再分散乳胶粉与原状脱硫石膏胶凝体系的最佳质量比为0.8%;聚丙烯纤维与原状脱硫石膏胶凝体系的最佳质量比为0.2%,各组分均外掺.根据最佳比制得的保温材料的各项性能均满足《胶粉聚苯颗粒外墙外保温系统》(JG 158—2013)的相关要求.有效解决了原状脱硫石膏的资源化应用问题,为固体废弃物脱硫石膏的综合利用开辟了一条新途径.

关键词：原状脱硫石膏聚苯颗粒聚丙烯纤维纤维素醚可再分散乳胶粉保温材料

在线全文

学校读者我要写书评

暂无评论

试论我国涉外税收的流失及治理

试论我国涉外税收的流失及治理

作者：杨雷东华东师范大学

学位级别：硕士

偷逃税和避税是世界各国普遍存在的现象,在我国表现更为突出。近几年我国税收流失问题仍然比较严重,尽管现在征管手段不断得到加强,制度不断得到完善,但偷税、避税的情况仍然层出不穷。随着中国改革开放的逐步深化和加入WTO后,外商投资... 详细信息

偷逃税和避税是世界各国普遍存在的现象,在我国表现更为突出。近几年我国税收流失问题仍然比较严重,尽管现在征管手段不断得到加强,制度不断得到完善,但偷税、避税的情况仍然层出不穷。随着中国改革开放的逐步深化和加入WTO后,外商投资企业和外国企业的大量涌入,目前,中国已成为全球最大的外国直接投资(FDI)流入国之一。而在其起到投资拉动、技术提升等正面作用的同时,投资者由于受“利益最大化”和“税收最小化”的目的驱使,利用各种方式进行逃、避税带来的税收流失现象日趋严重,涉外税收正在大量流失,让人触目惊心。特别是其中涉外企业国际避税现象非常突出,虽然严格来讲,它并不违法,但这无疑违背了立法目的和税法精神,损害了国家利益。笔者认为,采取相应措施,积极防范涉外税收流失已成为当务之急。我国涉外税收的流失既具备内资企业的税收流失的一般性质又有其国际偷、逃、避税的特性,我国的有关经济学专家更多的是借鉴国外研究经验有针对性的对国际避税和反避税进行了系统理论研究,国家税务总局也相继出台文件对反避税工作作了一系列具备法律、法规效力的规定。但是面对加入WTO后日益复杂的涉外经济活动,在涉外税收管理部门如何切合税收征管实际,切中要害的做好反避税工作,防治涉外税收的流失方面,并无实质性的进展。本文在研究税收流失普遍性问题基础上对涉外税收流失这一特殊性问题予以专门研究。本文共分四章十三节,主要思路是: 第一步先从现实的角度提出研究并解决涉外税收流失问题的急迫性和重要性,然后从理论和现实的角度对涉外税收流失的概念和表现形式予以概括,弄清问题的内涵是什么。第二步结合我国涉外税收流失的现状特别是涉外企业避税的状况分析其成因,进而从财政性效应、市场性效应、宏观调控效应三个角度分析其经济效应。

关键词：涉外企业税收流失治理对策

促红细胞生成素及其受体在慢性环孢素A肾毒性大鼠肾中的表达

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

促红细胞生成素及其受体在慢性环孢素A肾毒性大鼠肾中的表达

作者：雷东明延边大学

学位级别：硕士

目的：探讨1)环孢素A (Cyclosporine A, CsA)肾毒性是否可引起模型贫血;2)在慢性CsA肾毒性肾中促红细胞生成素(Erythropoietin, EPO)及促红细胞生成素受体(EPOR)的表达情况。方法：健康Sprague-Dawley大鼠分别给予皮下注射CsA (15mg. kg... 详细信息

目的：探讨1)环孢素A (Cyclosporine A, CsA)肾毒性是否可引起模型贫血;2)在慢性CsA肾毒性肾中促红细胞生成素(Erythropoietin, EPO)及促红细胞生成素受体(EPOR)的表达情况。方法：健康Sprague-Dawley大鼠分别给予皮下注射CsA (15mg. kg-1. d-1)和橄榄油(1mL. kg-1, d-1)4周后,建立慢性CsA肾毒性组和对照组。处死前检测各组大鼠的尿素氮(BUN)、血肌酐(SCr)、血色素(Hb)、红细胞压积(Hct);Masson染色法确定肾小管间质纤维化程度;免疫组织化学染色和免疫印迹法分别观察肾内EPO及EPOR的表达;TUNEL染色和电子显微镜检测细胞凋亡。结果：与对照组相比,肾毒性组体重下降、肾功能低下、Hb和Hct的下降,伴有贫血发生;肾毒性组肾小管间质带状纤维化、细胞凋亡增加(K<0.01);EPO在肾毒性组中的表达明显减少,而EPOR的表达却明显加强。直线相关分析表明,EPO蛋白表达与TIF和TUNEL阳性细胞数呈负向相关。结论：CsA所致的慢性肾毒性使得肾组织内EPO蛋白表达减少,从而导致造血功能下降,进而产生贫血。EPO蛋白表达减少可能与CsA肾毒性所致肾小管上皮细胞凋亡有相关性。

关键词：慢性CsA肾毒性贫血促红素促红素受体细胞凋亡

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

金融市场信息不对称与资本成本

会计之友 2011年第14期 17-18页

作者：雷东辉中国人民银行广州分行

文章从信息不对称、资本成本的概念出发,将信息不对称分为信息披露水平、信息传导机制、信息解读能力,研究这三个因素对资本成本的影响。三要素分析对证券发行主体、监管机构和投资者的行为具有现实指导意义。

关键词：信息不对称资本成本金融市场

基于CT图像处理的微生物诱导加固钙质砂细观结构研究

在线全文

学校读者我要写书评

暂无评论

基于CT图像处理的微生物诱导加固钙质砂细观结构研究

作者：雷东霖广州大学

学位级别：硕士

微生物诱导碳酸钙沉淀（MICP）技术是利用微生物生命活动分解尿素诱导产生胶结物沉淀进而对土体进行加固的过程。土体被胶结物填充孔隙和土颗粒通过胶结物相互连接,使松散土体胶结成具有整体性的固化土体,从而提高土体的力学性能。目前... 详细信息

微生物诱导碳酸钙沉淀（MICP）技术是利用微生物生命活动分解尿素诱导产生胶结物沉淀进而对土体进行加固的过程。土体被胶结物填充孔隙和土颗粒通过胶结物相互连接,使松散土体胶结成具有整体性的固化土体,从而提高土体的力学性能。目前对于MICP固化钙质砂的研究主要集中在对其宏观力学特性和微观结构的研究而少有关注细观结构的研究。对细微观结构的研究有助于对MICP固化钙质砂宏观物理特性和力学特性的理解。为应用CT扫描技术研究微生物固化钙质砂细观结构。本文采用微生物诱导生成碳酸锶加固钙质砂,即锶源微生物加固。在不同锶盐浓度溶液环境下进行了细菌矿化试验。开展无侧限抗压试验、X射线衍射物相分析、扫描电子显微镜和压汞试验试验,从宏观物理力学特性和细微观结构研究分析锶源微生物加固处理对钙质砂的影响,对比分析锶源微生物固化钙质砂与钙源微生物固化钙质砂的差异。通过CT扫描获取锶源微生物固化钙质砂断层图像,实现微生物固化钙质砂细观结构三维可视化,基于微生物固化钙质砂三维细观结构重构模型对微生物固化钙质砂细观结构进行定性定量表征分析。本文的主要研究结论和成果如下:（1）锶源微生物固化钙质砂和钙源微生物固化钙质砂在胶结物晶体结构上存在差异,但在宏观力学行为上表现出一致性。锶源微生物加固钙质砂的机理与钙源微生物加固一致。微生物固化钙质砂细观结构普遍具有一致性可以相互进行表征研究。（2）利用显微CT扫描技术对未处理钙质砂柱和锶源微生物固化钙质砂进行扫描获取细观结构的断层扫描图像。对CT扫描图像处理技术进行探讨,得到了微生物固化钙质砂CT扫描图像处理的最佳方式。实现微生物固化钙质砂细观结构的三维可视化并对细观结构特征进行定性分析。（3）微生物固化钙质砂的孔径分布呈现出土体孔隙分布典型的双峰结构。微生物加固处理可以填充钙质砂孔隙改变孔隙形状降低钙质砂中长柱形孔隙占比,从而降低钙质砂渗透性。大部分胶结物相互联通组成了胶结物骨架而不仅仅是黏附在钙质砂颗粒表面连接钙质砂颗粒。且随着循环灌浆轮次的增加,胶结物参与构成骨架的比重越高,有利于提升微生物固化钙质砂强度。（4）CT扫描试验细观结构表征结果和压汞试验细观结构表征结果在大中孔隙表现出良好的协调性,证明了使用显微CT扫描技术对微生物固化钙质砂细观结构表征的可靠性。CT扫描试验对大孔隙直径表征更为有利,在小微孔隙上压汞试验表现更好。

关键词：钙质砂微生物诱导加固技术细观结构显微CT扫描

Office宏语言在提高科技查新报告规范化中的应用

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

图书情报工作 2016年第S1期60卷 195-198页

作者：张梅雷东升北京工业大学图书馆

根据科技查新报告规范化的要求,基于office宏语言,研究利用计算机生成规范化的科技查新报告的方法,包括:1实现参考文献格式自动整理。参考文献格式自动整理有3种方法:根据中文数据库中的题录输出接口导出的格式编写宏进行整理、英文文... 详细信息

根据科技查新报告规范化的要求,基于office宏语言,研究利用计算机生成规范化的科技查新报告的方法,包括:1实现参考文献格式自动整理。参考文献格式自动整理有3种方法:根据中文数据库中的题录输出接口导出的格式编写宏进行整理、英文文献根据Google scholar中的引用格式通过运行宏进行整理、根据不同类型的文献通过设置输入框对字段排序进行整理;2实现查新报告固有及重复内容的自动填写的功能。指出查新员通过宏的运行可减少重复琐碎性的工作,提高工作效率和查新报告的规范性。

关键词：宏科技查新格式整理自动化生成

基于联合准则与支持向量机的室内点云目标识别

在线全文

学校读者我要写书评

暂无评论

基于联合准则与支持向量机的室内点云目标识别

作者：雷东燕山大学

学位级别：硕士

随着计算机视觉和人工智能的快速发展,三维扫描技术得到了广泛的应用,基于室内场景三维点云的分割与目标识别也成为了热门研究方向。然而,由于室内场景的复杂性、三维扫描设备本身的缺陷以及相关算法不够完善等各种因素使得在点云分割... 详细信息

随着计算机视觉和人工智能的快速发展,三维扫描技术得到了广泛的应用,基于室内场景三维点云的分割与目标识别也成为了热门研究方向。然而,由于室内场景的复杂性、三维扫描设备本身的缺陷以及相关算法不够完善等各种因素使得在点云分割与目标识别过程中仍然存在着点云分割鲁棒性差、特征描述不准确、相似物体识别率不高等问题。因此,研究场景点云的有效分割和点云特征的准确描述是提高目标识别效果的重要内容。针对当前室内场景目标识别研究中分割算法鲁棒性差和特征描述不准确、不全面造成的识别率较低的问题,本文对室内场景三维点云的有效分割和点云特征的准确描述进行了深入研究,主要工作如下:首先,根据采样点与其邻域点之间的法向和颜色信息,构建了基于局部凹凸感知和颜色矩马氏距离联合准则的相邻点不相似度判断模型,提出一种基于联合准则改进的图论分割算法,解决了传统算法单纯依靠法向差或颜色差异进行分割导致的分割结果对噪声或颜色变化过于敏感的问题。通过利用不同点云数据进行分割实验,验证了联合准则分割算法的有效性,同时为后续点云特征描述与提取奠定了基础。其次,针对快速点特征直方图在大幅提高运算效率的同时容易受噪声点和相距较近的异特征点影响的问题,提出了一种基于采样点与其邻域点间微分几何一致性的点云局部有效邻域选取方法,对快速点特征直方图邻域点选取过程进行改进;在考虑采样点与邻域点间距离的基础上,将点间法向差异和邻域点到采样点切平面的距离纳入到邻域点判断过程中。实验结果表明,基于局部有效邻域改进的点特征直方图相比传统快速点特征直方图特征描述效果有较为明显的提高。最后,在对快速点特征直方图进行改进的同时,计算点云的颜色等其它特征,将多类特征重新并行组合为一个新的特征向量对点云特征进行描述,克服单一类型特征的局限性,使特征描述更全面、更有效。同时选取适当点云数据集,基于支持向量机算法设计室内场景点云分割块识别实验,通过对不同特征描述下分割块识别结果进行比较,验证了目标识别方法的有效性。

关键词：点云分割特征描述目标识别局部有效邻域多特征融合