全文获取类型
收费全文 | 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条查询结果,搜索用时 0 毫秒
41.
时间自动机的可达性分析算法通常采用对符号状态的枚举来遍历其状态空间。符号状态由位置与时间区域组成,时间区域用形如x-y≤(〈)n的原子公式的合取式来表示。在对时间自动机进行可达性分析的过程中,分析算法将生成大量的符号状态,往往导致对计算机内存的需求超出了可行的范围。本文给出了一个消减符号状态个数的方法。该方法通过对符号状态间的依赖关系进行分析,在不影响分析结果的前提下消去某些时间区域的原子公式,从而扩展符号状态。扩展后的符号状态包含有更加多的其它的状态,通过删除掉那些被包含的符号状态可以减少算法存储的状态个数,节省存储空间。本文最后给出了相关的案例分析,结果表明这个算法有效地减少了某些时间自动机可达性分析过程中所需的存储空间。 相似文献
42.
43.
文中主要介绍面向对象逻辑语言LKO中基于声明和推理的有序类型系统,在谓词声明中,类型由有序的构子构造而成,子句中变量类型由类型推理决定,对象类型由方法声明决定,独立于便于代码复用,它可作为基类型参与项类型构造。 相似文献
44.
不同于顺序程序,并发程序并不能完全主简单的输入/输出关系采说明。并发程序的一个执斤行为可以视为一个无穷状态序列 相似文献
45.
46.
47.
48.
49.
50.
嵌入式系统由于功能的特定性和底层硬件的多样性,使得其代码的重用和易移植性一直是困扰开发者的一大难题。模型驱动体系结构(MDA)是OMG组织提出的一种新的软件开发方法。MDA将关注点集中于业务模型,把平台相关内容和不同的实现技术从中剥离,并利用工具遵循一定的转换规则,实现其到特定平台的自动转换,最终得到目标平台上的代码。MDA针对解决复用和移植问题提出了新的解决途径,在嵌入式系统开发中有广泛的应用前景。本文在研究基于MDA的嵌入式系统开发途径的基础上,提出了一个从ExecutableUML模型到J2ME平台下JAVA气代码的转换框架。 相似文献