两类r-循环矩阵求逆的快速算法

本文利用多项式的最大公因式给出的求r-循环矩阵和对称r-循环矩阵求逆的快速算法。该方法不需要计算三角函数并且具有很少的计算量。     

Faster algorithms for computing longest common increasing subsequences

We present algorithms for finding a longest common increasing subsequence of two or more input sequences. For two sequences of lengths n and m, where m?n, we present an algorithm with an output-dependent expected running time of and O(m) space, where ? is the length of an LCIS, σ is the size of the alphabet, and Sort is the time to sort each input sequence. For k?3 length-n sequences we present an algorithm which improves the previous best bound by more than a factor k for many inputs. In both cases, our algorithms are conceptually quite simple but rely on existing sophisticated data structures. Finally, we introduce the problem of longest common weakly-increasing (or non-decreasing) subsequences (LCWIS), for which we present an -time algorithm for the 3-letter alphabet case. For the extensively studied longest common subsequence problem, comparable speedups have not been achieved for small alphabets.     

矩阵方程组AX=C,XB=D的公共最小二乘解

通过使用矩阵秩方法,我们给出了矩阵方程组AX =C,XB =D的公共最小二乘解的通解表达式,以及公共最小二乘解的极大秩和极小秩.     

A fixed point theorem in Menger space through weak compatibility

This paper contains a fixed point theorem for six self maps in Menger space. Our result generalizes and extends many known results in Menger spaces and metric spaces.     

Transvaluationism, common sense and indirect correspondence

The problem of reconciling the philosophical denial of ontological vagueness with common-sense beliefs positing vague objects, properties and relations is addressed. This project arises for any view denying ontological vagueness but is especially pressing for transvaluationism, which claims that ontological vagueness is impossible. The idea that truth, for vague discourse and vague thought-content, is an indirect form of language-thought correspondence is invoked and applied. It is pointed out that supervaluationism provides one way, but not necessarily the only way, of implementing the idea of indirect correspondence.     

FT-Raman光谱法无损鉴定药材的真伪

本文利用傅里叶变换拉曼（FT-Raman）光谱法无损快速鉴定了正品大黄与伪品大黄以及有掺伪物的知母样品。结果表明：大黄（西宁大黄）与伪品大黄（华北大黄，山大黄，水根大黄）在拉曼谱图中均有各自的特征峰，可容易地将它们区别开；知母样品中所掺杂的其他饮片，经与白芨的拉曼谱图比对，证实为白芨饮片，该方法具有快速，准确，操作简单，不需对样品进行提取分离，可直接进行测定的特点。     

Stability of iterative procedures with errors approximating common fixed points for a couple of quasi-contractive mappings in q-uniformly smooth Banach spaces

In this paper, we introduce the new iterative sequences with errors approximating the common fixed point for a couple of quasi-contractive mappings and show the stability of the iterative procedures with errors in q-uniformly smooth Banach spaces. Our results extend, improve and unify the corresponding results of Chidume, Osilike, Liu, and others.     

统一状态方程描述同位素气体

通过对分子动力学模拟公式和同位素相互作用势特点的分析,提出用一个统一的状态方程描述同位素气体的P-V-T特性.进而选用Benedict-Webb-Rubin方程作为统一的状态方程,利用H2气体的135组实验值确定其八个参数.这个方程的计算结果与H2和D2气体的实验值符合良好.T2气体目前尚未见到成套的P-V-T实验数据报道,不能直接与实验结果对比,但与T2气体的分子动力学模拟计算结果一致.     

Mosco convergence of the sets of fixed points for one-parameter nonexpansive semigroups

We consider the Mosco convergence of the sets of fixed points for one-parameter strongly continuous semigroups of nonexpansive mappings. One of our main results is the following: Let C$C$ be a closed convex subset of a Hilbert space E$E$. Let {T(t):t≥0}$\{T\left(t\right):t\ge 0\}$ be a strongly continuous semigroup of nonexpansive mappings on C$C$. The set of all fixed points of T(t)$T\left(t\right)$ is denoted by F(T(t))$F\left(T\left(t\right)\right)$ for each t≥0$t\ge 0$. Let τ$\tau$ be a nonnegative real number and let {_tn}$\left\{t_n\right\}$ be a sequence in R$\mathbb{R}$ satisfying τ+_tn≥0$\tau +t_n\ge 0$ and _tn≠0$t_n\ne 0$ for n∈N$n\in \mathbb{N}$, and _limntn=0${lim}_n{t}_n=0$. Then {F(T(τ+_tn))}$\left\{F\left(T(\tau +t_n)\right)\right\}$ converges to _?t≥0F(T(t))${?}_{t\ge 0}F\left(T\left(t\right)\right)$ in the sense of Mosco.     

菜豆凝集素抑制剂的设计与凝血活性

针对菜豆凝集素二聚体复合物的结构特征,利用计算机辅助药物设计的方法设计抑制剂以破坏复合物结构;进一步采用标准的Fomc保护氨基酸NT氨基的固相法合成纯化了小肽抑制剂.体外兔血红细胞凝集实验结果表明,该小肽对菜豆凝集素的凝血能力有一定的抑制效果.该方法为植物凝集素凝血研究及菜豆相关的食品安全问题提供了一个新思路.