全文获取类型
收费全文 | 40536篇 |
免费 | 2424篇 |
国内免费 | 1497篇 |
专业分类
电工技术 | 3475篇 |
技术理论 | 2篇 |
综合类 | 3586篇 |
化学工业 | 4214篇 |
金属工艺 | 1256篇 |
机械仪表 | 2815篇 |
建筑科学 | 8281篇 |
矿业工程 | 2024篇 |
能源动力 | 640篇 |
轻工业 | 2030篇 |
水利工程 | 1927篇 |
石油天然气 | 2715篇 |
武器工业 | 679篇 |
无线电 | 2932篇 |
一般工业技术 | 1899篇 |
冶金工业 | 649篇 |
原子能技术 | 80篇 |
自动化技术 | 5253篇 |
出版年
2024年 | 202篇 |
2023年 | 723篇 |
2022年 | 801篇 |
2021年 | 997篇 |
2020年 | 976篇 |
2019年 | 1087篇 |
2018年 | 555篇 |
2017年 | 824篇 |
2016年 | 1042篇 |
2015年 | 1247篇 |
2014年 | 2524篇 |
2013年 | 2164篇 |
2012年 | 2683篇 |
2011年 | 2569篇 |
2010年 | 2423篇 |
2009年 | 2686篇 |
2008年 | 2892篇 |
2007年 | 2568篇 |
2006年 | 2180篇 |
2005年 | 1976篇 |
2004年 | 1607篇 |
2003年 | 1560篇 |
2002年 | 1253篇 |
2001年 | 1140篇 |
2000年 | 943篇 |
1999年 | 806篇 |
1998年 | 672篇 |
1997年 | 544篇 |
1996年 | 494篇 |
1995年 | 442篇 |
1994年 | 424篇 |
1993年 | 285篇 |
1992年 | 308篇 |
1991年 | 283篇 |
1990年 | 223篇 |
1989年 | 284篇 |
1988年 | 28篇 |
1987年 | 18篇 |
1986年 | 7篇 |
1985年 | 5篇 |
1984年 | 3篇 |
1983年 | 2篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1980年 | 3篇 |
1979年 | 1篇 |
排序方式: 共有10000条查询结果,搜索用时 14 毫秒
12.
目前制造企业普遍基于参数化零部件设计数据找到已有的参数组合,并以此作为标准规格进行推荐,造成工作效率低下,出错率高。针对这种情况,将Markov模型引入企业的零部件标准规格推荐中,基于C#编程语言,以Microsoft Visual Studio为平台,在NX软件的基础上,开发了基于Markov模型的零部件标准规格推荐系统。该系统根据企业已有的设计数据,通过发掘数据内部的规律,找到数据中隐含的参数组合,并将其作为标准规格推荐给企业,为企业带来更为有效的零部件标准规格的推荐策略。 相似文献
13.
15.
以某刚构与肋拱组合体系桥梁为例,采用有限元程序建立了此类桥梁的空间有限元模型,进行了此类桥梁的稳定性能分析,研究成果对该类桥梁的分析、使用与推广有所助益。 相似文献
16.
18.
轨道交通区域控制器(ZC)是我国轨道交通信号系统选型的主流制式——基于通信的列车控制系统(CBTC)的核心子系统,其突出的安全性使得安全需求的形式化验证成为一个非常重要的问题.但是ZC自身的复杂性以及领域知识的繁杂难以掌握,使得形式化方法很难应用到安全需求的验证中去.针对这些问题,提出一种安全需求的自动验证方法,使用半形式化的问题框架方法(PF)来建模和分解安全需求,根据需求模型自动生成安全需求的验证模型和验证性质,在此基础上自动生成验证模型的Scade语言实现,并通过Design Verifier验证器对需求进行组合验证.最后,使用了某个实际案例ZC的一个子问题CAL_EOA进行了研究,实验结果证明了该方法的可行性与有效性,它能自动地将安全需求模型进行组合验证,改善了验证的效率. 相似文献
19.
20.