判定的

By measuring the distance between the stable manifold and the unstable manifold of the hyperbolic fixed point in the Poincare map, it is shown whether the system has transversaUy homoclinicpoints and chaos in the sense of Smale horseshoes.

Melnikov方法是用来判定一个系统是否存在Smale马蹄意义下的混沌的一种有效的数学方法，它通过测量Poincare映射的双曲不动点的稳定流形与不稳定流形之间的距离来判定系统横截同宿点的存在性及Smale马蹄意义下的混沌的存在性。

First, a new model, TSTG (Timed Symbolic Transition Graph) is presented along with its semantics theory. An algorithm deciding timed bisimulation is developed based upon the idea of symbolic bisimulations. Model checking algorithms has played an very important role in verifying systems.

在分析与验证算法的设计方面，在新的计算模型基础上，我们分析了实时传值进程间各种不同互模拟的特点以及判定方法；尤其针对时间互模拟，根据符号互模拟的思想，本文给出了一个时间符号迁移图上的判定算法并证明了算法的正确性。

Determination by the CRB that the organization has sufficiently translated legal requirements into suitable EMS elements may come from an onsite walk-around, and by taking examples of significant aspects and following the trail back through the EMS to specific legal requirements.

认证机构对组织是否充分将法律法规要求转换为适宜的EMS要求的判定，认证机构可以用以下通过现场巡视、对重要环境因素进行抽样，通过EMS将具体线索追溯到特定的法律要求、追溯环境管理体系所依据的法律要求等方式，判定组织是否已充分地将法律要求转换为适宜的EMS要素；：现场巡视，对重要环境因素抽样，将EMS的要素追溯到特定的法律要求。

Finally, the condition examining and schema decomposition algorithm are given.Fourthly, The definitions of elementary merge dependency set and minimum elementary merge dependency set are put forward. The weak leftside conflict and weak rightside conflict in the minimum elementary merge dependency set are defined. The conclusion that when the minimum elementary merge dependency set has weak left side conflicts or weak right side conflict is reached, The decomposition meeting PEK isα-cyclic is given. The algorithms of calculating the minimum elementary merge dependency set and examining the conflicts are given.

给出了条件的判定算法和数据库模式的分解算法。4、提出初等归并依赖集和初等最小归并依赖集的概念，定义初等最小规并依赖集的弱左部冲突和弱右部冲突，讨论了初等最小归并依赖集下的冲突问题，给出了在FD集F其初等最小归并依赖集D中存在弱左，右部冲突时模式分解为满足PEK为有α环的结论，并给出了初等最小归并依赖集的求解方法，冲突的判定算法。

Further simulations show that Liu's condition,Lehoczky's condition,and Bini's condition cannot deal with tasks with the same priority,Katcher's condition does not hold for its necessary assertion;meanwhile the condition provides the necessary and sufficient perspective of off-line schedulability checking.

进一步的仿真和实例分析表明，Liu、Lehoczky、Bini等提出的条件不能判定相同优先级的情况，Katcher条件的必要性不成立，论文提到的条件能够正确判定任务集的可调度性。

Resilts In the observation of cervical nucleus pulpous prolapse and free disc fragment s...

结果 在颈椎间盘髓核脱出与游离的观察中FFE序列对纤维环断裂、髓核脱出方向以及神经根受压的发现率均明显优于T1WI、T2 WI；在腰椎间盘髓核脱出与游离的观察中FFE对纤维环断裂的显示率明显优于T1WI、T2 WI；对髓核脱出方向的判定明显优于T2 WI ；对神经根受压情况的判定FFE优于T1WI。

Resilts In the observation of cervical nucleus pulpous prolapse and free disc fragment showing fibrous circle rupture,extrusion direction and nerve-root pressure in cervical region,and showing fibrous cicrcle rupture in lumbar region,the FFE was better than T1WI,T2WI.In judging extrusion direction and nerve-root pressure,the FFE sequence was better than T2WI and T1WI respectively.

结果在颈椎间盘髓核脱出与游离的观察中FFE序列对纤维环断裂、髓核脱出方向以及神经根受压的发现率均明显优于T1WI、T2WI；在腰椎间盘髓核脱出与游离的观察中FFE对纤维环断裂的显示率明显优于T1WI、T2WI；对髓核脱出方向的判定明显优于T2WI；对神经根受压情况的判定FFE优于T1WI。

Fracture is caused by sheet's tensile instability, Hill's totalized instability theories and Swift's diffuse instability theories which based on continuous mechanics are applied to isotropic blank; Marciniak and Kuczynski's theories are applied to orthotropic blank, which introduced thickness imperfections normal to the principal stress and strain direction as a groove pre-existing defects in the material. The stability of each part of blank at each moment is described by numerical method, and the results are shown by computer simulation, thus the fracture in sheet forming can be predicted preciously.

拉裂是由于拉伸失稳引起的，以连续体力学为基础的Hill集中性失稳理论和Swift分散性失稳理论应用到各向同性板料进行失稳判定；将Marciniak和Kuczynski的凹槽损伤失稳理论应用到正交各向异性板料拉伸失稳判定，对板料各处在成型过程中不同时刻的稳定性进行数值化描述，并运用计算机仿真技术进行直观的表现，可以准确地预测板料成型中可能出现的拉裂现象。

The main reasons and its correlated factors of the photoacoustic signal had been quantitatively analyzed based on signal absorption and photoacoustic rationale. It is found that the changed coupling coefficient of sound source and optical cavity modes which caused by the intensity of incident light absorbed by gas sample is the major reason, and a criterion was put forward for signal saturation depth estimating.

基于气体吸收和光声光谱原理定量分析了光声信号饱和的主要原因及影响因素，分析表明气体样本对入射光强吸收而导致的声源与本征共振模式的耦合系数改变是异常饱和的主要原因，并导出判定光声信号饱和深度的准则以用于判定高浓度气体饱和深度。

By the collected database of images,use the Five-line Seeking-points method to analysis the size and determine the denomination;based on the characters of gray scale of images,take and analyze for judging the face and obverse;Moreover,the gridding metho.

通过对采集的图像数据，采用五线找点算法对纸币大小进行判定纸币的面额；根据加权灰度值提取纸币图像的特征区域判正反；采用网格划分法统计背景点与纸币图像点的数量关系判定纸币的残缺率。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。