1) and Stereotyped behavior
定型活动
2) deterministic activity
确定型活动
3) Activities location
活动定位
4) Activity Customization
活动定制
5) negation by action
活动否定
1.
We introduce an indexed dynamic logic, give logical characterization of the concepts of practice and degree of action and negation by action by it and its variations.
我们引入一加标动态逻辑,然后用它以及变种逻辑刻画实践、活动程度和活动否定这三个概念。
6) Activity Definition
活动定义
补充资料:半定型
半定型
semi-definite form
半定型[”‘·山刃顾te fonn;n0Jlyo。伴解几。H“翻和pMaj 一个有序域上的二次型(qUa山ratic follll)q,它表现为只是非负的域元素或只是非正的域元素.在前一情形,这个型称为非负定的(~巾e乎ti代defi.面te)〔q(x))O对一切x),在后一情形称为非正定的(non一Positi祀d币nite ql坦dratic)(g(x)(0对一切x).更常见的是考虑实数域R上的半定型.对于域C来说,可以类似地定义(非负和非正)半定Her而te二次型的概念(见Her而te型(Herhat妞nform)). 如果b是一个对称双线性型(bilinear form)或Her而te型使得q(工)二b(x,、)是一个半定型,则b有时也称为(非负或非正)半定型.如果q是向量空间V内一个二次或Her呱e半定型,则N二王x‘v:q(x)二0}是一个子空间,它与b的核相等,而所给的型自然地在V/N上诱导一个正定或负定型. 0 .A.HBa月QBa撰【补注】“非负定’也称为正半定(p仍itives喇~defi-nite),“非正定”也称为负半定(negatiw~一del{-正te),郝钠新译
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条