Pattern transition and regulation in a subthalamopallidal network under electromagnetic effect

Although the significant roles of magnetic induction and electromagnetic radiation in the neural system have been widely studied, their influence on Parkinson's disease (PD) has yet to be well explored. By virtue of the magnetic flux variable, this paper studies the transition of firing patterns induced by magnetic induction and the regulation effect of external magnetic radiation on the firing activities of the subthalamopallidal network in basal ganglia. We find: (i) The network reproduces five typical waveforms corresponding to the severity of symptoms: weak cluster, episodic, continuous cluster, episodic, and continuous wave. (ii) Magnetic induction is a double-edged sword for the treatment of PD. Although the increase of magnetic coefficient may lead the physiological firing activity to transfer to pathological firing activity, it also can regulate the pathological intensity firing activity with excessive β-band power transferring to the physiological firing pattern with weak β-band power. (iii) External magnetic radiation could inhibit continuous tremulous firing and β-band power of subthalamic nucleus (STN), which means the severity of symptoms weakened. Especially, the bi-parameter plane of the regulation region shows that a short pulse period of magnetic radiation and a medium level of pulse percentage can well regulate pathological oscillation. This work helps to understand the firing activity of the subthalamopallidal network under electromagnetic effect. It may also provide insights into the mechanisms behind the electromagnetic therapy of PD-related firing activity.     

The coupled-cluster formalism – a mathematical perspective

ABSTRACT

The Coupled-Cluster (CC) theory is one of the most successful high precision methods used to solve the stationary Schrödinger equation. In this article, we address the mathematical foundation of this theory with focus on the advances made in the past decade. Rather than solely relying on spectral gap assumptions (non-degeneracy of the ground state), we highlight the importance of coercivity assumptions – Gårding type inequalities – for the local uniqueness of the CC solution. Based on local strong monotonicity, different sufficient conditions for a local unique solution are suggested. One of the criteria assumes the relative smallness of the total cluster amplitudes (after possibly removing the single amplitudes) compared to the Gårding constants. In the extended CC theory the Lagrange multipliers are wave function parameters and, by means of the bivariational principle, we here derive a connection between the exact cluster amplitudes and the Lagrange multipliers. This relation might prove useful when determining the quality of a CC solution. Furthermore, the use of an Aubin–Nitsche duality type method in different CC approaches is discussed and contrasted with the bivariational principle.     

Local linear convergence analysis of Primal–Dual splitting methods

In this paper, we study the local linear convergence properties of a versatile class of Primal–Dual splitting methods for minimizing composite non-smooth convex optimization problems. Under the assumption that the non-smooth components of the problem are partly smooth relative to smooth manifolds, we present a unified local convergence analysis framework for these methods. More precisely, in our framework, we first show that (i) the sequences generated by Primal–Dual splitting methods identify a pair of primal and dual smooth manifolds in a finite number of iterations, and then (ii) enter a local linear convergence regime, which is characterized based on the structure of the underlying active smooth manifolds. We also show how our results for Primal–Dual splitting can be specialized to cover existing ones on Forward–Backward splitting and Douglas–Rachford splitting/ADMM (alternating direction methods of multipliers). Moreover, based on these obtained local convergence analysis result, several practical acceleration techniques are discussed. To exemplify the usefulness of the obtained result, we consider several concrete numerical experiments arising from fields including signal/image processing, inverse problems and machine learning. The demonstration not only verifies the local linear convergence behaviour of Primal–Dual splitting methods, but also the insights on how to accelerate them in practice.     

Properties of bounded stochastic processes employed in biophysics

Abstract

Realistic stochastic modeling is increasingly requiring the use of bounded noises. In this work, properties and relationships of commonly employed bounded stochastic processes are investigated within a solid mathematical ground. Four families are object of investigation: the Sine-Wiener (SW), the Doering–Cai–Lin (DCL), the Tsallis–Stariolo–Borland (TSB), and the Kessler–Sørensen (KS) families. We address mathematical questions on existence and uniqueness of the processes defined through Stochastic Differential Equations, which often conceal non-obvious behavior, and we explore the behavior of the solutions near the boundaries of the state space. The expression of the time-dependent probability density of the Sine-Wiener noise is provided in closed form, and a close connection with the Doering–Cai–Lin noise is shown. Further relationships among the different families are explored, pathwise and in distribution. Finally, we illustrate an analogy between the Kessler–Sørensen family and Bessel processes, which allows to relate the respective local times at the boundaries.     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。     

SAR图像并行拼接方法研究与实现* 〖HT4K〗——基于改进完全二叉树模型

随着SAR成像技术的快速发展，SAR图像覆盖的地域范围与成像精度也在迅速增长，这对SAR图像拼接工作的实时性提出了挑战;文章对SAR图像序列特征进行深入分析，提出了采用基于分割的完全二叉树模型进行SAR图像的并行拼接，并使用MPI点对点通信方式对之进行了不同数量机群规模下的实现；对比实验证明，基于该方法的并行拼接工作比传统并行拼接方法在降低拼接时耗上更加有效，且并行拼接后的完整图像效果良好.     

图书馆大流通服务模式的特点及对策

随着图书馆服务模式不断升级，新型服务管理模式得到推广与使用，既方便了师生查阅文献资料，也降低了管理人员的工作难度。阐述了大流通服务的概念，分析了大流通服务模式的特点，提出了推进图书馆大流通服务的对策。     

金属间化合物(Mg,Zn)_(12)Ce与(Mg,Zn)_(11)Ce的研究

对300℃时Mg-Zn-Ce系富镁侧化合物的成分特征、结构和相平衡关系进行了研究.结果表明,Mg-Zn-Ce富镁角存在一个Mg12Ce的二元置换固溶体(Mg,Zn)12Ce,还存在一个三元线性化合物(Mg,Zn)11Ce(τ相).(Mg,Zn)12Ce中Zn的范围为0~7.3%(原子分数),其晶体结构为体心四方晶格.三元线性化合物τ相含Zn为8.5%~43.5%(原子分数),其晶体结构为C底心正交晶格.(Mg,Zn)12Ce和τ相均与α(Mg)存在稳定的两相平衡,且在Mg-Zn-Ce系富镁角还存在三相平衡Mg+(Mg,Zn)12Ce+τ.     

一种自适应步长的复合梯度加速优化算法

自适应步长加速(Adam)类算法由于其计算效率高、兼容性好的特点，成为近期相关领域的研究热点.针对Adam收敛速度慢的问题，本文基于当前梯度、预测梯度以及历史动量梯度，提出一种新型Adam类一阶优化算法——复合梯度下降法(C-Adam)，并对其收敛性进行了理论证明.与其他加速算法的区别之处在于，C-Adam将预测梯度与历史动量区别开，通过一次真实的梯度更新找到下一次迭代更精准的搜索方向.利用两组常用测试数据集及45钢静拉伸破坏实验的实验数据对所提算法进行验证，实验结果表明C-Adam与其他流行算法相比较具有更快的收敛速度及更小的训练损失.     

关于高师院校计算机专业教学改革的几点建议

本文以高等师范院校计算机专业教学改革为例,从教育观念的更新、教学模式的转变、教学手段的更新、教学对象的再认识、教学中的教材教法等多个方面分析以网络为主的现代教育模式改革的思想,目的在于探索出一条以多媒体和网络为主体的教学环境下的教育新思路。