论文部分内容阅读
MRO云平台的数据安全问题
【出 处】
:
航空维修与工程
【发表日期】
:
2019年05期
其他文献
TheEffectofsiRNA-VEGFontheGrowthofRECinRetinaPigmentEpithelialCellandRetinalEndothelialCellCo-cultur
期刊
非单调逻辑是人工智能研究领域的一个重要方向之一,为不同的逻辑规则提供相应的语义特征(即,建立表示定理)是非单调逻辑研究中的一个重要研究内容。本文探讨了算子在表示定理研究中的应用,主要工作如下:1.就两条非Horn型的规则——Weak Determinacy(WD)和Rational Contraposition(RC)——的语义进行了研究。在一般语言的框架下,基于δD(·)算子,给出了P+WD和P
学位