状态机而设定的,由于在UPPAAL下无法表示层次化的状 态机,因此只能将组合状态(composite state)进行展平,将行 概括来说,时间自动机的状态迁移形式为<s,口>旦写<s7,√>,其中妒为迁移使能条件,n为触发迁移的动作,r为...
基于44个网页-相关网页
的种类 国家按其结构形式、行使主权的状况及对外关系中承担的义务,分为: 单一国(unitary state)和复合国(composite states); 独立国(independent country)和附属国(dependent country); 永久中立国(permanent neutralized state); 微型国家(...
基于42个网页-相关网页
composite stress state 复合应力状态
Solid state composite material 固体复合物材料
solid-state composite electrolyte 固体电解质
semi solid state composite casting 半固态复合铸造
Liquid state nano-meter composite 液态纳米复合材料
应用推荐