1次+3次平面多项式系统的代数分类

采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类.     

基于广大极值分布的高频极值条件VaR模型

在考虑当前预期和波动性条件下,为了有效地捕获极端条件下收益率时间序列动态特征,提高VaR的度量精度,建立了基于高频数据的条件极值VaR模型.应用智能优化算法对条件极值分布的时变参数进行估计,考察了在不同样本容量分块下的条件极值VaR,并对VaR计算结果的精度进行了Kupiec-LR检验和动态分位数检验.研究结果表明,基于高频数据的条件极值分布较好地拟合了极端条件下的收益率特征,与McNeil提出的传统条件极值VaR相比,应用高频数据建立在条件广义极值分布基础上的条件极值vaR的Kupiec检验DQ检验值都较为理想,表明该模型能够捕捉到我国市场风险特征,提高极端情况下风险测度能力.     

系统可观PMU最优配置和分阶段配置方案的研究

以电力系统配置同步相量测量单元（PMU）个数最少为目标，全网可观测、系统有最大量测冗余度为约束，提出了PMU最优配置模型．针对PMU价格昂贵，很难一次性安装上所有所需PMU的实际问题，提出系统不可观测度的概念，以每阶段安装相同个数的PMU能够最大限度地提高系统量测冗余度和最终完成安装后满足系统可观测的最优配置为约束条件，提出PMU分阶段的最优配置模型．在此基础上，     

两类N参数σ—域族的刻划

证明了Ｎ参数左连续强增加σ－域族的（ＯＲＴ）性质等价于（ＳＴＲ）性质，对于具有（ＰＩＶ）性质的离散Ｎ参数σ－增域族，必存在单参数σ－增域族和关于它的停时族（Ｔｚ）ｚ∈Ｎ＾Ｎ。     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

Im∪CP形图的匹配等价

完整刻画了 I_m∪C_p(p≥6为偶数或素数且 p≠m-3)及其补图的匹配等价图．     

两类N参数σ－域族的刻划

证明了Ｎ参数右连续强增加σ－域族的（ＯＲＴ）性质等价于（ＳＴＲ）性质，对于具有（ＰＩＶ）性质的离散Ｎ参数σ－增域族，必存在单参数σ－增域族和关于它的停时族（Ｔ＿ｚ）ｚ∈Ｎ￣Ｎ，使