基于Game理论的μ-演算公理化

随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛的一种,它具有语法成分简洁、表达能力强等特点.扩展了Lange和Stirling基于Focus Game的LTL和CTL的公理化方法.提出了一种基于Game理论的μ-演算公式的可满足性的测试方法,该种方法能够将模态μ-演算公式的可满足性问题转化为FocusGame的求解问题.进一步,基于这套Game规则,给出了一个新的关于μ-演算可靠完备的推理系统.同已有的μ-演算公理系统相比,该推理系统相对直观、简洁.

美国对华科技的“灰色地带”竞争战略

大国之间的“灰色地带”竞争日渐引发智库界、学术界和政策界的高度关注。经分析得出,美国对华科技“灰色地带”竞争存在3个特点,包括选择双方利益和能力不对称的领域作为切入点,违背科研规律和国际规范,呈现出从“I”到“C”再到“O”的渐进性打压路径等。深入探讨美国对华科技“灰色地带”竞争的5个表现,包括控制关键科技产品对中国可用性,在关键地缘政治地点或重点领域开展竞争,在前沿领域展示科技力量,减少中国对关键矿产、海底光缆等重要科技资源的控制权,制造不利于中国科技发展的舆论环境等。最后提出加强科技预警、寻找与美国共同利益点加强合作、利用多边渠道主动发声,塑造有利舆论等思考。

美国重返亚太及中国的战略应对--基于南海海上战略通道的视角

美国二战后一直控制着南海的战略咽喉,中国战略利益的延伸威胁到了美国在南海长期形成的控制地位,在此背景下,美国提出了重返亚太的战略,目的在于加强对南海的控制并防范来自中国的挑战,维持其全球霸主地位。本文从南海海上战略通道的视角去研究美国为何重返亚太。研究发现,美国介入南海问题是基于内在动因和外在动因。内在动因是美国的大战略决定了必然要控制海上战略通道以及美国欲把南海变成其全球第17条海上战略通道;外在动因是中国在南海的活动挤压了美国的海上战略通道空间。对中国来说,在不影响国家大战略以及海洋战略的前提下,应该合理地规划战略应对之策。

基于让步博弈方法的中美贸易关税的动态博弈分析

基于让步博弈的方法,对中美贸易双边关税问题进行了动态博弈分析,并建立了一个中美贸易双边关税的市场模型.研究表明,在让步规则的前提下,贸易双方不需要合约就可得到不少于最大输赢同酬出标的最优出标,以及得到让步均衡下的两国支付函数.该结果可为各贸易国之间的关税调整提供参考.

大国博弈视角下美国反情报活动趋势及拜登政府对华反情报战略

[研究目的]总结归纳冷战后美国反情报活动的演进趋势、探明美国如何依靠反情报活动服务其整体对外战略,并对当前拜登政府的对华反情报战略加以分析,以期服务于中美长期大国博弈,赢得战略主动。[研究方法]运用系统分析法,在场景驱动的视角下将冷战后美国反情报体系的演进历程划分为战略寻锚、战略转型、服务大国博弈三个阶段,并着重对当前这一历史时期美国战略化使用反情报行动的措施和思路加以剖析。[研究结论]2017年后美国政府的反情报改革全面转向于服务大国博弈,当前美国政府正试图战略化的使用反情报工具全面打压、遏制我国。我国应积极吸取他国利用反情报工作推进整体对外战略的既有经验,形成具有中国特色的反情报研究和工作体系,以避免在中美长期大国博弈中陷入被动。

中美日大国博弈框架下的中日关系--兼论国际关系中的敌友转换

本文试图把中日关系在不同时期中的转变放在中美日大国博弈的动态框架下进行梳理,以大国战略制定为基本出发点,以内政与外交连接的理论框架为基础进行分析。本文主要关注国际关系中敌友转换的五个动态因素,即国家利益、力量对比变化、盟友关系、领导人决策、内政外交互动五种变量。文中选择近两个世纪以来三国之间互动中具有方向性的重大事件作为节点,总结为八个转折点。之后对中美博弈下的中日关系进行了分析。前事不忘,后事之师。审视中美日在过去两个世纪的互动对我们今天研究中日关系仍然具有重大的借鉴和启示意义。

仪器考证Menzies法解Needham-Stavianos谜题找Nash均衡点——记郑和远航科技610年与李凤苞开启中德科技合作140年

"为何工业1.0-4.0都萌发在有千年黑暗时期的欧洲却不在航海辉煌之中华而反受其害?"为解这著名的Needham-Stavianos谜题,本文举例分析了1405郑和的辉煌航海科技与1875海防科技与外交先驱李凤苞贡献嘎然终断的过程,反思甲午之殇两甲子。并介绍了Menzies实地考证法与仪器断代测源补充皇史宬,从中国海洋开发史中探讨当代竞争策略的进化过程:von Nuemann 0和胜败竞争Nash均衡共赢竞争、国际标准平台共利合作。

基于Game理论交流接触器电磁系统多目标优化设计的软件实现

以CJ2 0 2 5型交流接触器为例 ,重点介绍以Game理论为基础 ,结合面向对象程序设计 (OOP)技术对交流接触器电磁系统进行优化设计的具体实现方法。

大国战略博弈与国际形势新趋向

当前世纪疫情和传统安全风险相互交织,全球治理体系和国际格局加速调整,影响国家间力量对比、竞争优势转化乃至国际秩序调整的因素更加复杂多元,历史性转型和变革性调整成为国际战略格局新态势。乌克兰危机和美国对华实行“竞争、冲突与合作”战略,使大国对抗重回世界政治。国际格局演变使亚太开始具有区域冲突的现实性,地区安全形势面临新一轮变局。这既对中国开启第二个百年奋斗新征程带来重大挑战,也为中国引领世界繁荣稳定提供了机遇。要深刻认识和把握国际形势演变规律和发展趋向,积极促进区域合作和秩序构建,推动中国的高质量发展和高水平开放,给变乱交织的世界注入宝贵的信心和力量。

对中美科技创新资源配置模式的比较与认识——基于美国智库主要观点的辨析

近期,美国智库通过横向比较中美科技进展,认为美国科技创新总体呈现弱化态势,并提出了相应建议。本文研究发现,与过去主要针对我国科技具体领域或个别政策跟踪的做法不同,美国智库近年越来越注重比较中美的科技创新资源配置方式,以制定针对中国优势的机制化策略。从美方实际政策动向以及智库的主要观点看,以“模式”应对“模式”正在成为中美科技创新博弈的重要动向。通过客观分析美国智库的主要观点以及中国在科技创新资源总体配置方面的进展与差距,建议强化国家战略科技力量,优化我国科技创新机制;调整研发投入与政策,培育世界顶尖级科技企业;优化国有创投基金运作机制;深化创新链合作治理,共建安全有序的国际数字空间共同体。

The exploration of the innovation mode of school enterprise cooperation in game analysis

school enterprise cooperation as a new mode of teaching. In the teaching practice has its advantages and disadvantages, how to obtain the maximum value in the pros and cons,It is the problems that enterprises and schools, both sides need to work together to solve. This article will carries on the domestic and foreign cooperation game research production analysis on the advantages and disadvantages in school enterprise cooperation and the analysis of its innovation. Emphasizing that between school and enterprises signed employment agreement, both parties together to develop personnel training plan, and the teachers, technology and other aspects to carry on the cooperation, using ＂agreement order type＂ talent culture.

暗流涌动:中苏解决中东铁路问题的交涉(1917-1931)

苏俄政府建立后曾两次发表对华宣言,主张将中东路权归还中国,此后中苏双方围绕中东路权和管理权的归属展开一系列交涉。结果苏俄并未履行归还中国路权的承诺,反而与中国签订一系列协约,将中东铁路推向中苏共管。出于各自的利益考量,国内外各方力量对中苏共管中东铁路表现出不同的立场和态度。中苏达成的协定并未贯彻执行,各种势力掺杂其中,龃龉丛生,纠纷不断甚至兵戎相见,中苏中东铁路问题始终悬而未决,深刻反映出近代中国东北路权斗争的复杂性。

美国“印太战略”的演进:中国的认知与战略应对

“印太战略”历经奥巴马、特朗普和拜登三届美国政府的持续推进,已经从概念到付诸实施,并逐渐成为美国谋求大国竞争优势的重要地区战略。美国推行“印太战略”已产生了多重复杂影响,不仅加剧了中美战略博弈,也恶化了亚太地区局势,使得区域合作遭受冲击。加强对“印太战略”的认知,妥善谋划应对之策尤为重要。中国官方对“印太战略”的态度经历了从观望、拒斥到批评的阶段性转变,这与中国对于“印太战略”的认知经历了从“战略风险”到“战略威胁”的演变密切相关。为应对美国“印太战略”,中国需要不断调整优化政策,实施更加精准的周边战略。在坚持开放包容的地区合作原则的基础上,要注重地区力量协调以应对地缘政治竞争,补强地区安全以应对地缘安全竞争,加强地区经济整合以应对地缘经济竞争。

亚太地区安全机制构建与中国方案

亚太地区的经济繁荣离不开地区的持久和平,统筹发展与安全,这既是亚太地区历史发展经验的真实写照,也是亚太地区未来发展的必由之路。当前,亚太地区经济发展面临的风险有所增加,亚太安全形势日益严峻,加强亚太地区安全机制构建也更加迫切。亚太地区安全机制构建面临大国博弈愈加复杂激烈、地区热点问题持续发酵、非传统安全问题日益增加、地区安全机制治理效力不足等挑战。亚太地区安全机制建设需要处理好安全合作主体、安全合作理念、安全合作内容等几个关键问题。中国是亚太地区的重要大国,在维护亚太地区和平稳定方面发挥着重要作用。为推动构建多层次、多领域、整体性、复合型的亚太地区安全机制,中国应倡导确立包容性的安全合作参与原则、凝聚亚太安全合作理念共识、注重对现有安全合作机制的协调并坚持循序渐进的构建思路。

双碳目标约束下中俄石油能源合作博弈研究

基于“双碳”目标,石油能源行业降碳行动刻不容缓。采用动态博弈理论模型,以中国石油企业、俄罗斯石油企业、中国政府为三方主体,从碳交易价格、综合收益、减排成本、声誉损失、政府奖惩等方面定义各变量和参数,建立碳交易价格下中俄石油能源合作的复制动态方程,分析策略行为的博弈演化规律。通过分析可知:①碳交易市场可促进石油能源低碳发展,提高碳交易价格能增强中国石油企业积极减排的意愿;②俄罗斯石油企业选择协助时中国石油企业承担的声誉损失越大,中国石油企业更倾向于选择积极减排策略;③政府奖惩措施强度对中国石油企业选择积极减排策略的可能性呈正相关关系。从多方演化博弈视角提出了在政府与俄罗斯石油企业策略拉扯下中国石油企业最优减排策略。

美国智库近年涉台活动考察

[目的/意义]本文旨在探究中美关系新态势下美国智库在涉台活动中的角色与功能,分析美国智库与台湾(地区)当局在有关涉台议题中的互动关系,为我国开展“涉台外交”提供一定参考。[方法/过程]本文通过文献分析法,收集美国各主要涉台智库官方网站的数据和资料,梳理出美国涉台智库的基本概况,并对其主要行为、功能定位和行为动因等进行梳理与分析,进而探究它们在涉台议题中发挥的作用和影响。[结果/结论]研究发现,美国智库充当了美台交流的“使者”和“桥梁”,发挥强大的中国台湾议题设置功能、影响塑造美国涉台决策功能和扩展培养“亲台”势力圈子功能,图谋为中国台湾创造更大的国际能见度、影响力和舆论声量。

中美博弈下的南海形势:盟伴网络、安全秩序和法理斗争——2022年度“南海论坛”综述

当前海洋问题越发彰显深刻的战略意义,大国竞争主导着海洋安全演进态势,南海成为美国遏制中国的重要场域。为贯彻落实习近平总书记在党的二十大报告中提出的“加快建设海洋强国”“维护海洋权益”等精神,在南京大学中国南海研究协同创新中心主办的2022年度“南海论坛”上,与会专家围绕2022年南海局势评估、美国组建的“小多边”对南海局势的影响、南海区域海洋秩序的规则建设与实践、中国周边安全视域下的南海问题以及大国海权竞争的历史经验与教训等议题,进行了全面深入的分析。“南海论坛”旨在为相关涉海热点问题提供高质量的研究、对话和交流平台,积极促进南海问题研究的发展。此次论坛研讨对研判当前南海形势、维护国家海洋权益,具有重要的理论和现实意义。

世界大变局视野下的确定性与不确定性

当今世界正经历百年未有之大变局,人类发展又到了一个重要战略关口。国际环境日趋复杂,不稳定性不确定性明显增加,经济全球化遭遇逆流,世界进入动荡变革期,挑战和机遇并存。确定性与不确定性是一对有着普遍哲学方法论意义的范畴。任何事物,尤其人类社会事物的发展都是确定性与不确定性的矛盾运动过程,人类的科学知识与实践活动也是不断把不确定性转化为确定性文明成果的循环上升过程,世界大变局中充满诸多变与不变的辩证法。纵观世界发展态势,"东升西降"和中美战略博弈成为这场大变局最为主要的时代特征。中国有足够的自信、智慧和能力顺应时代变局,并将在变局中开辟具有更多发展机遇的新局。

东亚货币合作进程中的中日博弈探析

欧元经验表明,一国货币的国际化与国际区域货币一体化之间是相辅相成的,国际区域内的"轴心国"推动和"锚货币"作用是货币一体化的重要条件,而货币一体化的实现则会加速一国货币的国际化。因此,人民币应以东亚化作为其国际化的实现路径,并以东亚货币合作作为达此目的的桥梁。尽管对东亚而言,当前中日货币合作仍有很多障碍,但博弈分析表明,双方最优的均衡点是共同推动东亚货币合作。为此,中国应采取有效措施,努力加强两国在该领域的合作,并致力于使中国成为东亚货币合作的"轴心国",使人民币成为东亚货币合作的"锚货币"。