公共文化服务平台

共 5 条记录，以下是 1-5

全选清除导出

排序方式：

移动无线传感器网络中基于概率式运动预测的可靠服务执行方法被引量：1: 2014年; 移动无线传感器网络(MWSN)中节点间可彼此协作,对数据信息进行过滤、计算与组合后,并通过服务形式对外提供使用。然而由于传感器节点移动的不确定性及无线通信距离的有限性,在MWSN中实施服务执行时,需考虑各节点执行服务所需的时间及相互间在未来特定时间区间内所处的物理位置。通过节点移动速率、移动方向的概率函数来定义与预测它们运动的多种不确定运动模式及将来可能所处的物理区域,在此基础上度量传感器节点彼此间在特定时间区间内处于有效通信区域内的可靠性,并给出基于蒙特卡罗模拟的近似计算方法。进一步考虑了服务执行所需的最大时间阈值以及最小可靠性阈值,给出了完全遍历的服务选择算法与Pareto-控制(Pareto-dominated)的局部k最优服务选择算法;最后通过实验分析比较了所提出算法的特点。; 胡海洋张俊峰胡华; 关键词：移动无线传感器网络通信可靠性

基于P2P架构的分布式虚拟环境中一种状态消息的随机分发方法: 2014年; 针对基于P2P通信架构的分布式虚拟环境中的视图一致性问题,在分析有限的网络带宽等影响因素的基础上,提出了一种随机广播算法进行状态消息分发。该算法需预先建立随机几何图结构,并利用给出的通信限制时延进行状态更新消息的发送。结合基于贪心的路由选择算法,通过已获得状态更新消息的节点转发,进而确定节点间的转发路由,获得节点间具有较少通信时延的消息传播时间。经实验分析及验证表明,该算法与其他几种算法相比较而言,在很大程度上减少了时空不一致性事件率,提高了系统性能。; 李涛胡华胡海洋; 关键词：点对点分布式虚拟环境

一种基于Token Log的符合性检查方法被引量：4: 2015年; 使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包含大量选择结构,则即使日志是模型本身的日志,也会因为模拟执行较多任务时会触发当前序列外的其他任务,而误判日志与模型的符合性较低;或者,如果模型中只包含少数的并发结构和多数的顺序结构,则即使日志只包含顺序结构的内容且非该模型对应日志时,也会因为在模拟执行时只有个别任务会导致模型无法继续执行,而其他多数任务可以执行而误判日志与模型有较高的符合性.基于已有方法的弱点,提出了使用日志内容检查模型结构正确性与使用模型结构检查日志内容完整性的双向检查标准,并提出一种内容特征与模型结构特征一一对应的新型日志——Token Log,用于过程模型与系统日志的符合性检查,使得检查和判断过程更加清晰简洁,结果更加准确.; 李传艺葛季栋胡海洋胡昊骆斌; 关键词：符合性检查工作流网 LOG PROM

基于流程挖掘的决策支持方法被引量：5: 2013年; 为了提高业务流程的执行效率,考虑工作流执行过程中存在的各种约束条件对工作流决策支持的影响,研究了如何将工作流中各种约束条件考虑在内的决策支持方法,并侧重考虑时间约束和成本约束。首先扩展了传统Petri网,研究了一种增加工作流中资源信息描述的、可扩展的业务流程表示模型——时间资源Petri网模型。在此基础上提出一种资源分配优化方法,利用业务流程中存在的多种约束条件,对使用TRPN模型表示的业务流程进行资源优化分配,以在满足当前工作流约束条件的基础上提高流程执行的效率。通过具体的实验分析,验证了所述方法的正确性和有效性。; 胡海洋张笑菲胡华葛季栋; 关键词：资源管理

面向移动社交网络的协作式内容分发机制被引量：11: 2013年; 在移动社交网络中,具有相似兴趣爱好的移动用户之间可通过移动计算设备连接起来,形成虚拟社区,它们常需要和基站及社区内其他用户间交互以实现数据内容的传送与分发.因此需要提供高效、低费用的内容分发机制,来及时更新移动社交网络中用户所携带的内容.该文将社区内当前处于邻近物理位置的用户组成临时的虚拟用户组,并以协作的方式通过基站从内容服务商处下载内容,然后在组内完成内容分发.在对用户组的内容传播时间和支付费用这两方面进行优化时,该文首先分析了面向内容分发完成时间的两种优化策略:用户组中内容分发的最大传播时间最小化策略、非服务性用户的内容平均传播时间最小化策略.在此基础上,综合考虑所需支付的内容获取费用与网络连接费用,来制定优化的内容分发机制.该文给出了相应的算法,并通过仿真实验分析了所提出方法的特点.; 胡海洋李忠金胡华赵格华; 关键词：移动计算社会计算移动互联网

全选清除导出

共1页<1>

浙江省自然科学基金(LY12F02005)