全文获取类型
收费全文 | 240篇 |
免费 | 102篇 |
国内免费 | 18篇 |
出版年
2024年 | 1篇 |
2023年 | 2篇 |
2022年 | 2篇 |
2021年 | 2篇 |
2020年 | 8篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 14篇 |
2016年 | 17篇 |
2015年 | 16篇 |
2014年 | 21篇 |
2013年 | 16篇 |
2012年 | 15篇 |
2011年 | 11篇 |
2010年 | 10篇 |
2009年 | 25篇 |
2008年 | 18篇 |
2007年 | 20篇 |
2006年 | 24篇 |
2005年 | 13篇 |
2004年 | 21篇 |
2003年 | 8篇 |
2002年 | 8篇 |
2001年 | 10篇 |
2000年 | 9篇 |
1999年 | 5篇 |
1998年 | 4篇 |
1997年 | 6篇 |
1996年 | 6篇 |
1995年 | 5篇 |
1994年 | 4篇 |
1993年 | 6篇 |
1992年 | 5篇 |
1991年 | 5篇 |
1990年 | 12篇 |
1989年 | 4篇 |
1988年 | 1篇 |
排序方式: 共有360条查询结果,搜索用时 15 毫秒
231.
本文提出了通过源语言到中间语言的变换进行语言扩充的方法。这种方法已用来在YFT77中扩充向量语句,实践证明,这是一种有效、可行的途径。 相似文献
232.
刘普寅 《国防科技大学学报》1990,12(3):25-31
本文讨论一个凸集C 的支撑函数的几个有用性质,并把这些性质应用于对函数次微分的研究,得到有关函数次微分的几个有趣结果。 相似文献
233.
谷建湘 《国防科技大学学报》1990,12(3):45-49
离散时间的有限状态马尔可夫链最优停止的值函数存在的一个充分条件是所对应的线性规划有解,且其最优解等于值函数,本文证明这个条件还是必要的。 相似文献
234.
李登峯 《国防科技大学学报》1990,12(3):70-75
本文给出求解运输问题的一种新的方法——运输问题对偶算法(仍是表上作业法)。最后给出的实例说明本文算法在解决某些问题时比[1]中方法简便。 相似文献
235.
本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。 相似文献
236.
237.
238.
239.
吴树和 《海军工程大学学报》2000,(5):68-72
建立了在一个含有若干障碍点的矩形母域内求一个最大面积避障矩形问题的数学模型.通过分析避障矩形的几何特性,找到了求解这一含有0-1变量的非线性规划数学模型的一种特殊解法. 相似文献
240.
David R. Morrison Jason J. Sauppe Wenda Zhang Sheldon H. Jacobson Edward C. Sewell 《海军后勤学研究》2017,64(1):64-82
The cyclic best‐first search (CBFS) strategy is a recent search strategy that has been successfully applied to branch‐and‐bound algorithms in a number of different settings. CBFS is a modification of best‐first search (BFS) that places search tree subproblems into contours which are collections of subproblems grouped in some way, and repeatedly cycles through all non‐empty contours, selecting one subproblem to explore from each. In this article, the theoretical properties of CBFS are analyzed for the first time. CBFS is proved to be a generalization of all other search strategies by using a contour definition that explores the same sequence of subproblems as any other search strategy. Further, a bound is proved between the number of subproblems explored by BFS and the number of children generated by CBFS, given a fixed branching strategy and set of pruning rules. Finally, a discussion of heuristic contour‐labeling functions is provided, and proof‐of‐concept computational results for mixed‐integer programming problems from the MIPLIB 2010 database are shown. © 2017 Wiley Periodicals, Inc. Naval Research Logistics, 64: 64–82, 2017 相似文献