全文获取类型
收费全文 | 2729篇 |
免费 | 507篇 |
国内免费 | 204篇 |
出版年
2024年 | 17篇 |
2023年 | 55篇 |
2022年 | 53篇 |
2021年 | 82篇 |
2020年 | 137篇 |
2019年 | 81篇 |
2018年 | 20篇 |
2017年 | 75篇 |
2016年 | 123篇 |
2015年 | 83篇 |
2014年 | 201篇 |
2013年 | 160篇 |
2012年 | 207篇 |
2011年 | 196篇 |
2010年 | 200篇 |
2009年 | 166篇 |
2008年 | 225篇 |
2007年 | 296篇 |
2006年 | 146篇 |
2005年 | 125篇 |
2004年 | 110篇 |
2003年 | 119篇 |
2002年 | 80篇 |
2001年 | 99篇 |
2000年 | 52篇 |
1999年 | 55篇 |
1998年 | 53篇 |
1997年 | 40篇 |
1996年 | 35篇 |
1995年 | 38篇 |
1994年 | 29篇 |
1993年 | 13篇 |
1992年 | 14篇 |
1991年 | 16篇 |
1990年 | 18篇 |
1989年 | 18篇 |
1988年 | 2篇 |
1987年 | 1篇 |
排序方式: 共有3440条查询结果,搜索用时 453 毫秒
71.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
72.
针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。 相似文献
73.
章珂 《空军电讯工程学院学报》1998,(1):1-5
本文基于遗传算法提出了一个非最小相位系统辨识的新算法。用ARMA模型描述系统的传递函数。在最小误差准则下用遗传算法估计其ARMA模型参数。从而实现对其系统的辨识。这个方法不需要系统的估计初值,同时在低信噪比情况下也能获得较好的效果。 相似文献
74.
姜礼平 《海军工程大学学报》1991,(4)
本文讨论了带噪声情形下 AR 模型的参数估计及定阶问题,还给出了噪声模型的参数估计,并证明了它们的强相容性。 相似文献
75.
马立元 《军械工程学院学报》1991,(1)
本文运用极大似然法进行激光驾束制导反坦克导弹气动参数的辨识。在辨识的迭代寻优过程中,采用变步长搜索提高辨识准度;在辨识算法的具体计算处理上,采用了模型分解法,大大减少了计算时间,保证了气动参数的辨识精度。同时给出辨识仿真验证结果. 相似文献
76.
近十几年来,人们对机动目标的跟踪问题进行了大量研究。问题的核心是如何建立机动目标运动的数学模型。本文主要对现有的空中机动目标的数学模型进行评述和比较研究。 相似文献
77.
协同仿真环境的设计与实现 总被引:1,自引:0,他引:1
本文从计算机技术和仿真技术的发展和应用需求出发,提出了协同仿真的基本概念和关键技术,包括建模方法、仿真算法、仿真数据库等几个方面。讨论了协同仿真环境的一般体系结构,最后,介绍了一种协同仿真环境的设计和实现方法。 相似文献
78.
基于关系数据库的仿真模型管理 总被引:3,自引:0,他引:3
本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发,提出以关系代数系统实体结构(RASES)框架为理论依据、利用关系数据库进行模型库管理的方法,并给出模型库管理算法的形式化描述及系统设计。 相似文献
79.
80.
采用高阶精度WCNS格式和γ-Reθ转捩模型对VFE-2中等半径钝前缘三角翼进行了数值模拟,重点研究了前缘转捩对钝前缘三角翼涡结构的影响。计算结果与试验进行了详细对比,表明钝前缘三角翼的前缘分离涡发生在翼尖下游,在特定雷诺数下其具体发生位置受转捩因素影响,采用全湍流模型计算会推迟分离,而耦合转捩模型后的计算结果和试验吻合很好。然后基于耦合转捩模型方法,对钝前缘三角翼涡结构随迎角变化进行了模拟。计算结果与试验吻合,并表明在较小的迎角下,前缘不会产生分离诱导涡;随迎角不断增大,分离诱导涡在三角翼后缘附近产生并向上游移动。 相似文献