全文获取类型
收费全文 | 521篇 |
免费 | 68篇 |
国内免费 | 100篇 |
专业分类
电工技术 | 14篇 |
综合类 | 65篇 |
化学工业 | 7篇 |
金属工艺 | 86篇 |
机械仪表 | 24篇 |
建筑科学 | 16篇 |
矿业工程 | 2篇 |
能源动力 | 2篇 |
轻工业 | 2篇 |
水利工程 | 3篇 |
石油天然气 | 2篇 |
武器工业 | 9篇 |
无线电 | 30篇 |
一般工业技术 | 40篇 |
冶金工业 | 14篇 |
原子能技术 | 2篇 |
自动化技术 | 371篇 |
出版年
2024年 | 1篇 |
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 16篇 |
2020年 | 10篇 |
2019年 | 10篇 |
2018年 | 13篇 |
2017年 | 19篇 |
2016年 | 21篇 |
2015年 | 19篇 |
2014年 | 25篇 |
2013年 | 33篇 |
2012年 | 32篇 |
2011年 | 50篇 |
2010年 | 36篇 |
2009年 | 45篇 |
2008年 | 64篇 |
2007年 | 37篇 |
2006年 | 49篇 |
2005年 | 34篇 |
2004年 | 28篇 |
2003年 | 17篇 |
2002年 | 18篇 |
2001年 | 16篇 |
2000年 | 13篇 |
1999年 | 12篇 |
1998年 | 6篇 |
1997年 | 10篇 |
1996年 | 6篇 |
1995年 | 4篇 |
1994年 | 8篇 |
1993年 | 3篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 1篇 |
1989年 | 3篇 |
1985年 | 1篇 |
1984年 | 4篇 |
1982年 | 1篇 |
1981年 | 2篇 |
1980年 | 2篇 |
1979年 | 1篇 |
1978年 | 1篇 |
1977年 | 3篇 |
1975年 | 2篇 |
排序方式: 共有689条查询结果,搜索用时 15 毫秒
661.
XML自动机的构造及实用化研究 总被引:5,自引:0,他引:5
XML是目前已被广泛采用的WWW上信息交换和表示的技术之一,被称为Internet时代的通用数据格式。该文首先针对现有的XML语法进行了抽象及封闭性分析,得到了扩展XML语法,接着提出了一种XML自动机的概念,证明了它与扩展的XML语法等价,而且具有“并”、“交”、“差”和“补”运算下的完全封闭性,然后开发了一个分析器,对由此扩展语法生成的对象进行分析,最后阐明了XML自动机对于文中所建立的基于离散的XML模式数据库系统模式集成的意义。 相似文献
662.
模糊语言的研究是形式语言研究的焦点之一,然而如何对模糊语言进行刻画甚至更好地分类是其中一个重要研究方向.文章在模糊ω-语言的研究基础上,从模糊逻辑角度研究了模糊ω-正则语言的等价刻画.首先借助广义子集构造方法,证明了任一模糊Büchi自动机与具有分明初始状态和状态转移函数且具有模糊终状态的模糊Büchi自动机是等价的,藉此研究了模糊ω-正则语言的代数刻画和层次刻画,讨论了模糊ω-正则语言关于正则运算的封闭性;其次引入单体二阶(L)ukasiewicz逻辑的概念,给出模糊Büchi自动机识别语言的等价逻辑刻画;最后通过引入ω-星自由和ω-非周期模糊ω-语言,利用“层次化”处理技巧得到了多值逻辑意义下的分类定理,对模糊ω-正则语言给出了一种分类方法. 相似文献
663.
664.
665.
带有时钟变量的线性时序逻辑与实时系统验证 总被引:7,自引:1,他引:7
为了描述实时系统的性质和行为,10多年来,各种不同的时序逻辑,如Timed Computation Tree Logic,Metric Interval Temporal Logic和Real-Time Temporal Logic等相继提出来.这些时序逻辑适于表示实时系统的性质和规范,但不适于表示实时系统的实现模型.这样,在基于时序逻辑的实时系统的研究中,系统的性质和实现通常是用两种不同的语言来表示的.定义了一个带有时钟变量的线性时序逻辑(linear temporal logic with clocks,简称LTLC).它是由Manna和Pnueli提出的线性时序逻辑在实时情况下的一个推广.LTLC既能表示实时系统的性质,又能很方便地表示实时系统的实现.它能在统一的语义框架中表示出从高级的需求规范到低级的实现模型之间的不同抽象层次上的系统描述,并且能用逻辑蕴涵来表示不同抽象层次的系统描述之间的语义一致性.LTLC的这个特点将有助于实时系统的性质验证和实时系统的逐步求精. 相似文献
666.
利用元胞自动机法(CA)耦合对流和热质传递模型模拟了Al-Cu二元合金微观组织在多种影响因素下的二维生长过程,分析了枝晶凝固、微界面热质传递以及微流动等微细现象之间的相互作用,得到了单枝晶以及多个枝晶在微流作用下的生长规律。模拟结果表明:(1)枝晶凝固过程中溶质富集于生长前沿。随着枝晶生长,凝固前沿远离冷源,枝晶尖端温度逐渐增大,而浓度逐渐变小;(2)流动对于枝晶的生长有着重要影响。流动破坏了枝晶生长的对称性,下游溶质浓度大于上游,枝晶在上游方向优先生长,而在下游方向有所抑止;(3)多个枝晶生长时,枝晶彼此间有阻碍生长的作用,二次枝晶臂的形成相对减少,枝晶间几乎不存在微流动。 相似文献
667.
668.
利用自动机理论模型检验算法,检验车站联锁逻辑的有色Petri网模型是否满足预期的性能。通过采用带标签的广义Büchi自动机(LGBA)构建线性时态逻辑,有效地解决了模型检验中的状态空间爆炸问题。该方法的研究增强了有色Petri网的分析和验证能力,利用该方法对车站联锁逻辑的实际问题进行了性能验证。 相似文献
669.
矩形点阵上链码的转换算法 总被引:3,自引:0,他引:3
链码是图像处理和图像识别中的一个重要工具.给出了四近邻图像的顶点链码(VCC)、Freeman链码和边界链码之间的转换算法,这样只要获得一种链码就可以得到其它的链码表示,由某种链码获得的图像信息也为其他链码所共享. 相似文献
670.
一个新的软件行为动态可信评测模型 总被引:1,自引:0,他引:1
针对软件动态可信性度量方法和理论研究中存在的问题,提出以行为轨迹和检查点场景来刻画软件行为的动态特性,通过计算系统调用上下文值以及构造系统调用参数关系约束规则来评测行为轨迹和检查点场景的偏离程度.构建了基于软件行为自动机的动态可信评测模型.实验结果表明,本模型能够准确获取软件行为信息,正确检测出攻击行为,且系统开销较低. 相似文献