张黔
- 作品数：32 被引量：54H指数：3
- 供职机构：武汉大学动力与机械学院材料工程系更多>>
- 发文基金：国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：金属学及工艺自动化与计算机技术一般工业技术文学更多>>
- 低碳中铬钢渗碳层的耐磨粒磨损性能研究被引量：2
- 2001年
- 对低碳中铬钢 (1Cr6 Si2 Mo)固体法稀土渗碳层的组织和耐磨性能与渗碳 2 0钢及淬火 Cr12 Mo1V钢进行了对比试验研究。 1Cr6 Si2 Mo钢的渗碳层内含有大量粒度为 2 .5～ 3.0μm、弥散分布的铬碳化物 ,其尺寸比 Cr12 Mo1V钢中的共晶碳化物小。渗碳淬火后的 1Cr6 Si2 Mo钢试样耐磨粒磨损性能大大优于渗碳淬火后的 2 0钢 ,但不及真空热处理的 Cr12
- 张黔孙小华李朝志
- 关键词：渗碳磨粒磨损
- 20钢预渗碳后铬硅共渗渗层的组织和耐磨性研究被引量：2
- 2005年
- 对 2 0钢预渗碳后固体法渗铬和铬硅共渗渗层的组织和耐磨性进行了试验研究 ;结果表明 ,2 0钢预渗碳后在 940℃下进行铬硅共渗时可以获得均匀致密的渗铬层 ;与普通渗铬层相比较 ,其耐磨性提高 1倍。
- 陈盛广张黔
- 关键词：20钢渗碳渗层渗铬层耐磨性
- 铝铁青铜构件失效分析被引量：1
- 2003年
- 对铝铁青铜构件在安装过程中出现的断裂进行了失效分析。通过受力分析、宏观断口分析和微观分析表明 ,零件的设计和化学成分符合要求 ;但由于在组织中存在由铁铝化物、铁硅化物和共析体组成软的富铁夹杂 ,使其易发生沿晶脆性断裂。
- 冯晓丹张黔
- 关键词：铝青铜脆性断裂受力分析显微组织
- 一个并发对象演算被引量：1
- 1999年
- 由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型，并发面向对象程序设计语言的开发受到了很大的制约．为了给并发面向对象程序设计定义一个公共的语义框架，人们分别以π－演算和ａｃｔｏｒ模型为基础进行了研究．综合这两种方法，文中定义了一个形式化模型．该模型具有清晰的形式化定义，既可重用标准的并发性理论，还保存了高级面向对象的程序设计风格．本文还提供了一个ａｃｔｏｒ代数及一个并发对象演算，并在两者之间建立起变换关系．
- 张黔张黔李卫华金涛
- 关键词：面向对象操作语义程序设计
- 计算逻辑中的波动策略
- 1996年
- 以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。
- 印鉴张黔
- 关键词：定理机器证明波前繁殖计算逻辑
- 工艺参数对W-MoS_2综合性能影响的人工神经网络预报
- 2003年
- 在试验数据的基础上,用人工神经网络建立了工艺参数与W MoS2综合性能关系的预测模型,讨论了隐含层神经元数选取和不同BP优化算法对网络性能的影响,结果表明,网络的预测同试验基本一致,具有可靠的预报能力。
- 孙小华周元贵张黔
- 关键词：固体润滑神经网络
- 归纳法模式的自动生成被引量：1
- 1996年
- 本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ＬＩＳＰ语言实现．
- 李卫华张黔张亮刘娟
- 关键词：归纳法推理人工智能
- 电站锅炉水冷壁防护动态及新措施
- 2002年
- 对国内外电站锅炉水冷壁防护方法进行了分析 ,在此基础上提出了一种新的防护措施。通过分析其机理及研究其性能指标 。
- 陈建华张黔赵冰华
- 关键词：电站锅炉水冷壁抗高温氧化性腐蚀速率
- 两种高铬钢渗铝层的组织和抗氧化性能被引量：9
- 2000年
- 对 1Cr6Si2Mo和 1Cr1 8Ni9Ti钢渗铝层的组织和抗氧化性能进行了研究。结果表明 ,高合金钢渗铝层的厚度与其渗铝状态下的晶格类型有关。铁素体型钢的渗层厚度明显大于奥氏体型钢。 1Cr6Si2Mo钢渗铝层下方存在的黑带使其抗氧化性能变坏 ,随渗铝时间的延长 ,形成的黑带越宽。
- 张黔陈建华李友军
- 关键词：高铬钢抗氧化性能渗铝层
- 并发面向对象语言中继承异常及语义模型的研究
- 张黔
- 关键词：程序设计并发程序
