全文获取类型
收费全文 | 91篇 |
免费 | 8篇 |
国内免费 | 18篇 |
专业分类
电工技术 | 1篇 |
综合类 | 14篇 |
机械仪表 | 1篇 |
武器工业 | 1篇 |
无线电 | 13篇 |
冶金工业 | 1篇 |
自动化技术 | 86篇 |
出版年
2023年 | 1篇 |
2022年 | 4篇 |
2020年 | 1篇 |
2019年 | 4篇 |
2018年 | 3篇 |
2017年 | 6篇 |
2016年 | 2篇 |
2014年 | 3篇 |
2013年 | 1篇 |
2012年 | 2篇 |
2011年 | 5篇 |
2010年 | 7篇 |
2009年 | 6篇 |
2008年 | 11篇 |
2007年 | 8篇 |
2006年 | 5篇 |
2005年 | 9篇 |
2004年 | 9篇 |
2003年 | 4篇 |
2002年 | 10篇 |
2001年 | 2篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1995年 | 1篇 |
1994年 | 5篇 |
1993年 | 2篇 |
1992年 | 1篇 |
排序方式: 共有117条查询结果,搜索用时 8 毫秒
61.
62.
面向对象软件的类测试技术 总被引:4,自引:0,他引:4
主要介绍了面向对象软件的类测试技术,从基于服务的,基于状态的,基于流图的以及基于规约的四个方面论述了类测试的思想和方法。 相似文献
63.
模型检测时,实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。本文介绍了时间自动机和可达性分析算法,并对可达性分析算法中的后继算法进行了改进。 相似文献
64.
形势与政策作为一门高校大学生思想政治理论必修课程,虽然开设的时间不长,但其作用不容忽视。由于本门课程的特殊性。备课量大,学生面广,应该采取多种形式的教育方式,因此,加强这门课程的管理工作。建立教学管理的综合体系,是开设好形势与政策课的关键。 相似文献
65.
增强思想政治理论课实效性、针对性,是一个永恒的话题。在实际教学中,如何以教材为依据,实施从教材体系向教学体系转化、逐步实现知识体系向信仰体系转化,是思想政治理论课教学的重点和难点。实现"两个转化",要创新教学方法,探索有效途径,增强课程的实效性、针对性,提升感染力,提高教学效果,达到教学目的。 相似文献
66.
67.
本文介绍一种具有优先级扩展的时间自动机模型,并对一种计算DBM减法算法进行改进。这种减法是DBM上操作中的一种,它会产生需要用DBM集来表示的非凸集合。DBM的数量影响符号模型检测的性能,我们的减法算法是有效的,因为它产生的DBM的数量相对于最初算法具有较大程度的约减。DBM减法操作扩展了具有优先级的时间自动机理论,它对对于具有紧急行为的变换描述、死锁检测、时间博弈等问题具有非常重要的作用。 相似文献
68.
在数据仓库、大量交易记录系统、移动计算、联机分析处理系统(OLAP)等许多领域中聚集数据的处理是一个非常重要的核心问题。该文首先分析了聚集数据查询的特点,引入了聚集查询语言和聚集查询重写;其次对于聚集查询环境下如何实现快速查询,给出了一个基于聚集数据的近似查询计算模型;最后将该计算模型应用于人口统计系统,从而实现对统计信息类数据进行快速的查询处理,获得有效的查询结果。 相似文献
69.
70.