基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

Simulation Modeling by Fuzzy Nets

Fuzzy technology is a newly developed discipline based on fuzzy mathematics. In the recent years, it has been successfully applied into many areas, such as process control, diagnosis,evaluation, decision making and scheduling, especially in simulation where accurate mathematical models can not or very hard be established. In this paper, to meet the demands of fuzzy simulation, two fuzzy nets will first be presented, which are quite suitable for modeling the parallel or concurrent systems with fuzzy behavior. Then, a concept of active simulation will be introduced, in which the simulation model not only can show its fuzzy behavior, but also has a certain ability which can actively perform many very useful actions, such as automatic warning, realtime monitoring, simulation re-sult checking, simulation model self-adapting, error recovery, simulating path tracing, system states inspecting and exception handling, by a unified approach while some specified events occur. The simulation model described by this     

分布式数据库并发控制的一个理论模型

本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。     

关节化虚拟人手臂动作的建模及其仿真实现

关节化虚拟人在执行维修作业过程中，不可避免的需要用手臂去操控各种操作对象，为此提出了一种基于Petri网的关节化虚拟人手臂动作模型。模型首先利用逆向运动学方法计算出在目标位姿下的关节链上各关节的角度，进而利用关节插值方法，以仿真循环迭代的方式实现对手臂关节链上各个关节的运动控制。仿真和实验结果验证了所提方法的可行性与实用性。     

作业时间随机性及其影响分析

研究作业计划的随机性特征和工序时间波动对调度规则的影响。通过分析和研究不同作业间的工序时间分布关系 ,建立了基于时间参数的调度规则在两项任务间的工序时间随机分布存在重叠情况下的失效率的计算模型。在此基础上 ,采用概率分析法 ,进一步分析和建立了多项任务工序时间分布有重叠的调度规则失效率计算模型。采用该计算模型 ,分析了不同任务间的工序时间期望值相对差和工序时间波动幅度对调度规则失效率的影响     

基于Petri网的Web个性化服务

Web站点的个性化服务功能,可以帮助用户快速找到其所需的信息。基于推荐系统是当前实现个性化服务的主要方法。这种个性化服务方法存在显示不直观和重复计算的缺点。本文给出了基于Petri网的Web个性化服务方法,克服了基于推荐方法的缺点,并讨论了进一步的研究工作。     

随机型网络瓶颈容量扩张的机会约束模型与智能算法

文章研究的问题为，在不确定环境中的机会约束下，怎样去增加一组边的容量到一个指定的瓶颈容量，以至于网络瓶颈扩张的费用最小。本文假定每一条边的单位扩张费用w1是一个随机变量，服从一定的概率分布。带有随机单位扩张费用W的网络瓶颈容量扩张问题可以根据一些概率机会约束规则，列出它的机会约束规划模型的通用表达式。随后，本文将网络瓶颈容量算法、随机模拟方法、神经网络和遗传算法合成在一起，设计出该问题的混合智能通用算法。最后，给出数值案例。     

DEDS仿真模型优化算法的终止规则研究

终止规则在优化算法中起着十分重要的作用。本文首先对采用传统终止规则的优化算法在处理DEDS优化问题时遇到的问题进行分析,在此基础上针对DEDS优化问题及其算法的特点提出一个新的终止规则,文章最后通过实际例子对终止规则进行了仿真分析。     

随机冲击下的最优变现策略

相对于普通投资者，大规模持有某种资产的机构投资者在交易这种资产时．其行为会导致资产价格的单向变动，从而产生流动性风险。本文考虑在随机冲击下机构投资者的纯卖变现行为，利用最优控制理论研究内生的最优变现时间问题。敏感性分析表明．最优变现策略和变现时间由市场价格波动率、资产的流动性和机构投资者的风险厌恶偏好共同决定，需要投资者相机选择合适的最优变现策略。