查询词典 monotone sequence

Yellow-throated marten\'s relationship is between Stone marten and Fisher marten.Fisher marten is the first species who was divided from Martes.The second one were Yellow-throated marten and Stone marten.Based on the analysis of the fossil note,Martes came from Central Europe,Fisher marten,Yellow-throated marten and Stone marten belonged to a branch which evolved to temperate zone.Boreal forest martens was another branch which evolved to cold environment.It is suggested that Yellow-throated marten and Fisher martenwere ascertained genus separately.4、By contrasting and analyzing 11 complete mitochondrial control region gene sequences of Mustelidae,the extended termination associated sequence domain、the central domain and the conserved sequence block domain were identified.A extended termination associated sequence(ETAS1) and eight conserved sequence(CSB-F、E、D、C、B、1、2、3) was indicated,and sequence mode was presented.Different kind of short repeat sequences were found between CSB1 and CSB2.With wolf as the outgroup,the phylogenetic evolution relationship of Mustelidae was analyzed using the neighbor-joining method.

而基于鼬亚科动物线粒体DNA12种重链编码蛋白基因序列及石貂和渔貂线粒体ND2和cyt b全序列，以狼、狗獾和水獭为外类群，应用NJ、MP和ML法构分别构建貂属和貂熊的系统进化树，结果表明：紫貂与日本貂亲缘关系较美洲貂近，石貂与真貂亚属亲缘关系较近，黄喉貂介于石貂和渔貂之间；渔貂是最早从貂属分化出的种类，其次是黄喉貂和石貂；结合化石记录分析，貂属起源于中欧地区，渔貂、黄喉貂和石貂属于一个向温带进化的分支，而真貂亚属为另外一个向寒冷环境进化的分支，建议将黄喉貂和渔貂分别定为单独的属。4、比对并分析11种鼬科动物线粒体DNA控制区序列，识别出延长终止序列区、中央区和保守序列区3个区域，指出了一个终止相关序列ETAS1及8个保守序列(CSB-F、E、D、C、B、1、2和3)，并给出了序列通式，在CSB1和CSB2之间发现具有不同形式的短串联重复序列。

Among the 3 novel sequences, C24 sequence and C57 sequence were expressed both in cataractous group and in normal group; C24 sequence was expressed higher in cataractous group than that in the normal group, but C57 sequence had no significant difference in normal and cataractous group; C40 sequence was expressed in the cataractous lens epithelium but the expression in normal lens epithelium was not seen.

三个新序列中，C24号和C57号序列在年龄相关性白内障和正常晶状体上皮细胞中均有表达，C24号序列的表达增高；C57号序列在正常组和白内障组中的表达无差异。C40号序列在年龄相关性白内障晶状体上皮细胞中有表达，但其在正常晶状体上皮细胞中未见表达。

For each type of testing, a necessary and sufficient condition is defined, under which a test sequence of an FSM is synchronizable. In this paper a new model—synchroniable digraph is proposed, which can judge whether there exist any synchronizable test sequence for a given specification without synchronization operation, and which can transform its nonsynchronizable test sequence to synchronizable test sequence if the answer is true. A method to judge how to add external synchronization operations in a nonsynchronizable test sequence to change it to synchroniable one is also proposed.

提出了一种新的同步测试序列生成模型——同步有向图，它可以判断一个给定的协议规格是否可以在不需要外部同步操作的情况下，产生同步测试序列；如果可以产生，则此生成模型可以将非同步测试序列转化为相应的同步测试序列；另外此生成模型还可以用来选择为测试系统增加外部同步通道的方法。

In this paper, we use the coupled fixed point theorem for mixed monotone condensing operators to obtain an existence, uniqueness and iterative approximation theorem of solutions of initial value problems for second order mixed monotone type of impulsive differential equations.

利用混合单调凝聚算子的耦合不动点定理，给出了二阶混合单调型脉冲微分方程的初值问题的解的存在唯一性及迭代逼近定理。

We prove the equivalent conditions of completely monotone function, we also discuss the relationship of positive definite function, semi-positive definite function and completely monotone function when the function take values in a commutitive von Neumann algebras.

我们证明了完全单调函数的几个等价条件，并且讨论了取值于交换von Neumann代数的正定函数，半正定函数及完全单调函数之间的关系。

Firstly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of single input-output equation in R n in the similar economical backgrounds in present articles and then gain the solution's continuity by exterior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

就R n空间中消耗为单调单值型的投入产出方程，在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，然后利用外部逼近法结合方程截断技巧证明了投入产出方程的解的连续性，最后给出了相对应于存在性和连续性的经济解释。

Secondly, we combine the theories of monotone operator and maximal monotone operator's Yosida approaching with domain method to prove the solution's existence of set-valued input-output equation in R n in the similar economical backgrounds in present articles too and then gain the solution's continuity by interior approaching method,at last we give the responding economical meaning about the solution's existence and continuity.

对于R n空间中消耗为单调集值型的投入产出方程，也在现有文献类似的经济背景之下，利用单调算子的理论以及极大单调算子的Yosida逼近结合邻域逼近法给出了投入产出方程的解的存在性的证明，接着利用内部逼近法结合方程截断技巧对投入产出方程的解的连续性给予了证明，然后顺便简单的介绍了运用外部逼近法来得到方程的解的连续性的思路，最后也给出了相对应于存在性和连续性的经济意义。

The monotone class theorem of multiple dimension functional format.This is the generalization from the one dimension monotone class theorem.

给出了多维函数形式的单调类定理，它是一维函数形式单调类定理的推广，也是处理多维可测函数、多维随机过程的有力工具。

Owing to the monotonic mapping of fuzzy structured element established the homeomorphic property between fuzzy number space and the family of standard bounded monotone function, so, we can transform the study of any properties in fuzzy number space to the corresponding one in the family of standard bounded monotone function, e.g.

本项目针对矿井下采空区岩石陷落形成的多孔隙介质空间的极度不规则性，建立一种以模糊值函数分析学为基础的、更接近于刻划采空区内气体流动实际状况的模糊微分方程及各种边值问题，进而得出解算复杂采场气体模糊渗流问题的数学方法。

According to the linear search technique, the Quasi-Newton algorithm can be divided into monotone algorithm and non-monotone algorithm.

根据所采用的搜索准则，拟牛顿算法可以分为单调的算法和非单调的算法。

If this is not specified, then it is defaulted to 25

如果这是没有指定，则默认为25

Cott invited his mother over for dinner.

COTT邀请母亲来他的房子晚餐。