排序方式: 共有41条查询结果,搜索用时 0 毫秒
1.
本文引入了闭拟谱算子概念,得到这类闭算子的谱分解特征。推广了Banach空间中纯量型(无界)谱算子以及Well-bounded算子谱分解理论。 主要结果:T为闭拟谱算子的充要条件是T稠定闭,且存在复数u使I_mu≠0以及连续代数同态:Ac_o(R′)—→B(x),使得。 相似文献
2.
基于通信顺序进程的并发DEDS的规范和证实 总被引:1,自引:0,他引:1
在实时通信顺序进程(TCSP)的基础上对离散事件动态系统(DEDS)进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果,根据离散事件的特点作了符号语义上的改进,就两个具体的例子——自动导引小车(AGV)和火车道口系统道口系统建立了TCSP模型,给出了它们需要满足的特性,并据此确立了控制方法和综合后的系统模型。 相似文献
3.
4.
5.
基于阈值深度优先策略求解非对称旅行商问题的混合分枝定界算法 总被引:1,自引:0,他引:1
针对非对称旅行商问题(ATSP)模型计算难问题,提出了一种基于深度和广度方向混合搜索的启发式策略的分枝定界算法.该算法采取有阈值的深度优先加广度加权随机搜索的策略确定分枝节点,通过求解附加弧段约束的分配问题确定下界,通过消除子环的修补算法确定上界,从而有效综合了确定性方法的准确性和启发式方法的快速性.将此算法应用于求解经典TSPLIB库中的全部ATSP问题和热轧调度的仿真研究,表现出了较高的效率和可行性. 相似文献
6.
采用被服务Buffer编号为离散标识,Buffer中待处理任务数为连续状态,建立了系统的代数微分方程模型,提出了三个Buffers切换到达系统不稳定周期轨道的一种基于混合状态的镇定控制方法。当Server服务于一个Buffer时,以此状态下在连续周期轨道上对应的2个顶点张成的一维线形子流型滑动目标,仅通过系统许可的对极限连续处理时间的控制,使系统镇定于周期轨道,并从系统的混合模型角度,分析了镇定方法的鲁棒性。 相似文献
7.
混合控制系统的广义Pet ri 网建模与设计 总被引:3,自引:0,他引:3
提出一类混合系统的Petri网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Petri网的混合控制器设计方法。 相似文献
8.
9.
离散、连续和混合Petri网的一致性描述 总被引:1,自引:0,他引:1
本文引入的混合动态系统的Petri网模型,以建立混合控制系统的整体Petri网结构,和Petri网上附加离散、连续和混合动态时描述的一致性与继承性为目标.令牌及其标记概念上的具体化,是统一多种动态描述的基础.权为零有向弧的引入简化了监控结构.依赖混合动态网建立复杂控制系统的整体Petri网模型,为采用Petri网理论进行系统的分析、验证和设计提供了基础. 相似文献
10.
本文给出了具正负变系数时滞微分方程X’(t)+P(t)X(t-τ)-q(t)X(t-σ)=0的一个正解存在条件,其与充要条件相当接近。 相似文献