An extended Lagrangian support vector machine for classifications

Lagrangian support vector machine (LSVM) cannot solve large problems for nonlinear kernel classifiers. In order to extend the LSVM to solve very large problems, an extended Lagrangian support vector machine (ELSVM) for classifications based on LSVM and SVMlight is presented in this paper. Our idea for the ELSVM is to divide a large quadratic programming problem into a series of subproblems with small size and to solve them via LSVM. Since the LSVM can solve small and medium problems for nonlinear kernel classifiers, the proposed ELSVM can be used to handle large problems very efficiently. Numerical experiments on different types of problems are performed to demonstrate the high efficiency of the ELSVM.     

时滞区间广义系统的保成本控制

针对一类具有状态时滞的时滞区间广义系统,基于状态反馈研究了保性能控制问题。利用线性矩阵不等式(LMI)处理方法,得到了闭环时滞区间广义系统广义二次稳定以及闭环性能指标值有上界的充分条件。利用LMI的可行解给出了保性能控制器的设计方法。设计的控制器使得闭环时滞区间广义二次稳定,同时保证闭环性能指标值是具有上界。最后的数值例子说明了所给方法的有效性。     

多功能相控阵雷达实时驻留的自适应调度算法

灵活有效的调度算法是实现多功能相控阵雷达工作性能优化和资源合理利用的基础。从调度代价的角度建立了实时驻留调度的数学模型,提出一种求解次优调度序列的自适应算法。该算法利用任务自身工作方式属性及任务中所含目标的先验信息分配任务的综合优先级,采用一步回溯的策略来确定每个驻留任务的调度属性,利用二次规划获取其最佳执行时间,并与传统的基于优先级调度算法进行了比较。仿真结果表明,提出的自适应调度算法提高了任务调度成功率,降低了截止期错失率。     

关于病毒与人类共存的哲学思考

病毒与人类的关系,是寄生与对抗、共存与依赖的关系.以积极进取中的必要妥协策略来对待病毒是人类的理性抉择,由此应在一定程度上改变相应的人类生存观念和生产方式.     

浅谈二次型化标准形的两种方法

给出了二次型化标准形的两种方法——合同变换法和正交变换法。     

对一般滤子情形下SLQ问题最优反馈的刻画

控制论中的一个基本问题是为系统设计反馈最优控制.这已在LQ问题中得到了很好的实现.但是,在已有的文献中,对这一问题的随机情形的讨论多集中在自然滤子情形.本文应用转置解这一概念在一般滤子情形下给出了带随机系数的SLQ问题最优反馈控制存在的充分条件,证明了对一维控制问题而言这还是必要条件.     

基于3次样条插值的数控机床几何与热复合定位误差建模

通过分析机床整个温升直到热平衡的误差数据,总结误差分布的数学规律,将热误差和几何误差分离,运用基于压紧样条条件下的3次样条插值算法,以线性拟合后的余差为建模数据,建立了数控机床几何与热复合定位误差数学模型.实验结果表明,该数学模型能很好地拟合数控机床定位误差曲线,补偿后数控机床定位精度提高了80%以上.该方法可运用于不同时刻或不同机床温度下的机床定位误差补偿,建模原理明了、过程快速,模型适用性好.     

特征值在高等代数中的作用

以高等代数中的定义、定理和例题为依据,论述了特征值具有化繁为简的作用,它还是实对称矩阵和二次型的本质所在.特别地,它是解决许多代数问题的重要工具.     

论司法信息公开的多元化价值及其实现

借鉴交叉学科的相关理论，有助于建构司法信息公开的价值体系，发掘实践困境之根源，推动司法信息公开由被动到主动、由反向到正向、由盲目到理性、由单一的工具主义向多元的价值取向转变。所谓“公开促公正”只是宽泛的价值表述，司法信息公开之于“公正”的实现，需要逐步对应“基本权利的兑现”、“业务水准的提升”、“司法权威的树立”、“司法独立的彰显”和“理性商谈的推行”五个层次的价值取向，并推动其良性互动和有效实现。     

四阶方程的有理Legendre函数全对角化谱方法

针对四阶椭圆型方程,提出了在半直线域上全对角化的有理Legendre谱方法。构造了Sobolev正交的Legendre有理基函数,并导出了相应的全对角化的离散代数方程组。与此同时,微分方程的真解和数值解都表示为Fourier级数形式及其截断形式。数值结果表明了该方法的高效性并保持谱精度。