1) consensus sequence model
一致性序列模型
2) consensus sequences
一致性序列
1.
Study on human P53 downstream genes consensus sequences;
人类P53下游基因一致性序列研究
3) Tentative consensus sequences
试验一致性序列
4) consensus sequence
一致序列
1.
The method uses consensus sequences to sequence analyze with megablast and assemble each cluster with phrap in clustering process.
该方法在聚类过程中采用MEGABLAST工具对一致序列进行序列同源比较 ,并用phrap程序对每一EST簇进行拼接检验。
2.
In this article,the research topics of engineering proteins for thermostability,including rational design,directed evolution and consensus sequence method,are compared with each other.
比较了蛋白质耐热工程重点研究的合理化设计、定向改造和一致序列法等方法,并提出了将来的研究趋势。
6) consistency model
一致性模型
1.
First, this article discusses three kinds of inconsistency that may result from operating system conflict; then briefly introduces some control methods of concurrency in CSCW system and describes two models which are based on different distribution structure-integrated consistency model and local consistency model; and, finally, the article presents a tree structure for achieving local.
首先讨论了操作冲突可能导致的三类系统不一致 ,简要介绍了CSCW系统中的并发控制方法 ,给出了基于不同分布式结构的整体一致性模型和局部一致性模型 。
2.
The multi-versioning technique based on object replication strategy can meet consistency model while the conflict operations occur in the cooperative graphics editing systems(CGES),but it does not efficiently solve conflict between non-geometry attribute operations and complex graphics objects.
现有的对象复制技术是实时协同图形编辑系统中符合一致性模型的并发控制策略,但难以解决非几何属性以及三维绘图系统中的并发冲突情况。
补充资料:一致性
一致性
consistency
y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述,则该理论是一致的。形式地说,如果理论r可推得某一合适公式P及其否定,P,则r是不一致的;如果r不是不一致的,那么它是一致的,或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾,因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律,那么系统中任一命题及其否定都能被该理论所承认,显得十分荒谬。一致性可以保证理论合理解释的存在性,即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数,而在另一处断言f需回送一1,则该规约不一致。 只有当一个软件规约满足一致性时,才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证,那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难,通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突,以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写,那么除名冲突外,还可以检查出其它一些不一致,如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条