全文获取类型
收费全文 | 293篇 |
免费 | 94篇 |
国内免费 | 55篇 |
出版年
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 9篇 |
2020年 | 9篇 |
2019年 | 1篇 |
2018年 | 2篇 |
2017年 | 16篇 |
2016年 | 30篇 |
2015年 | 19篇 |
2014年 | 17篇 |
2013年 | 26篇 |
2012年 | 26篇 |
2011年 | 34篇 |
2010年 | 21篇 |
2009年 | 27篇 |
2008年 | 21篇 |
2007年 | 23篇 |
2006年 | 32篇 |
2005年 | 27篇 |
2004年 | 12篇 |
2003年 | 13篇 |
2002年 | 9篇 |
2001年 | 14篇 |
2000年 | 9篇 |
1999年 | 8篇 |
1998年 | 12篇 |
1997年 | 3篇 |
1996年 | 4篇 |
1995年 | 2篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1992年 | 2篇 |
1991年 | 1篇 |
1990年 | 4篇 |
1989年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有442条查询结果,搜索用时 93 毫秒
191.
求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对求解不可满足子式的非完全方法,提出了消解悖论与悖论解析树的概念,在此基础上提出一种启发式局部搜索算法。该算法根据公式的消解规则,采用局部搜索过程直接构造证明不可满足性的悖论解析树,而后递归搜索得到不可满足子式;算法中融合了布尔推理技术、动态剪枝方法及蕴含消除方法以提高搜索效率。基于随机测试集进行了实验对比,结果表明提出的算法优于同类算法。 相似文献
192.
193.
针对不返回起始点、多个待救援点的应急救援路径规划问题,提出了一种应急救援路径规划的改进蚁群算法,设计了一种新的路径构造方法,为蚁群算法求解该类问题打下了基础。为提高收敛性,改进了信息素更新规则,构造了一种与蚁群算法有效结合的局部搜索算法,提高了算法快速寻优的能力。仿真结果表明:改进蚁群算法能够快速找到一条从救援中心到多个待救援点的优化路径,且收敛速度和最短路径较同类算法更优。 相似文献
194.
为提高单基准站短基线相对定位解算的可靠性,研究了多基准站约束的相对定位算法。将基准站间可提前测量的先验基线信息融入观测模型中,给出了多基准站相对定位的函数模型和随机模型,在此基础上推导了模糊度精度因子的解析表达式,揭示了基准站数量的增加对模糊度浮点解精度提升的作用;从理论上分析了基准站间先验基线信息中的偏差对模糊度解算的影响,分析表明,当先验基线各分量偏差的绝对值之和小于5 cm时,模糊度解算几乎不受影响;通过仿真和实测数据进行了验证。试验结果表明,增加基准站数量不仅能有效提升模糊度解算成功率和收敛速度,并且对先验基线信息中的偏差具有较好的抑制作用,当基线各分量偏差均增加到4 cm时,实测数据模糊度解算成功率仍能达到92%以上。研究结论为特殊场景下多基准站间的快速非精确标定提供了理论依据。 相似文献
195.
针对复杂环境、复杂任务以及复杂作战过程的现状,首次提出了任务合成的概念、任务合成的运行架构并建立了验证环境,为提升未来飞机作战能力提供了理论基础和参考。任务合成技术分为任务态势感知模式合成、任务计划评估决策模式合成、任务执行与管理模式合成,通过构建任务模式和活动组织,依据任务目标和任务架构,确定系统任务能力、目标和状态组织结构,形成系统任务合成模式,从而达到提升任务系统响应、任务优化、任务执行的能力和品质的目的。 相似文献
196.
197.
Consider a patrol problem, where a patroller traverses a graph through edges to detect potential attacks at nodes. An attack takes a random amount of time to complete. The patroller takes one time unit to move to and inspect an adjacent node, and will detect an ongoing attack with some probability. If an attack completes before it is detected, a cost is incurred. The attack time distribution, the cost due to a successful attack, and the detection probability all depend on the attack node. The patroller seeks a patrol policy that minimizes the expected cost incurred when, and if, an attack eventually happens. We consider two cases. A random attacker chooses where to attack according to predetermined probabilities, while a strategic attacker chooses where to attack to incur the maximal expected cost. In each case, computing the optimal solution, although possible, quickly becomes intractable for problems of practical sizes. Our main contribution is to develop efficient index policies—based on Lagrangian relaxation methodology, and also on approximate dynamic programming—which typically achieve within 1% of optimality with computation time orders of magnitude less than what is required to compute the optimal policy for problems of practical sizes. © 2014 Wiley Periodicals, Inc. Naval Research Logistics, 61: 557–576, 2014 相似文献
198.
舰载指控系统一体化仿真研究 总被引:1,自引:0,他引:1
本文提出了舰载指控系统一体化仿真体系结构,其一体化仿真模型用到了诸如面向对象、数据库、可视化等技术,具有较好的人机交互界面,能实现作战模拟、评价作战方案等。 相似文献
199.
空间碎片网捕是一种新型的空间碎片清理方式。首先介绍了基于活动的建模方法(ABM)以及进行体系结构建模的流程,之后基于系统的基本工作流程,使用System Architect软件对空间碎片网捕任务的体系结构进行了可视化建模,得到了典型的作战视图,并进行了任务流程的仿真;对理解空间目标网捕系统的功能、研究空间碎片网捕任务的流程,提出系统构建需求具有一定的参考价值。。 相似文献
200.