全文获取类型
收费全文 | 414篇 |
免费 | 43篇 |
国内免费 | 39篇 |
专业分类
电工技术 | 14篇 |
综合类 | 64篇 |
化学工业 | 35篇 |
金属工艺 | 9篇 |
机械仪表 | 18篇 |
建筑科学 | 43篇 |
矿业工程 | 7篇 |
能源动力 | 11篇 |
轻工业 | 32篇 |
水利工程 | 9篇 |
石油天然气 | 4篇 |
武器工业 | 3篇 |
无线电 | 48篇 |
一般工业技术 | 33篇 |
冶金工业 | 6篇 |
自动化技术 | 160篇 |
出版年
2024年 | 6篇 |
2023年 | 18篇 |
2022年 | 20篇 |
2021年 | 19篇 |
2020年 | 10篇 |
2019年 | 16篇 |
2018年 | 24篇 |
2017年 | 7篇 |
2016年 | 13篇 |
2015年 | 14篇 |
2014年 | 24篇 |
2013年 | 22篇 |
2012年 | 25篇 |
2011年 | 30篇 |
2010年 | 21篇 |
2009年 | 18篇 |
2008年 | 22篇 |
2007年 | 26篇 |
2006年 | 33篇 |
2005年 | 25篇 |
2004年 | 12篇 |
2003年 | 13篇 |
2002年 | 14篇 |
2001年 | 16篇 |
2000年 | 23篇 |
1999年 | 5篇 |
1998年 | 4篇 |
1997年 | 1篇 |
1996年 | 7篇 |
1995年 | 5篇 |
1994年 | 1篇 |
1991年 | 1篇 |
1989年 | 1篇 |
排序方式: 共有496条查询结果,搜索用时 46 毫秒
31.
安全关键信息物理系统的时间属性建模和验证至关重要。Event-B模型验证避免了基于状态遍历模型检查方法的状态空间爆炸问题,验证时耗少,适用于高并发系统。然而,常规的Event-B方法缺乏时间语义表达结构,特别是缺乏对可提高系统可预测性的时间触发属性的支持。首先,介绍支持时间触发系统的抽象建模框架TTEB,从系统行为和实现2个抽象层次对时间属性进行建模和精化。然后,通过有序事件链组成的时间触发转移描述行为层时间触发属性;通过全局时钟到分布式本地时钟的精化和分解实现行为模型到实现模型的转化;运用时间触发转移建模分布式时钟周期同步。最后,基于从车跟车系统建模与验证说明方法的可用性和有效性。 相似文献
32.
体系结构分析及设计语言(AADL)作为一种标准且直观的实时系统分析与设计工具,可以为系统设计、分析、验证、自动代码生成等关键环节提供统一的抽象表示。然而,AADL模型采用仿真的验证方法无法得到精确的端到端延迟验证结果,尤其是对于资源动态分配的实时系统。为解决结果不精确的问题,可结合基于系统有穷状态空间遍历的模型检验方法。首先,将实时系统AADL模型转换为时间自动机(TA)模型,以TA为理论体系进行模型检验。其次,基于反应链的需求分类定义端到端延迟需求表达模式。最后,给出对应需求模式的观察者模型,与系统模型并行组合,优化模型验证的时空资源消耗。 相似文献
33.
34.
由于陕西地处古秦国统治的中心地面,所以陕菜也被称为秦菜。此处所讲“菜系”,指一个系列的综合风貌,非个别食品、制法以及其他零星特点。一个菜系,必须包括烹饪原料系统、烹调加工方式方法(技艺)系统、味型特点(包括口感)、产品系列、消费方式、有关的理论等等在内的方方面面。我们依据的是以《周礼》等为代表的先秦典籍,这里强调的是,西周之前有菜,但还未形成像《周礼》式的完整系统以及饮食文化,关于后者如饮食组织管理机构、各种礼仪及习俗规定的座位排序、卫生要求、注意事项以及原料挑选、取料原则、加工工艺、食料配比、消费方式、食医食疗、四季养生理论等等。 相似文献
35.
李曦 《武汉理工大学学报(材料科学英文版)》2002,17(2):90-92
A new method is introduced to study the action between biomaterials and organism. By using an LKB- 2277 bioactivity monitor and ampoule method, the fundamental thermogenesis curves of the metabolic process of pk-15 and the toxic effect of three kinds of selenomorpholine compounds on it were studied at 37℃. From the thermogenesis curves, the heat released by pk-15 metabolism was calculated. The results show that the selenium compounds all have toxic action on the metabolism process of pk-15 at the range of experimental concentrations. The sequence of the toxic action of selenium compounds is: Na2SeO3>β- ( N- selenomorpholine) -ethyl phenyike-tone hydrochloride > selenomorpholine. 相似文献
36.
清代官僚资本是盐商发迹的主要资本来源之一.清初,盐商依靠官僚资本的扶持得以迅速发展,并于乾隆中叶达到顶峰.但乾隆后期以来,随着官僚资本的日益高利贷化,盐商因受累于官僚资本的剥削和压榨而逐渐走向衰败,嘉道以后,终于发展到纷纷倒闭的局面.事实表明,清代盐商的兴衰与官僚资本之间有着息息相关的联系. 相似文献
37.
水资源的可持续利用是确保农业可持续发展的重要前提条件,针对我国西北地区农业水资源利用中所存在的一系列问题,探讨并提出了实现农业水资源永续利用必须遵循的基本原则。 相似文献
38.
39.
40.