青霉素G酰化酶调节基因定点诱变的研究

构建了大肠杆菌中青霉素G酰化酶（PAC）的调节基因（pacR）翻译起始密码定点突变株。对突变后PAC的表达调控特征进行了研究，结果表明：突变株的pac基因表达后能正常加工成24ku、65ku的α亚基和β亚基；突变后，虽然PAC表达仍需要苯乙酸诱导，但是，可诱导性提高，形成低组成型表达，无葡萄糖有分解代谢物阻遏效应，因而pacR对PAC表达水平存在着影响，pacR基因是葡萄糖以及它的分解代谢物在分子水平上影响PAC表达的另一作用因素。采用突变株进行发酵生产中，PAC产量较亲株提高3倍，而且可以采用葡萄糖作为碳源，有利于改善PAC的生产。     

Banach空间中渐近非扩张映射的弱收敛定理

设C为一致凸Banach空间，且其对偶空间X^*具Kadec-Klee性质．C为X的非空有界闭凸子集，G是一定向网。{Tt，t∈G}为C上一族渐近非扩张映射．{Ttx0,t∈G}的弱收敛定理为：若x0∈C，使得(a)lim sup，∈G lim sup。∈G ‖TsTtx0-Ttx0‖=0，(b)lim sup，∈G lim sup。∈G‖TsTtx0-TtTsx0‖=0，则存在p∈AF(y)，使得Ttx0→p0。     

有向Kautz图上的随机游动

首先给出了有向Kautz图上简单随机游动任意两点之间平均击中时间的表达式及其最大和最小值,并证明了快速收敛性.最后给出了有向Kautz图上简单随机游动从任一单点分布到稳定分布的一个最优停时规则,从而得到了最优均值.     

产生任意k阶余因式的原理和方法

提出了不定导纳矩阵任意k阶余因式的有向树拓扑表示式;给出了通过混合分割产生有向树多项式的分解定理.应用它们可以方便有效地求取任意k阶余因式的拓扑表示式.用其求全符号网络函数,可扩大计算机所能拓扑分析的网络规模.用其求部分符号网络函数,可使计算机所能分析的网络规模扩大到一般数值分析程序所能处理的阶数.     

关于图论中一个定理的证明

在图论的教科书和专著中,对图论的重要定理“在简单有向图G中,它的每一个结点位于且只位于一个强分图中”的证明,均采用图论中一般方法.本文试用集合论中等价关系的方法予以证明,此方法具有数学的严谨性.     

Provably Secure Convertible Directed Partially Blind Signatures

Combining the concept of partially blind signature with the concept of directed signature, we introduce a new concept of convertible directed partially blind signature （CDPBS）, in which only the signer and the user can verify, confirm and disavow the validity of given signatures and convert given signatures into universally verifiable ones, to meet the need of signing personally or commercially sensitive messages. We give a formal definition of CDPBS and propose a concrete provably secure CDPBS scheme. The proposed scheme is efficient and secure, in which its unforgeability is the same as that of the Schnorr＇s signature scheme and its untransferability relies on the hardness of the decisional Diffie-Hellman problem. Furthermore, by letting the user＇s private key be a common constant, the proposed scheme can be used as a normal partially blind signature scheme.     

面向有向无环图的简化解释结构模型(SISM)法

针对解释结构建模法需要通过求解可达矩阵以实现建模结构化,但可达矩阵的求解比较复杂的情况。证明了对于一类特殊的有向图即有向无环图(DAG),应用解释结构建模法无须求解可达矩阵亦可保证建模结构化的实现。提出了面向DAG的简化解释结构建模法(SISM),并给出其算法。在一定条件下,简化解释结构建模法还可以扩展到全体有向图。以SW移民工程风险分析认知影响图为例,说明了简化解释结构建模法的应用。     

网格环境下一种动态任务调度算法

针对网格系统中资源协同分配的动态性问题，分析了现有的基于有向无环图的资源映射方法，提出了一种动态资源协同分配算法。该算法采用有向无环图表示每个应用，然后，将所有这些图进行分层，执行过程中，就绪的应用组可以按照一定的规则动态插入。该算法解决了网格环境下资源和应用的动态性问题，从而更好的满足了网格的动态特性。     

关于有向双环网络L-形瓦的四个参数

对于有向双环网络G（n；s1，s2），四个参数k1，k2，j1,j2定义如下： （1）k1=min（k1ks2=js1（mod n）且k≥j≥0,k=1,2,…,n-1）； （2）j1=min（j1k1s2=js1（mod n）,j≥0）; （3） j2=min（j1 ks2=js1（mod n）且j〉k≥0,j=1,2,…,n=1）; （4）k2=min（k1 ks2=j2s1（mod n）,k≥0） 则k1，k2，j1,j2恰好是由G（n；s1，s2）决定的L-形瓦的四个参数，并且（j2-j1，k1-k2）是同余方程xs1＋ys2=0（mod n）的最小正解．     

An Improved Genetic Algorithm for Problem of Genome Rearrangement

In view of the fact that the problem of sorting unsigned permutation by reversal is NP-hard, while the problem of sorting signed permutation by reversal can be solved easily, in this paper, we first transform an unsigned permutation of length n,π （π1 ,… ,πn）, into a set S（π） containing 2^n signed permutations, so that the reversal distance of π is equal to the reversal distance of the optimal signed permutation in S（π）. Then analyze the structural features of S（π） by creating a directed graph and induce a new computing model of this question. Finally, an improved genetic algorithm for solving the new model is proposed. Experimental results show that the proposed model and algorithm is very efficient in practice.