首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   37篇
  免费   0篇
  国内免费   3篇
系统科学   13篇
综合类   27篇
  2013年   1篇
  2012年   2篇
  2011年   2篇
  2010年   2篇
  2009年   1篇
  2008年   1篇
  2006年   2篇
  2005年   3篇
  2004年   4篇
  2003年   1篇
  2002年   1篇
  2001年   2篇
  1999年   3篇
  1998年   2篇
  1997年   1篇
  1996年   1篇
  1995年   3篇
  1994年   3篇
  1993年   2篇
  1992年   1篇
  1991年   1篇
  1990年   1篇
排序方式: 共有40条查询结果,搜索用时 15 毫秒
1.
采用被服务Buffer编号为离散标识,Buffer中待处理任务数为连续状态,建立了系统的代数微分方程模型,提出了三个Buffers切换到达系统不稳定周期轨道的一种基于混合状态的镇定控制方法。当Server服务于一个Buffer时,以此状态下在连续周期轨道上对应的2个顶点张成的一维线形子流型滑动目标,仅通过系统许可的对极限连续处理时间的控制,使系统镇定于周期轨道,并从系统的混合模型角度,分析了镇定方法的鲁棒性。  相似文献   
2.
混合控制系统的广义Pet ri 网建模与设计   总被引:3,自引:0,他引:3  
提出一类混合系统的Petri网模型,强调连续与离散动态在同一层次的直接交互,连续与离散动态的分布式并发演化。给出基于混合Petri网的混合控制器设计方法。  相似文献   
3.
针对非对称旅行商问题(ATSP)模型计算难问题,提出了一种基于深度和广度方向混合搜索的启发式策略的分枝定界算法.该算法采取有阈值的深度优先加广度加权随机搜索的策略确定分枝节点,通过求解附加弧段约束的分配问题确定下界,通过消除子环的修补算法确定上界,从而有效综合了确定性方法的准确性和启发式方法的快速性.将此算法应用于求解经典TSPLIB库中的全部ATSP问题和热轧调度的仿真研究,表现出了较高的效率和可行性.  相似文献   
4.
有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。  相似文献   
5.
π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.  相似文献   
6.
基于通信顺序进程的并发DEDS的规范和证实   总被引:1,自引:0,他引:1  
在实时通信顺序进程(TCSP)的基础上对离散事件动态系统(DEDS)进行建模、规范和证实。介绍了TCSP中与DEDS相关的一些研究成果,根据离散事件的特点作了符号语义上的改进,就两个具体的例子——自动导引小车(AGV)和火车道口系统道口系统建立了TCSP模型,给出了它们需要满足的特性,并据此确立了控制方法和综合后的系统模型。  相似文献   
7.
本文引入了闭拟谱算子概念,得到这类闭算子的谱分解特征。推广了Banach空间中纯量型(无界)谱算子以及Well-bounded算子谱分解理论。 主要结果:T为闭拟谱算子的充要条件是T稠定闭,且存在复数u使I_mu≠0以及连续代数同态:Ac_o(R′)—→B(x),使得。  相似文献   
8.
基于尺度噪声能量估计的自适应语音去噪算法   总被引:1,自引:0,他引:1  
摘要:
针对语音增强技术中的信号去噪问题,提出了一种非线性小波自适应阈值去噪方法.该方法采用一个改进的阈值函数,克服了传统软、硬阈值函数的缺陷;在阈值选取规则中,引入尺度相关去噪法而自适应地选取尺度阈值,利用小波系数在空间尺度的相关性进行尺度噪声能量的估计,根据所得尺度噪声能量来选取对应尺度层中的最佳小波系数并作为该尺度的阈值;同时,应用该方法对不同强度噪声背景下的语音信号进行去噪.结果表明,其具有较好的降噪性能. 关键词:
语音信号; 滤波; 小波变换; 噪声能量; 自适应阈值 中图分类号: TN 912.3
文献标志码: A  相似文献   
9.
针对建立一流大学的学术团队建设问题,以科学化方法研究了末位淘汰机制对于学术团队创新力的作用.用著名的NK模型定义了4种常见的团队组织结构,即局部结构、小世界结构、无标度结构、层次结构.采用生态学中BS模型对末位淘汰机制对学术团队的作用进行建模,通过网络的演化结果分析末位淘汰机制对学术团队创新力的影响.分析表明:末位淘汰机制能否促进学术创新力的提升和是团队的组织结构细切相关的,末位淘汰机制对具有“局部和小世界结构”特征的学术团队具有稳定的提升作用,而对于“层次结构和无标度”结构的团队,将使学术创新力呈现大幅震荡,从长期来看学术创新力并未显著提升.并且对于稳定结构的学术团队,末位淘汰机制将使团队最终呈现个体分布的“相变”状态,即团队中大部分个体的创新力处于某个临界值之上,并由动力学建模验证了“相变”的结论.最后,对某高校学院的近年数据进行统计,验证了结论的有效性.  相似文献   
10.
离散、连续和混合Petri网的一致性描述   总被引:1,自引:0,他引:1  
本文引入的混合动态系统的Petri网模型,以建立混合控制系统的整体Petri网结构,和Petri网上附加离散、连续和混合动态时描述的一致性与继承性为目标.令牌及其标记概念上的具体化,是统一多种动态描述的基础.权为零有向弧的引入简化了监控结构.依赖混合动态网建立复杂控制系统的整体Petri网模型,为采用Petri网理论进行系统的分析、验证和设计提供了基础.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号