简介：本文讨论形如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系统功能需求的可执行描述模型的方法。

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

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

简介：一、资质资质的本质是资格认证,即认证合格后取得资质才有资格从事或经营某方面的业务。建筑企业的资质是指依法取得工商行政管理部门颁发的《企业法人营业执照》的企业,在中华人民共和国境内从事土木工程、建筑工程、线路管道设备安装工程、装修工程的新建、扩建、改建等活动,应当申请建筑业企业资质。建筑企业资质分为施工总承包、专业承包、劳务分包三类。

简介：一、非经常性损益信息重要性（一）统计数据概况本文利用Wind资讯系统对截至2017年6月30日的3,359家A股上市公司披露的2016年报相关数据进行了统计,以下数据来源均同此。经统计,3,359家上市公司中,有313家公司2016年度非经常性损益为负,占全部上市公司总数的9.32%;有3046家为正,占全部数量比重高达

简介：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证明了该系统产生一个发展系统.

简介：利用迭合度理论的连续定理,讨论了一类中立型系统的正周期解的存在性.得到了正周期解存在的一些充分条件.

简介：以时滞为参数,研究了一类多时滞合作系统的正平衡点的稳定性及局部Hopf分支的存在性.在此基础上结合一般泛函微分方程的全局Hopf分支定理,讨论了该系统全局Hopf分支的存在性.

简介：在单目标、单约束下，建立了三状态串-并联系统的优化模型，采用选取重要部件的方法优化系统可靠度，并相应地给出优化算法，最后通过例子，验证了该算法的有效性．

简介：针对一类带有扰动的非线性系统，在它的标称系统的自由动态是一致渐近稳定和它的标称系统存在ISS—Lyapunov函数条件下，运用Lyapunov方法，得出该类系统是小信号，L∞稳定和L∞稳定的充分条件．

简介：一个稳定的补偿器可同时镇定n个对象(同.时强镇定)等价于一个补偿器(不一定稳定)同时镇定n+1个对象(同时镇定).两个以上对象的同时强镇定和三个以上对象的同时镇定是线性系统中一个急待解决的公开问题.文中所作的基本假定是所有的对象具有相同的简单不稳定零点,在此条件下给出了n个对象同时强镇定的一个充分条件.当仅有一个不稳定零点时,容易检验是否同时强镇定,否则仅需确定n个对象的不稳定零点并且判定由不稳定零点导出一个相应矩阵是正定的,就能判定n个对象同时强镇定.因此是一个易于检验的充分条件.文章同时给出了n个对象同时强镇定的算法,丰富了同时强镇定的充分条件.

简介：本文利用Mawhin的重合度理论研究了一类多物种竞争差分系统正周期解的存在性，获得了保证该差分系统存在正周期解的新的充分条件．

简介：针对高等数学教学中,二元函数的图像难以用传统方式直观呈现其形态特征及相关知识点几何意义的问题,设计实现了一种基于虚拟现实技术的高等数学三维动态辅助教学系统.系统以VS/WIN32+OpenGL的混合软件开发方式实现,可实时生成高等数学教学中二元函数的各种教学模型,具备直观、生动、交互性好的特点.