随机需求下电力竞价市场演化均衡分析

基于2×2非对称演化博弈原理,分别针对电力市场中的MCP与PAB竞价机制,分析了随机电力需求下的电力竞价市场演化情况;在此基础上,从市场效率的角度对演化均衡进行政策分析,并给出了竞价市场收敛于报价下限处的条件;分析表明：①MCP机制相对于PAB机制更易使电力竞价市场收敛于报价下限处;②若报价下限一定,使电力竞价市场收敛于报价下限的报价上限要么较大要么逼近报价下限;最后进行算例分析。     

基于下半方差的债券投资组合模型

用下半方差作为风险度量构建了债券投资组合模型,研究投资者的债券投资问题。在理论上分析了模型最优解的存在性,并且证明了模型具有全局最优解。为了得到最优债券投资组合策略,依据模型的随机属性,构造了求解模型的蒙特卡罗罚函数算法,并且证明了算法的收敛性。给出了相应的数值算例验证模型的有效性。     

一种基于随机占优准则的多指标多标度大群体决策方法

针对多指标多标度大群体决策问题,提出一种基于随机占优准则的决策方法。将参与决策人针对各指标给出的方案评价信息转化为关于指标评价标度的概率分布,然后依据随机占优准则判断并确定两两方案之间比较所具有的随机占优关系,并构建相应的随机占优关系矩阵。在此基础上,运用PROMETHEE Ⅱ方法得到方案的排序结果。实例分析表明,所提出的方法具有可行性和有效性。     

Modeling workflow using XML and Petri net

Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.     

基于约束组合CTPN的带式输送机系统建模

带式输送机控制系统是复杂实时系统,基本Petri网在描述该类系统时会出现＂节点爆炸＂问题。提出采用约束组合弧来克服该问题。约束组合弧不仅可以描述库所组合触发变迁的效果,而且可以描述变迁发生时部分输入库所托肯不变的情况。在为带式输送机控制系统建模中,提出了基于时间Petri网的带式输送机联锁控制系统模型,并将时间Petri网模型折叠成约束组合有色时间Petri网模型,提高了模型的抽象能力,降低了模型复杂性。     

BitTorrent协议的Petri网建模方法研究

BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petn网层次模型,集戍模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析。确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。     

从协议Petri网到Estelle的转换

Petri网和Estelle是国际上流行的两种描述通信协议的形式技术.基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协议工程领域有着广泛的应用.而Estelle类似于程序语言,可对协议进行无二义的描述.本文针对现有Petri网系统的不足,从协议形式描述的角度出发,定义了一种抽象通信特性的协议Petri网,给出了由协议Petri网转换为Estelle形式的方法.基于此方法文章还构造了自动实现转换的算法,并给出了一个实例.     

Petri网共享T型子网合成活性分析

为解决子系统共享问题,提出了经由Petri网系统共享T-型子网构成共享子网合成网的解决方案。共享T-型子网合成是研究复杂Petri网系统性质的一个有效途径。研究了共享T-型子网合成对参与合成的各网系统的活性的继承关系,给出了合成网保持活性的充分条件或充要条件。随后给出的有关制造系统设计和分析的实例,说明了该合成方法的有效性。本文的结果可为Petri网系统合成的静态和动态性质的考察提供有效途径,对系统的设计和验证具有重要的指导意义。     

考虑人寿保险的最优金融决策

不同于以前的最优消费、投资问题研究，本文研究个人投资者的最优金融决策问题——如何决定最优的证券组合、消费和购买人寿保险，使其期望效用最大化。假设投资者死亡事件是一个独立的泊松过程，对投资者生存期间的最优金融决策问题构造了一数学随机模型，运用动态规划原理和随机分析方法，解决对应的最优控制问题，最优策略可通过对应的HJB方程得到。对于效用函数为CRRA(常数相对风险厌恶)类型，显式地得到具有反馈形式的最优投资过程、消费过程及人寿保险购买过程。     

基于随机Petri网的NAT-PT协议的性能分析

网络地址翻译与协议翻译(NAT-PT),是IPv6(In-ternet P rotoco l vers ion 6)过渡协议中非常重要的一种。地址池是NAT-PT中的重要概念,其大小对于NAT-PT的性能起着关键的影响。该文的主要研究目的就是获得性能和地址数量上的平衡点。该文使用随机Petri网对NAT-PT进行形式化描述,建立了其广义随机高级Petri网模型和广义随机Petri网模型。并且通过工具包SPNP(S tochastic Petri N etPackage)计算分析得到了一定主机数量下地址池大小的近似最优化结果,同时对NAT-PT地址翻译的系统吞吐量进行了评价。当地址数量为近似最优值时,不仅可以节省地址分配,而且系统性能几乎不受影响。