全文获取类型
收费全文 | 143篇 |
免费 | 35篇 |
国内免费 | 7篇 |
出版年
2023年 | 1篇 |
2021年 | 3篇 |
2020年 | 1篇 |
2019年 | 1篇 |
2017年 | 7篇 |
2016年 | 7篇 |
2015年 | 6篇 |
2014年 | 12篇 |
2013年 | 14篇 |
2012年 | 12篇 |
2011年 | 16篇 |
2010年 | 10篇 |
2009年 | 7篇 |
2008年 | 17篇 |
2007年 | 6篇 |
2006年 | 16篇 |
2005年 | 5篇 |
2004年 | 10篇 |
2003年 | 6篇 |
2002年 | 4篇 |
2001年 | 4篇 |
1999年 | 5篇 |
1998年 | 5篇 |
1996年 | 3篇 |
1994年 | 2篇 |
1993年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1988年 | 1篇 |
排序方式: 共有185条查询结果,搜索用时 15 毫秒
1.
为了合理解决网格划分对坦克动力舱空气流动与传热三维数值计算效率和计算精度的影响,特提出动力舱空气流动计算区域的网格生成方法.对某型坦克动力舱的网格生成实例,显示了这种方法的实用性. 相似文献
2.
星空场景建模是空间目标识别与跟踪的关键技术之一.基于中段空间实验红外天文星表(MSX-IRAC),通过位置计算得到该星表内恒星在指定观测时刻、观测地点投影到视场所在平面的坐标,同时利用改进的光谱模板技术,生成视场内所有点源星体的红外光谱(1.2~35 μm),并对光谱积分得到指定谱段的辐射量,最后将恒星位置和辐射信息在二维图像上表现出来,从而实现了一个星空点源背景红外辐射场景生成模型,并通过实例仿真验证了该模型的正确性. 相似文献
3.
4.
In many practical manufacturing environments, jobs to be processed can be divided into different families such that a setup is required whenever there is a switch from processing a job of one family to another job of a different family. The time for setup could be sequence independent or sequence dependent. We consider two particular scheduling problems relevant to such situations. In both problems, we are given a set of jobs to be processed on a set of identical parallel machines. The objective of the first problem is to minimize total weighted completion time of jobs, and that of the second problem is to minimize weighted number of tardy jobs. We propose column generation based branch and bound exact solution algorithms for the problems. Computational experiments show that the algorithms are capable of solving both problems of medium size to optimality within reasonable computational time. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 823–840, 2003. 相似文献
5.
基于本体论方法形式化地探讨装备保障计划本体的建立和分析,具体介绍了机械化步兵师装备保障计划本体的建立方法、本体元素的描述、本体的一致性等方面的内容。给出两个判断类间关系一致性的算法并分析其性质,探讨了基于公理化的知识的一致性。 相似文献
6.
水下制氢反应室动态过程数值分析 总被引:1,自引:1,他引:0
为研究水下制氢反应室的动态过程规律,基于化学反应动力学和单液滴运动学得到合金/水反应转化率,并在最小自由能法计算得到生成物各组分摩尔数的基础上利用质量守恒方程得到室内各物质质量变化规律。在建立非线性移动边界螺旋管动态模型的前提下,利用能量守恒方程得到室内热力参数变化规律,进而完成制氢反应室动态过程详尽模型的建立。利用该模型编写计算程序,完成某水下制氢反应室动态过程仿真。结果表明,各仿真曲线较好地反映了对应参数的动态变化规律,验证了模型建立与仿真的正确性;合金/水反应转化率决定了反应室的物质质量变化规律及其能量释放特性。该模型可以作为制氢反应室动态特性分析及其过程控制研究的基础模型。 相似文献
7.
We consider the problem of scheduling customer orders in a flow shop with the objective of minimizing the sum of tardiness, earliness (finished goods inventory holding), and intermediate (work‐in‐process) inventory holding costs. We formulate this problem as an integer program, and based on approximate solutions to two different, but closely related, Dantzig‐Wolfe reformulations, we develop heuristics to minimize the total cost. We exploit the duality between Dantzig‐Wolfe reformulation and Lagrangian relaxation to enhance our heuristics. This combined approach enables us to develop two different lower bounds on the optimal integer solution, together with intuitive approaches for obtaining near‐optimal feasible integer solutions. To the best of our knowledge, this is the first paper that applies column generation to a scheduling problem with different types of strongly ????‐hard pricing problems which are solved heuristically. The computational study demonstrates that our algorithms have a significant speed advantage over alternate methods, yield good lower bounds, and generate near‐optimal feasible integer solutions for problem instances with many machines and a realistically large number of jobs. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004. 相似文献
8.
基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(Global Temporal Logic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。 相似文献
9.
提出了中段反导指挥控制能力生成的要素基础建设机理、要素集成聚优机理和要素联动涌效机理,构建了中段反导指挥控制能力总体构成框架,并对作战能力具体构成进行了分析,可为反导指挥控制系统建设及作战效能评估提供借鉴。 相似文献
10.