To support the modeling of time-related information such as historical information, an enterprise temporal modeling was proposed, involving calendar objects, time attribute domain types, and timestamps.

The proposed algorithm is designed for practical software implementation and includes LBTS computation, Deadlock checking and breaking, federate dynamic time attribute and Lookahead, etc.

该算法从系统可实现角度分别研究了时间管理中LBTS计算、死锁检测与解锁、成员时间属性改变以及Lookahead值改变等的有关算法。

互联网摘选

The ns-scale sustained pulse time attribute the success to the development of Q switch technology.

近年来脉冲持续时间已可以缩短至纳秒级，这与调Q开关技术的发展是密不可分的。

互联网摘选

The temporal and spectral properties of Bessel-Gauss pulsed beams with constant diffraction length in a linear dispersive medium are studied. It is shown that by a suitable choice of the spatial parameter β, Bessel-Gauss pulsed beams propagate along the axis without noticeable pulse broadening.

对等衍射长度贝塞尔-高斯脉冲光束在色散介质中的时间和光谱特性作了研究，结果表明，通过选择适当的空间参数，贝塞尔-高斯脉冲光束沿轴上传输时，脉冲宽度不变。

互联网摘选

In the central auditory system, the information of the frequency, intensity, temporal and spectral properties involved in the sound signal is processed through the complex integration of the excitatory and inhibitory interaction of the neural circuits.

在听觉中枢系统中，动物听觉中枢处理声音强度和频率及其它时空特征主要是通过神经元回路兴奋性和抑制性传入冲动的相互作用进行的。

互联网摘选

The impacts of all kinds of errors on the temporal and spatial properties in the far field are studied for a system with a 50 cm aperture and 1 ps ultrashort pulses.

研究了一个口径为50cm，脉宽为1ps的超短脉冲相干合成系统的各种误差对脉冲远场时域和空域特性的影响。

互联网摘选

Differences of temporal frequency tuning properties of sustained and transient neurones in cat's lateral geniculate nucleus

猫外膝体持续细胞和瞬变细胞时间频率调谐特性的差异

互联网摘选

Temporal Analysis of Properties of Concurrent Programs

并发程序性质的时序分析

互联网摘选

In this paper, the temporal auto-correlation properties of scattering photons in ultrasound-modulated bio-media were studied by using Monte Carlo method. The effects of ultrasound parameter, scattering and absorption coefficients on the auto-correlation function were discussed.

本文首次用Monte Carlo方法研究了超声调制生物介质中散射光子的时间自相关性质，讨论了超声参数、介质的散射系数和吸收系数对自相关函数的影响。

互联网摘选

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.

该文重点分析了时序安全特性和竞争条件等代码分析热点问题，给出了时序安全特性的分类以及形式化描述，提出了将模式识别应用于解释性语言中的动态代码检查方法。

互联网摘选

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）信道的空时相关特性，在经典平面波假设下，基于随机信道模型对其进行了深入分析。

互联网摘选

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个水文站的洪水资料为例，应用标度理论，对洪量随历时变化的标度特性进行了研究。

互联网摘选

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

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

互联网摘选

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

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

互联网摘选

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.

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

互联网摘选

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）等基于时间机理的言语编码方案时所能接受的最高刺激速率。

互联网摘选

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服务组合交互行为检测算法。

互联网摘选

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模型，并抽取出交互过程中的变迁发生序列及其必须遵循的时序属性。

互联网摘选

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.

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

互联网摘选

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.

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

互联网摘选

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.

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

互联网摘选