简介：研究了一种Gnedenko系统,即由3个串联部件,一个温储备部件及一个修理工组成的系统,其中修理工可以单重休假.运用C0半群的理论,证明了系统算子是稠定的预解正算子,得出了系统算子的共轭算子及其定义域,并证明了系统算子的增长界为0.最后运用了预解正算子中共尾的概念及相关理论,证明了系统算子的谱上界也是0.

简介：本文讨论随机动态线性经济系统：Ｙｔ＝ＡＹ＿（ｔ－１）＋ｂ十μ＿ｔ在矩阵Ａ为一般情形下的稳定性问题。并给出该系统稳定的充要条件。

简介：本文主要在原有的G／G／1排队系统的模型中，引入“成批”到达的概念，引入一次到达人数的随机变量ξ，讨论忙期闲期有关的情况．并通过对模型的讨论解决了带有选择的排队过程的分布情况．

简介：本质上,分子系统生物学就是要研究分子水平上的各种层次网络,并整合这些网络信息为系统信息。广泛使用的化学主方程为研究生物分子网络提供了一个建模框架,但应用起来具有局限性;传统的矩封闭方法可以简化生物分子网络的研究,但并没有解决反应物种的联合概率分布的重构问题。本文简单介绍了生物分子网络的数学建模与分析,特别地,对生化反应系统提出二项矩的分析方法,它与传统方法相比具有许多优势,如能够降低计算复杂度、方便联合概率分布的重构,甚至可用于非线性行为的线性逼近等。

简介：本文用Laplace变换法把RDDE振动的充要条件推广到广义情形。

简介：研究了由两个同型部件、一个转换开关和一个修理工组成的电站单元机组辅助设备的冷贮备系统.通过选取空间及定义算子,将模型方程转化成了Banach空间中的抽象Cauchy问题.通过分析系统主算子的谱分布,求出主算子的谱上界.利用预解正算子及共尾理论,证明了主算子的谱上界和增长界相等.

简介：本文给出了判定强非零线系统有正解的一系列结果。

简介：本文讨论形如d/dt(x(t)+D(t)x(t-k)=f(t,x(t),x(t-h),u(t))的非线性中立型控制系统函数能控性，给出该类系统的函数能控性和零函数能控性的判定定理，所得结果在实际系统的设计、分析等方面是非常实用的。

简介：分析了带有修理设备和多重致命及非致命操作故障的k/N(G)冗余表决系统的渐近稳定性.用该系统算子生成的正定C0-半群证明了系统非负时间依赖解的存在唯一性.同时通过对系统算子谱点分布的分析,证明了本征值0对应的本征向量恰好是系统的静态解,并且,0是虚轴上系统算子唯一的谱点,从而证明了系统的渐近稳定性.

简介：由于C^3I系统所具有的分布特点，其功能需求描述必须考虑信息处理和通信两方面，本文从C^3I系统功能分析入手，讨论了一种Petri网建立C^3I系统功能需求的可执行描述模型的方法。

简介：主要讨论一类超前型与滞后型交替的脉冲微分系统．首先给出具常系数的脉冲微分系统解存在的充分条件以及解唯一的表达形式；对于变系数的微分系统也作了相应的讨论．

简介：在政务服务中心2016年月度考核中，德州市财政局窗口多次获得“文明服务窗口”、“优质服务窗口”、“职业道德标兵”等荣誉称号，窗口工作受到社会各界的好评。日前，在全市召开的政务服务工作表彰大会上，德州市财政局被评为全市政务服务工作先进集体，窗口工作人员被评为政务服务工作职业道德标兵。

简介：证明0是具有可选服务的M／M／1排队模型的主算子及其共轭算子的几何重数为1的特征值，由此推出该模型的时间依赖解强收敛于该模型的稳态解．

简介：在科技日新月异的今天,随着计算机等技术的迅猛发展和办公自动化的深化,加快了档案工作融入信息社会的步伐。大力开发档案信息资源,积极稳妥地推进档案信息化建设,利用统一的网络平台整合档案信息资源、最大限度实现信息资源共享,为各项建设提供更加快捷、高效的服务,是档案工作实现跨越式发展的必然趋势。

简介：AKekuléanbenzenoidsystemisonewithKekuléstructures.Afixeddouble(single)bondofaKekuléanbenzenoidsystemHisanedgebelongingtoall(none)oftheKekuléstructuresofH.EssentiallydisconnectedsystemsareKekuléanpericondensedbenzenoidsystemswithsomefixeddoubleorsinglebonds.InthispaperanecessaryandsufficientconditionforaKekuléanbenzenoidsystemtobeanessentiallydisconnectedbenzenoidsystemwithfixeddoublebondsisgivenandrigorouslyproved.

简介：利用变分原理研究超线性常微分p-Laplace系统周期解的存在性．在带有脉冲和阻尼作用项时，根据易一型山路定理，得到了系统多重周期解的存在性．

简介：利用线性代数理论中的厄米特二次型和若当标准形研究一类直接控制系统的绝对稳定性问题．进—步发展了控制系统稳定性理论中最近发展起来的一种新的研究方法——降维法．得到了用参数表示的代数形式的绝对稳定性的判别准则。

简介：讨论核反应堆系统散射裂变截面的最小范数控制问题.在一定条件下证明了最小范数散射裂变截面控制变量的存在性和唯一性,并给出其相应的优化条件.

简介：本文研究了一类拟线性系统，引入了反周期边值条件，基于反周期边值条件和数学分析的技巧，建立了新的Lyapunov不等式．

简介：讨论变系数Euler-Bernoulli梁振动系统utt(x,t)+η(t)uxxxx(x,t)=0,0＜x＜1,0≤t≤T{u(0,t)=ux(0,t)=0,0≤t≤T-uxxx(1,t)+mutt(1,t)=-αut(1,t)+βuxxxt(1,t),0≤t≤T(1)uxt(1,t)=-γuxx(1,t),0≤t≤Tu(x,0)=u1(x),ut(x,0)=u2(x),0≤x≤1证明了该系统产生一个发展系统.