全文获取类型
收费全文 | 9538篇 |
免费 | 525篇 |
国内免费 | 534篇 |
专业分类
电工技术 | 589篇 |
技术理论 | 1篇 |
综合类 | 1283篇 |
化学工业 | 415篇 |
金属工艺 | 308篇 |
机械仪表 | 739篇 |
建筑科学 | 1105篇 |
矿业工程 | 350篇 |
能源动力 | 176篇 |
轻工业 | 194篇 |
水利工程 | 206篇 |
石油天然气 | 458篇 |
武器工业 | 99篇 |
无线电 | 798篇 |
一般工业技术 | 340篇 |
冶金工业 | 547篇 |
原子能技术 | 169篇 |
自动化技术 | 2820篇 |
出版年
2024年 | 14篇 |
2023年 | 49篇 |
2022年 | 89篇 |
2021年 | 122篇 |
2020年 | 108篇 |
2019年 | 101篇 |
2018年 | 80篇 |
2017年 | 137篇 |
2016年 | 160篇 |
2015年 | 184篇 |
2014年 | 534篇 |
2013年 | 399篇 |
2012年 | 649篇 |
2011年 | 717篇 |
2010年 | 663篇 |
2009年 | 546篇 |
2008年 | 552篇 |
2007年 | 676篇 |
2006年 | 614篇 |
2005年 | 589篇 |
2004年 | 479篇 |
2003年 | 464篇 |
2002年 | 376篇 |
2001年 | 350篇 |
2000年 | 329篇 |
1999年 | 248篇 |
1998年 | 175篇 |
1997年 | 198篇 |
1996年 | 149篇 |
1995年 | 143篇 |
1994年 | 95篇 |
1993年 | 99篇 |
1992年 | 70篇 |
1991年 | 57篇 |
1990年 | 35篇 |
1989年 | 50篇 |
1988年 | 30篇 |
1987年 | 30篇 |
1986年 | 24篇 |
1985年 | 24篇 |
1984年 | 17篇 |
1982年 | 11篇 |
1981年 | 12篇 |
1980年 | 9篇 |
1979年 | 16篇 |
1975年 | 9篇 |
1973年 | 11篇 |
1966年 | 9篇 |
1965年 | 9篇 |
1959年 | 8篇 |
排序方式: 共有10000条查询结果,搜索用时 0 毫秒
1.
Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization. 相似文献
2.
浅谈如何有效学习计算机软件知识 总被引:1,自引:0,他引:1
黄霞 《湖南工业职业技术学院学报》2003,3(2):79-80
计算机软件知识的学习并不是完全线性的,而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。 相似文献
3.
The evaluation of microcomputer programs: an area of debate 总被引:1,自引:0,他引:1
V. M. Johnston 《Journal of Computer Assisted Learning》1987,3(1):40-50
4.
本文介绍了一个用户接口管理系统NUUIMS的设计和实现.重点叙述了该系统基于规范化目标用户接口模型的设计思想,系统组成及描述方法.文章也讨论了使用NUUIMS设计而成的用户接口的特点. 相似文献
5.
6.
渤中13-1油田井身结构优化研究 总被引:1,自引:0,他引:1
针对渤中 1 3- 1油田钻井过程中存在的主要问题 ,利用测井、地质、录井和钻井资料 ,对该油田的井身结构进行研究 ,设计出合理的井身结构 ,优化了套管程序 ,为进一步减少钻井过程中漏、喷、塌、卡等复杂情况的发生 ,提供了科学的理论依据 相似文献
7.
孔颖 《数字社区&智能家居》2007,(3):1429-1429,1438
针对C语言程序设计课程本身的特点,分析学习过程中存在的问题,强调实践的必要性。结合一些学校课程改革和实践的经验.提出面向应用的,科学的学习内容、方法和模式。同时提高学习者的专业动手能力。 相似文献
8.
J. Dingel 《Formal Aspects of Computing》2002,14(2):123-197
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to
the programming task that makes it very error-prone. Moreover, a large variety of very different parallel architectures exists.
Porting an implementation from one machine to another may require substantial changes. This paper addresses some of these
problems by developing a formal basis for the design of parallel programs in the form of a refinement calculus. The calculus
allows the stepwise formal derivation of an abstract, low-level implementation from a trusted, high-level specification. The
calculus thus helps structuring and documenting the development process. Portability is increased, because the introduction
of a machine-dependent feature can be located in the refinement tree. Development efforts above this point in the tree are
independent of that feature and are thus reusable. Moreover, the discovery of new, possibly more efficient solutions is facilitated.
Last but not least, programs are correct by construction, which obviates the need for difficult debugging. Our programming/specification
notation supports fair parallelism, shared-variable and message-passing concurrency, local variables and channels. The calculus
rests on a compositional trace semantics that treats shared-variable and message-passing concurrency uniformly. The refinement
relation combines a context-sensitive notion of trace inclusion and assumption-commitment reasoning to achieve compositionality.
The calculus straddles both concurrency paradigms, that is, a shared-variable program can be refined into a distributed, message-passing
program and vice versa.
Received July 2001 / Accepted in revised form May 2002 相似文献
9.
10.
牛哲成.一种自制硬件诊断磁带的方法.测并技术,1994,18(2):149~154硬件诊断磁带是由用于对计算机硬件系统各组成部分进行功能检查、状态测试和故障检测的诊断测试程序集构成的一种专用工具磁带。本文提出了一种用户在PE3200系列计算机裸机环境下自己制作硬件诊断磁带的方法,井涉及到具体的程序实现。用该方法制作的硬件诊断磁带操作简单。对进一步搞好PE3200系列计算机的维护,开发完善PE3200系列计算机硬件诊断系统具有实际意义。 相似文献