排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的目标实现依赖于控制流、数据流和资源三维基本观点的协作.保证过程的目标实现需要验证这三维观点协作的正确性,称为语义验证.该文侧重讨论大型、灵活的过程语义验证问题.首先,形式化定义过程模型,综合体现三维基本观点,表达完整的过程语义,并使用基于组件的思想,具有一定可扩展性和灵活性.然后,通过探讨组件间的协作逻辑,提出基于组件的化简方法(Component Based Reduction,CBR)和化简规则,为过程语义验证提供有力支持. 相似文献
2.
柔性工作流技术研究的现状与趋势 总被引:26,自引:2,他引:26
工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了柔性工作流的解决策略和方法,介绍了支持柔性的系统体系结构和元模型,并对一些具体的实现机制进行了讨论和比较,介绍了一些成熟的工作流系统,分析了系统中相关的柔性实现;最后,说明了理论研究和系统实践的未来趋势和发展方向. 相似文献
3.
构建典型引领、集成创新、产业集聚现代农业园区产业基础理论,统计分析江苏省首批现代农业园区产业基本情况,发现在
产业特色、科技支撑、产业模式等方面存在制约农业园区产业发展的瓶颈性问题,提出现代农业园区要设施化、机械化、科技化、产
业化、规模化、组织化、生态化和农民职业化促进产业升级,组建稳定的包含研发、生产、加工和服务等各环节完整的农业产业链推
动园区稳健发展,优化优质粮油、设施农业、特色农业、畜禽养殖和休旅农业五大产业布局打造区域特色,集成生物、信息、设施、安
全与标准和循环低碳等现代科技支撑园区产业科学发展。 相似文献
4.
越来越多的行业开始利用云以降低成本提高生产力,支撑多样化的服务对数据中心的网络性能提出了更高的要求,如何高负载下优先保证各项服务的质量变得至关重要,云服务提供商同时也关注如何提高数据中心的网络资源利用率并降低能耗。结合上述问题,提出一种基于服务满足度对非服务网络流进行调度的方法。引入服务满足度这一概念,评估网络状态能否满足服务需要,然后依据网络流所支撑的不同服务将其分类,网络负载激增时基于服务满足度调整非用户服务依赖的网络流,降低网络负载缓解拥塞。仿真结果表明,主动避让方法在网络高负载时能优先保证服务的质量,同时提高网络性能。 相似文献
5.
6.
聚类是一种无监督分类,常用于机器视觉、图像处理等领域.针对密度峰值聚类算法初始聚类中心需要人工手动选择问题,提出一种自动选择聚类中心算法,通过使用最小二乘法结合决策图进行簇中心选择,并提出改进选点策略进一步减少算法所需时间开销.实验中使用Matlab实现算法,并使用6种UCI常用数据集测试,实验结果表明它的性能优于现有的方法,在无需人为干预的情况下获得较好的聚类效果,对数据集内部规律和噪声点都有较好的识别能力. 相似文献
7.
使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧道的过程消耗来降低IPSec与移动IP通信切换的复杂度.使用Petri网对该模型建模,利用Petri网分析器验证了模型的可行性,同时分析了移动节点在进行链路切换时易于遭受的两种攻击:拒绝服务攻击和重放攻击,并分别对攻击过程建模,验证了移动IPSec的快速切换模型对这两种攻击的防御能力. 相似文献
8.
为了设计激光标记数字振镜控制系统,采用数字信号处理器芯片作为数字控制板的主处理器,使用具有高传输速率和支持热插拔的通用串行总线进行上位机与数字控制板的通信;标记图形的数据处理算法由具有高速运算能力的数字信号处理器完成,复杂可编程逻辑器件芯片完成控制信号的时序控制和输出,使用传送差分信号的RS-485总线进行控制系统与数字振镜和激光器的通信,根据理论分析和参量模拟,得到了对数字振镜的转动角度和激光器功率的高精度控制。结果表明,该系统可以实现实时、高速、高精度的激光标记。 相似文献
9.
10.