This paper studies the problem of state feedback control for discrete event systems, where the predicate is defined on the set of state-event sequences.
本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。
In this paper, a new spatial-temporal data model based on state-event is presented, and the qualifications for conversion between spatial-temporal data models are analyzed.
本文提出了基于状态-事件的时空数据模型，并系统阐述各时空数据模型之间的相互转换条件。
An indication may have zero or more event triggers, which are recognitions of changes in state.
表示可以有零个或多个事件触发器，这些触发器可以识别状态更改。
Each event represents a change in state, and the ordered sum of all normal entity states represents a lifecycle.
每个事件代表状态中的一个变化，所有普通实体状态的有序和代表了一个生命周期。
In addition to the UI components, JSF also provides infrastructure support for state handling, validation, and event processing for these components.
除了UI组件之外，JSF还为这些组件提供了状态处理、验证和事件处理的基础设施支持。
With each event, the entity changes its state, a process that is normally easy to define.
通过每个事件——实体改变其状态——通常可以方便地定义一个过程。
For each operation, or event, that the state machine responds to, a property alias locates the input that corresponds to each defined correlation property.
对于状态机响应的每个操作或事件，都使用属性别名来确定与每个已定义的相关性属性对应的输入的位置。
In general, a state machine is useful when your component's activities are event driven and each activity that occurs depends on the current state of the component.
一般来说，如果组件的活动是事件驱动的，并且所发生的每个活动都取决于该组件的当前状态，那么状态是非常有用的。
You can see that the methods — state, transition, and event — combined with closures and hash maps, make a nice DSL.
可以看到这个方法——状态、转换和事件——与闭包和散列映射结合起来，可以形成一个良好的DSL。
When the termination of these subcomponents is complete, the process ends in the terminated state and a "process terminated" event (21005) is generated.
当这些子组件的终止操作完成时，该流程就会最终处于终止状态，同时产生“流程已终止”事件（21005）。
All the key behavior of the system is exposed to the application as a set of events, with the appropriate event state.
该系统的所有关键行为都以事件集及合适的事件状态的形式公开给应用程序。
You see descriptions of each of the states, followed by the events supported by the state machine. After each event, you see a series of transitions that each event will fire.
您可以看到每一个状态的描述，然后是状态机支持的事件，这之后，是每个事件将要触发的一系列转换。
A business state machine is a special type of business process because it is event driven, and its actions depend on the current state of the process.
业务状态机是一种特殊的业务流程类型，因为它是事件驱动的，其操作取决于流程当前的状态。
Finally, the process is in the failed state and a "process failed" event (42001) is logged.
最后，该流程处于失败状态，并且该“流程已失败”事件(42001)被记录下来。
How the state machine responds to a given event depends on the current state of the state machine.
状态机如何响应一个给定事件取决于该状态机的当前状态。
Each cell in the table specifies the actions the widget will take when a particular event occurs in a particular state.
表中的每个单元格指定，在特定状态下发生特定事件时，部件将采取的操作。
The best way to escape this trap would be for America to win the Palestinians their state. In that event, Arabs in general might be willing to make a people's peace with Israel.
美国想要跳脱这个陷阱最好的方法是让巴勒斯坦人赢得他们的国家，如果是这样，大多数阿拉伯国家的人民可能会同意和以色列和解。
You can implement your services using a variety of programming paradigms, from process-flow style BPEL processes, to state machine-style event management, to declarative business rules style.
可以使用各种编程模式来实现服务，从业务过程流方式的BPEL流程，到状态机方式的事件管理，以及到声明性业务规则方式。
This time though it wasn't at the quality of the event, but at the state of humankind.
这一次的重点不是活动的质量，而是人类的状况。
The process state changes to compensating and a "process compensating" event (42003) is produced.
该流程的状态就会更改为补偿中，并且同时会产生“流程补偿”事件（42003）。
When the behavior of one or more key architectural elements is event-driven, modeling with State Diagrams can be especially useful in understanding that behavior.
当一个或多个关键架构要素的行为是事件驱动时，用状态图建模可以对理解该行为特别有用。
You'll use state names and event names directly as the array's indexes.
直接使用状态名称和事件名称作为索引。
As already emphasized, XMLEventReader communicates its state to the application through event objects after every step of the parsing process.
前面已经强调过，XMLEventReader在解析过程的每一步之后通过事件对象和应用程序通信自己的状态。
Using this framework, you can model and build most any sophisticated system as a set of GBean containers and GBean components to manage state, relationships, and event handling.
使用此框架，您可以建模并构建任何复杂的系统作为一组GBean容器和GBean组件，来管理状态、关系和事件处理。
The method does select a function to call from the actionTransitionFunctions table using the current state and event type as associative array indexes.
这个方法使用当前状态和事件类型作为关联数组的索引，从actionTransitionFunctions表中选择要调用的函数。
When the cursor then moves, any browser will generate a mousemove or mouseout event in Inactive state.
然后，当鼠标移动时，任何浏览器都会在Inactive 状态下生成mousemove或mouseout事件。
If the process ends successfully, this leads to the finshed state and a "process completed" event (21020) is written.
如果该流程成功地结束，那么就会出现结束(finshed)状态，同时会写入“流程已结束”事件(21020)。
When the compensation of a process succeeds, the final process state is compensated (" process compensated "event, 42004).
当流程的补偿操作成功完成时，流程的最后状态是已补偿(compensated)(“流程已补偿”事件，42004)。
Consider what behavior is needed should a mousemove event occur in Inactive state: the actions and transition are the same as for a mouseover event in Inactive state.
考虑一下在Inactive状态下发生mousemove事件时需要什么行为：操作和转换与Inactive状态下的mouseover事件一样。
The function SetEvent() is used to set the state of the event object to signaled state.
函数SetEvent()用来将事件对象的状态设置为有信号状态。
应用推荐