事件

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

My claim will be that the broadly conventionalist ways, which are used to deal with problem cases through time for both persons and material objects, and which can also be employed in cases of counterfactuals concerning origin for bodies, cannot be used for similar counterfactuals concerning persons or minds.

我所主张的是，那些众多的墨守成规者的方式不能被用于简单的涉及到人或心灵的反事实的事情上。那些墨守成规者的方式通过时间来处理人或物质对象的问题事件，也通常应用于涉及到身体起源的反事实事件上。

To use linear program, we have to take care of two problems. The first problem is that the actual relationship between intensity and duration is nonlinear convex function. In this study, we propose to use piece-wise linear curve to approximate the nonlinear convex curve. The second problem is that there are many feasible event sequences.

使用线性规划遭遇的困难有二：第一，作业强度与作业时间呈非线性之凸函数关系，因此本研究将使用片段线性曲线(piece-wise linear curve)近似作业强度与作业时间呈非线性之凸函数关系；第二，专案有很多组可能事件顺序，事件顺序的不同会产生不同的资源限制式，本研究提出一个系统化的方法求解问题。

No one who worked with Copp said he did real rescue work in the aftermath of the terrorist attacks.

据杂志的报道称，道格在该事件后的确去到了纽约，但是只是在那里晃荡，没有一个和他一起工作的人证实，他曾经在恐怖袭击事件后做过真正的搜救工作。

This system combined the misuse detection with anomaly detection methods, classified the single event in the network based on Active Event Correlation, and correlatively analysed each sort of events.

该系统结合误用与异常检测技术，采用AEC的思想将网络中的单个事件进行分类，对每类事件进行纵向关联分析。

"Upon occurrence of force majeure the Seller or the Buyer shall without delay notify the other party such event in writing within 10 days, the Seller or the Buyer has to submit corroborative evidence certified by authorized and competent organization (such as local chamber of commerce) regarding the existence of force majeure."

上述不可抗力事件发生后的10天内，卖方或者买方应毫不延迟的以书面形式通知对方，并应提交经授权的机构或有能力的组织出具的关于不可抗力事件存在的确凿证据。

One of the advantages of html controls over web controls is that server - side events do not conflict with events that occur on the client , unless the server and client code themselves countermand each other

html控件相对于web控件的优点之一是：服务器端事件不与在客户端发生的事件冲突，除非服务器和客户端的代码本身彼此取消。

According to the existence question in our country, to propose the Countermeasure of event tourism development in our country .

根据我国事件旅游存在的问题，对发展我国的事件旅游提出了对策。

The results showed:(1)the factors which influence causal judgment were that the cause was the real cause or stimulative,the familiarity of the cause,and the covariation degree of causes with outcomes;(2)the character of questions didn't influence causal judgment;(3)causal judgment in some conditions were in accord with the probabilistic contrast model and the causal model theory,but they couldn't explain causal judgment in all conditions.

例如，在两个刺激同时出现并且之后伴随着一个结果事件出现的情况下，其中一个刺激对结果的作用可能被认为减弱了，另一个刺激被认为更易引起结果事件的产生[1]。多原因相互影响的现象，最初在动物条件反射中观察到，现在也已经在人类因果判断的实验中证实了[2]。研究因果判断中的多原因相互影响这一现象是有理论意义的，因为它证明了因果判断产生的情境重要性。

After the election, the president is impeached for speculating in cow futures. The press dubs the affair "Cowgate".

选举过后，总统因为在母牛期货中投机而被弹劾，新闻界将此事件称为"母牛门"事件。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。