排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
世界正在进入一个信息时代,为了适应信息社会知识不断创新、技术不断进步的变化,人们必须不断提高自身的文化素质和竞争实力,以适应社会的发展。获取知识已成为人们社会生活中不可或缺的一部分,人们对教育的需求已延伸到继续教育、终身教育。早期的远程教育采用函授及广播电视的方式,其单向传送的特点已不能满足现代教学交互性的要求。广大的在校学生也不再满足于传统的课程,希望学校能够提供更多与社会需求相适应的课程,并能够采取更灵活的学习方式。传统的学校教育从教学内容到教学方式都无法满足这种需求。因此,基于网络的远程教学由于访… 相似文献
2.
世界正在进入一个信息时代,为了适应信息社会知识不断创新、技术不断进步的变化,人们必须不断提高自身的文化素质和竞争实力,以适应社会的发展.获取知识已成为人们社会生活中不可或缺的一部分,人们对教育的需求已延伸到继续教育、终身教育. 相似文献
3.
一种基于Petri网的自动Web服务组合算法 总被引:1,自引:0,他引:1
为了自动获得性能最优的Web服务组合方案,提出一种自动Web服务组合算法.该方法根据用户的组合需求和已有的Web服务,自动生成服务组合的数据流模型,并用Petri网描述;通过抽取Petri网中变迁之间以及变迁序列之间的各种并发关系,得到性能最佳的Web服务组合方案,并将最佳方案转换为业务过程执行语言的抽象模板.与已有方法相比,该方法能有效地获得性能最佳的具有控制流结构的组合方案. 相似文献
4.
着色Petri网模型检测工具的扩展及其在Web服务组合中的应用 总被引:1,自引:0,他引:1
Web服务组合的形式化描述和验证是一个重要的研究问题.为了更好地完成验证工作,提出了扩展着色Petri网的模型检测方法.首先,在着色Petri网原有的基于CTL的局部模型检测算法基础上,给出了获取模型检测证据/反例的算法,并在着色Petri网模型检测工具--CPN Tools--中使用ML(meta language)语言实现了这些算法,然后将扩展后的CPN模型检测工具应用在Web服务组合的验证问题中.该方法不仅可以验证Web服务组合是否存在逻辑错误,还能告诉用户发生错误的原因,为Web服务组合的验证提供了技术上的保障.实验表明对着色Petri网的模型检测工具的扩展是正确、有效的. 相似文献
6.
7.
采用变参数的KIM方程对石嘴山矿区太原组和山西组中低成熟度煤岩煤层含气量进行预测,研究结果表明受沉积环境的影响,石嘴山矿区陆相山西组煤岩表现出高水分含量、高灰分产率和低固定碳含量的煤质特征,且山西组煤岩无机矿物含量高于太原组煤岩,这是导致山西组煤岩甲烷含量和吸附性能与太原组相比略低的主要原因之一;采用变Vw/Vd参数和变温度常数b对石嘴山矿区煤岩进行了基于KIM方程的甲烷含量预测研究,结果表明,基于变参数的KIM方程的煤岩含气量与实测煤岩含气量误差为1.93%~16.18%,而基于朗缪尔(Langmuir)方程反推的煤岩甲烷含量普遍较高,因此使用变参数KIM方程在预测煤岩含气量方面更具优势。 相似文献
1