非光滑半无限多目标规划弱非控解的充分性

本文利用锥次微分的概念，在一点处定义了η－（Ａ，Ｎ）凸函数、η－（Ａ，Ｎ）伪凸函数和η－（Ａ，Ｎ）严格伪凸函数，在相当弱的假设下，在η－（Ａ，Ｎ）意义下，给出了非光滑η－（Ａ，Ｎ）凸半无限多目标规划弱非控解的一些充分条件。     

关于(F,ρ)-不变凸性函数多目标规划的充分性条件

本文给出了一类更一般的广义凸性函数的定义:(F,ρ)-不变凸性函数,并论证了其多目标规划关于有效解的充分性条件.本文的一些主要结论是对文献[2]～[5]中相应结论的改进和推广.     

可微集函数多目标规划有效解的充分性条件

从有限测度空间的集函数拟凸、伪凸等概念出发,证明了集函数多目标规划与效解的充分性条件。     

浮力调节软件的单元测试技术研究

为了提高嵌入式软件的单元测试效率,同时能达到很好的测试效果,针对嵌入式软件制定单元测试充分性准则和单元测试策略,并使用测试工具对嵌入式软件进行单元测试具有实际意义;以浮力调节软件为例,通过研究基于控制流的单元测试充分性准则,结合浮力调节软件的单元测试需求,提出了针对浮力调节软件的单元测试充分性准则;同时,考虑到圈复杂度和函数节点数对函数正确实现的影响,制定了基于优先级的单元测试策略;利用自动化单元测试工具Testbed搭建了浮力调节软件动态测试环境,通过代码覆盖率分析,帮助创建测试用例以达到单元测试充分性要求,从而实现了浮力调节软件单元测试自动化;在自动化测试工具的帮助下,结合单元测试充分性准则和单元测试策略,最终实现严格而高效的单元测试。     

一个三角题设的充分性之辨

题目已知sinα＋sinaβ=sinαsinaβ,求sinα＋β/2的值．     

最速降线问题解充分性的证明

 利用可动边界的变分公式,通过广义环路积分导出Hilbert不变积分, 在此基础上说明了最速降线问题解的充分性.     

凸集理论中的几个逆命题

<正> 在这篇文章中,我们总假设S(?)E,S≠Φ中,并用H(S),M(S)分别表示由S生成的凸包和访射流形,不难看出有下述     

关于集合分离的一个注记

<正> 这个注记的目的是对一般的集合S1、S2的分离作一些初步的讨论。在讨论的过程中,我们用到了一些凸集的性质,其中H（S）表示包含S的最小凸集,C（S）表示包含S的最小锥,即C（S）={λX|λ≥0,X∈S}。M（S）表示包含S的最小仿射流形,SI表示S的相对内点的集合,即X∈Sr?δ>O使得N