查询词典 conditional definition

In the first chapter, using the concepts of conditional value at risk and expected shortfall, we expand the VaR definition and calculated formula in discrete distribution.

第一章中利用条件风险价值CVaR和期望损失ES的概念，扩展了VaR在离散分布下的定义和计算式。

The second part includes the definition of positive definite function and conditional positive definite function, the basic form of Radial Basis Function interpolation, the correctness of the inversion of the interpolation matrix, the error estimate based on Kringing function.

主要包括径向基函数的相关定义，基本的插值形式，插值矩阵的可逆性，以Kringing范数为基础的径向基函数插值的局部误差估计和径向基函数插值边界附近的情况。

Secondly, we will present some variants of the update semantics with dichotomic definition, and thus prove the frame soundness of some epistemic systems and conditional systems with respect to the variants.

其次，我们提出带两分定义的更新语义的某些变种，从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。中山大学逻辑与认知研究所；中山大学哲学系

Content : The definition and classification of functional food;The development and management of functional food;The functional compositions of food eg., polysaccharose、functional sweetner、functional lipid、free radical scavenger、probiosis、conditional essential amino acid、active peptide and protein etc.;The evaluation of functional food.

课程内容：功能食品的定义和分类；功能食品的发展和管理状况；食品的功效成分如：多糖、功能性甜味剂、功能性油脂、自由基清除剂、益生菌、条件性必需氨基酸、活性肽和蛋白质等；功能食品的功效评价。

With the increase in high-definition television,"High Definition" has become a household word.

随着高清影视的增多，"高清"一词也变得家喻户晓。

Give out the definition of simultaneously instant signals and the definition of light sinals, then discussed the simultaneity based on absolute time and space outlook.

八 给出同时性的瞬时信号定义和光信号定义，讨论了绝对时空观基础上的同时性等问题。

First, the definition, significance, research emphases and status of NC machining verification technology are introduced in this paper. Then the platform—ACIS for the development of verification system, including its development interface, data structure, main functions, features and the application in the system is introduced. And, we indicate in brief the correlative knowledge of NC machining and then discuss the definition of the machining environment of NC machining verification system as well as the way that the module has been developed. Finally, we describe how to make Help Files and the structure of the Help Files in the system.

本文首先对数控加工动态仿真技术的定义、意义、研究重点、研究状况进行了介绍；并介绍了可用于开发数控仿真系统的实体造型平台—— ACIS ，包括 ACIS 的开发接口、数据结构、主要功能与特色以及在数控仿真系统开发中的应用；然后通过简要介绍数控加工的一些相关知识，引出了数控仿真系统加工环境的定义与该模块的实现方法；最后讲述了帮助文件的制作以及该系统帮助文件的结构。

First, the definition, significance, research emphases and status of NC machining verification technology are introduced in this paper. Then the platform―ACIS for the development of verification system, including its development interface, data structure, main functions, features and the application in the system is introduced. And, we indicate in brief the correlative knowledge of NC machining and then discuss the definition of the machining environment of NC machining verification system as well as the way that the module has been developed. Finally, we describe how to make Help Files and the structure of the Help Files in the system.

摘要本文首先对数控加工动态仿真技术的定义、意义、研究重点、研究状况进行了介绍；并介绍了可用于开发数控仿真系统的实体造型平台――ACIS，包括ACIS的开发接口、数据结构、主要功能与特色以及在数控仿真系统开发中的应用；然后通过简要介绍数控加工的一些相关知识，引出了数控仿真系统加工环境的定义与该模块的实现方法；最后讲述了帮助文件的制作以及该系统帮助文件的结构。

According to the operational application characters of rocket assisted torpedo, as well as the definition, applicable occasion, and implementing means of ship-to-air missile, ship-to-ship missile, and acoustic homing torpedo salvo, this paper analyses and achieves the definition and conception of rocket assisted torpedo salvo in order to improve the actual training and operation, and enhance the anti-submarine capability of surface formation.

针对火箭助飞鱼雷这一反潜利器，本文根据其作战使用特点，参考舰空、舰舰导弹及管装声自导鱼雷齐射的定义、使用时机和组织实施方法，分析了与实际训练和作战相契合的火箭助飞鱼雷齐射相应的定义和概念，对火箭助飞鱼雷的作战使用及发挥我方水面舰艇编队反潜作战能力具有重要意义。

The methods to depict elements of OUMM by LSL are studied, together with the methods to check the consistence between object type definition and instances, attribute definition and states by using the consistence of algebraic specification and algebra.

本文提出了用LSL描述OUMM的各种建模元素到的方法，和通过代数规约与代数的一致性来检验OUMM中对象类型定义和对象实例、属性与状态定义的一致性的方法。

Foods high in this vitamin include oily fish such as salmon, tuna and, and fish liver oils.

维生素D含量高的食物包括诸如大麻哈鱼、金枪鱼和鲭鱼之类的油鱼以及鱼肝油。

We need you to cosign our public letter demanding that press intimidation cease immediately, and that all charges be dropped.

我们需要您cosign我们的公共信，要求记者立即停止恐吓，并要求所有收费下降。