查询词典 sequences

Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.

该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

Recently, the scholars abroad have raised the concept of trinomial property of sequences, this concept has close relationship with linear complexity of sequences, and it has been studied widely since its birth.

近年来，国外学者又提出了序列三项式特性的概念，序列的三项式特性与序列的线性复杂度有密切的关系，因而这一概念一经提出就得到了广泛的研究。

The trinomial property of sequence In the respect of research on trinomial property of sequence, I have given a different proof to prove the main result in [2] , and have raised the exact enumeration formula of the number of binary sequences with period d that have a fixed positive integers pair as a trinomial pair, most important of all, I have given an efficient algorithm to find out all the trinomial pairs of a given sequence, and hence completely solved all the problems associated with trinomial property of sequences.

2序列的三项式特性在序列三项式特性的研究方面，本文对[2]的主要结论给出了不同的证明，而且给出了以固定的正整数对为三项式对的周期为d的二元序列的精确计数，给出了求解给定序列的所有三项式对的有效算法，从而完美地解决了与序列三项式特性相关的问题。

It is considered that the DNA sequences and amino acid sequences of psaA are conservative, which is unadvisable to use for molecular interspecific classification ofthe genus Phaeocysitis.

因所获得的psaA基因片段序列及氨基酸序列具有种的极端保守性，不适宜用作Phaeocystis属种间的分子分类研究。

Lex_escape_ch_p will strip the leading backslash for all character sequences which are not listed as valid C/C++ escape sequences when passing the unescaped character to an attached action.

lex_escape_ch_p 在分析尚未分析的字符并传递给语义动作时，对所有带反斜线但不是C/C++中有效的转移字符串的字符串，将忽略开头的反斜线。

This paper,uses the property of being uniformly integrable to truncate the random variable sequences,and under the condition of φx↑,φx2↓,obtain a weak law of large number of martingale difference sequences by the weak convergence theorem.

通过使用一致收敛性对随机变量序列进行截尾，并借助随机变量序列的弱收敛定理，在φ↑，φx2↓的条件下给出了一个鞅差序列的弱大数定律。

Main points of this paper are as follows:(1) to explain emphatically and to prove the Jukes-Cantor Model, Kimura Model and the relationships of them;(2) to construct and to prove, using EM algorithm, the theorems of estimating best branches of DNA sequences having censored data for Jukes-Cantor Model under the conditions of rooted tree and unrooted tree respectively;(3) to construct and to prove, using EM algorithm, another three theorems of estimating best parameters of DNA sequences having censored data for Kimura Model under the conditions of rooted tree and unrooted tree.

本论文的重点在于解释和证明Jukes-Cantor模型、Kimura模型及两模型之间的关系；运用EM算法构造并证明Jukes-Cantor模型下含缺损数据的DNA序列构建有根树的最佳分枝长度估计定理；运用EM算法构造并证明Kimura模型下含缺损数据的DNA序列构建有根树的最佳参数估计定理。

For exploiting and making use of rhizobium species resources of planting leguminous trees in south China,the full_length 16S rDNA sequences of representative strains HJ06 and JJ06 of two rhizobia,isolated from Acacia crassicapa and A.cincinnata in south China,were determined.These sequences were compared with all known rhizobia and related bacteria and an unrooted phylogenetic tree was produced.

为了开发利用我国人工林豆科树种根瘤菌的种质资源，该研究对华南地区两个人工林豆科树种厚荚相思和卷荚相思的根瘤菌两个代表菌株HJ06和JJ06进行了16S rDNA全序列测定，将此全序列与根瘤菌各已知种及相关种的16S rDNA全序列进行了比较及聚类分析，得到系统发育树状图。

In addition to vector sequences, UniVec also contains sequences for those adapters, linkers and primers commonly used in the process of cloning cDNA or genomic DNA.

除了载体序列，"Uni载体"也包含那些通常用于克隆cDNA或基因组DNA的接头、连接和引物序列。

We give a new 2-D graphical representation of protein sequences based on nucleotide triplet codons in the half complex plane, which has no degeneracy. Meanwhile using main characterization of complex vector: module and phase, we give a kind of numerical description of protein sequences.

利用这三个递归公式给出了RNA二级结构序列的1-D、2-D和3-D图形表示，进一步利用1-D图形表示给出了关于RNA二级结构序列频谱分析的方法。

He tendered his resignation to the Prime Minister.

他向首相递了辞呈。不适合

International economy and trade,Nanking 210044

国际经济与贸易，南京 210044