袁晓月

作品数：18被引量：14H指数：2
导出分析报告
供职机构：江西省科学院更多>>
发文主题：范畴论分光光度法测定分光光度法微量铝原子吸收更多>>
发文领域：金属学及工艺自动化与计算机技术一般工业技术机械工程更多>>
发文期刊：《金属热处理》《新技术新工艺》《热处理技术与装备》《江西科学》更多>>
所获基金：江西省自然科学基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
碳对Cu-Cr合金显微组织和性能的影响被引量：1
《金属热处理》2018年第3期40-44,共5页姜江 陆德平 郭炜 陆磊 袁晓月 付青峰 
国家自然科学基金(51561010);江西省自然科学基金(20144ACB20013,20171ACB21068);江西省重点研发计划(20171BBH80009)
采用真空感应电炉熔炼获得含碳量不同的Cu-Cr合金铸锭,利用扫描电镜、硬度仪和涡流导电仪研究了碳元素的加入对Cu-Cr合金显微组织、力学性能和导电性的影响。结果表明,添加适当的碳元素可以同时提高Cu-Cr合金铸锭的硬度和导电性。在Cu-C...
关键词：CU-CR合金 碳微合金化 微观组织 力学性能 导电性能 
函数式语言范畴描述研究
《江西科学》2015年第5期752-754,共3页袁晓月 刘素芬 
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的...
关键词：函数式语言 范畴论 等价性 
归纳证明在类型理论中的应用研究
《江西科学》2015年第2期248-253,共6页袁晓月 黎爽 
通过类型理论使得程序语言在静态可以检查是否出错,这给程序语言带来许多优势。类型理论中的重要性质包括:弱化规则、删除规则、强化规则等。首先给出了结构归纳法、良基归纳法、规则归纳法和余归纳法的形式化定义。在给出PA4WS进程代...
关键词：归纳法 类型理论 类型性质证明 
基于进程代数WS-CDL交互模式建模研究被引量：1
《江西科学》2014年第6期878-883,共6页袁晓月 万珍珍 冯星 
基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对...
关键词：WS—CDL 进程代数 形式化方法 
范畴单子在F#语言中的应用研究
《江西科学》2014年第4期539-542,共4页袁晓月 
范畴论中的单子是包含一个函子和2个自然变换的三元组,而函数式F#语言中的单子则是由包含构造子和return操作和bind操作的三元组。针对2种单子定义不一致的问题,首先给出了范畴单子的定义和性质。在此基础上,通过引入(_)*运算符,定义了K...
关键词：单子 范畴论 fsharp 函数式编程 
高速钢钻头的热处理工艺及辅助夹具被引量：1
《热处理技术与装备》2014年第2期60-63,共4页万珍珍 金莹 袁晓月 
江西省科学院青年科技创新项目(2013-XTPH2-26)
在热处理生产中,因零件的形状各异,技术要求及热处理设备差异等原因,设计和制作一些热处理工装夹具以配合零件热处理是十分必要的。本文以高速钢直柄钻头为例,介绍了钻头热处理工艺改进,通过分级、等温淬火和深冷处理,提高了钻头的硬度...
关键词：高速钢直柄钻头 热处理工艺 工装夹具 
利用LogMiner分析Oracle日志文件被引量：1
《江西科学》2005年第3期284-288,共5页蔡飞 袁晓月 
LogMiner是Oracle8i以后版本提供的日志文件分析工具,利用它可以提取Oracle数据库日志的内容,获取重做和回滚SQL语句,执行数据更改的事后审计。以"医院信息系统"相关业务为例,简要介绍如何利用强大的LogMiner工具分析Oracle数据库日志,...
关键词：LOGMINER ORACLE 日志 
用原子吸收分光光度法测定钢中微量铝被引量：4
《新技术新工艺》2005年第5期47-48,共2页袁晓月 孙斌 
利用原子吸收分光光度计测定钢中的微量铝,使钢中微量铝的测定比以前更简便、快速,且灵敏度高,因而适宜推广使用。
关键词：原子吸收 分光光度法 微量铝测定 
数据密集型Web应用的建模方法研究被引量：1
《江西科学》2004年第5期337-342,共6页袁晓月 黎升洪 
数据密集型Web应用是当前Web工程的热点。介绍了在高层表达Web应用结构的建模方法—WebML。给出了数据结构层、站点视图层和表现风格层所使用的记号和它们的含义。并给出了WebML开发过程和1个示例。
关键词：WEB工程 WEB建模 WebML 
用新开发的15 bar Super Turbo真空炉进行大型冲模和铸模的淬火
《国外金属热处理》2004年第5期64-68,共5页Thomas Wingens 袁晓月 
关键词：冲模 淬火 精整 真空炉 压铸模 模具寿命 真空热处理 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部