1) doubting modal operator
怀疑模态算子
2) modal operator
模态算子
1.
This paper optimizes the encoding of verifying G(p) and G(p→F(q)) which are two important and frequently used modal operators in optimization of encoding for bounded model checking (BMC).
G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子。
2.
It is proved that if the function y=□x has n discontinuous points in the R0-type modal unit interval,then there are 2n kinds of modal operators □ making([0,1]R0,□)to be modal R0-algebras.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。
3) doubter
[英]['dautə] [美]['dautɚ]
持怀疑态度者持怀疑态度者
4) skepticism
[英]['skeptɪˌsɪzəm] [美]['skɛptɪˌsɪzəm]
怀疑
1.
The process of conversion of writer Beicun to Christian can be analyzed based on his experience of early success,skepticism and closing.
小说家北村皈依基督的过程,可以结合其人生经历从早慧、怀疑、封闭等三方面切入。
2.
This article expounds the cultivation of students scientific spirit in realism,rationalism and skepticism in the teaching of physics.
文章论述了在物理学科教学中应怎样从求实精神、理性精神、怀疑精神等三个方面对学生进行科学精神的培养。
6) suspicion
[英][sə'spɪʃn] [美][sə'spɪʃən]
怀疑
1.
The firm belief is the solid base of his scientific research;suspicion and criticism are intrinsic spirits of his methodology of science;the tendency of rationalism and the principle of aesthetics of simplicity are very significant factors for Einstein to acquire great achievement.
坚定的信念是爱因斯坦进行科学研究的坚实基础,怀疑态度和批判精神是爱因斯坦科学方法的内在精神,而唯理论的哲学倾向和简单性的美学原则也是爱因斯坦取得伟大科学成就的重要因素。
2.
The nature of philosophy has been an everlasting topic in the western history of philosophy,But there lived,at least,some outstanding philosophers as Descartes﹐Hume,etc,who held the philosophic program to treat the nature of philosophy as suspicion.
而将哲学的性质理解为怀疑,至少是笛卡尔、休谟等一批哲学家的哲学规划。
3.
It s also under suspicion that rhythm could be the proof of the labour assumption.
节奏问题究竟在多大程度上对劳动说具有证据价值 ,令人怀疑。
补充资料:算子同态
算子同态
operator homomorphism
算子同态I月珍口姗】~.以神妇n;onep咖pll碱。M。-Mop加3MI 代数系统(川罗blajc哪把m)的一种同态(borr助-盯幻甲地m),它与作用在这些系统上某给定算子集合的每个算子可交换,亦即算子群的同态,算子环的同态,等等.陈公宁译
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条