一个半线性抛物型方程组的Cauchy问题

本文考虑如下方程组的Cauchy问题 在初值及情形下,分别证明了问题(1)(2)整体古典解及广义解的存在唯一性。     

异时排序问题的算法复杂性

我们将限制某些工件不能同时处理的平行机排序问题称为异时排序问题．本文我们讨论工件加工时间相同、目标为总完工时间最小的异时排序问题．我们证明了当机器台数为2时,该问题等价于图上的最大匹配问题,因此存在组合强多项式时间算法;但量当机器台数为3或者多于3时,该问题是强NP困难的．     

弹性振动点观测反馈控制古典解的存在性

本文运用有界线性算子的积分半群理论证明弹性振动点观测反馈控制方程古典解的存在性     

$n$阶旋转对称非线性系统的结构和性质

本文研究动力系统的线性群作用,该群的李代数与系统的向量场作用,以及两者间的关系。并将其结果应用于n阶旋转群,给出了n阶旋转对称非线性系统的一般结构表达式。     

一类高阶非线性系统的几乎干扰解耦问题

对于一类高阶下三角形结构的非线性系统内稳几乎干扰解耦问题 ( ADD)的可解性 ,本文按 L2 —L2 p增益 ,使用“加幂积分器”方法 ,没有对系统中的函数作任何增长性条件限制 ,证明了文中非线性系统的ADD问题有一个连续状态反馈解 .并且可以显式解出此连续状态反馈控制器使得干扰对输出的影响可限制到任一精度且保持系统内稳 .     

推点与二部竞赛图的强连通性

设D是一个有向图,S是V(D)的子集．在D中推S,是指颠倒D中所有的只有一个端点在S中的弧的方向． Klostermeyer提出了对于任给的一个有向图D,能否通过推点使之成为强连通的有向图的问题．他证明了上述判定问题是NP-完备的．而我们论证了对于任意的二部竞赛图D,如果V(D)的二划分是(X,Y),并满足3≤|X|≤|Y|≤2|X|-1-1, 则可以通过推点使D成为强连通的有向图,而且,|Y|的上界2|X|-1-1是最好可能的．     

Lotka-Volterra树系统全局渐近稳定性的判据

本文通过引入种群度的概念,给出一组很容易验证的判断n维Lotka-Volterra树系统存在全局渐近稳定非负平衡点的充分条件。     

声呐测量数据中异常值的辨识方法

本文提出一种辨识声呐系统对声源的方位测量数据中异常值的新方法。假定声源短时间内作匀速直线运动。辨识异常值的方法由三步组成:第一步把测量数据按每四个分为一组,采用Robust方法从每组中剔去两点,当数据中包含的异常值数少于50％时,则至少有一组剩下的两点是“好的”;第二步,用每组剩下的两点求得方位与其变化率(θ_0,θ_0)的估计,并用它们分别计算 M-估计的目标函数,使目标函数达极小的那组估计是(θ_0,θ_0)的“好的”估计;第三步,以此“好的”估计为初值,代人M-估计进行迭代,获得(θ_0,θ_0)的精确估计,用它所计算的各观测量的残差辨识异常值。该方法的崩溃点为50%,仿真例子验证了所提方法的可靠性。     

从运筹学到系统工程到系统科学——怀念许国志先生的学术点滴

1 创建运筹学 运筹学最早起源于第二次世界大战中,为了解决如何运用好武器装备的问题,如雷达的运用,飞机如何找潜艇,以及找到潜艇后投掷的深水炸弹的最佳爆炸深度等等.在英国最先成立专门小组研究这些问题,后来就叫运筹小组.在英国,考虑运用的特点这种研究也就成了运用研究,其英文名就叫Operational Research,很快美国也成立类似研究机构,但美国用了略有不同的英文名,为Operations Research,好在他们两家的英文缩写都叫OR.     

随机截尾算法的渐近性质

1.引言 对不相关量测噪声下的随机逼近算法,已有较多研究,有一系列比较成熟的结果。对相关量测噪声,讨论了弱相关噪声下的随机逼近算法,对连续和离散时间量测,同时得到了收敛速度及渐近正态性方面的结果。Kushner和Clark针对相当广的