牟琳
- 作品数：2 被引量：11H指数：2
- 供职机构：中国科学院成都计算机应用研究所更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 智能家庭服务机器人语音系统实现被引量：8
- 2010年
- 首先说明了语音识别技术的原理和开发平台,及机器人系统的运动控制过程;接着介绍了微软公司的Speech SDK语音技术;最后设计语音交互流程开发出智能家庭服务机器人语音系统。实验结果表明,此种方法易于开发也很有效,同时适合其他的智能语音系统的开发。
- 骆家伟牟琳靳泰戈
- 关键词：服务机器人语音技术MICROSOFTSPEECHSDK
- 多区间上非线性程序的终止性判定被引量：3
- 2011年
- 主要解决了如下形式的程序的终止性判定的问题:wh ile(x∈Ω)do{x:=f(x)}end,其中,x为程序变元,Ω(Ω=(a1,b1‖∪‖a2,b2‖∪…∪‖an,bn),其中,‖∈{(,),[,]},n∈N*)是间段并集,f是一个多项式函数。证明了:当φ(b1)φ(a2)>0,…,φ(bn-1)φ(an)>0(其中,φ(x)=f(x)-x)时,这类区间上的非线性程序不终止的必要条件是:在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有不动点的情况,也给出了判定的方法。对一类多项式函数的终止性给出了完备性的算法(TNPSI)。
- 牟琳李轶李玲娜刘栋
- 关键词：计算机代数不动点
