对偶系统的对偶包含问题

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

反馈控制器的降阶问题

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

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

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

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

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

反馈控制器的降阶问题

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

分质供水的三种水质分析

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

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

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

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

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

基于双向主题模型的协同过滤算法*

主题模型可以学习用户和推荐项目的潜在主题分布。提出了一种基于双向主题模型的协同过滤算法,分别学习用户和推荐项目的潜在主题分布用于推荐服务。在真实的数据集上实验验证,该算法的性能均优于几个经典的协同过滤算法。     

关于一类集函数系统的全对偶整性的一个充要条件

设S是有限集,f是定义在S的子集上的实值函数。文章提出了离散凸函数的概念,并指出线性系统x(T)≤f(T),T(?)S是全对偶整性([4])的充要条件是f的“Dilworth”开拓f是离散凸函数。     

基于ISIS协议的双备份处理解决方案

介绍路由器上ISIS协议双备份的意义.首先介绍双备份处理过程需要的主要变量和数据说明.接着,详细说明了双备份处理过程中主要线程的实现思路.最后,简要概述了主备用系的相互切换实现.     

关于一类集函数系统的全对偶整性的一个充要条件

设S是有限集,f是定义在S的子集上的实值函数.文章提出了离散凸函数的概念,并指出线性系统x(T)≤f(T),T??S是全对偶整性([4])的充要条件是f的“Dilworth”开拓f是离散凸函数.