期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
F-generation law and recognition of system law 被引量:4
1
作者 Shi Kaiquan Yao Bingxue 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2007年第4期764-768,共5页
If a system is not disturbed (or invaded) by some law, there is no doubt that each system will move according to the expected law and keep stable. Although such a fact often appears, some unknown law breaks into the... If a system is not disturbed (or invaded) by some law, there is no doubt that each system will move according to the expected law and keep stable. Although such a fact often appears, some unknown law breaks into the system and leads it into turbulence. Using function one direction S-rough sets, this article gives the concept of the F-generation law in the system, the generation model of the F-generation law and the recognition method of the system law. Function one direction singular rough sets is a new theory and method in recognizing the disturbance law existing in the system and recognizing the system law. 展开更多
关键词 function one direction S-rough sets f-generation law recognition of system law recognition criterion APPLICATION
在线阅读 下载PDF
Presburger算数中的f-generic型(英文)
2
作者 姚宁远 《逻辑学研究》 CSSCI 2019年第3期57-78,共22页
设有序加法群(G,+,<, 0)是一个Presburger 算数理论的模型。本文研究了Gn 上的f-generic 型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic 型都是■-可定义的。此外,文章的最后一部分研究了p-adic域Qp ... 设有序加法群(G,+,<, 0)是一个Presburger 算数理论的模型。本文研究了Gn 上的f-generic 型,并且对其给出了一个分类定理。利用这个分类定理,我们证明了所有的f-generic 型都是■-可定义的。此外,文章的最后一部分研究了p-adic域Qp 的乘法群H。我们证明了Hn 的f-generic 型也都是■-可定义的。 展开更多
关键词 Presburger 算数 f-generic 模型
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部