说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 模态测试系统
1)  modal test system
模态测试系统
1.
The modal test system of large-scale building structure was designed.
设计了一种大型建筑结构模态测试系统
2)  dynamic test system
动态测试系统
1.
The design of the dynamic test system for a specified missile is introduced.
介绍了某型导弹动态测试系统的具体设计实现,该系统采用集中互连模式,运用先进诊断技术,能有效地对某型导弹进行功能测试,并使故障诊断效率得到很大提高。
3)  dynamic testing system
动态测试系统
1.
Servo mechanism dynamic testing system based on PC/104 bus;
基于PC/104总线伺服机构动态测试系统研究
4)  dynamic & static measurement system
动静态测试系统
1.
The working principle of dynamic & static measurement system for manoeuvre/flight control system stimulating test based on VXI bus is introduced.
介绍了基于VXI总线的操纵/飞控系统模拟试验动静态测试系统的工作原理,阐述了该系统中面向应用组态软件的设计思想及软件结构。
5)  Subsystem Status Tested SST
子系统状态测试
6)  Simulation test system
模拟测试系统
1.
Study on the simulation test system for automation products;
自动化产品模拟测试系统的研究及应用
补充资料:模态


模态
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。撰王驹译
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条