模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊...模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.展开更多
1.country,nation,state n. 这三个词都表示国家,conntry 偏重于疆土,nation 偏重民族(因此 nation 常可译作“民族”),state 偏重政权。例如: 1)France is an European country. 法国是一欧洲国家。(国土在欧洲) 2)The Chinese nation ...1.country,nation,state n. 这三个词都表示国家,conntry 偏重于疆土,nation 偏重民族(因此 nation 常可译作“民族”),state 偏重政权。例如: 1)France is an European country. 法国是一欧洲国家。(国土在欧洲) 2)The Chinese nation is a great nation. 中华民族是伟大的民族。展开更多
文摘模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.
文摘1.country,nation,state n. 这三个词都表示国家,conntry 偏重于疆土,nation 偏重民族(因此 nation 常可译作“民族”),state 偏重政权。例如: 1)France is an European country. 法国是一欧洲国家。(国土在欧洲) 2)The Chinese nation is a great nation. 中华民族是伟大的民族。
