在对软件系统进行测试时,由测试需求创建的测试用例集往往数量庞大且存在冗余,为了提高测试效率,降低测试成本,需要优化测试用例集......

设X是距离空间，又是半序集，A：X→X是一个算子，满足对任给x∈X，都有x≤Ax。本文给出了A存在不动点的若干充分性条件，推广了著名的Caristi......

给出了具有半序结构的Ｈａｕｓｄｏｒｆｆ空间Ｘ上集值增算子的不动点定理，推广了文献〔１〕中定理１，减弱了其对空间Ｘ的要求，如果Ｘ仅为半序集，给出了Ｘ上单值增算子......