An Inexact Modified Newton Method for Viscc and Application in Grasping Force

Acta Mathematicae Applicatae Sinica, English Series - For the variational inequality with symmetric cone constraints problem, we consider using the inexact modified Newton method to efficiently...     

Edge agreement of second-order multi-agent system with dynamic quantization via the directed edge Laplacian

This work explores the edge agreement problem of second-order multi-agent systems with dynamic quantization under directed communication. To begin with, by virtue of the directed edge Laplacian, we propose a model reduction representation of the closed-loop multi-agent system depending on the spanning tree subgraph. Considering the limitations of the finite bandwidth channels, the quantization effects of second-order multi-agent systems under directed graph are considered. The static quantizers generally contain a fixed quantization interval and infinite quantization level, which are, to some extent, inefficient and impractical. To further reduce the bit depth (number of bits available) and to obtain better precision, the dynamic quantized communication strategy referring to zooming in-zooming out scheme is required. Based on the reduced model associated with the essential edge Laplacian, the asymptotic stability of second-order multi-agent systems under dynamic quantized effects with only finite quantization level can be guaranteed. Finally, the simulation of altitude alignment of micro air vehicles is provided to verify the theoretical results.     

Solving probability reasoning based on DNA strand displacement and probability modules

In computation biology, DNA strand displacement technology is used to simulate the computation process and has shown strong computing ability. Most researchers use it to solve logic problems, but it is only rarely used in probabilistic reasoning. To process probabilistic reasoning, a conditional probability derivation model and total probability model based on DNA strand displacement were established in this paper. The models were assessed through the game “read your mind.” It has been shown to enable the application of probabilistic reasoning in genetic diagnosis.     

A novel feature selection for RNA-seq analysis

RNA-seq data are challenging existing omics data analytics for its volume and complexity. Although quite a few computational models were proposed from different standing points to conduct differential expression (D.E.) analysis, almost all these methods do not provide a rigorous feature selection for high-dimensional RNA-seq count data. Instead, most or even all genes are invited into differential calls no matter they have real contributions to data variations or not. Thus, it would inevitably affect the robustness of D.E. analysis and lead to the increase of false positive ratios.In this study, we presented a novel feature selection method: nonnegative singular value approximation (NSVA) to enhance RNA-seq differential expression analysis by taking advantage of RNA-seq count data's non-negativity. As a variance-based feature selection method, it selects genes according to its contribution to the first singular value direction of input data in a data-driven approach. It demonstrates robustness to depth bias and gene length bias in feature selection in comparison with its five peer methods. Combining with state-of-the-art RNA-seq differential expression analysis, it contributes to enhancing differential expression analysis by lowering false discovery rates caused by the biases. Furthermore, we demonstrated the effectiveness of the proposed feature selection by proposing a data-driven differential expression analysis: NSVA-seq, besides conducting network marker discovery.     

质子型离子液体N,N-二甲基乙醇胺丙酸盐的密度、粘度及电导率

在283.15-333.15 K温度范围内, 测量了质子型离子液体N,N-二甲基乙醇胺丙酸盐(DMEOAP)的密度、粘度及电导率. 讨论了温度对密度、粘度和电导率等物理化学参数的影响. 通过经验和半经验方程得到了该离子液体的热膨胀系数、分子体积、标准摩尔熵及晶格能等热力学性质参数. 由电导率和密度计算出了该离子液体的摩尔电导率. 利用Vogel-Fulcher-Tamman (VFT)方程, 将测量的动力粘度和电导率对温度拟合, 得到了动力粘度和电导率随温度变化方程式.并通过Walden规则, 建立了粘度与摩尔电导率之间的联系.     

多羧基小分子化合物诱导阳离子囊泡聚集的研究

研究了由阳离子型肽脂质溴化N,N-二-十六烷基-Na-6-三甲胺基己酰基-L-丙氨酰胺(N+C5Ala2C16)形成的阳离子囊泡,在加入含羧基小分子化合物后形成的聚集。考察了乙二胺四乙酸(EDTA)加入到囊泡中后吸光值随时间的变化。结果表明:当EDTA增加到一定浓度时可以引起由阳离子囊泡的聚集;在加入Ca2+后,阳离子囊泡聚集体得到分散;借助电子显微镜观察到了囊泡的聚集和分散。超滤后,用高效液相色谱法确定了囊泡结合的EDTA量。考察了不同pH条件下EDTA对囊泡聚集的影响,当EDTA等含多羧基小分子化合物羧基解离数为三个或以上时能够引起囊泡的聚集,而少于三个时囊泡不能发生聚集。     

微波辐射下4-硫胸腺嘧啶核苷的合成研究

提出了一种高效合成3’,5’-O-二乙酰基-4-硫胸腺嘧啶核苷的方法,该方法具有反应时间短、操作简便等优点,目标产物产率可达93.9%以上。以二氧六环做溶剂,反应温度102℃,乙酰化胸腺嘧啶核苷与P2S5的摩尔比为1∶1.2,微波功率700W辐射8分钟,即可高收率得到3’,5’-O-二乙酰基-4-硫胸腺嘧啶核苷。     

海藻酸钠-乙酸乙烯酯均相接枝共聚物合成及性能评价

本文采用了均相接枝共聚的方法合成了疏水改性的海藻酸钠-乙酸乙烯酯共聚物(SA-g-PVAc)。使用红外光谱、元素分析、凝胶渗透色谱手段对产物接枝度、溶解性能、分子量进行了评价,并考察了相关性能的变化规律。     

Virtual Field Characterization for Ratcheting Effect Under Cyclic Loading

Experimental Mechanics - Ratcheting is an important mechanical behavior of metals and alloys, which is caused by the repeated accumulations of tensile and compressive strain in circle load....     

Bounded invariant verification for time-delayed nonlinear networked dynamical systems

We present a technique for bounded invariant verification of nonlinear networked dynamical systems with delayed interconnections. The underlying problem in precise bounded-time verification lies with computing bounds on the sensitivity of trajectories (or solutions) to changes in initial states and inputs of the system. For large networks, computing this sensitivity with precision guarantees is challenging. We introduce the notion of input-to-state (IS) discrepancy of each module or subsystem in a larger nonlinear networked dynamical system. The IS discrepancy bounds the distance between two solutions or trajectories of a module in terms of their initial states and their inputs. Given the IS discrepancy functions of the modules, we show that it is possible to effectively construct a reduced (low dimensional) time-delayed dynamical system, such that the trajectory of this reduced model precisely bounds the distance between the trajectories of the complete network with changed initial states. Using the above results we develop a sound and relatively complete algorithm for bounded invariant verification of networked dynamical systems consisting of nonlinear modules interacting through possibly delayed signals. Finally, we introduce a local version of IS discrepancy and show that it is possible to compute them using only the Lipschitz constant and the Jacobian of the dynamic function of the modules.