In this paper, a method of dynamic code analysis is proposed to apply the model checking into interpreted languages. The classification and formal description of temporal safety properties are discussed for managing and maintaining them.

1、

To analyze the spatial and temporal correlation properties of multiple-input multiple-output ( MIMO) wireless channel, a stochastic MIMO channel model is presented under the classical plane assumption.

针对无线多输入多输出（multiple-input Multiple-output，MIMO）信道的空时相关特性，在经典平面波假设下，基于随机信道模型对其进行了深入分析。

互联网摘选

2、

Using the flood data from three hydrologic stations in the Yangtze river, the temporal scaling properties of flood volume is studied with scaling theory.

以长江流域3个水文站的洪水资料为例，应用标度理论，对洪量随历时变化的标度特性进行了研究。

互联网摘选

3、

Temporal Response Properties of Neurons in Mouse Inferior Colliculus to Instantaneous Sound Pressure of Sound Stimulus Onset

小鼠下丘神经元对声音起始瞬时声压的时间反应特性声长对小鼠下丘神经元声强反应关系的影响

互联网摘选

4、

Model checking is a formal method for verifying the temporal logic properties of finite state systems.

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。

互联网摘选

5、

In this paper, we summarize and analyze the experimental phenomenon and methods of neodymium-doped random lasers and then discuss the fabrication and testing of neodymium random lasers in detail. At last, temporal properties of random lasers pumped by femtosecond-lasing pulses are investigated.

本文介绍了掺钕材料粉末随机激光器的实验现象与实验方法，对钕玻璃粉末随机激光器的制备和测试进行了详细的讨论，并研究了脉冲随机激光器的时域特性。

互联网摘选

6、

Objective To evaluate the cochlear implant recipient's electrical auditory temporal properties in order to estimate the maximum stimulating rate which can be reached when they adopted some speech coding strategies based on time mechanism, such as continuous interleaved sampling ( CIS).

目的评价耳蜗植入患者残余听神经接收电刺激后的不应期特征，以了解患者应用连续间隔采样（continuousinterleavedsampling，CIS）等基于时间机理的言语编码方案时所能接受的最高刺激速率。

互联网摘选

7、

Experiments show that the model is more suitable than the similar models in describing the collaborative interactions of service composition process. Secondly, a temporal properties consistency based Web service composition interactions behavior detection algorithm is introduced.

实验表明，该模型比同类模型更适合于描述服务组合过程中的协同交互关系。2.提出了一种基于时序属性一致性的Web服务组合交互行为检测算法。

互联网摘选

8、

Interaction model feature extractor is capable of automatically transforming service composition script described by BPEL to WS-PIM model, and extracting the interaction behaviors and their temporal properties.

交互模型特征抽取器能够自动将BPEL描述的服务组合映射为WS-PIM模型，并抽取出交互过程中的变迁发生序列及其必须遵循的时序属性。

互联网摘选

9、

The model proposes the idea of prediction model, including filtering, events distribution and exception handling. It can realize prediction and detection of monitored events of specific temporal properties.

该模型提出了预测的思想，包括事件过滤、事件分发和异常处理三个阶段，能够实现临时属性所监控事件的预测和检测。

互联网摘选

10、

Judging from the analysis of experiment, the proposed method shows its excellent performance, quick responsing. and limited load to the original system and significant effect on temporal properties monitoring.

由实验分析能够看到，本课题提出的方法性能优良，反应迅速，对原系统造成的负载非常有限，对临时属性的监控效果非常显著。

互联网摘选

11、

Temporal properties of interaction behaviors contain partial order, liveness, safety properties etc. In actual service composition process, the message is the only evidence of interaction behavior.

交互行为的时序属性包括偏序关系、活性、安全性等。

互联网摘选

12、

Analysis on the temporal properties of the output pulses for input pulses with different sharpness edges passing through a semiconductor optical amplifier

不同陡峭边沿的皮秒光脉冲经半导体光放大器后的时域特性分析

互联网摘选

13、

Using a typical service composition process as an example, this dissertation gives temporal properties consistency based Web service composition interactions behavior detection algorithm.

本文以一个BPEL描述的典型服务组合流程为实例，提出了一种基于时序属性一致性的Web服务组合交互行为检测算法。

互联网摘选

14、

Second, D3S can not express some high level logic expressions, especially some temporal properties of applications.

其次，D3S的谓词不具备高层的逻辑表达能力，尤其是难以表达应用程序的时态特性。

互联网摘选

15、

A novel method for continuously assessing the spatio temporal properties of locomotor activity in mice

一种测定小鼠长时间自发活动时空特点的新方法

互联网摘选

16、

Temporal Properties of Quasi-phase Matching Cascaded Optical Parametric Generation

准相位匹配级联光参量产生器时域特性研究

互联网摘选

17、

Testing of Temporal Properties of Program

程序时序属性的自动测试

互联网摘选

18、

Lots of entities in the real world have spatial properties and temporal properties.

现实世界中的许多实体都具有空间特性和时态特性，需要数据库管理系统提供有效的时空数据管理。

互联网摘选

19、

On the Analysis of Secure Protocols with Temporal Properties

具有时限约束的安全协议分析技术研究

互联网摘选

20、

The temporal properties reflected by the two sequences are consistent.

两个序列所体现的时序属性必须是一致的。

互联网摘选