1) hybrid graded μ-calculus
混合分级μ-演算
1.
Based on hybrid graded μ-calculus, the description logic μALCQO which may include terminological cycles is presented, and the μALCQO is derived form the description logic ALCQO which includes the nominal constructor by adding the least and greatest fixpoint constructors.
基于混合分级μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCQO中,提出了一种允许包含循环术语集的描述逻辑μALCQO。
2) hybrid μ-calculus
混合μ-演算
1.
Based on hybrid μ-calculus,description logic μALCIO which may include terminlolgical cycles is presented,and μALCIO is derived form description logic ALCIO which includes nominal constructors by adding least and greatest fixpoint constructors.
分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO。
3) μ-calculus
μ-演算
1.
Blocked Calculation Algorithm with Nesting Fixed-point Expression for μ-calculus;
μ-演算嵌套不动点表达式分块计算算法
2.
For example, MSOL, QTL, or linearμ-calculus.
这类时序逻辑诸如MSOL、QTL、线性μ-演算等。
4) linear μ-calculus
线性μ-演算
1.
Oriented to linear μ-calculus, its decidability and complexity is discussed.
讨论了线性μ-演算交换深度的可判定性以及求解复杂度。
6) predicate μ-calculus
谓词μ-演算
补充资料:科瓦列夫斯基,Μ.Μ.
俄国民族学家、历史学家、法学家、社会学家、彼得堡科学院院士。生于俄国哈尔科夫,卒于彼得堡(今列宁格勒)。1872年毕业于哈尔科夫大学法律系,后去柏林、巴黎、伦敦深造,结识了K.马克思和F.恩格斯。1878~1887年,任莫斯科大学教授,先后3次去高加索考察。1887年,因思想激进被解聘,后去欧美研究和讲学。1905~1916年,任彼得堡大学教授。1906年创立民主改良党,鼓吹君主立宪,被选为杜马代表。1907年成为国家参议院议员。1912年,Β.И.列宁曾指出他是"早就一只脚站在反动阵营里的思想家"。他是实证主义者,学术上既受英国历史学家H.J.S.梅因和古典进化学派的影响,又受马克思主义的影响。其著作有数百种,主要的是:《伏特州公社土地所有制解体史纲》(1876)、《公社土地占有制,其解体的原因、进程和结果》(1879)、《现代习惯和古代法律》(1~2卷,1886)、《原始法权》(1886)、《高加索的法律和习惯》(1890)、《家庭及所有制的起源和发展》(1890)、《现代、近代和古代的氏族生活》(1905)、《社会学》(1910)。在这些著作中坚持母系氏族制是普遍存在的观点,认为父系家庭公社是母系家庭向现代个体家庭的过渡,明确划分两种公社,即家长制家庭公社(见家庭公社)和农村公社,认定后一种公社是氏族瓦解的形式。这些观点在学术界产生了一定的影响,马克思主义创始人对此曾予以高度评价。他还写有其他方面的著作,如:《英国中世纪末期的社会制度》(1880,博士论文)、《现代民主的起源》(1~4卷,1895~1897)、《欧洲资本主义经济产生之前的经济增长》(1~3卷,1898~1903)等。他的优秀著作大多写于早期,这时他实际上认为社会经济因素起着主要的作用。但在后期,他鼓吹因素理论,强调心理和生物因素具有重要的意义。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条