您要查找的是不是:
- linear time temporal logic 线性时序逻辑
- Formalizing Real-time Specification Using the Timed Temporal Logic in PVS 实时系统形式规格说明在PVS中的建立
- And temporal logic can be extended. 可以扩展时态逻辑。
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我们将只考虑把未来当作为事件的线性序列模型的时态逻辑。
- Temporal logic is a formalism used to describe how a program state will change with time. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
- A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines. 提出了将线性时态逻辑(LTL)技术和电网故障模拟量信息引入高压输电线系统故障诊断的新思想。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。
- This will come swiftly and will not be measured in linear time. 这将很快来到而将不会在线性时间里被测量。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础。
- The tool Mr Barth is employing to effect this transition is linear temporal logic, a system of mathematical logic that can express detailed constraints on the past and the future. 巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
- Timed temporal logic 时间Büchi自动机
- The cycles makes is appear as linear time in sequence and synchronicity. 这个周期就制造了像按顺序和同步性运作的线性时间。
- A linear time algorithm for producing such a coloring is presented also. 论文还给出了寻找这样一种着色的线性时间的算法。
- Then we ll take a look at a tool for processing temporal logic assertions. 然后,我们将研究用于处理时态逻辑断言的工具。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 这是与逻辑学相关的小作品。你可以透过编辑或修订扩充其内容。
- Linear temporal logic is a formal description language of the dynamic semantics by of the concurrent or the reactive program.It suits for precisely representing the dynamic semantics of a model. 线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。
- In this paper, we study the minimum-weight feedback vertex set problem in outerplanar graphs and present a linear time algorithm to solve it. 本文主要考虑外平面图中的反馈点集并给出了一个求外平面图最小顶点赋权反馈点集的线性时间算法。
- The Waveform and Spectrum of Input and Output Random Processes of A Linear Time Invariant System. 输入与输出线性非时变系统之随机电压其波形及频谱。
- We can also extend the language of temporal logic to include quantifiers over collections of values in databases. 我们还可以扩展时态逻辑的语言以包括数据库中值集合的量词。
- Linear time size : The intrusive container doesn't hold a size member that is updated with every insertion/erasure. 线性时间的size:此类介入式容器不存在一个在每次插入/删除时更新的size成员。
- 今日热词
-
- 深远海浮式风电平台 - deep-sea floating wind power platform
-
- 京雄高速公路 - Beijing-Xiongan expressway
-
- 农业及相关产业增加值 - the added value of agriculture and related industries