全文获取类型
收费全文 | 432篇 |
免费 | 32篇 |
国内免费 | 12篇 |
出版年
2024年 | 2篇 |
2022年 | 7篇 |
2021年 | 5篇 |
2020年 | 9篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 4篇 |
2016年 | 9篇 |
2015年 | 8篇 |
2014年 | 34篇 |
2013年 | 37篇 |
2012年 | 45篇 |
2011年 | 41篇 |
2010年 | 29篇 |
2009年 | 34篇 |
2008年 | 35篇 |
2007年 | 25篇 |
2006年 | 14篇 |
2005年 | 25篇 |
2004年 | 9篇 |
2003年 | 14篇 |
2002年 | 20篇 |
2001年 | 13篇 |
2000年 | 10篇 |
1999年 | 6篇 |
1998年 | 10篇 |
1997年 | 8篇 |
1996年 | 1篇 |
1995年 | 6篇 |
1994年 | 2篇 |
1992年 | 3篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1988年 | 1篇 |
排序方式: 共有476条查询结果,搜索用时 46 毫秒
81.
针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。 相似文献
82.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
83.
采用基于Vega和Creator的虚拟现实仿真机制和人机交互设备,构建某型工程车训练仿真系统虚拟操作训练环境。根据位置跟踪传感器跟踪受训人员手的位置和姿态,使用数据手套获取受训人员手部各关节数据,驱动虚拟手实现人机交互,完成虚拟操作训练任务,并采用前馈神经网络模式识别法和空间位姿判别法,分别对静态手势和动态操作命令进行识别。 相似文献
84.
配备有导弹的战斗机似乎比只发射电波的飞机更能发挥作战效能,但在现代的武器中,电子作战飞机大有后来居上之势。它的出现,将改变战场上的角色。 相似文献
85.
在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验. 相似文献
86.
87.
开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。 相似文献
88.
89.
90.
在基于OpenFlow的软件定义网络中,控制器需要对全局网络状态保持全面并且实时的掌握,怎样快速地获取当前网络的拓扑状态成为了重要前提。而SDN的拓扑发现协议OFDP虽然已经将控制权交给了控制器,但是仍采用洪泛式的拓扑发现消息发送机制来进行拓扑发现,没有达到全局最优,增加了不必要的开销。因此,提出一种基于OFDP的改进机制,在控制器中添加新的拓扑发现功能模块,通过减少重复端口发现的方式,来减少网络中的拓扑发现消息的数量。仿真实验结果表明,改进机制在加快了网络拓扑的生成的同时,减轻了控制器的负载。 相似文献