NML系统的有限强完备性

对NML(Nilpotent Minimum Lukasiewicz Logic)系统进行了研究,讨论了NML系统的强完备性问题.对NML-链的性质作了进一步的研究,证明了任一NML-链都可部分嵌入到[0,1]J中;利用这一性质证明了NML系统的有限强完备性定理;最后指出,在NML系统中,关于无限理论的强完备性定理是不成立的.

关于形式系统L^(*)的强完备性

进一步讨论了形式系统 L? 中的一般演绎推理及强完备性问题。对于任意的公式集 Γ, 引入一种 新的代数结构—R0(Γ) 代数, 利用子代数结构, 代数滤子理论及次直积分解理论等代数工具, 证明 了系统 L? 的强完备性定理。

执行时间可变的任务在多处理机上的排序问题

研究一类有实际价值的网页下载问题,把其抽象成一类有n项独立任务在m台不同处理机上执行的排序问题,这里,每项任务在不同处理机上可以有不同起始时间和不同的执行时间.文章指出该问题是强NP-完备的,该问题在特殊情形下能够转化为图论中的最大匹配问题,从而给出了在此情形下的一个完全解决方案.