导读:本文包含了环公式论文开题报告文献综述及选题提纲参考文献，主要关键词:逻辑程序设计,回答集,一致性,相容性
环公式论文文献综述
王以松[1]（2007）在《逻辑程序的相容性与环公式研究》一文中研究指出一个逻辑程序可能有一个回答集、多个回答集或者根本就没有回答集。我们提出了一类逻辑程序—弱自相容逻辑程序。它们保证具有回答集而且有多项式时间算法可以计算其中一个回答集。另外，我们还获得了如下结果：(1)利用弱自相容逻辑程序中的相容性概念和A算子，获得了逻辑程序协调性质的一个充要条件。(2)两个有趣的弱自相容逻辑程序的本质特征，即强半单调性和任意良序下的前向链构造均生成一个回答集。(3)弱自相容逻辑程序的轻信推理(credulous reasoning)和怀疑推理(skeptical reasoning)的复杂性分别是NP-完全和co-NP-完全的。前向链正规逻辑程序的轻信推理和怀疑推理的复杂性也分别是NP-完全的和co-NP-完全的。判定一个逻辑程序是否是弱自相容的是co-NP-完全的。(4)弱自相容逻辑程序不同于命名协调的逻辑程序，他们互不包含。即使在限制逻辑程序必须是良基不可归约(WF-irreducible)的情形也是如此。前向链正规逻辑程序与命名协调逻辑程序也是不可比的。(5)另外，我们还发现，(a)对任何前向链正规的逻辑程序P，总存在一个最小的P上的一致性性质使得P是关于它前向链正规。(b)命名协调逻辑程序和Lifschitz的序协调(order-consistent)逻辑程序是等价的；而且它们有多项式时间算法来检查一个逻辑程序是否是命名协调(序协调)的。逻辑程序的环和环公式思想开辟了求解其回答集的新方法。我们将这一思想从命题情形推广到一阶的环和环公式，并得到了如下结果：(1)一个逻辑程序的一阶环公式和其Clark完备化(也是一阶的)一起精确地刻画了原来逻辑程序的回答集。(2)如果固定逻辑程序中出现的谓词符号的最大元(arity)数，则判定一个逻辑程序是否有有穷的完备环集是多项式时间可判定的。(本文来源于《贵州大学》期刊2007-04-01）
张学龙,张国营[2]（1999）在《不同透镜组合的牛顿环公式的一般形式》一文中研究指出本文对６种不同四、凸透镜组合的牛顿环计算公式进行了推导，通过归纳分析并采用适当的符号法则，得到了各种情况下牛顿环公式的一般形式．(本文来源于《淮北煤师院学报(自然科学版)》期刊1999年04期）
巨仁,郭扶国[3]（1990）在《用人—地关系中环公式对固原县人口增长与粮食生产的分析》一文中研究指出本文以几个代表性国家的人口、耕地、人均耕地、人均粮食水平为背景,对固原县人口增长与粮食生产从过去9年、未来12年及不同人口增长率下的人均粮食前景作了分析。结果说明,如果按当前人口增长和粮食生产发展速度走下去,到本世纪末粮食短缺问题会更加严重。只有严格控制人口,增加农业投入才有较好的前景。(本文来源于《水土保持通报》期刊1990年01期）
环公式论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文对６种不同四、凸透镜组合的牛顿环计算公式进行了推导，通过归纳分析并采用适当的符号法则，得到了各种情况下牛顿环公式的一般形式．
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
环公式论文参考文献
[1].王以松.逻辑程序的相容性与环公式研究[D].贵州大学.2007
[2].张学龙,张国营.不同透镜组合的牛顿环公式的一般形式[J].淮北煤师院学报(自然科学版).1999
[3].巨仁,郭扶国.用人—地关系中环公式对固原县人口增长与粮食生产的分析[J].水土保持通报.1990