全文获取类型
收费全文 | 174篇 |
免费 | 24篇 |
国内免费 | 38篇 |
专业分类
电工技术 | 16篇 |
综合类 | 8篇 |
化学工业 | 20篇 |
金属工艺 | 2篇 |
机械仪表 | 10篇 |
建筑科学 | 13篇 |
矿业工程 | 8篇 |
能源动力 | 2篇 |
轻工业 | 4篇 |
水利工程 | 4篇 |
石油天然气 | 1篇 |
无线电 | 24篇 |
一般工业技术 | 8篇 |
冶金工业 | 1篇 |
自动化技术 | 115篇 |
出版年
2024年 | 2篇 |
2023年 | 8篇 |
2022年 | 2篇 |
2021年 | 6篇 |
2020年 | 8篇 |
2019年 | 11篇 |
2018年 | 3篇 |
2017年 | 6篇 |
2016年 | 2篇 |
2015年 | 5篇 |
2014年 | 12篇 |
2013年 | 9篇 |
2012年 | 3篇 |
2011年 | 8篇 |
2010年 | 11篇 |
2009年 | 11篇 |
2008年 | 5篇 |
2007年 | 13篇 |
2006年 | 11篇 |
2005年 | 19篇 |
2004年 | 17篇 |
2003年 | 11篇 |
2002年 | 5篇 |
2001年 | 10篇 |
2000年 | 8篇 |
1999年 | 7篇 |
1998年 | 4篇 |
1997年 | 5篇 |
1996年 | 4篇 |
1995年 | 3篇 |
1994年 | 3篇 |
1993年 | 3篇 |
1987年 | 1篇 |
排序方式: 共有236条查询结果,搜索用时 234 毫秒
1.
介绍了超高性能混凝土(UHPC)的制备原理和性能特点,对UHPC国内外研究和应用情况进行了综述,指出了我国UHPC研究和应用中存在的问题。结果表明:UHPC是一种具有优异的力学性能、耐久性能和环保效益的新型水泥基复合材料。国外在UHPC理论研究和应用研究方面都取得了大量成果,在实际工程中已经获得了广泛的应用;近年来我国在理论研究和应用方面也得到了快速发展;如何简化UHPC制备工艺、降低生产成本、补偿自收缩是今后的主要研究方向,完善相关规范标准以更好地指导UHPC现浇工程应用是目前首要解决的问题。随着环保和可持续发展理念的日益重视,UHPC这种低碳环保材料将有广阔的发展前景。 相似文献
2.
3.
4.
中断驱动系统模型检验 总被引:1,自引:1,他引:0
针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法. 相似文献
5.
7.
型构兼容的继承及其语义 总被引:1,自引:0,他引:1
本文揭示了在面向对象程序设计语言中,若劲旅子类重定义其继承的分类方法以发迹这些方法的规约,并且采用类似于Smaltalk-80中的继承机制的语义,将导致封将与继承之间的一个新总是为此,本文提出了一种新的继承机制-型构兼容的继承,以代替传统的增量继承。型构兼容的继承是一种灵活的代码复用机制,并且能够充分支持封装。 相似文献
8.
内存泄漏是软件系统中常见的一种错误,会持续消耗内存,致使系统运行效率下降,甚至导致系统崩溃。内存泄漏的检测工具主要可以分为两类:一类是使用基于程序扫描分析技术的静态工具;另一类则是监视实时内存分配状态进行判别的动态工具。如何评估工具检测内存泄漏的能力,相关的标准并不明确。通过对内存泄漏的认识与了解,对相关工具能力进行了调研与分析,提出了一个内存泄漏工具的评估标准。 相似文献
9.
10.
混成自动机行为中既包含离散行为又包含连续行为,非常复杂。其安全性验证问题难以解决,即使是线性混成自动机,它的可达性问题也被证明是不可判定的。现有工具大都使用多面体计算来计算线性混成自动机的可达状态空间集,复杂度高,可处理问题规模非常有限。为了避免这类问题,实现了一种新的工具。该工具将线性混成自动机表达为等价的迁移系统,并利用迁移系统上不变式生成相关工作对混成自动机进行验证。实验数据表明,方法有效可行,工具具有良好的性能。 相似文献