全文获取类型
收费全文 | 243篇 |
免费 | 17篇 |
国内免费 | 19篇 |
专业分类
电工技术 | 7篇 |
综合类 | 17篇 |
化学工业 | 2篇 |
金属工艺 | 7篇 |
机械仪表 | 19篇 |
建筑科学 | 28篇 |
矿业工程 | 9篇 |
能源动力 | 3篇 |
轻工业 | 9篇 |
水利工程 | 2篇 |
石油天然气 | 4篇 |
武器工业 | 2篇 |
无线电 | 36篇 |
一般工业技术 | 16篇 |
冶金工业 | 3篇 |
原子能技术 | 2篇 |
自动化技术 | 113篇 |
出版年
2024年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2019年 | 1篇 |
2018年 | 1篇 |
2017年 | 2篇 |
2016年 | 5篇 |
2015年 | 7篇 |
2014年 | 17篇 |
2013年 | 13篇 |
2012年 | 15篇 |
2011年 | 12篇 |
2010年 | 16篇 |
2009年 | 18篇 |
2008年 | 20篇 |
2007年 | 16篇 |
2006年 | 12篇 |
2005年 | 14篇 |
2004年 | 18篇 |
2003年 | 18篇 |
2002年 | 12篇 |
2001年 | 8篇 |
2000年 | 8篇 |
1999年 | 8篇 |
1998年 | 6篇 |
1997年 | 7篇 |
1996年 | 4篇 |
1995年 | 1篇 |
1994年 | 1篇 |
1992年 | 1篇 |
1991年 | 3篇 |
1990年 | 2篇 |
1988年 | 1篇 |
1985年 | 2篇 |
1984年 | 1篇 |
1981年 | 1篇 |
1979年 | 2篇 |
1978年 | 1篇 |
排序方式: 共有279条查询结果,搜索用时 15 毫秒
21.
Shay Artzi Adam Kieżun Jaime Quinonez Michael D. Ernst 《Automated Software Engineering》2009,16(1):145-192
Knowing which method parameters may be mutated during a method’s execution is useful for many software engineering tasks.
A parameter reference is immutable if it cannot be used to modify the state of its referent object during the method’s execution. We formally define this notion,
in a core object-oriented language. Having the formal definition enables determining correctness and accuracy of tools approximating
this definition and unbiased comparison of analyses and tools that approximate similar definitions.
We present Pidasa, a tool for classifying parameter reference immutability. Pidasa combines several lightweight, scalable
analyses in stages, with each stage refining the overall result. The resulting analysis is scalable and combines the strengths
of its component analyses. As one of the component analyses, we present a novel dynamic mutability analysis and show how its
results can be improved by random input generation. Experimental results on programs of up to 185 kLOC show that, compared
to previous approaches, Pidasa increases both run-time performance and overall accuracy of immutability inference. 相似文献
22.
在框架结构获得普遍应用以后,建筑构件往往被分为两个部分:承重构件(线性框架)与空间构件(围护与分隔墙体)。这样的一种两分虽然有着实际操作和陈述上的便利,但是它缺乏学科内在的严密性与整体性,并因此而造成教学上概念理解方面的缺陷。本文反对这么一种简单化的理解方式,而是致力于探索在承重作用以外,线性构件的空间意义。为此,在简短的问题陈述以后,论文以森佩尔的“面饰”概念来展开对于空间的讨论,接着,论文以线性框架为主要研究对象,指出其与施马索夫的空间概念的暗合,通过具体的案例研究呈现了限定与划分这两种空间创造方式的不同性质。最后,指出这一研究在建筑基础教育上的意义。 相似文献
23.
王立秋 《山东大学学报(工学版)》1991,(3)
引入外功的概念,导出构成(火用)分析理论基础的三个基本定理,给出一个明确的物质系统(火用)的定义和常用物质系统(火用)的表达式。 相似文献
24.
熊劲磊 《数字社区&智能家居》2005,(35)
本文提出并实现了基于图形化用户界面的工作流过程定义工具,同时,实现了完全Web化的工作流收发文管理。图形化的过程定义工具可以提高用户建模的效率,可以直观方便的创建复杂的流程定义;B/S架构可以有效改善系统的易用性和降低系统维护工作量。 相似文献
25.
办公自动化是现代化办公发展的必然趋势,它不仅增强协同办公能力,而且提高了整个决策效能。通过对办公自动化系统中公文管理及流程定义的设计,提出了基于工作流方式的高校办公自动化系统,并实现了自主版权的通用OA软件。试用结果表明该系统具有一定的灵活性和可扩展性。 相似文献
26.
CORBA是OMG集团提出的新兴的开放的分布对象计算底层结构标准,是解决异构平台互操作性问题的方案之一. 相似文献
28.
本文在活动网络图的基础上进行扩展,提出了Exd-ANBD(Extended Activity-Network-Based Diagram)工作流过程模型,并给出模型的形式化定义。构造的模型改善了活动网络图在描述能力和逻辑性上的不足,使之更能贴近企业实际需求。 相似文献
29.
30.