周任军 周叔子 罗可 林睦纲 邓学华 龚红仿 高捷 李军义 何伟

半光滑牛顿算法 不等式问题 EFSM 状态转移图 测试用例生成 类的状态测试 半无限优化 充分条件 状态模式 暂态稳定约束最优潮流 非线性等式 UML 最优潮流 类测试 全局收敛性 分解算法 试探步 迭代法 投影Newton法 非线性互补函数 KKT系统 信赖域算法

湖南长沙 长沙理工大学计算机与通信工程学院 长沙理工大学数学与计算科学学院 湖南大学应用数学系 湖南大学计算机与通信学院 长沙理工大学网络中心