期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
Motor Imagery and Error Related Potential Induced Position Control of a Robotic Arm 被引量:5
1
作者 Saugat Bhattacharyya Amit Konar D.N.Tibarewala 《IEEE/CAA Journal of Automatica Sinica》 SCIE EI CSCD 2017年第4期639-650,共12页
The paper introduces an electroencephalography(EEG) driven online position control scheme for a robot arm by utilizing motor imagery to activate and error related potential(ErrP) to stop the movement of the individual... The paper introduces an electroencephalography(EEG) driven online position control scheme for a robot arm by utilizing motor imagery to activate and error related potential(ErrP) to stop the movement of the individual links, following a fixed(pre-defined) order of link selection. The right(left)hand motor imagery is used to turn a link clockwise(counterclockwise) and foot imagery is used to move a link forward. The occurrence of ErrP here indicates that the link under motion crosses the visually fixed target position, which usually is a plane/line/point depending on the desired transition of the link across 3D planes/around 2D lines/along 2D lines respectively. The imagined task about individual link's movement is decoded by a classifier into three possible class labels: clockwise, counterclockwise and no movement in case of rotational movements and forward, backward and no movement in case of translational movements. One additional classifier is required to detect the occurrence of the ErrP signal, elicited due to visually inspired positional link error with reference to a geometrically selected target position. Wavelet coefficients and adaptive autoregressive parameters are extracted as features for motor imagery and ErrP signals respectively. Support vector machine classifiers are used to decode motor imagination and ErrP with high classification accuracy above 80%. The average time taken by the proposed scheme to decode and execute control intentions for the complete movement of three links of a robot is approximately33 seconds. The steady-state error and peak overshoot of the proposed controller are experimentally obtained as 1.1% and4.6% respectively. 展开更多
关键词 Brain-computer interfacing(BCI) error related potential(Errp) motor imagery decoding position control of a robot arm
下载PDF
Sharp large deviation results for sums of independent random variables 被引量:1
2
作者 FAN XieQuan GRAMA Ion LIU QuanSheng 《Science China Mathematics》 SCIE CSCD 2015年第9期1939-1958,共20页
We show sharp bounds for probabilities of large deviations for sums of independent random variables satisfying Bernstein's condition. One such bound is very close to the tail of the standard Gaussian law in certai... We show sharp bounds for probabilities of large deviations for sums of independent random variables satisfying Bernstein's condition. One such bound is very close to the tail of the standard Gaussian law in certain case; other bounds improve the inequalities of Bennett and Hoeffding by adding missing factors in the spirit of Talagrand(1995). We also complete Talagrand's inequality by giving a lower bound of the same form, leading to an equality. As a consequence, we obtain large deviation expansions similar to those of Cram′er(1938),Bahadur-Rao(1960) and Sakhanenko(1991). We also show that our bound can be used to improve a recent inequality of Pinelis(2014). 展开更多
关键词 Bernstein’s inequality sharp large deviations Cramér large deviations expansion of BahadurRao sums of independent random variabl
原文传递
面向同步规范的并行代码自动生成 被引量:3
3
作者 胡凯 张腾 +2 位作者 尚利宏 杨志斌 Jean-Pierre TALPIN 《软件学报》 EI CSCD 北大核心 2017年第7期1698-1712,共15页
随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台... 随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证以及自动代码生成已在单核平台上形成很多研究成果,但在多核平台上的研究仍面临许多科学问题.同步语言SIGNAL是一种被广泛应用于安全攸关实时系统功能设计的形式化方法,适用于对系统确定性并发行为的描述.SIGNAL编译器也支持将同步规范(synchronous specification)生成仿真代码,以对其进行验证与分析.然而,现有研究较少关注从SIGNAL同步规范到支持跨平台并行代码的生成方法.研究了面向SIGNAL同步规范的并行自动代码生成方法.提出了方程依赖图EDG的概念,将SIGNAL规范转换为EDG以分析其全局数据依赖关系;研究了对EDG进行任务划分获取规范中可以并行执行部分的算法;最后,以跨平台并行编程API-Open MP作为对象,结合程序中信号的时钟关系,将并行任务映射到Open MP并行代码,并进行了实例验证. 展开更多
关键词 同步规范 SIGNAL 并行程序 代码生成 OPENMP
下载PDF
容错的网络声明式程序
4
作者 汪芳 Stephane GRUMBACH 《软件学报》 EI CSCD 北大核心 2012年第8期1992-2001,共10页
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
关键词 网络编程抽象 声明式语言 语法 语义 容错性
下载PDF
基于周期B样条曲面的环状N边洞G^n连续性过渡 被引量:2
5
作者 施侃乐 雍俊海 +1 位作者 孙家广 Jean-Claude Paul 《中国科学:信息科学》 CSCD 2011年第9期1112-1125,共14页
环状N边洞经常产生于零件端部的大半径过渡或光滑填充操作中,现有的基于四边形分割或约束求解的方法对此难以得到法向或更高阶连续的过渡曲面.本文首先对环状N边洞的边界进行保持Gn连续的重新参数化,以确保相邻边界跨越切矢曲线在连接... 环状N边洞经常产生于零件端部的大半径过渡或光滑填充操作中,现有的基于四边形分割或约束求解的方法对此难以得到法向或更高阶连续的过渡曲面.本文首先对环状N边洞的边界进行保持Gn连续的重新参数化,以确保相邻边界跨越切矢曲线在连接处的相容性.然后根据极点处的Gn连续充分条件和通过参数连续曲面延伸,分别得到周期B样条曲面的内外两侧控制顶点.该方法仅生成单个填充曲面,控制顶点少,可直接通过插节点转化为标准B样条曲面,次数仅相对原边界曲线升n次.其构造方法简单快速,不涉及大方程求解和迭代,在几何相容条件下曲面连续性可达到Gn.本文提供了过渡实例来说明其有效性和实用性. 展开更多
关键词 计算机辅助设计 周期B样条曲面 极坐标 N边洞填充 G^n连续
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部