全文获取类型
收费全文 | 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.
一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率. 相似文献
5.
场景驱动的构件行为抽取 总被引:9,自引:1,他引:9
如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明. 相似文献
6.
实时系统软件开发过程中形式方法的作用 总被引:2,自引:0,他引:2
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。 相似文献
7.
8.
软件Agent的继承性研究 总被引:3,自引:0,他引:3
Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例. 相似文献
9.
本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件,语义条件,充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。 相似文献
10.
广义继承及其在面向对象程序设计语言中的实现* 总被引:1,自引:0,他引:1
本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制.为其在面向对象程序设计语言中的实现奠定了基础. 相似文献