无限时滞非自治竞争系统的持久性

众所周知,对于有限时滞的泛函微分方程,其相空间几乎都是采用连续函数加上确界模所构成的空间;而对于无限时滞的泛函微分方程来说,不同的方程和不同的具体问题会选取不同的相空间.合适的相空间会使得问题迎刃而解,反之,会困难重重.因此选择相空间是解决问题的首要步骤.通过选取空间Cg为相空间,考察了具有无限时滞非自治竞争系统的持久性问题.进一步,得到系统持久与非持久的充分性条件.所得结果与王克[3]的结果是互不包含的.     

短信息在高校信息化建设中的应用

结合当前高校发展的形势和移动通讯中短信业务广泛普及的特点,讨论了在高校信息化建设中引入短信息的意义.从介绍有线校园网络和短信息的优缺点入手,重点介绍了融合短信息功能的高校信息系统的构建,讨论了短信息服务平台在高校信息化建设中的多种应用,提高了高校的信息化水平.     

生态工业系统多目标规划模型及应用

为了定量地刻画生态工业系统特征过程,建立一组基于物质和能量守恒定律的数学方程,分析了带有边界的生态工业系统与自然(工业)资源相互获得、交换、或转换的过程.同时货币化其生态经济收益,把追求生态工业系统的生态经济收益最大作为建立生态工业系统的评价指标,提出了生态工业系统的多目标数学规划模型,该模型可用于分析、设计、管理生态工业的流程网络.最后通过案例分析,表明该方法具有实际应用价值.     

考虑动态重构的装备体系可用性及弹性分析

要素协同作战框架下武器装备体系具有可动态重构的系统特性, 既增加了体系的复杂性和交互性, 又使其具有了更为明显的弹性特征。本文首先提出了装备体系弹性多层级评价方法, 确定了组成体系的关键装备要素。其次, 以典型的关键装备要素——武器系统为对象, 提出了基于动态双阈值多状态权重k-out-of-n系统模型的装备体系的性能可用性及弹性分析评价方法。最后, 以编队协同防空作战体系为对象进行案例应用研究, 得到了性能阈值恒定、随时间变化和动态变化这3种情况下的火力网可用度和弹性随时间变化的规律, 并验证了所提模型与评价方法的有效性与实用性。     

时变线性系统关于p-可积控制的能达集

讨论了时变线性控制系统当控制为p可积函数时相应的能达集与指标p的关系.经过证明,得到控制系统关于p-可积控制的能达集一般会随指标p不同而变化,但是这种变化的次数是有限的.     

基于观测器的广义时滞系统最优保成本控制

讨论一类含有参数不确定性且具有状态滞后的广义时滞系统的观测器型最优保成本控制器设计问题.不确定性假设是时变的且范数有界.通过基于状态观测器的线性状态反馈控制并采用一种新方法,结合凸优化理论得到了不确定广义时滞系统的最优保成本控制器的设计方法.该控制器的设计使得在满足一定的条件下对所有的不确定性,广义时滞系统是鲁棒可镇定的且二次型保成本指标最小,并证明了所得结论等价于一组线性矩阵不等式(LMIs)的可解性问题.最后给出实际算例验证了设计方法的有效性.     

基于终端滑模控制的混沌系统的同步

应用驱动-响应同步方法,研究了一类二阶混沌系统的终端滑模控制.通过设计连续的终端滑模控制器实现混沌系统的有限时间同步.在控制器的设计过程中采用了一种改进的终端滑模面,有效克服了在常规终端滑模控制中由于参数选择不当而出现的奇异问题.仿真结果表明,改进的终端滑模控制器可有效降低变结构控制中所产生的抖振,并提高了系统的稳态精度,实现了混沌系统的有限时间同步.     

多任务模糊聚类驱动的多任务TSK模糊系统模型

该文提出了一种多任务Takagi-Sugeno-Kang（TSK）模糊系统建模方法.首先给出了一种新的多任务模糊c均值聚类算法,能够有效提取所有任务之间的公共信息和每个任务的私有信息,进而利用所得的聚类中心构建多任务TSK模糊系统的前件参数.其次设计了一种具备多任务协同学习机制的后件参数优化方法,可以优化多任务TSK模糊系统的后件参数.最后基于优化的前后件参数,构建出具体多任务模糊聚类方法驱动的多任务TSK模糊系统模型（multi-task fuzzy c-means based multi-task TSK fuzzy system,MTFCM-MT-TSK-FS）以用于实际应用.分别在合成和真实数据集上进行实验,结果验证了该模型的有效性.     

黄河口凹陷明化镇组下段网状浅水三角洲沉积

为了认识湖盆萎缩期网状浅水三角洲的沉积特征和沉积模式,利用测井、录井、取芯、粒度、地震等资料,对黄河口凹陷明化镇组下段低位域地层进行了分析.研究认为,黄河口凹陷明化镇组下段低位域网状浅水三角洲河道砂体主要是垂向加积作用的产物,河道平面上呈网状、交织状,具有宽深比小、稳定性强等特点,砂体发育程度中等;其形成于低坡降背景,...     

Microbes,mathematics, and models

Microbial model systems have a long history of fruitful use in fields that include evolution and ecology. In order to develop further insight into modelling practice, we examine how the competitive exclusion and coexistence of competing species have been modelled mathematically and materially over the course of a long research history. In particular, we investigate how microbial models of these dynamics interact with mathematical or computational models of the same phenomena. Our cases illuminate the ways in which microbial systems and equations work as models, and what happens when they generate inconsistent findings about shared targets. We reveal an iterative strategy of comparative modelling in different media, and suggest reasons why microbial models have a special degree of epistemic tractability in multimodel inquiry.