说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 模态扩充
1)  model expansion
模态扩充
2)  state expand
状态扩充
1.
This paper deduces extended Kalman filtering equations that are suitable for the situation where the system noise and the measured noise are both colored ones,making use of the state expand method and the measurement expand method.
该文研究了在系统噪声和量测噪声都是有色噪声条件下的Kalm an滤波方法,运用状态扩充法和量测扩增法推导了全套的滤波方程,拓宽了Kalm an滤波器在工程中的应用范围。
3)  dynamic expansion
动态扩充
1.
In this paper,the dynamic expansion of part library is researched and implemented.
为此,文章重点研究了零件库的动态扩充问题。
4)  modular expansion
模块扩充
5)  imitation with expansion
扩充模仿
6)  augmented state table
扩充状态表
补充资料:模态


模态
modality

  模态[确喊叨勿;。~OcT‘I 逻辑判断的一个性质,用以刻画该判断的确定程度.模态逻辑(确习al logiC)即是研究不同模态及它们之间的关系.Aristotie(公元前4世纪)早就研究过模态“必须”及“可能”,但他没有赋予它们一个准确的含义.该二模态被称为基本(n抑龙~扭1)模态并分别以口和今记之(或者L及M).基本模态口,今及否定,的各种组合也称为模态.如果将一个模态Q中的每一个口都改成今,又将Q中的每一个令都改成口,就得到另一个模态,记为亘,称为模态Q的对偶(d回of a nx刁aJ盛妙).在大部分模型逻辑系统中,对任一模态Q及其对偶叠,下式: Q二A<二:》,QA(,)成立. 原则上,口,令及门可以有无穷种组合;但在一个具体的模态逻辑系统中,两两不相等价的模态个数往往是有界的(因为上面的等价式(*)起作用,同时该系统中的公理也将简化某些模态,或者将某一个模态归结到另一个模态).例如,在模态逻辑系统S3中,有且仅有40个不同的模态.在S4中,仅有12个: 口A,口令A,口令口A,门口A, ,口令A,7口令口A以及它们的对偶.在55中,仅有4个模态:口A,令A,二口A,,今A.另一方面,在模态逻辑系统T,以及sl和52中,都存在无穷个模态.更有甚之,在这些系统中,不可能进行模态的归结;即,任两个正模态(不含门)Q,与QZ是等价的,当且仅当Q,=QZ· 有时,“模态”这一术语也指在不同的理论中形式化了的概念,如“真”,“可证性”,“不可证性”,有时也和时序逻辑中“将是”,“过去总是”等等联结词联系起来. 读者可参阅模态逻辑(Inodal fogic). C.K.Co6侧le。撰王驹译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条