公司资产具有跳-扩散过程的债务证券定价

综合考虑违约风险与市场风险对公司债务证券价格的影响,用非齐次的泊松过程描述突发事件发生的强度函数,试图完善Zhou（1997,2001）的模型,利用远期风险中性测度变换方法,在随机利率环境下建立跳-扩散过程的公司资产价值模型,分析违背绝对优先规则时公司债券的定价与信用差价买权的定价.     

随机供求下的道路服务水平可靠性

目前对路网可靠性的研究主要集中在连通可靠性、行程时间可靠性和容量可靠性三个方面,但这些可靠性指标均不能综合反映路网的性能.为此本文从交通供给和交通需求随机性分析入手,借鉴可靠性理论,从出行者个体和网络管理者的角度出发,提出了服务水平可靠性的概念,拓展了现有的路网可靠性评价指标.通过将路段容量和交通需求简化为离散随机变量,基于路网最可能状态生成算法,建立了路段及路网服务水平可靠性计算的近似算法,最后在一简单网络上进行了计算分析.     

基于风险厌恶者的连续对策之随机占优均衡

一般对策理论中只把局中人为风险厌恶者作为一种隐性假定，没有给出明确的判别特征，本文在对局中人的风险厌恶态度划分阶次的基础上，引入连续对策上的t阶风险厌恶者、随机占优下的t阶最优策略和t阶均衡解等概念，研究了t阶均衡解与经典Nash均衡之间的关系，以及t阶均衡解存在的充分必要条件。得到了如下几个主要结果：（1）可用支付函数的高阶导数的符号判别任意阶次的风险厌恶者，阶次的大小对应对策参与人风险厌恶的不同程度；（2）t阶均衡解集等价于其Nash均衡解集；（3）直接用分布函数的阶次特征来识别t阶最优策略和t阶均衡解。     

合成Petri网P不变量的性质分析

针对Petri网两种合成操作(共享合成、同步合成),采用组合原Petri网不变量生成合成Petri网不变量的方法,研究了合成Petri网P不变量的变化规律。对于同步合成Petri网,当原Petri网邻接矩阵的秩不超过各自转移数与共享转移数的差时,合成网的P不变量可以用原网P不变量的线性组合表示。对于共享合成Petri网,网的P不变量的位置投影是原网的P不变量;当原Petri网的P不变量线性相关时,可用其线性组合表示合成网的P不变量。     

基于GSPN的供应链产品成套性建模与分析

针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。     

软构件行为适应的Petri网方法研究

构件适应技术是基于构件的软件工程中一个很难解决的问题。分析了软构件行为描述及行为关系,提出了构件行为的进程代数描述转换为Petri网描述的转换规则及转换算法,根据Petri网的同步距离性质计算交互的软构件行为之间的匹配关系,自动生成行为适配器的描述,提出了一种解决软构件交互过程中产生的行为不匹配问题的形式化方法,并列出了一些值得进一步研究的问题。     

基于多Agent系统网管模型的形式化建模

运用多Agent系统实现分布、自治的网络管理是构造下一代网络管理系统的一条全新思路。然而,大多数基于多Agent系统的网管模型均采用非形式化的方法进行描述,容易造成人们对模型理解的歧义性和在系统开发过程中的随意性。一种利用有色Petri网对分布式网络管理模型进行形式化建模的方法被提出。利用该方法所建立的形式化模型,能够对分布式网管模型中多Agent系统的组成结构和运行机制进行全面刻画,能够描述模型中用到的Agent的各种特性。     

一种基于模糊Petri网的并行推理方法

把模糊Petri网模型转化为矩阵形式,在此基础上提出了一种并行推理算法。算法将推理过程转化为矩阵运算,不但考虑了前提条件的权值、变迁阈值和规则可信度等因素,还进一步将变迁触发条件严格化,有效的避免了一些变迁不必要的重复触发,降低了算法复杂度。通过实例说明,此推理算法易于实现并可以提高推理效率,尤其适合较大较复杂的模糊Petri网模型。     

基于着色Petri网的GEO-RBAC策略验证

GEO-RBAC是一种能够处理空间信息的访问控制策略,其角色按照粒度分为角色模式和角色实例,按照维数分为空间角色和非空间角色。基于实例的角色分配与传统RBAC策略类似。使用着色Petri网对GEO-RBAC中基于模式的角色分配进行建模,并给出了可达性分析方法,通过对角色分配事件图可达状态的分析实现了GEO-RBAC策略的一致性验证。     

栈结构的增广Petri网模型

增广Petri网（如抑止弧Petri网）的模拟能力相当于图灵机,堆栈是一种常见的数据结构,运用增广Petri网的强大模拟能力,通过用一个变迁序列表示入栈字符串,另一个变迁序列表示出栈字符串,可以建立堆栈结构的模型SEPN。利用SEPN模型和映射函数,给出了产生几种上下文无关语言的有限长子集的增广Petri网模型,这几种语言是不能由一般的Petri网产生的。