期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
岩石爆破的相对损伤与损伤累积计算
被引量:
10
1
作者
马建军
《岩土力学》
EI
CAS
CSCD
北大核心
2006年第6期961-964,共4页
为了便于工程应用,利用损伤变量定义,确定既真实反映力学作用过程,又易于获取和进行客观度量损伤变量的一种方法。通过提出的相对损伤概念,用相对损伤变量表示含损伤材料在载荷作用下损伤扩展程度和不同部位的相对损伤程度,使衡量受力...
为了便于工程应用,利用损伤变量定义,确定既真实反映力学作用过程,又易于获取和进行客观度量损伤变量的一种方法。通过提出的相对损伤概念,用相对损伤变量表示含损伤材料在载荷作用下损伤扩展程度和不同部位的相对损伤程度,使衡量受力作用程度的损伤变量确定更易实现。同时,提出了一种基于裂纹扩展的损伤累积计算方法,并用实例计算说明了其合理可行。
展开更多
关键词
爆破作用
损伤变量
相对损伤
损伤
累积计算
在线阅读
下载PDF
职称材料
基于PSD-BPA批处理计算方法的电力系统关键设备故障短路电流累积效应计算
被引量:
5
2
作者
袁宇波
丁昊
+3 位作者
杨毅
王海啸
龚雁峰
曹军
《电力系统保护与控制》
EI
CSCD
北大核心
2017年第5期123-130,共8页
目前实际生产中尚缺乏有关电力系统关键设备(变压器、断路器等)短路电流累积效应的计算方法。针对此现状,提出了一种基于PSD-BPA程序包的批处理计算方法。该方法依据实际故障发生时间、故障类型及系统运行方式,批量计算系统的故障短路...
目前实际生产中尚缺乏有关电力系统关键设备(变压器、断路器等)短路电流累积效应的计算方法。针对此现状,提出了一种基于PSD-BPA程序包的批处理计算方法。该方法依据实际故障发生时间、故障类型及系统运行方式,批量计算系统的故障短路电流累积效应。该计算模型已应用于江苏电网。最后,提出了在电力系统应用的图形化显示设想。根据各设备历史故障电流累积效应来排序,提供设备状况预警和设备检修优先策略,将有助于改善电网安全稳定运行状况。
展开更多
关键词
累积
效应
计算
PSD-BPA批处理
累积
效应图形化显示
短路电流
关键设备
在线阅读
下载PDF
职称材料
一种带参数的Hylomorphisms及其计算律
被引量:
4
3
作者
余珊珊
李师贤
苏锦钿
《计算机研究与发展》
EI
CSCD
北大核心
2013年第3期602-618,共17页
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pard...
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.
展开更多
关键词
递归
共递归
hylomorphisms
累积计算
代数
共代数
在线阅读
下载PDF
职称材料
带参数的共递归操作及其计算律
被引量:
3
4
作者
苏锦钿
余珊珊
《计算机研究与发展》
EI
CSCD
北大核心
2013年第12期2676-2690,共15页
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数...
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数的共递归操作——punfold和aunfold,从而将Pardo对强归纳数据类型及带参数的递归计算pfold和afold的研究扩展到共归纳数据类型上,使得unfold可直接包含额外的参数用于作为计算的输入或者保存临时的计算结果,避免采用高阶函数的方式.从范畴论的角度给出punfold和aunfold的各种性质、计算律及在函数式程序语言Haskell中的实现,并指出它们在程序推导、转换和优化中的应用.
展开更多
关键词
共归纳数据类型
终结共代数
共递归
累积计算
范畴论
在线阅读
下载PDF
职称材料
题名
岩石爆破的相对损伤与损伤累积计算
被引量:
10
1
作者
马建军
机构
武汉科技大学理学院
出处
《岩土力学》
EI
CAS
CSCD
北大核心
2006年第6期961-964,共4页
文摘
为了便于工程应用,利用损伤变量定义,确定既真实反映力学作用过程,又易于获取和进行客观度量损伤变量的一种方法。通过提出的相对损伤概念,用相对损伤变量表示含损伤材料在载荷作用下损伤扩展程度和不同部位的相对损伤程度,使衡量受力作用程度的损伤变量确定更易实现。同时,提出了一种基于裂纹扩展的损伤累积计算方法,并用实例计算说明了其合理可行。
关键词
爆破作用
损伤变量
相对损伤
损伤
累积计算
Keywords
blasting action
damage variable
relative damage
computation of damage cumulation
分类号
O382.2 [理学—流体力学]
在线阅读
下载PDF
职称材料
题名
基于PSD-BPA批处理计算方法的电力系统关键设备故障短路电流累积效应计算
被引量:
5
2
作者
袁宇波
丁昊
杨毅
王海啸
龚雁峰
曹军
机构
国网江苏省电力公司电力科学研究院
国网江苏省电力公司检修分公司
华北电力大学电气与电子工程学院
出处
《电力系统保护与控制》
EI
CSCD
北大核心
2017年第5期123-130,共8页
文摘
目前实际生产中尚缺乏有关电力系统关键设备(变压器、断路器等)短路电流累积效应的计算方法。针对此现状,提出了一种基于PSD-BPA程序包的批处理计算方法。该方法依据实际故障发生时间、故障类型及系统运行方式,批量计算系统的故障短路电流累积效应。该计算模型已应用于江苏电网。最后,提出了在电力系统应用的图形化显示设想。根据各设备历史故障电流累积效应来排序,提供设备状况预警和设备检修优先策略,将有助于改善电网安全稳定运行状况。
关键词
累积
效应
计算
PSD-BPA批处理
累积
效应图形化显示
短路电流
关键设备
Keywords
cumulative effect analysis
PSD-BPA batch operations
graphical display of cumulative effect
short-circuit current
key equipment
分类号
TM713 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
一种带参数的Hylomorphisms及其计算律
被引量:
4
3
作者
余珊珊
李师贤
苏锦钿
机构
中山大学信息科学与技术学院
华南理工大学计算机科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第3期602-618,共17页
基金
国家自然科学基金项目(61103039)
2010年高等学校博士学科点专项科研基金项目(20100172120043)
文摘
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.
关键词
递归
共递归
hylomorphisms
累积计算
代数
共代数
Keywords
recursion
corecursion
hylomorphisms
accumulating calculation
algebra
coalgebra
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
带参数的共递归操作及其计算律
被引量:
3
4
作者
苏锦钿
余珊珊
机构
华南理工大学计算机科学与工程学院
广东药学院医药信息工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第12期2676-2690,共15页
基金
国家自然科学基金项目(61103038)
2010年高等学校博士学科点专项科研基金项目(20100172120043)
2013年华南理工大学中央高校基本科研业务费专项基金项目(2013ZZ0055)
文摘
针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数的共递归操作——punfold和aunfold,从而将Pardo对强归纳数据类型及带参数的递归计算pfold和afold的研究扩展到共归纳数据类型上,使得unfold可直接包含额外的参数用于作为计算的输入或者保存临时的计算结果,避免采用高阶函数的方式.从范畴论的角度给出punfold和aunfold的各种性质、计算律及在函数式程序语言Haskell中的实现,并指出它们在程序推导、转换和优化中的应用.
关键词
共归纳数据类型
终结共代数
共递归
累积计算
范畴论
Keywords
coinductive datatypes
final coalgebras
corecursion
accumulation calculation
categorytheory
分类号
TP301.2 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
岩石爆破的相对损伤与损伤累积计算
马建军
《岩土力学》
EI
CAS
CSCD
北大核心
2006
10
在线阅读
下载PDF
职称材料
2
基于PSD-BPA批处理计算方法的电力系统关键设备故障短路电流累积效应计算
袁宇波
丁昊
杨毅
王海啸
龚雁峰
曹军
《电力系统保护与控制》
EI
CSCD
北大核心
2017
5
在线阅读
下载PDF
职称材料
3
一种带参数的Hylomorphisms及其计算律
余珊珊
李师贤
苏锦钿
《计算机研究与发展》
EI
CSCD
北大核心
2013
4
在线阅读
下载PDF
职称材料
4
带参数的共递归操作及其计算律
苏锦钿
余珊珊
《计算机研究与发展》
EI
CSCD
北大核心
2013
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部