全文获取类型
收费全文 | 128篇 |
免费 | 9篇 |
国内免费 | 36篇 |
专业分类
电工技术 | 1篇 |
综合类 | 1篇 |
化学工业 | 6篇 |
金属工艺 | 1篇 |
建筑科学 | 8篇 |
矿业工程 | 1篇 |
轻工业 | 2篇 |
无线电 | 6篇 |
冶金工业 | 17篇 |
自动化技术 | 130篇 |
出版年
2023年 | 2篇 |
2013年 | 1篇 |
2012年 | 1篇 |
2010年 | 2篇 |
2009年 | 1篇 |
2008年 | 2篇 |
2007年 | 5篇 |
2006年 | 8篇 |
2005年 | 17篇 |
2004年 | 8篇 |
2003年 | 4篇 |
2002年 | 8篇 |
2001年 | 14篇 |
2000年 | 10篇 |
1999年 | 8篇 |
1998年 | 12篇 |
1997年 | 8篇 |
1996年 | 22篇 |
1995年 | 11篇 |
1994年 | 3篇 |
1992年 | 5篇 |
1991年 | 3篇 |
1990年 | 5篇 |
1989年 | 2篇 |
1988年 | 2篇 |
1987年 | 2篇 |
1986年 | 2篇 |
1984年 | 1篇 |
1983年 | 1篇 |
1982年 | 1篇 |
1981年 | 1篇 |
1980年 | 1篇 |
排序方式: 共有173条查询结果,搜索用时 15 毫秒
1.
2.
等离子体法制备碳化硅超细粉末研究 总被引:1,自引:0,他引:1
本文采用直流电弧等离子体法合成β-SiC超细粉末,产品纯度大于97%,平均粒径范围0.05~0.5μm产率1kg/h,此外,对其工业开发前景作了展望。 相似文献
3.
研究吸收对准相位匹配线性电光效应的影响,得到适用于吸收介质的准相位匹配线性电光效应的耦合波方程及其解析解.计算结果表明,吸收不但削弱光的强度,且影响o光与e光之间的电光耦合.当o光与e光的吸收系数不同时,由于它们之间的电光耦合,总输出光强随外加电场变化而变化.研究结果可用于吸收介质的电光器件设计. 相似文献
4.
型构兼容的继承及其语义 总被引:1,自引:0,他引:1
本文揭示了在面向对象程序设计语言中,若劲旅子类重定义其继承的分类方法以发迹这些方法的规约,并且采用类似于Smaltalk-80中的继承机制的语义,将导致封将与继承之间的一个新总是为此,本文提出了一种新的继承机制-型构兼容的继承,以代替传统的增量继承。型构兼容的继承是一种灵活的代码复用机制,并且能够充分支持封装。 相似文献
5.
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率. 相似文献
6.
基于简化系统依赖图的静态粗粒度切片方法 总被引:8,自引:0,他引:8
基于系统依赖图是计算面向对象程序切片的一个有效方法.但是,系统依赖图的缺点是太复杂,而且在建立系统依赖图的过程中容易出错,一旦出现错误就可能导致切片结果的不准确.通过对系统依赖图进行简化,得到了简化的系统依赖图.它省略了那些表示输入参数和输出参数的结点和概括边.同时,还定义了一种面向对象程序的粗粒度切片概念,讨论了它的性质,分析了它与细粒度切片的关系,并基于简化的系统依赖图计算面向对象程序的粗粒度切片.最后还讨论了切片技术的简单实现. 相似文献
7.
UML状态机(SM)是UML中用来对系统各种元素的离散行为建模的图.它丰富的表示符号提供了强大的描述机制,但也降低了其结构的模块性,提高了对其分析验证的难度.模型检验是自动检验有限状态并发系统的技术.通过模型检验SM描述的不同系统元素的行为是否满足某些性质,能尽早发现设计中的错误.为了将模型检验技术应用于SM的验证,本文用kripke结构定义SM的操作语义.与已有的SM语义定义不同,本文考虑到了SM中包含的不确定因素,用kripke结构描述系统所有可能的演化轨迹.通过检验从SM翻译得到的kripke结构达到模型检验SM的目的. 相似文献
8.
9.
10.
实时系统软件开发过程中形式方法的作用 总被引:2,自引:0,他引:2
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。 相似文献