排序方式: 共有41条查询结果,搜索用时 0 毫秒
1.
2.
本文引入了闭拟谱算子概念,得到这类闭算子的谱分解特征。推广了Banach空间中纯量型(无界)谱算子以及Well-bounded算子谱分解理论。 主要结果:T为闭拟谱算子的充要条件是T稠定闭,且存在复数u使I_mu≠0以及连续代数同态:Ac_o(R′)—→B(x),使得。 相似文献
3.
基于通信顺序进程的并发DEDS的规范和证实 总被引:1,自引:0,他引:1
在实时通信顺序进程(TCSP)的基础上对离散事件动态系统(DEDS)进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果,根据离散事件的特点作了符号语义上的改进,就两个具体的例子——自动导引小车(AGV)和火车道口系统道口系统建立了TCSP模型,给出了它们需要满足的特性,并据此确立了控制方法和综合后的系统模型。 相似文献
4.
5.
混合控制系统的广义Pet ri 网建模与设计 总被引:3,自引:0,他引:3
提出一类混合系统的Petri网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Petri网的混合控制器设计方法。 相似文献
6.
基于阈值深度优先策略求解非对称旅行商问题的混合分枝定界算法 总被引:1,自引:0,他引:1
针对非对称旅行商问题(ATSP)模型计算难问题,提出了一种基于深度和广度方向混合搜索的启发式策略的分枝定界算法.该算法采取有阈值的深度优先加广度加权随机搜索的策略确定分枝节点,通过求解附加弧段约束的分配问题确定下界,通过消除子环的修补算法确定上界,从而有效综合了确定性方法的准确性和启发式方法的快速性.将此算法应用于求解经典TSPLIB库中的全部ATSP问题和热轧调度的仿真研究,表现出了较高的效率和可行性. 相似文献
7.
采用被服务Buffer编号为离散标识,Buffer中待处理任务数为连续状态,建立了系统的代数微分方程模型,提出了三个Buffers切换到达系统不稳定周期轨道的一种基于混合状态的镇定控制方法。当Server服务于一个Buffer时,以此状态下在连续周期轨道上对应的2个顶点张成的一维线形子流型滑动目标,仅通过系统许可的对极限连续处理时间的控制,使系统镇定于周期轨道,并从系统的混合模型角度,分析了镇定方法的鲁棒性。 相似文献
8.
本文给出了具正负变系数时滞微分方程X’(t)+P(t)X(t-τ)-q(t)X(t-σ)=0的一个正解存在条件,其与充要条件相当接近。 相似文献
9.
一类新型的模块化高级Petri网--π-网 总被引:4,自引:0,他引:4
π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题.在π-网中,任一π-网都可由五类基本π-网:Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使π-网自身具有了极大的可操作性和可计算性. 相似文献
10.
针对建立一流大学的学术团队建设问题,以科学化方法研究了末位淘汰机制对于学术团队创新力的作用.用著名的NK模型定义了4种常见的团队组织结构,即局部结构、小世界结构、无标度结构、层次结构.采用生态学中BS模型对末位淘汰机制对学术团队的作用进行建模,通过网络的演化结果分析末位淘汰机制对学术团队创新力的影响.分析表明:末位淘汰机制能否促进学术创新力的提升和是团队的组织结构细切相关的,末位淘汰机制对具有“局部和小世界结构”特征的学术团队具有稳定的提升作用,而对于“层次结构和无标度”结构的团队,将使学术创新力呈现大幅震荡,从长期来看学术创新力并未显著提升.并且对于稳定结构的学术团队,末位淘汰机制将使团队最终呈现个体分布的“相变”状态,即团队中大部分个体的创新力处于某个临界值之上,并由动力学建模验证了“相变”的结论.最后,对某高校学院的近年数据进行统计,验证了结论的有效性. 相似文献