基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

支付值为区间数的双矩阵博弈的二次规划求解方法

基于区间数集合IR上的不大于关系,给出支付值为区间数的双矩阵博弈的数学模型及其解的概念。先由区间数双矩阵博弈的混合策略均衡点存在的充要条件导出区间数双矩阵博弈的区间数二次规划解法,然后把区间数二次规划转化为一般二次规划．最后给出数值实例并利用lingo软件进行求解。     

基于遗传算法的制造网络服务质量优化

服务质量的合成是面向服务架构系统面临的重要挑战,评价面向服务架构制造网络最优化的典型标准是加工时间成本和系统响应时间.文中提出了一种应用遗传算法解决制造网络服务质量优化问题的新方法.首先用着色Petri网和排队论分别对制造网络的物流和信息流进行建模,然后应用遗传算法对该模型进行调度并获取服务质量的近似最优解.在该算法中,染色体采用分段基因编码,它们分别是制造网络物流和信息流调度方案的规则与加权系数的组合;遗传操作包括选择、交叉、变异3种类型.在每一代种群中,通过仿真得到与每个染色体相对应的各项性能指标值,以模糊综合评判方法求取制造网络服务质量适应度的函数值.实验结果表明,该方法能有效优化制造网络的服务质量.     

基于区块链的轮询系统MAC协议研究

针对网络信息传输量扩大、数据传输效率降低的问题,提出将区块链与轮询系统结合的MAC协议.首先,研究了基于区块链的轮询系统模型,并对其数据分发方式进行分析;然后,推导了门限、完全和限定K=1服务系统的平均排队队长、平均等待时间和平均循环周期的理论表达式;最后,通过Matlab将期望值与实验值进行对比分析.结果表明,随着到...     

邻近区域旅游企业合作的博弈分析——以张家界和凤凰为例

分析邻近区域间旅游核心吸引物对旅游者的引力、旅游企业各自的市场份额、旅游市场容量和旅游者在旅游目的地之间作出选择的转换成本等因素影响的基础上,通过构建一个包含“防降价均衡”博弈来分析旅游企业的服务定价、合作决策,寻找存在合理的旅游服务定价,使旅游企业有动力开展合作,造就双赢局面.     

环境治理中微生物方法的微分博弈模型

借助微分博弈理论中的线性二次博弈模型和微生物生长的微分方程模型,同时考虑到环境治理效果和成本控制两个因素,给出了一个使用微生物方法进行环境治理的微生物投放策略.     

政府引导下的科学城政产学研协同创新合作策略演化博弈研究

政府引导下政产学研组成的科学城协同创新主体,发挥创新联盟主体的优势互补,协同促进科技成果转化。构建政府引导的政产学研协同创新的三方演化博弈模型,应用MATLAB数值仿真分析影响协同创新联盟主体策略选择的关键因素,分析联盟主体参与意愿、政府的激励力度等因素对协同创新体系演化的影响。研究表明,政府的监管意愿对企业与学研方的策略选择影响显著,且企业更加敏感。政府的奖惩措施、消极合作的机会损失对企业与学研方的影响程度不同,对学研方的影响更大。     

论人类与自然的博弈及困境

自从人类诞生以来,人类的生存发展过程就是不断向大自然索取各种物质资料的过程,一部人类文明史也是人类与自然不断博弈的历史.人类的行动策略从适应自然到试图征服自然是一个漫长的历史过程,人的意识也经历了从畏惧自然到以自我为中心的发展变化.高度发展的工业文明既创造了大量物质财富,也导致了生态环境的恶化,大自然对人类行动策略做出强烈的反应.目前,人类试图与自然进行合作博弈,但要把行动策略变为现实,仍面临难题,主要是如何摆脱在资源利用方面人类之间囚徒困境式的博弈局面,这既涉及当代人的合作问题,也涉及人类代际之间的合作问题.     

由出租车和乘客构成的特殊结构排队系统仿真

出租车排队系统的特殊性体现在:1)服务台移动;2)服务台与服务对象双向排队等待;3)服务台具备主动搜索服务对象的能力;4)服务时间受到路网动态交通流和信号灯的影响。基于此,采用离散事件仿真技术模拟出租车在路网上搜索乘客并提供出行服务的动态过程。校核与验证的结果表明:仿真模型能够更真实和精确地描述出租车运营系统,仿真结果与实际系统是一致的。     

紧密型与松散型医联体的下转效率对比研究

三甲医院与社区医院的利益冲突使得下转项目难以实施,为此医保局鼓励医院构建医联体.而本文是首个从医联体结构角度出发,通过构建三阶段排队博弈模型来刻画医保局,两级医院和病人间的交互过程,并在此基础上,对比了紧密型和松散型医联体的下转效率.研究发现:1）紧密型医联体下,医保局制定的最优打包价格更低,但最优下转量更多,社区医院的努力程度更高. 2）紧密型医联体的最优下转量（努力程度）总是多于社会最优情形;但只有当外部治疗成本较小时,松散型医联体的最优下转量（努力程度）才多于社会最优情形.3）当外部治疗成本较小时,松散型是帕累托改进策略;当外部治疗成本较大时,紧密型是帕累托改进策略.