-
题名基于DSP的无速度传感器直接转矩控制研究
被引量：5
- 1
-
-
作者
李军民
黎亚元
陈廷成
-
机构
西华大学 数学与计算机科学技术学院
西华大学 数控技术研究所
-
出处
《电机与控制学报》
EI
CSCD
北大核心
2005年第5期432-435,442,共5页
-
基金
四川省各部委自然科学基金课题(川教科199920)
-
文摘
为了实现对异步电机的高性能控制,在直接转矩控制的基础上,结合定子磁场定向和转子磁场定向各自的特点,讨论了速度估计的算法,提出了一种简单、实用的速度估计方法,并通过DSP (TMS320F2812)实现了无速度传感器直接转矩控制。实验结果表明算法正确、方案可行。
-
关键词
直接转矩控制
定子磁场定向
转子磁场定向
速度估计
DSP
-
Keywords
direct torque control
sate - fux - oiented control
rotor - flux - oriented control
speed estimarion
DSP
-
分类号
TM301.2
[电气工程—电机]
-
-
题名网络化制造环境下一种面向能力的制造资源模型
被引量：3
- 2
-
-
作者
余强
张海盛
梁丽
-
机构
西华大学数学与计算机科学技术学院
中国科学院成都计算所
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第15期236-238,共3页
-
基金
国家"863"计划基金资助项目(2003AA412260)
四川省重点基金资助项目(01GG012-01)
-
文摘
制造资源管理是网络化制造中重要的一环。针对现有模型中共享资源在实现可行性方面存在的不足,提出建立一种面向能力的制造资源模型,并以XML格式进行描述。在此基础之上,建立了基于制造特征的任务定义模型。
-
关键词
网络化制造
制造资源管理
制造特征
任务定义模型
-
Keywords
Networked manufacturing
Manufacturing resources management
Manufacturing characteristics： Task definition model
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名基于RSA的前向安全的数字签名
被引量：7
- 3
-
-
作者
李虓
何明星
-
机构
西华大学数学与计算机科学技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2006年第16期124-126,共3页
-
基金
国家自然科学基金资肋项目(编号:60473030)
四川省教育厅自然科学预研基金资助项目(编号:NO.2004c015)
西华大学青年基金资助(编号:04226033)
-
文摘
前向安全的数字签名的思想就是为了把签名密钥泄漏所带来的损失减小到最小程度。为了达到真正的前向安全,不仅要求签名密钥是前向安全的,同时还要保证签名也是前向安全的。文章提出了一个基于RSA的前向安全数字签名方案,该方案的公钥固定不变,签名密钥定期更新,每次签名用阶段性签名密钥签名,签名的正确性用系统公钥来验证,验证方程中包含了签名时间段的信息。该方案保证即使当前的签名密钥泄漏,攻击者也无法伪造前阶段的签名密钥和前阶段的签名。
-
关键词
数字签名
RSA
前向安全
-
Keywords
digital signature ,RSA,forward security
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于能力的制造资源模型研究
被引量：3
- 4
-
-
作者
余强
张海盛
梁丽
-
机构
西华大学数学与计算机科学技术学院
中国科学院成都计算机应用研究所
-
出处
《工程设计学报》
CSCD
北大核心
2006年第1期13-16,20,共5页
-
基金
国家"863"高技术研究发展计划资助项目(2001AA412260)
四川省重点项目资助(01GG012-01)
-
文摘
针对网络化制造环境下现有制造资源模型中普遍存在的“任务—资源”的紧密耦合链所带来的系统柔性不足的问题,提出一种面向能力的制造资源模型,建立了“任务—能力—资源”三层结构的过程元模型,并以XM L格式进行描述.在此基础之上,建立了基于制造特征的任务定义模型.
-
关键词
网络化制造
制造资源模型
制造特征
任务定义模型
-
Keywords
networked manufacturing
manufacturing resources management
manufacturing characteristics
task definition model
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名概率信息系统中扩展决策规则的决策推理
被引量：2
- 5
-
-
作者
裴峥
杜亚军
伊良忠
-
机构
西华大学数学与计算机科学技术学院
-
出处
《西南交通大学学报》
EI
CSCD
北大核心
2006年第1期131-134,共4页
-
文摘
用概率信息系统表示对象与属性值之间的概率关系.根据粗糙集理论,采用平均算子,获取概率信息系统的扩展决策规则集.用关系合成的模糊推理方法,实现了扩展决策规则集的决策推理.
-
关键词
概率信息系统
粗糙集
平均算子
CRI方法
扩展决策规则
-
Keywords
probabilistic information system
rough set
average operator
CRI
extended decision rule
-
分类号
O211.9
[理学—概率论与数理统计]
-
-
题名可收回代理权的公平盲代理盲签名方案
被引量：1
- 6
-
-
作者
李虓
何明星
-
机构
西华大学数学与计算机科学技术学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第13期156-158,共3页
-
基金
国家自然科学基金资助项目(60473030)
四川省教育厅自然科学预研基金资助项目(2004c015)
西华大学青年基金资助项目(04226033)
-
文摘
提出了一个具有可收回代理权特性的公平盲代理盲签名方案。该方案能安全收回代理签名权,克服目前许多代理签名方案代理签名权难以收回的缺陷,同时在代理签名权收回后,以前的有效代理签名仍能得到验证。该方案既保障了原始签名人的权益,又保护了代理签名人的隐私,更好地体现了公平性原则。由于方案能保证代理签名人每次以不同的别名进行有效的签名,因此还具有很好的使用灵活性。
-
关键词
盲签名
代理签名
盲代理签名
公平盲代理盲签名
-
Keywords
Blind signature
Proxy signature
Blind proxy signature
Fair blind proxy blind signature
-
分类号
TN918.4
[电子电信—通信与信息系统]
-
-
题名一种基于定理证明的Web服务合成方法研究
被引量：1
- 7
-
-
作者
余强
梁丽
-
机构
西华大学数学与计算机科学技术学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第20期51-52,共2页
-
基金
四川省重点基金资助项目(01GG012-01)
-
文摘
随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点。通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。
-
关键词
线性逻辑
WEB服务合成
定理证明
-
Keywords
Linear logic
Web services composition
Theorem proof
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于Petri网下的哲学家就餐问题的模拟与验证
- 8
-
-
作者
叶剑虹
宋文
孟永刚
-
机构
西华大学数学与计算机科学技术学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期211-212,215,共3页
-
基金
四川省科技厅应用基础课题 (03226125)
-
文摘
哲学家就餐问题可以看作当应用程序中包含并发线程的执行时,处理共享资源合作的一个有代表性的问题,该问题是评价同步方法的一个测试标准.利用Petri 网的C/E系统来模拟哲学家就餐问题具有很好的实用背景,因为C/E系统下的条件事件集的发生可以用开关或者门电路来实现.通过采用C/E系统来完善哲学家就餐问题的模型,并给出一个可以允许外部条件来加以有选择控制的模型.
-
关键词
PETRI网
C/E系统
哲学家就餐问题
模拟
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名Delphi中网格控件通用打印程序的设计与实现
被引量：1
- 9
-
-
作者
曹龙
杜亚军
沈杰峰
-
机构
西华大学数学与计算机科学技术学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第20期229-230,F0003,共3页
-
文摘
网格控件用来以直观的形式提供数据给用户,按照控件本身的显示格式进行数据打印是数据库管理信息系统和数据处理软件常见的工作,在Delphi7.0开发工具中对其打印主要靠Quick-report和Rave两类控件来实现,但是使用这两类控件在设计打印格式时不可避免地要花费大量的时间。按照网格控件固有的格式打印的通用程序实现了打印程序的共享,探讨了程序设计与实现的界面、原理、方法,并对实现主要技术进行了分析。
-
关键词
网格控件
通用打印程序
DELPHI
-
Keywords
Grid component
Universal print program
Delphi
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
