对偶系统的对偶包含问题

提出对偶系统的对偶包含问题,给出其包含条件及与原系统包含条件之间的对偶关系.对偶系统的约束条件是原系统模型降阶聚集条件的补充.     

反馈控制器的降阶问题

根据线性离散随机系统的包含原理,研究了系统的状态反馈和输出反馈控制器的降阶问题．给出了控制器降阶两种类型：聚集和约束．通过一个9阶系统控制器的设计,讨论降阶控制器和全阶控制器的性能．     

关于偏微分包含的生存问题

研究Ｈｉｌｂｅｒｔ空间中偏微分包含解轨道的生存问题，证明了具有右端不连项的非自治偏发包含的生存定理，并研究了生存解集的拓扑性质 。     

复合凸优化问题的稳定强对偶

先建立复合凸优化问题的对偶问题, 然后利用共轭函数上图的性质引入一些新的更弱的约束品性, 并借助这些约束品性刻画了复合凸优化问题的稳
定强对偶和强对偶.     

反馈控制器的降阶问题

根据线性离散随机系统的包含原理[1],研究了系统的状态反馈和输出反馈控制器的降阶问题.给出了控制器降阶两种类型:聚集和约束.通过一个9阶系统控制器的设计,讨论降阶控制器和全阶控制器的性能.     

互补约束数学规划问题的二阶Mond-Weir型对偶理论

基于S-稳定性条件,建立了互补约束数学规划问题(MPCC)的二阶Mond-Weir型对偶模型.在二阶广义凸性假设下,证明了弱对偶定理,强对偶定理和严格逆对偶定理.给出了数值算例验证上述对偶定理的合理性,并说明二阶对偶模型所提供的下界比一阶的更紧.     

改进的基于包含约束的指针分析法

针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。     

关于双稳定束方法对偶问题的研究

对于带有非线性约束优化问题,本文在迫近束方法的思想基础上将水平束方法与其结合,应用双稳定束方法解决此优化问题.本文不仅从其对偶问题的角度研究了解的形式及相关性质,发现解的表现形式不尽相同,而且得出该解与之前迭代点的次梯度的凸组合有关的结论.进一步我们发现次梯度值和额定下降具有与单纯用迫近束方法从对偶问题角度解无约束优化问题相类似性质.     

带不变凸的非光滑约束分式最优控制问题的对偶

对于G.J.Zalmai提出的非光滑约束分式最优控制问题（P）及其对偶（DI）,在对其目标函数及约束函数的不变凸假设下,本文证明了问题（P）与（DI）的弱对偶与强对偶定理。     

复合DC优化问题的稳定全对偶

利用函数的次微分性质引入了2个新的约束规范条件,建立了复合DC优化问题与其对偶问题之间的全对偶和稳定全对偶成立的充分或必要条件.     

开环多刚体系统的对偶形式的Lagrange方程

通过对偶数、对偶矢量、对偶角、对偶质量运算符、矩积运算和矩积导数描述了简洁紧凑的开环多刚体系统的拉格朗日方程，并给出了一个算例。     

基于构建高职“双师型”教师薪酬体系的思考

在分析高职“双师型”教师薪酬体系现状的基础上，根据高职“双师型”教师的特点，提出构建一个以基本薪酬为主，以业绩薪酬为辅，津贴、福利、社会保障等并用，金钱报酬和非金钱报酬并行，具有激励性、可操作性的薪酬体系设计思路与基本框架。     

基于包含原理的关联系统的重叠结构分解与控制

利用包含原理的约束和聚集条件[1,2]，对系统进行重叠结构分解，根据扩展空间系统设计关联解耦子系统的分散LQG控制，并收缩回原系统空间，实现各子系统的分散控制。     

求解变分包含问题的一个新迭代算法

介绍了一类实Banach空间中的带有P-η-增生算子的变分包含问题.借助于P-η-增生算子的预解算子,提出了一个新的求解这类变分包含问题的含有非扩张映射的迭代算法,并分析了该算法的强收敛性.     

Dual origins of Xiaoqinling gold-bearing quartz veins: Fluid inclusion evidence

Fluid inclusion research in Archean metamorphic rocks, Yanshanian granite and gold-bearing quartz veins shows that regional metamorphic fluids are high temperature and high saline, Yanshanian post-granitic fluids are CO₂-bearing low saline, and ore-forming fluids are also CO₂-rich low saline. In gold-barren/free parts of quartz veins in gold deposits, daughter mineral-bearing high saline inclusions retated with metamorphic fluids remained. This proclaims quartz veins hosting gold ores might have been formed in early metamorphism, and overlapped or mineralized by late Yanshanian gold-bearing fluids.     

一种用于双模冗余系统的健壮故障安全接口

迄今为止所提出的大多数故障安全系统是由一个三模或双模冗余结构级联一个故障安全接口所构成的为使得整个故障安全系统具有并发差错检测和定位能力。有一些系统使用了自校验的冗余模块。用于三模冗余结构的故障安全表决器能够屏蔽单个模块的差错，但用于双模冗余结构的故障安全接口一般不具有纠错能力。为解决这一问题，提出了一个称为交替互补转换器的故障安全接口的门级电路方案，它只要求两个冗余模块的输出构成交替互补矢量，且冗余模块无须是自对偶实现的，这种故障安全系统能够纠正单个冗余模块所产生的单固定型单错，交替互补转换器通过了Active-VHDL的门级模拟验证，另外，还估计了它的硬件复杂性和传输延迟。     

分质供水的三种水质分析

针对近年来城市供水系统面临的水源污染、二次污染等问题,分析了分质供水的三种水质的概念、用途和水质标准等,指出了水质选用过程中应注意的不同水质适用的不同建筑类型、对管材的不同要求以及其相应的配套技术等问题。     

一种双激光医用外科设备设计中的若干问题

我们研制了一种双激光医用外科设备,在同一设备上设置CO_2激光器作为手术光源;He-Ne激光器既作指示,又作照射治疗光源;两种激光亦可联合使用。本文阐述该种设备设计中的几个问题。     

约束集值优化问题的高阶Wolfe型对偶

利用集值映射的广义高阶邻接上图导数,构建了约束集值优化问题的一类高阶Wolfe型对偶,并建立了相应的弱对偶、强对偶和逆对偶定理.