排序方式： 共有2条查询结果，搜索用时 15 毫秒
1
1.
利用排队论、最优化理论等方法对问题进行了较为全面的分析,在此分析的基础上以司机满意度y＝f（t）为目标函数分别建立了p条车道,n条通道,一条通道上一个收费亭的数学模型M（p,n,1）和一条通道上两个收费亭的数学模型M（p,n,2）,通过对建立的模型进行对比给出不同车流量的情况下,一道一亭和一道两亭的平均延误时间。最后综合考虑了高速公路和收费站的基本情况,给出了模型进一步改进的方向,从而进一步扩大了模型的应用范围。 相似文献
2.
为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法. 相似文献
1