The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integ...The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.展开更多
为了检验和改进并行测试的任务调度算法,在充分研究多UUT(Unit Under Test,被测单元)并行测试问题规律的基础上,提出了并行测试完成时间的极限定理(Limit Theorem of the over time in Parallel Test)。该定理能够确定并行测试完成时间...为了检验和改进并行测试的任务调度算法,在充分研究多UUT(Unit Under Test,被测单元)并行测试问题规律的基础上,提出了并行测试完成时间的极限定理(Limit Theorem of the over time in Parallel Test)。该定理能够确定并行测试完成时间所能达到的极限最小值,以此为极限时间可以检验任务调度算法生成的测试序列的正确与否和优劣程度,并对算法进行改进和完善。展开更多
We present some convergence and boundedness theorems with respect to filter convergence for lattice group-valued measures. We give a direct proof, based on the sliding hump argument. Furthermore we pose some open prob...We present some convergence and boundedness theorems with respect to filter convergence for lattice group-valued measures. We give a direct proof, based on the sliding hump argument. Furthermore we pose some open problems.展开更多
基金This work was supported by the National Natural Science Foundation of China(Grant No．10331010)
文摘The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
文摘为了检验和改进并行测试的任务调度算法,在充分研究多UUT(Unit Under Test,被测单元)并行测试问题规律的基础上,提出了并行测试完成时间的极限定理(Limit Theorem of the over time in Parallel Test)。该定理能够确定并行测试完成时间所能达到的极限最小值,以此为极限时间可以检验任务调度算法生成的测试序列的正确与否和优劣程度,并对算法进行改进和完善。
文摘We present some convergence and boundedness theorems with respect to filter convergence for lattice group-valued measures. We give a direct proof, based on the sliding hump argument. Furthermore we pose some open problems.
