全文获取类型
收费全文 | 415篇 |
免费 | 34篇 |
国内免费 | 34篇 |
出版年
2024年 | 3篇 |
2023年 | 6篇 |
2022年 | 5篇 |
2021年 | 11篇 |
2020年 | 16篇 |
2019年 | 3篇 |
2018年 | 3篇 |
2017年 | 8篇 |
2016年 | 12篇 |
2015年 | 14篇 |
2014年 | 33篇 |
2013年 | 33篇 |
2012年 | 37篇 |
2011年 | 38篇 |
2010年 | 27篇 |
2009年 | 34篇 |
2008年 | 24篇 |
2007年 | 20篇 |
2006年 | 21篇 |
2005年 | 22篇 |
2004年 | 17篇 |
2003年 | 14篇 |
2002年 | 13篇 |
2001年 | 11篇 |
2000年 | 11篇 |
1999年 | 2篇 |
1998年 | 14篇 |
1997年 | 11篇 |
1996年 | 6篇 |
1995年 | 2篇 |
1994年 | 4篇 |
1993年 | 3篇 |
1992年 | 4篇 |
1990年 | 1篇 |
排序方式: 共有483条查询结果,搜索用时 15 毫秒
111.
日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果. 相似文献
112.
113.
随着通信网络不断向各领域延伸,飞行自组网作为一种新型移动自组织网络,以飞行器作为空中无线通信节点建立网络,实现网络层高效通信.首先,通过考虑链路质量、流量负载和空间距离构建多路径路由模型,并设计抗干扰的多路径路由算法;其次,构建基于源节点路由回复包接收速率的解析模型;然后,对模型进行分析与评价;最后,通过仿真实验验证所... 相似文献
114.
通过研究材料的氧化前后质量的改变和强度减少及氧化前后微观结构的变化,研究了先驱体转化法制备的SiCf/Si-O-C复合材料的抗氧化、抗热震性能。结果表明SiCf/Si-O-C复合材料具有良好的抗氧化、抗热震性能。对所得材料微观结构进行了分析讨论,发现界面结构的变化是影响SiCf/Si-O-C复合材料抗氧化、抗热震性能的主要原因。 相似文献
115.
当前,全军政工信息网已经通到不少单位,没有通政工网的单位有的也建立了自己的局域网,安装了电子邮件服务器。电子邮件与普通邮件相比,它具有如下优点。快速:发送电子邮件后,只需要几秒钟就可通过网络传送到接收人的电子邮箱中。方便:书写、收发电子邮件都通过电脑自动完成,双方接收邮件都无时间和地点限制。可靠:每个电子邮箱地址都是惟一的, 相似文献
116.
117.
Banyan网具有结构简单、自寻址、硬件复杂度低等优点,因而被许多交换系统和多机系统作为基本互连网络,但其内阻塞特性限制了它的性能。对某些特定输入模式,Banyan网是非阻塞的。本文讨论Banyan网的一类非阻塞特性,说明它们在ATM交换机设计中的应用——通过数据分布提高ATM交换机的负载均衡能力,用更小的硬件代价实现多目广播功能。 相似文献
118.
Petri网最早用作模拟数字计算机的分析工具,是一种图示和数学兼具的模型工具。近10年来,Petri网在C3I系统中得到广泛应用。介绍了Petri网的基本概念,综述了Petri网在C3I系统建模、性能分析和系统设计中的应用。 相似文献
119.
用于实时系统性能分析中的扩展Petri网 总被引:1,自引:0,他引:1
Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。 相似文献
120.
本文论述了最优化方法与工程测量的关系,重点讨论了最优化方法在工程测量中的应用,建立了建筑测量控制网设计最优化模型,指出了最优化理论与方法在工程测量中的广泛应用前景。 相似文献