The most general duality gates were introduced by Long,Liu and Wang and named allowable generalized quantum gates (AGQGs,for short).By definition,an allowable generalized quantum gate has the form of U=YfkjsckUK,where...The most general duality gates were introduced by Long,Liu and Wang and named allowable generalized quantum gates (AGQGs,for short).By definition,an allowable generalized quantum gate has the form of U=YfkjsckUK,where Uk’s are unitary operators on a Hilbert space H and the coefficients ck’s are complex numbers with |Yfijo ck\ ∧ 1 an d 1ck| 【1 for all k=0,1,...,d-1.In this paper,we prove that an AGQG U=YfkZo ck∧k is realizable,i.e.there are two d by d unitary matrices W and V such that ck=W0kVk0 (0【k【d-1) if and only if YfkJt 1c*|【m that case,the matrices W and V are constructed.展开更多
模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊...模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.展开更多
This paper is a dialogue between Thalia Wheatley and Terence Horgan. Horgan maintains that philosophy is a broadly empirical discipline, and that philosophical theorizing about how concepts work treats certain intuiti...This paper is a dialogue between Thalia Wheatley and Terence Horgan. Horgan maintains that philosophy is a broadly empirical discipline, and that philosophical theorizing about how concepts work treats certain intuitions about proper concept-usage as empirical data. He holds that the possibility of strong multiple realizability undermines the psychophysical identity theory. He holds that the concept of causation is governed by implicit contextual parameters, and that this dissolves Kim＇s problem of ＂causal exclusion.＂ He holds that the concept of free will is governed by implicit contextual parameters, and that free-will attributions are often true, in typical contexts, even if determinism is true. Thalia Wheatley holds that the concept of multiple realizability hinges on the level of abstraction discussed and that neuroscientific data does not yet support multiple realizability of mental states from specific, high resolution brain states. She also holds that compatibilism redefines the concept of free will in ways that bear little resemblance to the common understanding-that of being free to choose otherwise in the moment. She maintains that this folk understanding is incompatible with the brain as a physical system and is not rescued by concepts of context and capacity.展开更多
This paper is an opinionated overview of major developments in philosophy of mind during the past seventy years, with emphasis on the issue of mental causation. Its most prominent positions all embrace a broadly ＂nat...This paper is an opinionated overview of major developments in philosophy of mind during the past seventy years, with emphasis on the issue of mental causation. Its most prominent positions all embrace a broadly ＂naturalistic＂ or ＂materialistic＂ conception of human beings, and of mentality and its place in nature. Included in this paper are discussions of analytical behaviorism, the psychophysical identity theory, functionalism, multiple realizability and strong multiple realizability, supervenience, the causal exclusion problem, phenomenal mental states, wide content, contextualist causal compatibilism, agentive phenomenology, and the agent-exclusion problem.展开更多
基金supported by the National Natural Science Foundation of China (Grant Nos. 10571113 and 10871224)the Natural Science Research Program of Shaanxi Province (Grant No. 2009JM1011)
文摘The most general duality gates were introduced by Long,Liu and Wang and named allowable generalized quantum gates (AGQGs,for short).By definition,an allowable generalized quantum gate has the form of U=YfkjsckUK,where Uk’s are unitary operators on a Hilbert space H and the coefficients ck’s are complex numbers with |Yfijo ck\ ∧ 1 an d 1ck| 【1 for all k=0,1,...,d-1.In this paper,we prove that an AGQG U=YfkZo ck∧k is realizable,i.e.there are two d by d unitary matrices W and V such that ck=W0kVk0 (0【k【d-1) if and only if YfkJt 1c*|【m that case,the matrices W and V are constructed.
文摘模糊线性时序逻辑(fuzzy linear temporal logic)被应用于刻画模糊系统的规范语言,其可实现性(realizability)用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成(synthesis)的基本思想是:给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质(最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.
文摘This paper is a dialogue between Thalia Wheatley and Terence Horgan. Horgan maintains that philosophy is a broadly empirical discipline, and that philosophical theorizing about how concepts work treats certain intuitions about proper concept-usage as empirical data. He holds that the possibility of strong multiple realizability undermines the psychophysical identity theory. He holds that the concept of causation is governed by implicit contextual parameters, and that this dissolves Kim＇s problem of ＂causal exclusion.＂ He holds that the concept of free will is governed by implicit contextual parameters, and that free-will attributions are often true, in typical contexts, even if determinism is true. Thalia Wheatley holds that the concept of multiple realizability hinges on the level of abstraction discussed and that neuroscientific data does not yet support multiple realizability of mental states from specific, high resolution brain states. She also holds that compatibilism redefines the concept of free will in ways that bear little resemblance to the common understanding-that of being free to choose otherwise in the moment. She maintains that this folk understanding is incompatible with the brain as a physical system and is not rescued by concepts of context and capacity.
文摘This paper is an opinionated overview of major developments in philosophy of mind during the past seventy years, with emphasis on the issue of mental causation. Its most prominent positions all embrace a broadly ＂naturalistic＂ or ＂materialistic＂ conception of human beings, and of mentality and its place in nature. Included in this paper are discussions of analytical behaviorism, the psychophysical identity theory, functionalism, multiple realizability and strong multiple realizability, supervenience, the causal exclusion problem, phenomenal mental states, wide content, contextualist causal compatibilism, agentive phenomenology, and the agent-exclusion problem.
