文章研究部分求值技术中的约束时间分析(简称BTA)，介绍了一种高阶的函数式语言fsl语言的部分求值器的BTA。
This paper is the research on binding time analysis in partial evaluation techniques. It provides the BTA in a partial evaluator for a kind of higher order functional language, which is called FSL.
由于项目受到资源和时间的约束，该分析常常集中于主要的数据元素和域。
Project constraints in resources and time invariably force a focus down to primary data elements and domains.
乐观的分析认为与会国希望有更充裕的时间，因为他们非常重视达成具有强约束力的协议。
An optimistic reading of events would be that the countries involved want some extra time because they are serious about reaching a strong and binding agreement.
洞见不是思想的谨慎推理，不是思想分析的过程，也不是记忆的“被时间约束”的品质。
Insight is not the careful deduction of thought, the analytical process of thought or the time-binding nature of memory.
文章描述了一个对带时间约束的UM L序列图进行分析的工具。
A tool for timing analysis of UML sequence diagrams is described in this paper.
通过排队模拟，获得对请求时间约束产生影响的因素。对这些因素的深入分析，验证了本文所提出的体系结构的有效性及合理性。
Factors that impact request time constraints are collected, of which the comprehensive analysis is made to verify the new architecture and demonstrate its effectiveness.
构建了一个带有时间约束的基于角色的工作流系统授权模型，分析该模型对最小权限和责任分离要求的满足情况。
And a WFMS authorization model based on role control and time constraints is constructed, and how it meets the desires of least privilege and separation of duty is discussed.
本文分析了在商业销售分析中常见的具有时间约束的交易规则。
In this paper we analyze the transaction rules with time constraint that can always be found in the process of business sales analysis.
先对流程节点的时间属性进行分析，主要包括时间约束和时间冲突。
First, it analyzes the time attribute of process node, there are mostly two parts: time constraint and time conflict.
通过对物流车辆配送过程的分析，建立了带时间窗约束的物流配送路径优化问题的数学模型。
A mathematical model of logistics distribution route with time window was proposed according to the analysis of the logistics vehicle distribution process.
针对双基站卫星星座的特点，分析了卫星和空间站之间的可视窗、通讯窗和过顶时间要求下的通讯约束。
Visualization window, communication window and communication constraint satisfied over-time between satellites and space station were presented according to the characters of two-station-system.
分析（非平衡约束下）所引入的奇异性强度参数、噪声相关时间与耗散参数的相互作用以及对熵流、熵产生的显著影响。
The relationship between the properties of double singularities, noise correlation time and dissipative parameter and their effects on entropy flux and entropy production are discussed.
通过对时间梯度误差的分析，得到了新的梯度约束方程；
A novel gradient constraint equation was obtained through analyzing the error of temporal gradient.
分析了需求不可分割带能力约束的车辆路径问题(cvrp)的2 -OPT算法计算时间的平均复杂度。
The complexity of the 2 -opt algorithm for the capacitated vehicle routing problem (CVRP) was analyzed in this paper.
模型的特点在于，通过一系列的时间结构上的约束条件，使得方案分析能够与适应性优化结合起来。
The special temp - oral structure of the constraints in the model makes it possible to combine scenario analysis with true adaptive optimization.
分析了竞价算法中各类约束的特点，重点是时间约束和网络约束，并对处理这些约束的数学方法进行了探讨。
The authors analyze the characteristics of constraints in bidding algorithm and focuses on time constraints and security constraints. Mathematics method to handle these constraints is also discussed.
约束混凝土的问题长时间被认可和调查过去的实验和分析。
Problems of confined concrete have long been recognised and investigated both experimentally and analytically in the past.
模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。
Then time modeling and time possibility analysis of temporal phenomena in FTWF-nets were studied. Finally, an example was given to illustrate the use oft…
模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。
Then time modeling and time possibility analysis of temporal phenomena in FTWF-nets were studied. Finally, an example was given to illustrate the use oft…
应用推荐