查询词典 maximizing sequence

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.

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

The problem is divided into two situations, which are maximizing whole profit of supply chain and maximizing each firm's self-profit, respectively.

从企业考虑自身利益的不同顺序把问题划分为总体利润最大化和企业自身利润最大化两种情况。

The results show that the investment policy of maximizing equity value would differ from the strategy of maximizing the firm's value, and the shareholders' incentive to underinvest/overinvest would fade up with the increase of the level of old/ new debt, and that the ratio of the new and the old debt should be a meaningful measure in identifying which of the inefficient investment behaviors will occur.

通过比较企业价值最大化和股东价值最大化两种目标下投资门槛值和企业价值的差异，研究结果表明：&投资不足&和&过度投资&分别会随着旧债务和新债务的增加表现得越为严重；而新旧债务比例可以作为两种非效率投资行为的一种辨别条件。

Numerical solutions show that stockholders choose to exercise the investment option too early compared to the unleveled enterprise. Compared with value-maximizing policy, stockholders are inclined to overinvestment under the equity-maximizing investment policy, which affects the investment option value and optimal leverage choice, and does harm to the interests of bondholders. When debt constrained, the enterprise decreases the investment trigger first, and then increases it as constraints become more binding.

数值计算显示，与无负债企业相比，杠杆企业具有过度投资倾向以加快实现负债融资所带来的利息税盾价值；与企业价值最大化策略相比，在股东权益最大化目标下，股东具有较早执行投资期权的动机，影响投资期权价值和最优财务杠杆的选择，并侵害了债权人的利益。

With the help of latest developed bioinformatics tools, all available Influenza H5A1 strains were explored to deeply under stand their evolution tendency. Methods All H5A1 sequence in NCBI genbank and influenza sequence database were downloaded and aligned, then fast maximizing likelihood method was applied to construct phylogenetic tree, and SRDT model was used to estimate evolution rate and ancestral date for tree branches.

下载NCBI Genbank和美国洛斯阿莫斯国家实验室流感病毒数据库中全部的甲型流感病毒H5A1序列，采用快速极大似然法绘制进化树，并用SRDT模型估计各分枝的进化速度与出现时间。

The Ed1 sequence develops ascending and falling cycle in this area; the Ed2 sequence mainly develop the falling cycle; and Ed3 sequence develops ascending and falling cycle; the Ed4 sequence mainly develop the ascending cycle.

其中，Ed1层序在全区呈对称分布；Ed2层序主要发育下降半旋回；Ed3层序旋回对称明显，全区均有分布；Ed4层序在研究区内主要发育上升半旋回。

In this paper ,on one hand ,we establish the weakly asymptotic order of the classical Bernstein interpolation sequence approximate functionin the Wiener space(or 1-fold integrated Wiener space),on the other hand,we discuss the asymptotically order for the average error of Lagrange interpolation sequence, Hermite-Fejer interpolation sequence and Hermite interpolation sequence based on the Chebyshev nodes on the 1-fold integrated Wiener space.

本文一方面确定了经典的Bernstein多项式算子列逼近函数时在Wiener空间(或1-重积分Wiener空间)下的平均误差的弱渐近阶；另一方面确定了基于第一类Chebyshev多项式零点的Lagrange插值算子列、Hermite-Fejer插值算子列和Hermite插值算子列在1-重积分Wiener空间下的平均误差的弱渐近阶。

The examples show that not only two binary complementary sequence pair sets can be used to construct a new binary complementary sequence pair set,but also it can be extended to the design of new binary complementary sequence pair set through several individual ones. This method can extend the existence space of binary complementary sequence pair set.

通过实例表明利用该方法不仅可由两个二元互补序列偶集构造生成新的二元互补序列偶集，并可推广到由多个二元互补序列偶集构造新的二元互补序列偶集的设计中，从而扩展了二元互补序列偶集的存在空间。

In this dissertation, digital lock-in detection techniques under integer period sampling and non-integer period sampling are separately investigated (1) Under integer period sampling, digital signal sequence is acquired through sampling the measured signal, but digital reference sequence is acquired through mathematical operation, then digital lock-in detection can be realized by calculating crosscorrelation function of digital signal sequence and digital reference sequence Harmonic measure is also analyzed, and a method of measuring harmonic of a periodic signal under aliasing is put forward.

本文对使用采样ADC把模拟信号转换为数字信号并通过计算数字信号的相关函数来实现锁定检测的技术进行了研究，在此基础上设计了一个多功能的数字LIA并在一些科学实验中进行了应用。本文对整周期采样和非整周期采样时的数字锁定检测技术分别进行了研究。(1)在整周期采样时，对被测信号进行采样得到信号序列，而参考序列由数学运算得到，通过计算信号序列和参考序列的互相关函数就可实现锁定检测。

To seek new infinite sequence exact solutions to nonlinear evolution equationsNEE(s, the formula of nonlinear superposition of the solutions of the second kind of elliptic equation are given, infinite sequence exact solutions to combined KdV with varible coefficients and forcible term is constructed with the aid of symbolic computation system Mathematica, which include Jacobi-like elliptic function solutions, infinite sequence soliton-like solutions and infinite sequence triangular function solutions.

为了获得变系数非线性发展方程的无穷序列精确解，给出第二种椭圆方程解的非线性叠加公式，借助符号计算系统Mathematica构造了带强迫项变系数组合KdV方程的无穷序列精确解。这里包括无穷序列类Jacobi椭圆函数解、无穷序列类孤子解和无穷序列三角函数解。

Now he worked in ajoint venture.

现在他在一家合资企业工作。

More troops in Afghanistan won't change any of the foregoing.

更多的在阿富汗的军队也不会改变之前的状况。