【摘 要】
：
针对拓展的Web服务体系结构,利用概率时间自动机（probabilistic timed automata,PTA）对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对We
论文部分内容阅读
针对拓展的Web服务体系结构,利用概率时间自动机（probabilistic timed automata,PTA）对Web服务组合进行形式化建模,将Web服务组合的过程理解为一个实时系统的运行过程,进而对Web服务组合的整体服务质量（quality of service,QoS）进行定量分析,从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性,在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性,具有较高的可信度.通过实验说明了建模分析方法的可行性,并证明
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
为了实现涵洞设计的计算、出图、工程量统计一体化,依托MicroStation CONNECT Edition平台,研发了铁路涵洞一体化设计程序。(1)根据铁路BIM联盟相关规范,对铁路涵洞构件进行
目的 观察利用耳穴压豆联合参芪地黄汤对慢性肾小球肾炎的临床疗效和护理方法.方法 选取我院2013年1月至2013年12月我院住院的慢性肾小球肾炎的患者为研究对象,并随机分为观
以多边形的面积为例,主要从习题的数量、认知水平和难易程度3个方面对小学数学人民教育出版社和北师大版两版教材进行比较研究.其中,认知水平主要从计算、概念、领会和分析4
本文探讨了Ｂｒｏｄｆｏｒｄ法直接，快速测定肌肉蛋白质含量方法。样品分别采用物理和化学法处理，两者无显著差异。标准曲线分别采用ＢＳＡ和凯氏标定肉液进行制作，两者有显著差异，最大吸收波长５９５ｎｍ，回怍率９５－１０２％，显
新时期,建筑领域发展速度加快,工程建设规模逐渐扩大。实践中,为了增强工程造价概预算控制效果,实现这方面的科学控制,则需要考虑使用与之相关的控制措施,为相应控制工作的高
每年高校招生中,体育招生是不可缺少的一部分,甘肃省体育普招考试于每年4月底进行,各位学子在经历辛苦训练后,满怀信心期待考试。考试内容有专项和一般身体素质(100米跑、立
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
为实现学生的综合发展,高中阶段的教学正如火如荼地开展新课程改革,很多教师用自己的智慧创造了大量有效的、新的教学模式.其中,明确教学环节,为教师指明教学方向,让学生的学