期刊文献+
共找到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
基于Game理论交流接触器电磁系统多目标优化设计的软件实现 被引量:1
2
作者 王健 高忠泽 苏秀苹 《低压电器》 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
3
作者 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综合检测题
4
作者 梁桂芬 《中学生英语(高中版)》 2008年第34期29-35,48,共8页
关键词 短文改错 LISTENING 综合检测 最佳答案 UNITS 11-12 VEGETABLES houses FRIENDS games 答题卡
下载PDF
智慧教育方法探索:手机游戏辅助研究教学 被引量:2
5
作者 盛浩 阮利 +4 位作者 许可 韩军 熊璋 高小鹏 吕卫锋 《物联网学报》 2019年第4期91-100,共10页
智能物联与泛在接入技术改变着学习方式,传统的手机辅助教学模式只是将课堂教学中部分内容简单地移植到互联网终端,没有充分发挥移动智能终端的灵活性和趣味性。基于学习内容碎片化和移动通信技术创新,提出了面向辅助教学的泛在学习理论... 智能物联与泛在接入技术改变着学习方式,传统的手机辅助教学模式只是将课堂教学中部分内容简单地移植到互联网终端,没有充分发挥移动智能终端的灵活性和趣味性。基于学习内容碎片化和移动通信技术创新,提出了面向辅助教学的泛在学习理论,充分利用碎片时间与移动学习的优势,使得碎片化学习成为可能。然后,论证了游戏辅助教学的可行性,包括协同学习网络、情境认知理论、泛在学习方式3个部分。进一步提出了以学习者为中心的游戏辅助教学模型,由游戏辅助教学策略、学习者和教学设计模型构成,更关注预期教学目标实现和学习粘性保持。最后,通过两门课程的手机辅助教学实验结果验证了泛在学习理论的可行性和有效性,并使得手机游戏辅助教学成为传统课堂教学的有益补充。 展开更多
关键词 智慧教育 泛在学习 手机游戏 辅助教学
下载PDF
虚拟学习社区的有效性反思 被引量:5
6
作者 陈国强 《广东广播电视大学学报》 2005年第4期11-15,共5页
本文根据对学生的调查分析,总结得出现时学习平台的使用具有三个“特性”,学习平台的资源现状具有四个“特色”。从而提出笔者的理念:虚拟学习社区发展的新路子———游戏化学习,以及构建虚拟学习社区时重点考虑的十个问题。
关键词 虚拟学习社区 有效 游戏化学习
下载PDF
基于博弈的高职院校物流人才培养模式研究
7
作者 吴丽敏 《物流工程与管理》 2014年第4期155-156,38,共3页
"校企一体、工学结合"是目前高职院校培养高端技能型专业人才的重要方法,其可以促进高职院校的持续有序发展还可以解决企业招工难等各种问题,但是在实际的运行过程中并没有达到很好的效果。文中通过博弈模型中的"囚徒困... "校企一体、工学结合"是目前高职院校培养高端技能型专业人才的重要方法,其可以促进高职院校的持续有序发展还可以解决企业招工难等各种问题,但是在实际的运行过程中并没有达到很好的效果。文中通过博弈模型中的"囚徒困境"简单分析了"校企一体、工学结合"过程中学校和企业两者之间的对立统一关系,并为两者如何迈出"囚徒困境"的状态,构建两者的和谐关系提出相应的对策和建议。 展开更多
关键词 博弈论 校企一体 工学结合 人才培养模式
下载PDF
考虑冻土的陆面过程模型及其在青藏高原GAME/Tibet试验中的应用 被引量:14
8
作者 胡和平 叶柏生 +1 位作者 周余华 田富强 《中国科学(D辑)》 CSCD 北大核心 2006年第8期755-766,共12页
陆面过程的研究对于更好地认识气候和天气系统的演变规律、陆地-大气水热交换过程、人类活动对气候和环境的影响等具有重要意义.建立了综合考虑土壤冻融、土壤水汽通量、植被覆盖和陆面-大气近地层水热交换的一维冻土-植被-大气连续体模... 陆面过程的研究对于更好地认识气候和天气系统的演变规律、陆地-大气水热交换过程、人类活动对气候和环境的影响等具有重要意义.建立了综合考虑土壤冻融、土壤水汽通量、植被覆盖和陆面-大气近地层水热交换的一维冻土-植被-大气连续体模型,模拟了固液相变、汽态水迁移、土壤水、汽、热耦合迁移等过程,反映了液态水从未冻区向冻结区迁移、冻结及其引起的潜热迁移的冻土物理本质,也反映了汽态水分从高温区向低温区迁移所引起的温度及水分场的变化,并对模型进行了检验.水分运动方程采用混合Richards方程,可适应各种边界条件.土壤水热传输模型求解引入了修正的Picard迭代法,不仅使计算迭代收敛更快,而且能更好地保证数值计算过程中的水量平衡.结合GAME/Tibet实验1998年5月份、7月份的观测数据,应用该模型对青藏高原安多观测点的水热交换过程进行了模拟分析.模拟结果表明:土壤的冻融过程对地温变化会产生负反馈作用;若净辐射相同,土壤表层含水量较高的情况下考虑冻结时其地热通量在冰融化时明显增加,显热通量减少,而潜热通量变化不大,但是冻结时各通量的变化不明显;而土壤发生融化时,尽管地热通量增加,但是地表温度仍然减小;土壤发生冻结时,尽管土壤负温要比不考虑冻结时高,但整体上热通量变化不大. 展开更多
关键词 陆面过程模型 土壤冻融 地气水热交换 game/Tibet水--热耦合迁移
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部