全文获取类型
收费全文 | 442篇 |
免费 | 30篇 |
国内免费 | 52篇 |
学科分类
工业技术 | 524篇 |
出版年
2024年 | 5篇 |
2023年 | 15篇 |
2022年 | 16篇 |
2021年 | 21篇 |
2020年 | 15篇 |
2019年 | 32篇 |
2018年 | 20篇 |
2017年 | 13篇 |
2016年 | 18篇 |
2015年 | 22篇 |
2014年 | 43篇 |
2013年 | 21篇 |
2012年 | 26篇 |
2011年 | 30篇 |
2010年 | 22篇 |
2009年 | 15篇 |
2008年 | 18篇 |
2007年 | 14篇 |
2006年 | 20篇 |
2005年 | 8篇 |
2004年 | 22篇 |
2003年 | 12篇 |
2002年 | 15篇 |
2001年 | 17篇 |
2000年 | 16篇 |
1999年 | 11篇 |
1998年 | 6篇 |
1997年 | 3篇 |
1996年 | 3篇 |
1995年 | 7篇 |
1994年 | 2篇 |
1993年 | 2篇 |
1992年 | 2篇 |
1990年 | 1篇 |
1989年 | 1篇 |
1987年 | 2篇 |
1986年 | 4篇 |
1985年 | 1篇 |
1984年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有524条查询结果,搜索用时 500 毫秒
131.
132.
133.
基于扩展Petri网的系统建模及形式化验证方法* 总被引:1,自引:1,他引:0
嵌入式实时系统对时间约束性、安全性和可靠性具有非常高的要求,但是传统的建模和形式化验证方法难以满足对系统的实时性和安全性的模拟和验证需求。通过对有色Petri网的时间属性进行扩展,提出了实时有色Petri网模型,能够对系统的时间属性进行模拟和评估;参考实时有色Petri网模型到时间自动机的语义转换规则对模型进行转换,可以利用时间计算树逻辑对系统的实时性、安全性和可靠性进行形式化验证。以列车通信网络控制器的双线冗余控制模块的建模和形式化验证为例,证明了该方法的有效性。 相似文献
134.
135.
136.
137.
本文介绍了多目标模糊决策方法的原理,并将其应用于辽宁省煤炭供应决 策问题的研究中.该方法对于提高能源决策水平具有重要的作用。 相似文献
138.
139.
在日常生活中,经常会遇到一些需要通过特殊手段来保护自身数据的情况,以此来避免数据受到有心人窥探或者破坏。随着现代通信技术的飞速发展,各种信息都在网络上共享,这在一定程度上对数据的保密性带来了威胁。因此,必须要对数据加密,从而为数据带来较高的保障。本篇文章主要对计算机应用中基于公钥的数据加密技术进行了全面详细的分析。 相似文献
140.
计算机技术在不断发展的过程中,为科技管理带来更大的挑战以及新的机遇,但是在实际应用的过程中,则必须利用科学有效的方法来将现代基于计算机技术的科技管理模式应用到现代化工作中去。本篇文章主要对计算机技术在科技管理过程中的应用进行了深入的研究。 相似文献