李鑫
- 作品数：42 被引量：22H指数：4
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划江苏省自然科学基金更多>>
- 相关领域：电子电信一般工业技术自动化与计算机技术理学更多>>
- 一种基于卡扣结构的多稳态力学超构材料
- 本发明公开了一种基于卡扣结构的多稳态力学超构材料，包括两个部分，一个是由卡扣阵列排列的卡扣管结构，另一个是由凹槽阵列排列的卡槽结构。其中，卡扣管上分布悬臂梁卡扣，卡槽结构由带有凸起圆环的贯穿圆孔组成。卡扣管装配到卡槽上，...
- 卢明辉徐锐李鑫何玉龙
- 化工园区开发建设导则
- 本文件规定了化工园区开发建设总体要求、选址、规划、建设、评价与评估。本文件适用于新设立及扩区的化工园区的开发建设。
- 杨挺孙丽丽贾美平骆彩萍李赞冯媛媛马从越谢立郑慧扬程丽鸿贺永明潘顺龙丁峰林长喜陈准刘建卫翟良云丁力扬魏利军蒋军成于洋张文王三明康健罗彬吴晓辉高俊陈思凝崔海东孙黎明张志强韩微微田娟蔡尹楚韩一松周如金吕振华朱遵群李鑫陈学军张三科尹朝晖柏益尧马捷朱斌黄志军吴劲松卢忠宝郭学峰朱为祥黄一川赵秀璞范传宏周伟张力杨瑞影任芳常懿许珂张剑徐秀明左鹏飞杨晓航于华通陈庆俊胡玮潘勇叶扬李鹏吴巧仙胡炜杰蚁泽纯霍玲玲王志虎乔辰曦徐丹王定伟陈金合胡鑫
- 弹性板波超材料研究进展被引量：6
- 2022年
- 超材料指具有超越天然材料性能的人工材料,因其独特的物理性质及广泛的应用领域而受到人们的关注.固体中的弹性波被广泛应用于无损检测、无线通讯、无源传感等领域,具有重要的应用价值.不同于流体声波,固体中的弹性波由于存在纵波与横波的耦合及模式转换,更难以进行精确操纵,这就给超材料的应用提供了很好的舞台.本文以弹性波中极具代表性的板波作为焦点,较为系统地回顾了板波超材料的发展历史、主要研究进展及其在未来信息功能器件发展方向的潜力.
- 杨世礼钟雨豪颜士玲张子栋李鑫李鑫余思远
- 关键词：超材料隔振微波声学
- 自旋发光二极管原型器件的设计和制备
- 我们设计了一种新的倒装结构的自旋发光二极管原型器件。利用金属有机物化学淀积技术分别在宝石衬底上利用两步法先生长了GaN支持层,然后制备p型GaN和5周期量子阱,在量子阱之上外延生长了一层200nm厚的自旋注入层,在自旋注...
- 崔旭高张荣谢自力李鑫陶志阔刘斌修向前韩平施毅郑有炓
- 关键词：MOCVD
- 文献传递
- MOCVD生长Mn掺杂GaN薄膜的结构与磁学性能研究
- 用MOCVD技术在[0001]取向的蓝宝石衬底上生长出Mn掺杂的GaN薄膜。测试结果表明,Mn掺杂浓度小于2.7%时没有第二相物质出现。Raman谱结果表明,由于Mn离子的介入,替换了Ga位的阳离子,从而使得A（LO）模...
- 崔旭高张荣陶志阔李鑫修向前谢自力郑有炓
- 关键词：金属有机化学气相淀积
- 文献传递
- 基于机器学习约束求解的复杂软件代码符号执行框架研究
- 如何生成高质量的测试用例一直是软件测试领域的重要研究课题。不同于其他测试用例生成技术，基于符号执行的测试用例自动生成技术在程序执行的过程中使用符号化的变量代替具体值的变量，同时维护整个执行过程中的路径约束，当遇到分支语句...
- 李鑫
- 关键词：测试用例生成
- a-Si:H/SiO<,2>多层膜中的激光诱导限制结晶
- 我们利用等离子增强化学气相淀积(PECVD)方法和等离子体氧化技术原位制备了a-Si:H/SiO<,2>多层膜,并依据激光诱导限制结晶原理,用KrF准分子脉冲激光辐照样品的方法,使a-Si:H/SiO<,2>多层膜进行晶...
- 乔峰黄信凡隋妍萍李伟马忠元李鑫邹和成陈坤基
- 关键词：化学气相淀积激光辐照
- 文献传递
- 激光干涉结晶技术制备二维有序分布纳米硅阵列被引量：4
- 2005年
- 利用结合移相光栅掩模(PSGM)的激光结晶技术在超薄a-SiNx/a-Si:H/a-SiNx三明治结构样品中制备出二维有序分布的纳米硅阵列.原始样品是用等离子体增强化学气相淀积法生长.a-Si:H层厚为10nm,a-SiNx为50nm,衬底材料为SiO2/Si或熔凝石英.原子力显微镜、剖面透射电子显微镜、高分辨透射电子显微镜对样品表面形貌和微结构的观测结果表明,采用该方法可以在原始淀积的a-Si:H层中得到位置可控的晶化区域:每个晶化区域直径约250nm,具有同PSGM一致的2μm周期;晶化区域内形成的纳米硅颗粒尺寸接近原始淀积的a-Si:H层厚,且晶粒的择优取向为<111>.
- 邹和成乔峰吴良才黄信凡李鑫韩培高马忠元李伟陈坤基
- 关键词：激光干涉高分辨透射电子显微镜等离子体增强SINXSI02衬底材料
- 绝缘衬底上高密度硅纳米结构的形成与表征
- 从上个世纪50年代开始，硅基半导体材料的研究与应用取得了巨大的进步，大规模、超大规模集成电路的广泛应用使人们工作及生活获得了极大的便利。进入21世纪后，随着集成度的不断提高，微电子芯片的功能元件尺寸不断减小，使得人们对于...
- 李鑫
- 关键词：半导体材料纳米材料纳米硅硅基硅纳米结构
- 文献传递
- 一种面向线性约束代码的有界可达性验证方法
- 本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态模型在有界步数K之内是否可达...
- 卜磊李鑫李一超梁永隽王林章李宣东
- 文献传递
