全文获取类型
收费全文 | 171篇 |
免费 | 10篇 |
国内免费 | 33篇 |
专业分类
电工技术 | 1篇 |
综合类 | 12篇 |
机械仪表 | 4篇 |
水利工程 | 1篇 |
无线电 | 14篇 |
一般工业技术 | 4篇 |
冶金工业 | 1篇 |
自动化技术 | 177篇 |
出版年
2024年 | 1篇 |
2023年 | 1篇 |
2022年 | 3篇 |
2021年 | 3篇 |
2020年 | 5篇 |
2019年 | 5篇 |
2018年 | 1篇 |
2017年 | 1篇 |
2016年 | 4篇 |
2015年 | 5篇 |
2014年 | 7篇 |
2013年 | 6篇 |
2012年 | 7篇 |
2011年 | 9篇 |
2010年 | 9篇 |
2009年 | 11篇 |
2008年 | 12篇 |
2007年 | 16篇 |
2006年 | 24篇 |
2005年 | 6篇 |
2004年 | 7篇 |
2003年 | 3篇 |
2002年 | 6篇 |
2001年 | 9篇 |
2000年 | 3篇 |
1999年 | 8篇 |
1998年 | 9篇 |
1997年 | 7篇 |
1996年 | 8篇 |
1995年 | 17篇 |
1990年 | 1篇 |
排序方式: 共有214条查询结果,搜索用时 15 毫秒
1.
智能主体的信念认知时态子结构逻辑模型* 总被引:1,自引:0,他引:1
智能主体获取信念的途径主要有两种:一种为他省,通过外界交互,从其他主体获取信息;另一种为自省,通过自己的历史数据库获取相关知识。对于主体信念的描述与刻画,两种途径缺一不可,但当前的BDI理论模型中较多地为他省系统,没有做到两者相结合。其次,在当前的许多理论模型中,通常使用的是二值逻辑、经典模态逻辑或其变形系统,使得相应的逻辑系统普遍存在逻辑全知和粗精度刻画等问题。针对上述问题进行了相关研究,采用了认知时态子结构逻辑建模的方法,表达了智能主体获得“双省”信念的方式,针对其建立了相应的逻辑系统BSoET。 相似文献
2.
时态数据管理是常规数据管理的深化和扩展,具有理论研究的意义与实践应用的价值.时态数据索引是时态数据管理的重要技术支撑,是其中的一个研究热点.首先,提出了一种时态数据结构,通过数据节点间的偏序关系,可将常规的二维时间区间的处理转化为基于偏序的时态等价类上的一维的处理,该数据结构可以快速有效地处理时态操作;其次,在该新型时态数据结构基础上研究了时态XML索引TempPartialIndex,其基本特征是将时态数据结构整合到非时态的XML索引中,即,将其整合到语义层之中,通过时态过滤和语义过滤掉大量节点之后,再进行结构连接;另外,着重讨论了基于TempPartialIndex“一次一集合”及其时态变量查询和增量式的动态更新机制.同时,仿真结果表明:TempPartialIndex能够有效地支持时态XML的各类查询及更新操作,技术上具有可行性和有效性. 相似文献
3.
计算机支持的协同工作系统(CSCW)体现并符合当今信息时代人们工作的群体性,交互性,分布性和协同性等特点,因而日益受到人们的重视并广泛地应用到实际当中,协同工作是机关事业单位工资系统重要特性之一,本文分析了工资智能决策支持系统(SIDSS)的协同问题,提出了一种基于Agent的协同决策支持系统的协同工作模型,讨论了SIDSS协同 实现,并对模型提出前后的性能进行了比较。 相似文献
4.
5.
PEDA是我们提出的一种引入知识代理系统的多媒体应用系统的三层模型。本文主要讨论PEDA的对象定义层和事件演算层。 相似文献
6.
基于Internet/Intranet的COM支持的通用考试(练习)系统的设计与实现 总被引:4,自引:0,他引:4
在用OMT技术实现通用考试(练习)系统建模的基础上,介绍了本系统构建的基于COM、Browser/Server与Client/Server并用的Web数据库体系结构、系统的基本功能以及系统实现的关键技术。 相似文献
7.
8.
研究有效时间期间集合上数学关系以及时态索引构造与应用.建立时间期间集合上时态连通等价关系和时态包含拟序关系.在引入数学关系框架内,通过对时间期间特征进行精细分析,讨论了大时态连通等价类分割和时态包含拟序关系集重叠等问题,建立了由根结点、等价类分割集结点和拟序关系集线序分枝结点构成的时态索引树形模型TDIM.在TDIM架构下,基于时态数据库中数据实体动态管理基本特征,研究了具时态变量情况下时态索引动态实现机制和查询技术,同时讨论了时态更新(时态插入、时态删除和时态修改)的增量式算法.由于建立在一般时间集合之上,TDIM可以应用于时态关系和XML的数据管理. 相似文献
9.
时态逻辑不可递归公理化的性质,造成它的公理化系统和证明论方法不适于时态查询语言的建模.这使得时态逻辑无法利用公理化系统的良好性质及相关证明论方法对时态数据库的推理和查询做更为严谨和细致地刻画.因此寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析是必要的.考虑的2个主要工具是作为句法分析工具的以Lambek演算为核心的范畴语法系统,和作为语义分析工具的类型演算λ-演算.这主要是基于类型论的演算特点、SQL语句与陈述句的相似性、Lambek演算和λ-演算的公理化与证明论方法,及它们作为句法和语义分析工具之间的密切联系与对应性决定的.据此从Lambek演算出发,结合时态的处理,构建了并发的Lambek演算(LCTQ)及相应的范畴语法,对以公理化系统为基础的时态查询语言的句法分析做相关研究,并从证明论性质上保障了计算性资源,使得系统更为严谨和完善. 相似文献
10.
提出了一种构造集成式计算机支持的协同工作(CSCW)支持环境的解决方案,介绍了集成机制的原理、消息机制与挂接机制的结合和应用,以及CSCW支持环境的设计与实现技术.讨论了相关问题,提出并实现了改进方案.同时,也介绍了集成式CSCW支持环境与视频会议系统的结合. 相似文献