军费适度规模形成的博弈分析

文章分析了军费适度规模形成过程中国家之间单阶段、有限重复和无限重复博弈,探讨了中央与军队间军费分配讨价还价过程,通过建立模型就优化三军军费分配比例进行了论证。     

防止军队审计部门与事业部门合谋的博弈分析

在目前的军队审计中,军队审计部门容易形成与事业部门的合谋现象。为防止这一违法行为的发生,必须引入军地双重审计机制,即对军队审计过的军事经济活动,再以一定的概率让地方会计师事务所介入进行重新审计。通过增加审计人员与事业部门的博弈次数,并提高对行贿受贿双方惩罚的力度,可以有效地遏止合谋行为的发生。     

国防预算制度运行监督的博弈分析

文章通过分析完全信息静态博弈下军方决策层与军队预算执行单位的行为指出,在军方决策层和军队预算执行单位的博弈过程中可能出现混合策略纳什均衡,并根据这一结论,对国防预算制度运行监督提出了对策性建议。     

基于斯坦克尔伯格博弈的装备采办最优合同设计

市场经济条件下,合同成为贯穿装备采办全过程的核心问题。文章认为,军品合同的不完全性更为显著,且不完全合同是装备采办的最佳选择。为此,要结合装备采办市场的特殊性,在军方主导的视角下,基于斯坦克尔伯格博弈设计装备采办最优合同。同时,交易双方可通过重新谈判,有效防止合同不完全、信息不对称所引发的逆向选择、道德风险等问题。     

从重复信号博弈看国防生培养机制

文章运用重复信号博弈模型,剖析了国防生培养政策中体现的机制设计思想,分析了国防生培养相关政策制订的理论依据,指出了国防生培养相关政策中存在的问题,进而提出了改进、完善国防生培养机制的政策建议。     

影响图建模算法的改进

影响图建模方法是一种规范化的复杂系统建模方法,其实质是将表征复杂系统的参量及参量间的耦合关系进行分类,并以此为基础建立系统的数学模型.影响图建模算法就是将系统的参量及参量间的耦合关系进行分类的算法.目前使用的算法是James R.Burns于1979年提出的.该算法仅考虑了最小的反馈回路,而没有考虑影响图中存在的一般反馈回路,且一些操作造成了不必要的循环.在分析该算法的基础上,考虑了一般的反馈回路,并对原算法的操作步骤进行了优化重组.     

产品供应商与产品分销商的非完全信息博弈

博弈论是研究多人决策问题的理论,这类问题在经济学研究中经常会遇到,如在微观领域,交易机制的模型(讨价还价模型等);在中观经济研究中,劳动力经济学和金融理论有关企业要素的投入模型;在宏观经济中,国家间相互竞争,选择关税和其他贸易政策的模型等。就信息的完备程度主要分为四种类型的博弈:完全信息静态博弈、完全信息动态博弈、非完全信息静态博弈、非完全信息动态博弈。     

不确定环境中的飞行器航迹快速搜索算法

本文提出了一种飞行器两阶段航迹规划算法,该方法能够在具有不确定信息的飞行环境中进行实时规划。首先根据获得的先验信息建立概率模型———概率图;其次为保证航迹的鲁棒性及可行性,先用RYG算法确定飞行器的安全走廊,有效地缩小了搜索空间。在此基础上,考虑到实际约束条件,再利用A*搜索算法进一步细化,得到一条最优航迹。仿真结果表明,该算法能够快速有效地完成规划任务,获得较满意的航迹。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。