期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
关于半群簇的几个判定问题 被引量: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 下一页 到第
使用帮助 返回顶部