命题逻辑公式的压缩表示及其相应的形式系统

提出一种将命题逻辑公式压缩表示的方法--公式的压缩图,给出相应的形式系统,并证明该系统的证明效率比传统相继式演算系统Gentzen\{cut}有指数级的提高,从而为命题逻辑提供了一种新的有效的推理系统.     

基于线性状态反馈的非线性混合系统的实用稳定化

研究非线性混合系统的实用稳定化问题,其中该系统具有时变子系统和时变跳转函数.首先,通过状态跳转函数,确定系统一条严格递增的切换时间序列.然后在该序列中的每一段时间区间内,明确地构造出相应的线性状态反馈控制律,由此实现闭环系统的实用稳定.最后,给出一个数值例子说明文中方法的有效性.     

线性常微分方程参数稳定性的统计推断

对具有随机误差的观测数据, 讨论了常系数线性常微分方程参数稳定性的统计推断问题. 通过残差项的Karhunen-Loeve 分解, 给出了变点检验步骤及其在原假设下的极限分布. 在对立假设下定义了变点的估计, 证明了检验以及估计的一致性. 对常系数二阶常微分方程进行了统计模拟, 结果表明原假设下的极限分布是对真实分布非常好的近似; 对立假设下, 即使输入函数的频率存在0.75% 的变化, 上述检验也能以大概率拒绝原假设. 最后利用上述方法研究了英国中部地区的气温数据, 揭示了数据一些新的特点.     

方差无穷非线性自回归序列的自加权L_1估计

对具有无穷方差的非线性自回归序列x_t=φ(x_(t-1),x_(t-2),…,x_(t-p),θ) ε_t,E(ε_t~2)=∞,利用局部二次近似和连续函数空间C(R~q)上弱收敛随机过程最小点的渐近性质,证明了若存在δ≥1,使得E|ε_t|~δ<∞成立,则θ满足一定条件的自加权L_1估计θ_(L_1)是渐近正态估计,Wald检验统计量也具有通常的x~2分布,为模型的统计推断提供了理论基础.     

局部凸空间中ic -锥-类凸集值优化问题的超有效性

该文研究局部凸空间中受集值约束的集值优化问题的超有效解. 证明了ic -锥-类凸集值映射的一个有用性质, 并以此性质为主要工具, 得到了ic -锥-类凸集值向量优化问题超有效解的最优性条件和鞍点定理.     

非光滑非凸多目标规划解的充分条件

Kuhn-Tucker型条件的充分性一直是最优化理论中引人注意的一个问题.本文对非光滑函数提出了几个非凸概念,然后,讨论了非光滑非凸多目标规划中Kuhn-Tucker型条件和Fritz John型条件的充分性,在很弱的条件下,建立了一系列充分条件.     

非线性参数规划问题ε-最优解集集值映射的连续性

对非线性参数规划问题ε-最优解集集值映射的连续性条件进行了研究.首先在可行集集值映射局部有界且正则的条件下,讨论了非线性参数规划问题最优值函数的连续性,然后针对ε-最优解集集值映射的结构特征并利用此结果和集值分析理论,给出了非线性参数规划问题ε-最优解集集值映射连续的一个充分条件.     

非线性参数规划问题$\varepsilon$-最优解集集值映射的连续性

对非线性参数规划问题$\varepsilon$-最优解集集值映射的连续性条件进行了研究.首先在可行集集值映射局部有界且正则的条件下,讨论了非线性参数规划问题最优值函数的连续性,然后针对$\varepsilon$-最优解集集值映射的结构特征并利用此结果和集值分析理论,给出了非线性参数规划问题$\varepsilon$-最优解集集值映射连续的一个充分条件.     

基于随机波动的最优广告支出策略

考虑企业在具有随机波动的市场体系中的特殊投资模型一广告支出模型.在典型的动态规划中,投资问题中的值函数一般是用Bellman方程的粘滞解表示的.本文通过指数变换把偏微分(Bellman)方程转变成一个对微分项是半线性的抛物线方程,并证明了其值函数连续解的存在性,在此基础上给出了企业最优广告支出策略.     

(h，■)-广义切导数与最优性条件

借助于Ben-Tal广义代数运算定义了广义(h,■)-Clarke切锥,广义(h,■)-邻接切锥和广义(h,■)-伴随切锥,由此定义了广义(h,■)-Clarke方向导数、广义(h,■)-邻接方向导数、广义(h,■)-伴随方向导数及(h,■)-广义梯度,由此给出了具有(h,■)-凸性的的实值函数最优解的判别条件.文章是Ben-Tal代数在凸分析理论中的应用,所有结果和所用方法可以应用于多目标优化的研究.