全文获取类型
收费全文 | 198篇 |
免费 | 5篇 |
国内免费 | 28篇 |
专业分类
电工技术 | 1篇 |
综合类 | 1篇 |
机械仪表 | 119篇 |
无线电 | 4篇 |
一般工业技术 | 17篇 |
自动化技术 | 89篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2020年 | 1篇 |
2016年 | 1篇 |
2014年 | 1篇 |
2013年 | 1篇 |
2012年 | 6篇 |
2011年 | 6篇 |
2010年 | 15篇 |
2009年 | 7篇 |
2008年 | 19篇 |
2007年 | 13篇 |
2006年 | 27篇 |
2005年 | 11篇 |
2004年 | 26篇 |
2003年 | 16篇 |
2002年 | 23篇 |
2001年 | 14篇 |
2000年 | 11篇 |
1999年 | 7篇 |
1998年 | 3篇 |
1997年 | 13篇 |
1996年 | 1篇 |
1992年 | 1篇 |
1991年 | 1篇 |
1990年 | 3篇 |
1988年 | 1篇 |
1985年 | 1篇 |
排序方式: 共有231条查询结果,搜索用时 15 毫秒
1.
为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。 相似文献
2.
业务过程管理中基于组织和角色语义的访问控制 总被引:1,自引:0,他引:1
针对现有业务过程访问控制方法不能充分满足业务过程管理(BPM)实际需求的问题,首先分析了基于角色的访问控制(RBAC)和基于任务的访问控制(TBAC)等方法的不足;然后提出了一种基于组织结构和角色语义的访问控制(OR-SBAC)模型和方法,并采用形式化方法描述了OR-SBAC模型及其部件;最后给出了OR-SBAC的应用案例.OR-SBAC进一步划分了角色和受控主体,使用企业的组织结构进行用户与角色间的关联,在角色授权过程中通过角色适配器,基于一阶谓词逻辑进行角色语义推理,并考虑了时间和空间上下文等问题.OR-SBAC方法的描述能力强,权限分配效率高,能够满足业务过程管理中访问控制的复杂性、多样性和灵活性等方面的需求. 相似文献
3.
文章针对分布式多媒体应用所含的复杂时态关系和分布性特性,利用同步代理构建了一个基于代理的分布式多媒体同步规划系统。并通过对传统Petri网的扩展,对分布式同步Petri网(DSPN)进行了定义,并利用DSPN对同步代理进行建模。最后通过对多媒体应用实例的分析,简要说明系统的操作流程。 相似文献
4.
提高分布式工作流管理系统的可扩展性 总被引:10,自引:0,他引:10
一、引言工作流技术作为现代企业实现过程管理与过程控制的一项关键技术,为企业的经营过程提供了一个从模型建立、静态分析和动态分析、仿真、实例化到运行的环境。同时,工作流管理系统通过一套集成化、可互操作的软件工具为这个框架提供了全过程的支持。 相似文献
5.
6.
MAS技术在生产调度研究中的应用 总被引:15,自引:0,他引:15
对MAS技术在生产调度领域中的研究成果进行分析,归纳出MASS的基本特征和系统框架,按照不同的技术路线将MASS分成实体型MASS和过程型MASS两大类,并对两大类MASS的代理定义,系统结构和主要代理协商策略等进行具体分析,同时对两类系统的特点做了比较,最后展望了MAS研究的未来发展趋势。 相似文献
7.
区块链技术为云制造服务场景下建立供需方信任桥梁的有效工具,共识算法是区块链的核心技术,鉴于现有共识算法存在消耗大、延时高等缺点,提出一种基于服务质量(QoS)值的改进实用拜占庭容错(PBFT)算法。首先根据QoS值筛选共识节点,然后将PBFT算法的三阶段协议优化为二阶段协议,从而在满足安全性的前提下提高通信效率。通过一系列理论和实验分析证明了所提算法的有效性。 相似文献
8.
时间约束工作流模型的可调度性分析算法 总被引:8,自引:2,他引:8
针对目前工作流管理系统对时间管理支持的严重局限,提出了基于Petri网的工作流时间约束建模方法,首先,将工作流网扩展为时间约束工作流网,然后分析了工作流程的时间特性,并提出了时间约束工作流网的可调度性分析算法,研究结果表明,所提出的建模方法能全面描述工作流的时间信息,对丰富工作流系统的时间约束建模理论具有重要的参考价值。 相似文献
9.
10.
为研究Web服务过程的逻辑正确性及其形式化验证方法,提出一种基于着色Petri网的Web服务过程模型,给出了逻辑正确性的形式化定义。为验证其正确性,提出通信可达树的概念,借助通信可达树的某些性质来验证服务的逻辑正确性,并给出了正确性判定定理。另外,为了简化组合服务逻辑正确性的验证过程,阐述了组合服务与其子服务之间的内在关系。最后,通过一个应用实例验证了方法的可用性。 相似文献