Mean field limits for nonlinear spatially extended Hawkes processes with exponential memory kernels

We consider spatially extended systems of interacting nonlinear Hawkes processes modeling large systems of neurons placed in ${\mathbb{R}}^d$ and study the associated mean field limits. As the total number of neurons tends to infinity, we prove that the evolution of a typical neuron, attached to a given spatial position, can be described by a nonlinear limit differential equation driven by a Poisson random measure. The limit process is described by a neural field equation. As a consequence, we provide a rigorous derivation of the neural field equation based on a thorough mean field analysis.     

Resilient dissipative dynamic output feedback control for uncertain Markov jump Lur’e systems with time-varying delays

The resilient dissipative dynamic output feedback control problem for a class of uncertain Markov jump Lur’e systems with piecewise homogeneous transition probabilities and time-varying delays in the discrete-time domain are examined in this study. The designed controller can tolerate additive uncertainties in the controller gain matrix, which result from controller implementations. The time-varying delays are also supposed to be mode-dependent with lower and upper bounds known a priori. By constructing a Lyapunov–Krasovskii functional candidate, the sufficient conditions regarding the existence of desired resilient dissipative controllers are obtained in terms of linear matrix inequalities, thereby ensuring that the resulting closed-loop system is stochastically stable and strictly dissipative. Two numerical examples were established to illustrate the effectiveness of the proposed theoretical results.     

小波基方法在波传问题中的应用

基于多尺度分析理论，引入哈密顿体系和插值小波变换，分别构造了适合于求解复杂域波传问题的快速自适应方法——多尺度辛格式和插值小波配点格式，利用小波基的局部性与消失矩等特性改善计算效率，并将插值小波应用到波动方程的多尺度反演问题中。讨论了其优缺点并提出几点展望。     

光阑对偏振高斯-谢尔模型光束偏振特性的影响（英文）

根据广义惠更斯-菲涅尔原理和Collins公式,基于复高斯函数展开法,推导出椭圆偏振的高斯-谢尔模型光束经过矩形光阑衍射后的交叉谱密度公式,结合斯托克斯矢量理论推导了椭圆偏振高斯-谢尔模型光束在接收平面的光强、偏振度、方位角和椭圆度的表达式,数值分析了光阑的孔径遮拦比对光强、偏振度及方位角和椭圆度的影响.结果表明,光阑的孔径遮拦比在近场区对经过光阑后椭圆偏振高斯-谢尔模型光束的光强和偏振特性有显著影响;随着传输距离的增大,光强和偏振特性受孔径遮拦比的影响减小,光强和偏振特性变化平稳.     

Possibilistic nested logic programs and strong equivalence

In this paper, the class of possibilistic nested logic programs is introduced. These possibilistic logic programs allow us to use nested expressions in the bodies and heads of their rules. By considering a possibilistic nested logic program as a possibilistic theory, a construction of a possibilistic logic programing semantics based on answer sets for nested logic programs and the proof theory of possibilistic logic is defined. In order to define a general method for computing the possibilistic answer sets of a possibilistic nested program, the idea of equivalence between possibilistic nested programs is explored. By considering properties of equivalence between possibilistic programs, a process of transforming a possibilistic nested logic program into a possibilistic disjunctive logic program is defined. Given that our approach is an extension of answer set programming, we also explore the concept of strong equivalence between possibilistic nested logic programs. To this end, we introduce the concept of poss SE-models. Therefore, we show that two possibilistic nested logic programs are strong equivalents whenever they have the same poss SE-models.The expressiveness of the possibilistic nested logic programs is illustrated by a scenario from the medical domain. In particular, we exemplify how possibilistic nested logic programs are expressive enough for capturing medical guidelines which are pervaded by vagueness and qualitative information.     

一种嵌入式软件逻辑覆盖测试方法研究

针对嵌入式软件测试覆盖率低的问题,本文提出了基于软件故障注入的逻辑覆盖测试方法,首先就嵌入式系统常用传感器建立故障模式库,设计了嵌入式软件故障注入系统;其次选取中间层作为故障注入点,研究基于VxWorks653嵌入式操作系统的故障注入实现方式,并通过分析故障信号在软件系统中的传播,提出优化测试用例的方法;最后通过实验验证了该方法可有效提高容错设计功能、冗余设计功能、故障检测功能测试的逻辑覆盖率;有助于提高嵌入式软件的可靠性。     

Time reversal for obstacle location in elastodynamics from acoustic recording

The Note is concerned with a feasibility study of time reversal in a non-homogeneous elastic medium, from data recorded in an acoustic medium. Our aim here is to determine the presence and some physical properties of elastic “inclusions” (unknown, not observable solid objects, characterized by their elastic properties) from partial observations of acoustic waves scattered by these inclusions. A finite element numerical method, based on a variational acousto-elastodynamics formulation, is derived and used to solve the forward, and then, the time-reversed problem. A criterion, derived from the reverse time migration framework, is introduced, to help construct images of the inclusions to be determined. Numerical illustrations on configurations that mimic the breast cancer configuration are proposed, and show that one can differentiate between two inclusions, even with different properties.     

Comment on: “Topology identification and adaptive synchronization of uncertain complex networks with adaptive double scaling functions” [Commun Nonlinear Sci Numer Simul 2011;16:3337-43]

In this comment letter we point out that the main result of the recent paper [Xu Y, Zhou W, Fang J, Sun W. Topology identification and adaptive synchronization of uncertain complex networks with adaptive double scaling functions. Commun Nonlinear Sci Numer Simul 2011;16(18):3337-43] has certain errors. The mistakes are corrected and a correct version is presented in this letter. We further indicate that a sufficient condition has been neglected in a series of articles discussing the same topic of network topology identification; hence we hope this letter can help clarify some unclear concepts about this topic.     

The uncertain premium principle based on the distortion function

In this paper, we discuss the premium principle in uncertain environment. First, the net premium principle for uncertain risks is presented within the framework of uncertainty theory. With the help of distortion function, a new uncertain premium principle is derived from the uncertain net premium. Some properties of uncertain distortion premium principle are proved. Furthermore, a sufficient and necessary condition that an uncertain premium principle is an uncertain distortion premium principle has been characterized. Finally, some examples are given to illustrate the calculations of the uncertain distortion premium.