期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
基于Game理论的μ-演算公理化
1
作者 刘万伟 王戟 陈火旺 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1896-1902,共7页
随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛... 随着软硬件系统复杂性的不断提高,各种验证技术被越来越广泛的使用.模型检验技术是一种保证软硬件设计、实现正确性的有效技术.在针对软硬件的模型验证技术中,一般采用时序逻辑作为规约语言.模态μ-演算是模态和时序逻辑中应用较为广泛的一种,它具有语法成分简洁、表达能力强等特点.扩展了Lange和Stirling基于Focus Game的LTL和CTL的公理化方法.提出了一种基于Game理论的μ-演算公式的可满足性的测试方法,该种方法能够将模态μ-演算公式的可满足性问题转化为FocusGame的求解问题.进一步,基于这套Game规则,给出了一个新的关于μ-演算可靠完备的推理系统.同已有的μ-演算公理系统相比,该推理系统相对直观、简洁. 展开更多
关键词 时序逻辑 模态μ-演算 game理论 可满足性 公理系统
下载PDF
Online Education Game Changer
2
《ChinAfrica》 2017年第6期42-43,共2页
XuetangX, the leading Chinese Massive Open Online Courses (MOOCs) platform created by Beijing-based Tsinghua University, has broken new ground yet again. After having reached more than 7 million users worldwide in M... XuetangX, the leading Chinese Massive Open Online Courses (MOOCs) platform created by Beijing-based Tsinghua University, has broken new ground yet again. After having reached more than 7 million users worldwide in May, XuetangX has now become the first Chinese MOOC platform to offer its online education services in Africa. 展开更多
关键词 Online Education game changer
下载PDF
基于Game理论交流接触器电磁系统多目标优化设计的软件实现 被引量:1
3
作者 王健 高忠泽 苏秀苹 《低压电器》 2003年第4期13-15,共3页
以CJ2 0 2 5型交流接触器为例 ,重点介绍以Game理论为基础 ,结合面向对象程序设计 (OOP)技术对交流接触器电磁系统进行优化设计的具体实现方法。
关键词 交流接触器 电磁系统 多目标优化设计 game理论 CJ20-25型 电磁理论 可靠性 软件
下载PDF
The exploration of the innovation mode of school enterprise cooperation in game analysis
4
作者 GAO Chaofeng YANG Ting DUAN Longlong 《International English Education Research》 2015年第12期12-14,共3页
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 scho... 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. 展开更多
关键词 University - Industry Cooperation game analysis COLLABORATIVE Innovation Agreement order type
下载PDF
Units 11-12综合检测题
5
作者 梁桂芬 《中学生英语(高中版)》 2008年第34期29-35,48,共8页
关键词 短文改错 LISTENING 综合检测 最佳答案 UNITS 11-12 VEGETABLES houses FRIENDS games 答题卡
下载PDF
一项未竟的现代工程:海外中国现代文学研究的可能与意义 被引量:1
6
作者 余夏云 《励耘学刊》 2015年第2期9-26,共18页
中国现代文学常变常新,最新的研究成果总是不断改写我们对它的既定认识,使其成为一项未竟的现代工程。海外世界的相关论述,作为重要的改写资源,宛如“改变游戏的人”,不仅从细枝末节处丰富我们对现代文学的知识,而且也循此触动吾... 中国现代文学常变常新,最新的研究成果总是不断改写我们对它的既定认识,使其成为一项未竟的现代工程。海外世界的相关论述,作为重要的改写资源,宛如“改变游戏的人”,不仅从细枝末节处丰富我们对现代文学的知识,而且也循此触动吾人勤思“其到底源起何处”的问题,敦促我们不断体认到现代文学的当代性,以及其流动不居的学科特征。当然,也由是挑动中外学术的对话、协作,为深度挖掘现代文学提供可能的根基。 展开更多
关键词 海外中国现代文学研究 学术共同体 改变游戏的人
下载PDF
基于博弈论组合赋权和云模型的有载分接开关状态评估 被引量:4
7
作者 余长厅 黎大健 +2 位作者 陈梁远 张磊 赵坚 《变压器》 2021年第12期46-50,共5页
针对有载分接开关(On-load Tap Changer,OLTC)故障机理的复杂性和多样性,本文通过建立有载分接开关的状态评估指标体系,提出了一种基于博弈论组合赋权和云模型的有载分接开关状态评估方法。即采用G1赋权法和熵权法分别计算了有载分接开... 针对有载分接开关(On-load Tap Changer,OLTC)故障机理的复杂性和多样性,本文通过建立有载分接开关的状态评估指标体系,提出了一种基于博弈论组合赋权和云模型的有载分接开关状态评估方法。即采用G1赋权法和熵权法分别计算了有载分接开关评估指标的主客观权重,进而基于博弈论思想确定了OLTC状态评价指标的组合权重。然后基于云模型分别构建OLTC运行状态等级和评估指标的正态云模型并计算了其云隶属度,从而更好地体现了OLTC状态信息的不确定性,据此结合组合赋权权重得到了OLTC运行状态的最终评估结果。 展开更多
关键词 有载分接开关 G1赋权法 熵权法 博弈论 云模型 状态评估
下载PDF
考虑冻土的陆面过程模型及其在青藏高原GAME/Tibet试验中的应用 被引量:14
8
作者 胡和平 叶柏生 +1 位作者 周余华 田富强 《中国科学(D辑)》 CSCD 北大核心 2006年第8期755-766,共12页
陆面过程的研究对于更好地认识气候和天气系统的演变规律、陆地-大气水热交换过程、人类活动对气候和环境的影响等具有重要意义.建立了综合考虑土壤冻融、土壤水汽通量、植被覆盖和陆面-大气近地层水热交换的一维冻土-植被-大气连续体模... 陆面过程的研究对于更好地认识气候和天气系统的演变规律、陆地-大气水热交换过程、人类活动对气候和环境的影响等具有重要意义.建立了综合考虑土壤冻融、土壤水汽通量、植被覆盖和陆面-大气近地层水热交换的一维冻土-植被-大气连续体模型,模拟了固液相变、汽态水迁移、土壤水、汽、热耦合迁移等过程,反映了液态水从未冻区向冻结区迁移、冻结及其引起的潜热迁移的冻土物理本质,也反映了汽态水分从高温区向低温区迁移所引起的温度及水分场的变化,并对模型进行了检验.水分运动方程采用混合Richards方程,可适应各种边界条件.土壤水热传输模型求解引入了修正的Picard迭代法,不仅使计算迭代收敛更快,而且能更好地保证数值计算过程中的水量平衡.结合GAME/Tibet实验1998年5月份、7月份的观测数据,应用该模型对青藏高原安多观测点的水热交换过程进行了模拟分析.模拟结果表明:土壤的冻融过程对地温变化会产生负反馈作用;若净辐射相同,土壤表层含水量较高的情况下考虑冻结时其地热通量在冰融化时明显增加,显热通量减少,而潜热通量变化不大,但是冻结时各通量的变化不明显;而土壤发生融化时,尽管地热通量增加,但是地表温度仍然减小;土壤发生冻结时,尽管土壤负温要比不考虑冻结时高,但整体上热通量变化不大. 展开更多
关键词 陆面过程模型 土壤冻融 地气水热交换 game/Tibet水--热耦合迁移
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部