李刚
- 作品数：28 被引量：88H指数：5
- 供职机构：上海大学更多>>
- 发文基金：国家自然科学基金上海市高等学校科学技术发展基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术理学金属学及工艺医药卫生更多>>
- 俞颂华新闻思想研究
- 李刚
- 关键词：新闻思想
- 形式方法与面向对象方法的结合探讨被引量：7
- 1998年
- 文中讨论了形式方法和面向对象方法各自的优缺点，结合作者设计的面向对象形式规格说明语言OOZS，介绍了将这两种方法结合起来的三种途径，并对这三种途径进行了分析、评价和对比，最后提出了今后的研究方向。
- 李刚朱关铭童頫
- 关键词：规格说明语言面向对象软件开发
- 图模型理论及其在数据发掘中的应用
- 数据发掘/知识发现过程中如何有效地利用先验知识是当前需要解决的关键问题之一，图模型作为一种概率型知识表示方法，特别适合于数据发掘中的知识表示与知识求精。该文阐述了数据发掘与机器学习、统计学之间的关系，介绍了图模型理论的基...
- 李刚童俯
- 关键词：图模型有向图模型数据发掘
- 文献传递
- 籽晶布里奇曼法生长CdZnTe:In晶体的初步研究
- 李刚
- 关键词：CDZNTE深能级瞬态谱
- 知识发现的图模型方法
- 根据'基于有向图模型的知识发现'框架,该文研究图模型在知识发现领域的应用理论基础,包括离散化预处理、结构学习、参数学习、模型解释等四个方面.首先,该文分别提出了连续数值属性的无监督离散化算法和有监督离散化算法.然后,该文...
- 李刚
- 关键词：图模型有向图模型知识发现
- 文献传递
- 面向对象的形式规格说明语言OOZS被引量：3
- 2000年
- OOZS语言是一种面向对象的形式规格说明语言,用于书写软件的形式规格说明。它是Z语言的一种扩展,用以支持面向对象的软件分析方法,提供了类封装机制、类继承机制、入口和出口机制,设置了Pre谓词和Post谓词,表达力强,简明精确。本文是该语言的试用文本介绍。
- 李刚朱关铭童頫
- 关键词：面向对象形式语义计算机
- 自然遗传算法及其性能分析被引量：6
- 1999年
- 在可变种群大小遗传算法的基础上引入“种群阈值”及“移民”等概念，并采用动态调节交配率及变异率等措施，提出了一种自适应的遗传算法．该算法通过模拟自然界的“生老病死”过程来实现问题求解，并力求解决遗传算法中的参数控制及过早收敛等问题．且介绍了该算法的基本思想。
- 李刚童頫
- 关键词：遗传算法
- 薄膜传感器的研究及应用
- 李刚
- 关键词：薄膜传感器
- Cd、In气氛下退火对Cd0.9Zn0.1Te性能的影响(英文)
- 研究了可控制Cd、In气氛下退火对Cd0．9Zn0．1 Te性能的影响。不同Cd压下(In压不变:1×10-2Pa)退火的实验表明:在平衡Cd压下退火电阻率可从6．7×105Ω·cm显著地提高到109-1010Ω·cm,...
- 刘洪涛桑文斌詹峰李万万李刚闽嘉华
- 关键词：CDZNTE退火电阻率
- 文献传递
- 脉冲磁致振荡波形对纯铝凝固组织的影响被引量：4
- 2021年
- 通过凝固试验、数值模拟和理论分析相结合的方法,研究了脉冲磁致振荡作用下电流波形对纯铝凝固组织的影响。结果表明:PMO处理使纯铝的凝固组织明显细化,其细化效果与PMO波形有关。对熔体施加能产生液面共振或次谐波共振的PMO波形,能显著增强凝固组织的细化效果。铸型尺寸的变化使熔体液面的固有频率改变,进而使细化效果最佳的PMO波形也发生变化。不同尺寸熔体液面的共振或次谐波共振可通过施加不同的PMO波形来产生,从而增强细化效果。
- 钟玉义白亚鸣李刚李刚龚永勇
- 关键词：脉冲波形流场晶粒细化
