李玲
- 作品数：14 被引量：7H指数：1
- 供职机构：厦门大学更多>>
- 发文基金：福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术化学工程历史地理一般工业技术更多>>
- G（？）del语言编译系统中实现计算可视化
- G（o|¨）del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它是建立在多态多类一阶逻辑基础上的强类型语言。G（o|¨）del语言同Prolog语言相比,摒弃了Prolog语言中的非逻辑成分,增加了...
- 李玲
- 关键词：计算可视化
- 文献传递
- 智能语音通信终端回声消除和噪声抑制技术研究
- 在语音通信设备的设计和应用中，伴随着人们对新技术的要求不断提高，追求产品小型化、精细化成为了新产品的突破点，这对应用系统设计及成本结构提出了新的要求，配置扬声器伴随着主体结构的缩小而缩小，其与麦克风的间距也变短，这一系列...
- 李玲
- 一种交联型阴离子交换膜的制备方法
- 一种交联型阴离子交换膜的制备方法，属于燃料电池技术领域。合成离子液体，通过门秀金反应合成离子液体；聚合物的接枝反应，通过威廉姆森成醚反应将离子液体和1‑溴十五烷接枝到聚合物上，得到离聚物；制备交联型阴离子交换膜，将离聚物...
- 刘庆林李玲
- 文献传递
- 近代河南士绅王锡彤研究
- 本文通过对近代河南士绅王锡彤的个案分析，主要探讨了三个问题：第一，以其传统士人身份为切入点，考察其如何在近代社会急剧变革形势的冲击下，适时地由沉湎于科举转而投身于兴办地方新式学堂，从而在近代中国教育文化变迁中初步实现了其...
- 李玲
- 关键词：王锡彤士绅
- 文献传递
- Godel语言编译系统中实现计算可视化
- G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它是建立在多态多类一阶逻辑基础上的强类型语言。G(o)del语言同Prolog语言相比，摒弃了Prolog语言中的非逻辑成分，增加了参数型多...
- 李玲
- 关键词：逻辑程序程序设计语言语言编译
- 文献传递
- Gdel语言的一种并行推理模型
- 2008年
- 针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
- 李玲赵致琢李松斌王良霖夏金存
- 关键词：GODEL语言中间代码
- Gdel程序推理过程的可视化
- 2008年
- 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
- 王良霖赵致琢李玲
- 关键词：GODEL语言PROLOG语言可视化
- 高校女研究生思想政治教育的问题探析
- 在当今高校中，女研究生的数量较之过去大幅增加。女研究生是女性中的精英群体，她们的思想政治素质和心理素质直接关系到我国社会主义和谐社会的构建，关系到社会主义现代化建设和下一代中华民族的素质。因此，开展切实有效的女研究生思想...
- 李玲
- 关键词：思想政治教育女研究生
- 文献传递
- 一种交联型阴离子交换膜的制备方法
- 一种交联型阴离子交换膜的制备方法，属于燃料电池技术领域。合成离子液体，通过门秀金反应合成离子液体；聚合物的接枝反应，通过威廉姆森成醚反应将离子液体和1‑溴十五烷接枝到聚合物上，得到离聚物；制备交联型阴离子交换膜，将离聚物...
- 刘庆林李玲
- 契约效力的国家评价
- 本文试图从民法基础理论的角度对契约和契约效力的问题进行综合而深入的阐述，由此不得不突破民法的边界进入公法与私法交叉与接轨的领域，甚至在规范与事实的二元结构中展开论述。本文的基本结论是，所谓契约，不过是特定的法律规范体系所...
- 李玲
- 关键词：民法契约效力
- 文献传递
