全文获取类型
收费全文 | 159篇 |
免费 | 19篇 |
国内免费 | 15篇 |
专业分类
电工技术 | 23篇 |
综合类 | 12篇 |
化学工业 | 7篇 |
金属工艺 | 9篇 |
机械仪表 | 12篇 |
建筑科学 | 11篇 |
矿业工程 | 5篇 |
能源动力 | 5篇 |
轻工业 | 3篇 |
武器工业 | 1篇 |
无线电 | 23篇 |
一般工业技术 | 16篇 |
冶金工业 | 3篇 |
原子能技术 | 1篇 |
自动化技术 | 62篇 |
出版年
2024年 | 3篇 |
2023年 | 9篇 |
2022年 | 3篇 |
2021年 | 7篇 |
2020年 | 6篇 |
2019年 | 10篇 |
2018年 | 4篇 |
2017年 | 8篇 |
2016年 | 5篇 |
2015年 | 9篇 |
2014年 | 8篇 |
2013年 | 3篇 |
2012年 | 4篇 |
2011年 | 10篇 |
2010年 | 7篇 |
2009年 | 8篇 |
2008年 | 6篇 |
2007年 | 16篇 |
2006年 | 10篇 |
2005年 | 6篇 |
2004年 | 9篇 |
2003年 | 18篇 |
2002年 | 9篇 |
2001年 | 5篇 |
2000年 | 4篇 |
1999年 | 1篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 2篇 |
1992年 | 1篇 |
排序方式: 共有193条查询结果,搜索用时 0 毫秒
11.
12.
13.
概率模型检验建立在非概率模型检验技术的基础上,不仅能够对系统进行定性的验证,还能够定量判断系统满足相关性质的概率,具有广泛的适用性。LTL概率模型检验算法的复杂度较高,达到双重指数级别,现有的工具如PRISM与MRMC均不支持对LTL性质的验证。针对这个问题,通过对原有的LTL概率模型检验算法进行优化,实现了一个高效的LTL概率模型检验工具。通过对比实验验证了该工具的有效性。 相似文献
14.
通过对电力推进船舶中央冷却系统的综合分析,建立电力推进船舶中冷系统的稳态换热模型和动态换热模型。对中冷系统的冷却水出口温度的控制方案,进行了传统的PID控制和基于功率的前馈、反馈控制研究,并在此基础上对控制方案计算机仿真,比较两种控制方案的区别。 相似文献
15.
16.
在对电力企业信息系统整合问题的提出、研究的必要性、整合层次以及EAI逻辑架构论述的基础上 ,提出基于J2EE的电力企业信息系统整合方案 :采用基于异部的消息传送、基于JCA (JavaConnectorArchitecture)以及基于网络服务 (WebService)的整合技术 ,能够很好的与企业原有应用系统进行整合 ,并提出了J2EE应用服务器的总体结构。最后 ,给出了基于J2EE的企业应用整合框架。 相似文献
17.
能量市场和运行备用市场定价方法的解耦条件 总被引:1,自引:4,他引:1
该文利用随机生产模拟得到了在能量市场和备用市场中机组的收益估计。按优良加载序加载机组,在目前的市场规则下可能出现备用市场的收益大于能量市场的收益,从而引起系统运行经济性的破坏。该文给出了产生这种情况的临界条件,即所谓解耦条件。而且由于在目前的定价机制中这个关系容易被破坏,所以这个条件应该引起足够的重视。 相似文献
18.
介绍多组大功率LED级联作为标准源使用时存在的主要问题,指出温度是影响LED光通量稳定性的主要原因。采用正向电压法测量结温并通过单片机温控系统将结温稳定在一定范围内的实验表明,结温对LED光辐射功率有直接影响,若保持结温恒定,光辐射功率将随电流增大线性增加。 相似文献
19.
介绍了吉林热电厂是如何通过严格执行氢气湿度控制标准,抓住供氢,储氢,运行氢,监测氢等几个主要环节,来控制氢冷发电机组氢气湿度的,并对今后进一步做好这一工作提出了一些设想。 相似文献
20.