期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
关于半群簇的几个判定问题
被引量:
1
1
作者
曹为理
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1994年第4期64-67,共4页
本文证明了,对于一个半群等式公理的有限集E定义的半群簇[E],以下几个问题是可判定的:(1)是否每个S∈[E]都是正则的;(2)是否每个S∈[E]都是单的;(3)是否每个S∈[E]都是群;(4)是否每个S∈[E]都是...
本文证明了,对于一个半群等式公理的有限集E定义的半群簇[E],以下几个问题是可判定的:(1)是否每个S∈[E]都是正则的;(2)是否每个S∈[E]都是单的;(3)是否每个S∈[E]都是群;(4)是否每个S∈[E]都是一致周期的;(5)[E]是否平凡。
展开更多
关键词
半群
可判定性
定理证明
下载PDF
职称材料
超强码及其若干性质与结构
2
作者
曹为理
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1992年第2期10-15,共6页
本文证明了有穷字母表Σ上的码 C 是超强码当且仅当 C 是 Abel 语言,当且仅当 Syn_M(C)是 Abel 群.本文也讨论了超强码的若干性质.并利用超码根刻划了超强码的结构.
关键词
正则
根超码
句法么半群
下载PDF
职称材料
一种高功率密度电机驱动器的设计实现
被引量:
2
3
作者
张允志
曹为理
韩瑜
《微电机》
2017年第7期88-92,共5页
针对车载驱动领域对低压小体积大电流电机驱动器的实际需求,设计实现了基于TI的TMS320F2812为主控单元,以增量式编码器、小阻值大功率采样电阻为电机速度及电流采集单元,以低压小封装大电流MOSFET为功率驱动单元的低压高功率密度电机驱...
针对车载驱动领域对低压小体积大电流电机驱动器的实际需求,设计实现了基于TI的TMS320F2812为主控单元,以增量式编码器、小阻值大功率采样电阻为电机速度及电流采集单元,以低压小封装大电流MOSFET为功率驱动单元的低压高功率密度电机驱动器。详细介绍硬件设计方案,通过高密度PCB设计及相关结构工艺设计,并配合相关的速度嵌套分段控制及参数检测程序,提高了驱动器的集成度及可靠性。以额定电流为20A的直流伺服电机为测试电机,测试表明:系统运行稳态精度较高,加载响应稳定可靠。
展开更多
关键词
高功率密度
TMS320F2812
高密度PCB设计
直流伺服电机
下载PDF
职称材料
题名
关于半群簇的几个判定问题
被引量:
1
1
作者
曹为理
机构
兰州大学计算机科学系
出处
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1994年第4期64-67,共4页
文摘
本文证明了,对于一个半群等式公理的有限集E定义的半群簇[E],以下几个问题是可判定的:(1)是否每个S∈[E]都是正则的;(2)是否每个S∈[E]都是单的;(3)是否每个S∈[E]都是群;(4)是否每个S∈[E]都是一致周期的;(5)[E]是否平凡。
关键词
半群
可判定性
定理证明
Keywords
semigroups
decidability
theorem proving
分类号
O152.7 [理学—基础数学]
下载PDF
职称材料
题名
超强码及其若干性质与结构
2
作者
曹为理
机构
兰州大学数学系
出处
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1992年第2期10-15,共6页
基金
国家自然科学基金
文摘
本文证明了有穷字母表Σ上的码 C 是超强码当且仅当 C 是 Abel 语言,当且仅当 Syn_M(C)是 Abel 群.本文也讨论了超强码的若干性质.并利用超码根刻划了超强码的结构.
关键词
正则
根超码
句法么半群
Keywords
regular
root
hypercode
syntactic monoid
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种高功率密度电机驱动器的设计实现
被引量:
2
3
作者
张允志
曹为理
韩瑜
机构
江苏自动化研究所
出处
《微电机》
2017年第7期88-92,共5页
基金
国家863计划<大型造船多分段全自主焊接双臂机器人的关键技术与装备>(2015AA043102)
2016年江苏省重点研发计划(产业前瞻与共性关键技术)<工业机器人核心部件伺服驱动器及控制系统集成优化技术研究>(SBE2016000275)
文摘
针对车载驱动领域对低压小体积大电流电机驱动器的实际需求,设计实现了基于TI的TMS320F2812为主控单元,以增量式编码器、小阻值大功率采样电阻为电机速度及电流采集单元,以低压小封装大电流MOSFET为功率驱动单元的低压高功率密度电机驱动器。详细介绍硬件设计方案,通过高密度PCB设计及相关结构工艺设计,并配合相关的速度嵌套分段控制及参数检测程序,提高了驱动器的集成度及可靠性。以额定电流为20A的直流伺服电机为测试电机,测试表明:系统运行稳态精度较高,加载响应稳定可靠。
关键词
高功率密度
TMS320F2812
高密度PCB设计
直流伺服电机
Keywords
high power density
TMS320F2812
design of high density PCB
DC servo motor
分类号
TP272 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
关于半群簇的几个判定问题
曹为理
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1994
1
下载PDF
职称材料
2
超强码及其若干性质与结构
曹为理
《兰州大学学报(自然科学版)》
CAS
CSCD
北大核心
1992
0
下载PDF
职称材料
3
一种高功率密度电机驱动器的设计实现
张允志
曹为理
韩瑜
《微电机》
2017
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部