期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
Another Approach to Multiobjective Programming Problems with V-invex Functions 被引量:1
1
作者 LIUSan-ming FENGEn-min LIXiao-shen 《Chinese Quarterly Journal of Mathematics》 CSCD 北大核心 2005年第1期101-110,共10页
In this paper, optimality conditions for multiobjective programming problems having V-invex objective and constraint functions are considered. An equivalent multiobjective programming problem is constructed by a modif... In this paper, optimality conditions for multiobjective programming problems having V-invex objective and constraint functions are considered. An equivalent multiobjective programming problem is constructed by a modification of the objective function.Furthermore, a (α, η)-Lagrange function is introduced for a constructed multiobjective programming problem, and a new type of saddle point is introduced. Some results for the new type of saddle point are given. 展开更多
关键词 有效解 V-约束函数 多目标规划 向量赋值
下载PDF
改进的布尔公式学习算法
2
作者 哈晓琳 李勇坚 《计算机系统应用》 2014年第9期83-88,共6页
当前,布尔公式学习算法的研究大多数是理论上的模型建立和推导,很少有人考虑到布尔公式学习算法在实际应用中的效率改进.现在较成熟的布尔学习算法主要利用的是询问模型,而询问模型需要依赖外部的SMT工具进行询问问题的回答.虽然,布尔... 当前,布尔公式学习算法的研究大多数是理论上的模型建立和推导,很少有人考虑到布尔公式学习算法在实际应用中的效率改进.现在较成熟的布尔学习算法主要利用的是询问模型,而询问模型需要依赖外部的SMT工具进行询问问题的回答.虽然,布尔公式学习算法可以在多项式次数的询问之后得到正确结果,但是,减少询问的次数可以减少使用SMT工具进行问题计算的次数,即减少问题计算的时间.主要针对布尔公式学习算法在实际系统中的应用问题,提出了利用单调理论中的最小赋值向量的方法,来减少布尔公式学习算法的询问次数,提高算法效率和适用性. 展开更多
关键词 布尔公式 学习算法 询问模型 单调理论 最小赋值向量
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部