English translation for "时间事件"
|
- time event
Related Translations:
基本事件: basic eventselementary event 关键事件: critical eventscritical incidentkey events
- Example Sentences:
| 1. | An api for timed events 时间事件api | | 2. | Our study was limited by a lack of access to original source data , which would hae enabled time - to - eent analysis 我们的研究由于缺乏原始数据无法进行时间事件分析,存在着局限。 | | 3. | Our study was limited by a lack of access to original source data , which would have enabled time - to - event analysis 我们的研究由于缺乏原始数据无法进行时间事件分析,存在着局限。 | | 4. | Occurrence of various types of events ( e . g . , database transitions , time events , and external signals ) triggers the evaluation of a condition and if the condition evaluates to true , the action is carried out 主动数据库管理系统能主动对事件作出反应,支持事件-条件-动作( eca )规则,各种事件(如数据库状态转变、时间事件、外部信号)引发对相应条件的检测,若条件为真,便执行相应动作。 | | 5. | Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram , and the algorithms verifying the soundness and the properties of semantic - related are given . at the aspect of verifying the consistency of temporal constraints of workflow , the time events are added into the uml statecharts , then the rules translating the extended uml statecharts into timed automata are given . the upper constraints ( the most time interval between two tasks ) , lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl . the consistency of these constraints in build time , instantiation time and run - time are defined respectively 在验证工作流时序约束一致性方面,在uml状态图中加入了时间事件,给出了将扩展后的uml状态图转化为时间自动机的规则,用时间计算树逻辑定义了两个任务间的最大、最小时间间隔(上、下界约束)和工作流的最终期限约束,并给出了这三类约束分别在创建阶段、实例化阶段和运行阶段的一致性定义,通过alur的算法对时序约束一致性进行验证。 |
- Similar Words:
- "时间使人伤心" English translation, "时间使人消沉" English translation, "时间使用调查" English translation, "时间使用调查方法专家组会议" English translation, "时间示数孔" English translation, "时间事件分析" English translation, "时间逝去" English translation, "时间是空间位移的感觉" English translation, "时间是良药" English translation, "时间是盲目的" English translation
|
|
|