首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   99篇
  国内免费   5篇
  完全免费   31篇
  自动化技术   135篇
  2017年   1篇
  2016年   4篇
  2015年   1篇
  2014年   6篇
  2013年   2篇
  2012年   10篇
  2011年   9篇
  2010年   10篇
  2009年   8篇
  2008年   8篇
  2007年   12篇
  2006年   12篇
  2005年   8篇
  2004年   5篇
  2003年   6篇
  2002年   9篇
  2001年   3篇
  2000年   8篇
  1999年   5篇
  1998年   2篇
  1996年   2篇
  1995年   2篇
  1993年   1篇
  1992年   1篇
排序方式: 共有135条查询结果,搜索用时 46 毫秒
1.
工作流系统时间管理   总被引:43,自引:4,他引:39       下载免费PDF全文
李慧芳  范玉顺 《软件学报》2002,13(8):1552-1558
时间管理是工作流管理软件系统的关键部分,也是工作流技术实施复杂企业应用的严重局限.开展时间管理研究,对于增强工作流管理软件系统的柔性、确保工作流计划的高效执行和提高企业的竞争力具有重要意义.时间管理的关键在于时间信息的有效建模.首先介绍了工作流管理系统的时间问题.其次,综述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.最后,基于对现有研究方法的分析与评价,指出了工作流系统时间管理的发展方向.时间管理的支持对于开发灵活性和实用性的工作流管理系统具有重要的指导意义.  相似文献
2.
实时数据库系统的正确性   总被引:16,自引:0,他引:16  
实时数据库系统的正确性就是与定时限制紧密相联的数据库一致性和事务正确性,中对此作了详细讨论,指出RTOB的一致性包括内部一致、外部一致和相互一致;事务正确性包括结果正确性,行为正确性,结构正确性和时间正确性,进一步的关键问题是判断正确性的准则和表示方法,对此中提出了一个经历模型,它可方便地且来说明各种恰当的正确性。  相似文献
3.
工作流模型中多粒度时间约束描述及其分析   总被引:9,自引:0,他引:9       下载免费PDF全文
杜栓柱  谭建荣  陆国栋 《软件学报》2003,14(11):1834-1840
流程的分布性要求工作流模型中时间约束可以采用不同的时间粒度来度量.为此,定义了工作流模型MG-TWF.通过多粒度相对时间约束、多粒度绝对时间约束及多粒度时间约束工作流网概念,从MG-TWF模型的静态建立阶段、动态运行阶段及模型的网结构方面描述其多粒度时间约束.并在此基础上建立了MG-TWF模型的多粒度时间约束工作流网、多粒度相对时间和多粒度绝对时间约束一致性问题的一般分析方法.最后给出一个具体MG-TWF模型的一致性分析实例.  相似文献
4.
基于时空约束的运动编辑和运动重定向   总被引:9,自引:2,他引:7  
近年来兴起的运动捕获已成为人体动画中最有应用前景的技术之一,目前运动捕获手段很多,但是通常成本高,而且捕获到的运动类型比较单一,为了提高运动捕获数据的重用性,生成与复杂场景协调的多样的动画,必须对捕获的运动数据进行编辑和重定向处理,介绍了一种基于时空约束的运动编辑和运动重定向方法,通过规定一组时空约束条件,建立相应的目标函数,采用逆向运动学和数值优化方法求解出满足约束条件的运动姿势,实验结果表明,该方法可以生成多种满足不同场景婪泊逼真运动,提出了数据的重用性。  相似文献
5.
工作流时序约束模型分析与验证方法   总被引:6,自引:0,他引:6       下载免费PDF全文
王远  范玉顺 《软件学报》2007,18(9):2153-2161
为了解决工作流时间建模与时序一致性验证问题,以时序逻辑和模型检查为基础,提出了一种工作流时间建模与时序一致性验证方法.该方法用一阶逻辑描述工作流模型及其时间信息,用时序逻辑描述工作流的时序约束,用模型检查算法对时序约束进行验证与分析.该方法不是针对某一种时序约束提出来的,而是能够验证任何用时序逻辑描述的工作流时序约束.该方法还能够对未通过验证的时序约束提供工作流运行实例作为反例,帮助用户定位模型的问题.以一个工作流时间建模和时序一致性验证的实例证实了所提出方法的有效性.  相似文献
6.
The paper introduces a mechanism to implement distributed scheduling for the CAN-bus resource in order to meet the requirements of a dynamic distributed real-time system. The key issues considered here are multicasting, distinguishing between hard real-time, soft real-time, and non-real-time constraints, achieving high resource utilization for the CAN-bus, and supporting dynamic hard real-time computing by allowing dynamic reservation of communication resources.  相似文献
7.
一个实时数据模型   总被引:5,自引:0,他引:5  
本文提出了一种实时数据库的数据模型,给出了三种基本实时数据对象和基于实时数据对象的实时数据库的定义,然后着重讨论了实时数据对象的时间关系代数操作和实时数据库的定时限制。  相似文献
8.
In some hard real-time systems, relative timing constraints may be imposed on task executions, in addition to the release time and deadline constraints. Relative timing constraints such as separation or relative deadline constraints may be given between start or finish times of tasks (Gerber et al., 1995; Han and Lin, 1989; Han et al., 1992; Han and Lin, 1992; Han et al., 1996).One approach in real-time scheduling is to find a total order on a set of N tasks in a scheduling window, and cyclically use this order at run time to execute tasks. However, in the presence of relative timing constraints, if the task execution times are nondeterministic with defined lower and upper bounds, it is not always possible to statically assign task start times at pre-runtime for a given task ordering (Gerber et al., 1995).We develop a technique called dynamic cyclic dispatching as an extension of a parametric dispatching mechanism in (Gerber et al., 1995). An ordered set of N tasks is assumed to be given in a scheduling window and this schedule(ordering) is cyclically repeated at runtime in consecutive scheduling windows. Relative timing constraints between tasks may be defined across scheduling window boundaries as well as within one scheduling window. A task set is defined to be dispatchable if there exists any way in which the tasks can be dispatched with all their timing constraints satisfied. An off-line algorithm is presented to check the dispatchability of a task set and to obtain parametric lower and upper bound functions for task start times if the task set is dispatchable. These parametric bound functions are evaluated at runtime to obtain a valid time interval during which a task can be started. The complexity of this off-line component is shown to be O(n 2 N 3) where n is the number of tasks in a scheduling window that have relative timing constraints with tasks in the next scheduling window. An online algorithm can evaluate these bounds in O(N) time.Unlike static approaches which assign fixed start times to tasks in the scheduling window, our approach allows us to flexibly manage the slack times at runtime without sacrificing the dispatchability of tasks. Also, a wider class of relative timing constraints can be imposed to the task set compared to the traditional approaches.  相似文献
9.
Solving multi-granularity temporal constraint networks   总被引:4,自引:0,他引:4  
Many problems in scheduling, planning, and natural language understanding have been formulated in terms of temporal constraint satisfaction problems (TCSP). These problems have been extensively investigated in the AI literature providing effective solutions for some fragments of the general model. Independently, there has been an effort in the data and knowledge management research community for the formalization of the concept of time granularity and for its applications. This paper considers a framework for integrating the notion of time granularity into TCSP, and investigates the problems of consistency and network solution, which, in this context, involve complex manipulation of the periodic sets representing time granularities. A sound and complete algorithm for consistency checking and for deriving a solution is presented. The paper also investigates the algorithm's computational complexity and several optimization techniques specific to the multi-granularity context. An application to e-commerce workflows illustrates the benefits of the framework and the need for specific reasoning tools.  相似文献
10.
实时数据库系统的关系数据模型   总被引:4,自引:2,他引:2  
实时数据库系统的定时限制包括数据的定时限制和事务的定时限制。本文详细讨论了实时数据的各种时特征,包括数据的外部有效期、相互一致性、采用样同步性、数据截止期等;在引出元组生命周期其映射概率的基础上,建立了实时数据库系统的地关系数据模型RTRDM。  相似文献
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号