The evaluation of academic researchers often relies on quantitative metrics,despite their limitations.This paper examines the qualitative assessment approach used by the French National Center for Scientific Research(...The evaluation of academic researchers often relies on quantitative metrics,despite their limitations.This paper examines the qualitative assessment approach used by the French National Center for Scientific Research(CNRS)in Computer Science(Section 6),as presented by a National Committee for Scientific Research(CoNRS)committee president.Rejecting bibliometrics like impact factors,CNRS emphasizes in-depth peer review of research quality,diverse outputs(e.g.,software and datasets),and field-specific considerations.The process,aligned with the San Francisco Declaration on Research Assessment(DORA),faces challenges in scalability and subjectivity,addressed through committee diversity and structured deliberation.This work provides insights for institutions seeking fairer,more holistic research evaluation frameworks.展开更多
通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的...通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.展开更多
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.展开更多
The research work presented in this paper is based on the concrete background ofthe Cooperative Graphics Editor (CGE), allowing two or more persons to remotely edit a graphicdocument simultaneously. A new concurrency ...The research work presented in this paper is based on the concrete background ofthe Cooperative Graphics Editor (CGE), allowing two or more persons to remotely edit a graphicdocument simultaneously. A new concurrency control algorithm based on partial order set ispresented, which has fast response and less undo-redo operations as there are no lock mechanisms.It is used to solve inconsistency caused by operation on intersecting graphics concurrently. CGEalso possesses a mask strategy to solve inconsistency caused by operation on the same graphicconcurrently.展开更多
This review deals with restricted Boltzmann machine(RBM) under the light of statistical physics.The RBM is a classical family of machine learning(ML) models which played a central role in the development of deep learn...This review deals with restricted Boltzmann machine(RBM) under the light of statistical physics.The RBM is a classical family of machine learning(ML) models which played a central role in the development of deep learning.Viewing it as a spin glass model and exhibiting various links with other models of statistical physics,we gather recent results dealing with mean-field theory in this context.First the functioning of the RBM can be analyzed via the phase diagrams obtained for various statistical ensembles of RBM,leading in particular to identify a compositional phase where a small number of features or modes are combined to form complex patterns.Then we discuss recent works either able to devise mean-field based learning algorithms;either able to reproduce generic aspects of the learning process from some ensemble dynamics equations or/and from linear stability arguments.展开更多
The paper presents a finite volume numerical method universally applicable for solving both linear and nonlinear aeroacoustics problems on arbitrary unstructured meshes. It is based on the vertexcentered multi-paramet...The paper presents a finite volume numerical method universally applicable for solving both linear and nonlinear aeroacoustics problems on arbitrary unstructured meshes. It is based on the vertexcentered multi-parameter scheme offering up to the 6th accuracy order achieved on the Cartesian meshes. An adaptive dissipation is added for the numerical treatment of possible discontinuities. The scheme properties are studied on a series of test cases, its efficiency is demonstrated at simulating the noise suppression in resonance-type liners.展开更多
This paper investigates the event-triggered control of positive switched systems with randomly occurring actuator saturation and time-delay,where the actuator saturation and time-delay obey different Bernoulli distrib...This paper investigates the event-triggered control of positive switched systems with randomly occurring actuator saturation and time-delay,where the actuator saturation and time-delay obey different Bernoulli distributions.First,an event-triggering con-dition is constructed based on a 1-norm inequality.Under the presented event-triggering scheme,an interval estimation method is utilized to deal with the error term of the systems.Using a co-positive Lyapunov functional,the event-triggered controller and the cone attraction domain gain matrices are designed via matrix decomposition techniques.The positivity and stability of the resulting closed-loop systems are reached by guaranteeing the positivity of the lower bound of the systems and the stability of the upper bound of the systems,respectively.The proposed approach is developed for interval and polytopic uncertain systems,respectively.Finally,two examples are provided to illustrate the effectiveness of the theoretical findings.展开更多
文摘The evaluation of academic researchers often relies on quantitative metrics,despite their limitations.This paper examines the qualitative assessment approach used by the French National Center for Scientific Research(CNRS)in Computer Science(Section 6),as presented by a National Committee for Scientific Research(CoNRS)committee president.Rejecting bibliometrics like impact factors,CNRS emphasizes in-depth peer review of research quality,diverse outputs(e.g.,software and datasets),and field-specific considerations.The process,aligned with the San Francisco Declaration on Research Assessment(DORA),faces challenges in scalability and subjectivity,addressed through committee diversity and structured deliberation.This work provides insights for institutions seeking fairer,more holistic research evaluation frameworks.
文摘通过研究一个具有代表性的UML/MARTE(unified modeling language/modeling and analysis of real time and embedded systems)模型向FIACRE(intermediate format for the architectures of embedded distributed components)形式模型的转换实例,探讨了异构模型之间在语义和语法层的相互转换问题.在语义层,通过模型转换技术构造语义映射规则,实现元语言之间的转换;在语法层,通过构造元模型的具体语法,反映元语言的语法规则,从而产生目标模型的程序实体.基于此实例研究,探讨了通用转换途径的相关框架和关键技术,并讨论了转换工作的优缺点和实用性.
基金supported by UGC Sponsored UPE-ⅡProject in Cognitive Science of Jadavpur University,Kolkata
文摘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.
文摘The research work presented in this paper is based on the concrete background ofthe Cooperative Graphics Editor (CGE), allowing two or more persons to remotely edit a graphicdocument simultaneously. A new concurrency control algorithm based on partial order set ispresented, which has fast response and less undo-redo operations as there are no lock mechanisms.It is used to solve inconsistency caused by operation on intersecting graphics concurrently. CGEalso possesses a mask strategy to solve inconsistency caused by operation on the same graphicconcurrently.
基金supported by the Comunidad de Madrid and the Complutense University of Madrid (Spain) through the Atracción de Talento program (Ref. 2019-T1/TIC-13298)
文摘This review deals with restricted Boltzmann machine(RBM) under the light of statistical physics.The RBM is a classical family of machine learning(ML) models which played a central role in the development of deep learning.Viewing it as a spin glass model and exhibiting various links with other models of statistical physics,we gather recent results dealing with mean-field theory in this context.First the functioning of the RBM can be analyzed via the phase diagrams obtained for various statistical ensembles of RBM,leading in particular to identify a compositional phase where a small number of features or modes are combined to form complex patterns.Then we discuss recent works either able to devise mean-field based learning algorithms;either able to reproduce generic aspects of the learning process from some ensemble dynamics equations or/and from linear stability arguments.
基金Russian Foundation of Basic Research(No. 04-01-08034, 06-01-00293-a)
文摘The paper presents a finite volume numerical method universally applicable for solving both linear and nonlinear aeroacoustics problems on arbitrary unstructured meshes. It is based on the vertexcentered multi-parameter scheme offering up to the 6th accuracy order achieved on the Cartesian meshes. An adaptive dissipation is added for the numerical treatment of possible discontinuities. The scheme properties are studied on a series of test cases, its efficiency is demonstrated at simulating the noise suppression in resonance-type liners.
基金National Natural Science Foundation of China(Nos.62073111 and 61751304)Fundamental Research Funds for the Provincial Universities of Zhejiang(No.GK209907299001-007)+1 种基金Natural Science Foundation of Zhejiang Province,China(Nos.LY20F030008 and LY20F030011)Foundation of Zhejiang Provincial Department of Education(No.Y201942017).
文摘This paper investigates the event-triggered control of positive switched systems with randomly occurring actuator saturation and time-delay,where the actuator saturation and time-delay obey different Bernoulli distributions.First,an event-triggering con-dition is constructed based on a 1-norm inequality.Under the presented event-triggering scheme,an interval estimation method is utilized to deal with the error term of the systems.Using a co-positive Lyapunov functional,the event-triggered controller and the cone attraction domain gain matrices are designed via matrix decomposition techniques.The positivity and stability of the resulting closed-loop systems are reached by guaranteeing the positivity of the lower bound of the systems and the stability of the upper bound of the systems,respectively.The proposed approach is developed for interval and polytopic uncertain systems,respectively.Finally,two examples are provided to illustrate the effectiveness of the theoretical findings.