一类鲁棒凸优化的Mond-Weir型逼近对偶性

通过引入一类含有不确定信息的凸约束优化问题, 先借助鲁棒优化方法, 建立该不确定凸约束优化问题的Mond Weir型鲁棒逼近对偶问题, 再借助一类广义鲁棒逼近KKT条件, 刻画该不确定凸约束优化问题与其Mond Weir型鲁棒逼近对偶问题之间的逼近对偶性关系.     

Leibniz代数的导子扩张

通过给出强双导子的概念,证明强双导子可以给出Leibniz代数的导子扩张,并给出构造Leibniz代数的一种新方法.     

φ-截曲率为常数的Sasaki统计流形中子流形的广义标准δ-Casorati曲率不等式

对φ-截曲率为常数的Sasaki统计流形中的子流形建立关于广义标准δ-Casorati曲率的不等式, 并给出不等式中等号成立的条件.     

Debunking material induction

In this paper, we present an explanatory objection to Norton's material theory of induction, as applied to predictive inferences. According to the objection we present, there is an explanatory disconnect between our beliefs about the future and the relevant future facts. We argue that if we recognize such a disconnect, we are no longer rationally entitled to our future beliefs.     

保积Hom-δ-李超三系的拟导子和型心

首先给出Hom-δ-李超三系T的概念, 证明T的广义导子之集、 拟导子之集、 导子之集Der(T)、 中心导子之集ZDer(T)、 拟型心QC(T)和型心C(T)均为李超代数. 其次, 证明中心导子代数和型心代数都是Der(T)的理想, 且ZDer(T)=C(T)∩Der(T). 若T的中心为零, 则［C(T),QC(T)]={0}.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。     

φ混合随机变量阵列加权和的收敛性质

利用φ混合随机变量的Rosenthal型矩不等式,考虑一定权重条件下,不同分布φ混合随机变量阵列的强收敛性质,得到了一些新结果.     

带一般微分算子的二阶奇异边值问题的正解

用锥拉伸与压缩不动点定理,研究带一般微分算子的二阶奇异边值问题,其中线性微分算子的函数系数也允许具有奇异性.在非线性项满足超线性或次线性条件下,得到了该问题至少存在一个正解,并给出一个实例检验所得结果的有效性.     

探讨利用速度瞬心法鉴别平面机构的虚约束

提出一种根据平面机构的构件和速度瞬心构造的图,利用这种图直观地对所求瞬心的唯一性进行判定,从而鉴别是否有可能出现虚约束;也可先将这种图转换为对应的邻接矩阵X,再利用该矩阵X的自乘幂X2进行判定。     

多目标博弈问题的求解算法

针对多个局中人多个支付函数的多目标博弈问题,研究每个局中人支付函数均衡协调最优值的存在性.证明了博弈系统在均衡协调意义下均衡解的存在性,并给出了求解多目标博弈问题的均衡协调算法.实例分析检验了算法的合理性和有效性.