Hyperparameter on-line learning of stochastic resonance based threshold networks

Aiming at training the feed-forward threshold neural network consisting of nondifferentiable activation functions, the approach of noise injection forms a stochastic resonance based threshold network that can be optimized by various gradient-based optimizers. The introduction of injected noise extends the noise level into the parameter space of the designed threshold network, but leads to a highly non-convex optimization landscape of the loss function. Thus, the hyperparameter on-line learning procedure with respective to network weights and noise levels becomes of challenge. It is shown that the Adam optimizer, as an adaptive variant of stochastic gradient descent, manifests its superior learning ability in training the stochastic resonance based threshold network effectively. Experimental results demonstrate the significant improvement of performance of the designed threshold network trained by the Adam optimizer for function approximation and image classification.     

Well-posedness of two pseudo-parabolic problems for electrical conduction in heterogeneous media

We prove a well-posedness result for two pseudo-parabolic problems, which can be seen as two models for the same electrical conduction phenomenon in heterogeneous media, neglecting the magnetic field. One of the problems is the concentration limit of the other one, when the thickness of the dielectric inclusions goes to zero. The concentrated problem involves a transmission condition through interfaces, which is mediated by a suitable Laplace-Beltrami type equation.     

Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

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.     

A post curing strategy toward the feasible covalent adaptable networks in polyacrylate latex films

The implementation of covalent adaptable networks (CANs) in general resin system is becoming attractive. In this work, we propose a simple post-curing strategy based on the core-shell structured acrylate latex for the achievement on both the improved general performance and the CANs characteristics in latex films. The building to the CANs was relied on the introduction of 4,4′-diaminophenyl disulfide as the curing agent, which cured the acetoacetoxy decorated shell polymer through the ketoamine reaction. The metathesis reaction of aromatic disulfides in the crosslinking segments enabled the thermally induced dynamic behavior of the network as revealed in the stress relaxation tests by comparison with other diamine crosslinking agents without the incorporation of disulfide. The synergism of the dynamic crosslinking of the shell polymer and static crosslinking in the core polymer contributed to the improved mechanical strength (15 MPa, strain% = 250%) and the suppressed water adsorption (~1% in 24 h of soaking) of the latex film, which exhibited above 90% of recovery in both strength and strain from a cut-off film damage within 1 h at 80°C. Moreover, the cured latex film could be recycled, and 75% of the mechanical performance was regained after three fragmentation-hot-pressing cycles. These, in addition with the feasible and environmental friendly characteristics, suggest a sustainable paradigm toward the smart thermosetting latex polymers.     

Sentinel-2卫星的多光谱轻量级船舶目标检测算法

近年来深度卷积神经网络在可见光船舶检测方面取得了显著的进展，然而，大多数相关研究是通过改进大型的网络结构来提高检测性能，因此加大了对更高计算机性能的需求。此外，可见光图像难以在云、雾、海杂波、黑夜等复杂场景检测到船舶。针对以上问题，提出了一种融合红（red, R）、绿（green, G）、蓝（blue, B）和近红外（NIR）4个波段光谱信息的由粗到精细的轻量型船舶检测算法。与现有的方法中根据光谱特性利用水体检测算法提取水体区域不同之处是该算法是利用改进的水体检测算法来提取船舶候选区域。为获取更准确的候选区域，对船舶、厚云、薄云、平静海面、杂波海面5种场景中4个波段的像素值进行了统计分析，选取近红外大于阈值作为辅助判断，并以其中心点获取候选区域32×32大小的切片，并对切片进行非极大值抑制，由此获得了船舶粗检测结果。随后构建了轻量级LSGFNet网络对船舶候选区域切片进行精细识别。构建的网络融合了1×1卷积提取的波谱特征与3×3的提取几何特征，为防止光谱特征与几何特征的信息在融合时“信息不流通”，在LSGFNet网络中引入了ShuffleNet中的通道打乱机制，并减小了模型结构，与典型的轻量级网络相比具有更好的效果且模型较小。最后，利用Sentinel-2卫星多光谱10 m分辨率数据构建了512×512大小的1 120组数据进行粗检测，以及32×32大小的6 014组数据进行精细网络训练，其中候选区域粗提取的查全率为98.99%，精细识别网络精确度为96.04%，不同场景下的平均精确度为92.98%。实验表明该算法在抑制云层、海浪杂波等干扰的复杂背景下具有较高的检测效率，且训练时间短、计算机性能需求低。     

基于串联两阶段网络DEA模型的供应链规模收益分析

数据包络分析(DEA)是评价供应链系统(Supply chain system)间相对有效性的一种重要的工具,但是传统的DEA不考虑供应链的内部结构,对系统效率评价偏高;而本文所研究两阶段串联供应链系统,考虑把部分中间产品作为最终产品输出,增加额外中间投入的情形.基于所提出的供应链系统结构,本文建立相应的串联结构下的网络DEA模型,并针对所建立模型进行相关理论的研究,给出了串联结构下的生产可能集和规模收益情况判定方法.最后,进行数值实验,以验证我们提出的结论.