基于PES的Petri网可执行模型生成方法

针对体系结构验证评估中可执行模型生成缺乏灵活性和扩展性的问题,提出了一种基于体系结构物理交换规范(physical exchange specification,PES)的Petri网可执行模型生成方法。该方法基于DoDAF 2.0提出的体系结构PES和支持对象化的扩展Petri网标记语言(Petri net markup language,PNML)规范,构建了基于PES的Petri网可执行模型生成框架,通过体系结构模型数据含义与Petri网模型元素之间的语义映射,建立了PES与扩展PNML之间的数据映射规则,并以作战活动模型为例详细说明了数据映射规则和转换算法;最后,以民间海上搜救体系结构为例,验证了所提方法的有效性。该方法实现了灵活、自动化的Petri网可执行模型生成,打破了体现结构建模语言和Petri网模型类型的限制。

中墨大学体育发展现状的比较研究

通过对中墨部分大学体育教育现状的调研,分别从师资的素质结构、学校体育服务模式、国际体育文化合作交流三个方面进行了比较研究。旨在推动两国大学体育文化合作交流、提高运动技术水平,做到优势互补,共同提高,为中国大学体育在WTO框架下国际体育合作的战略选择、体育教育的改革创新提供参考。

基于体系结构物理交换规范的作战活动可执行模型构建方法

作战活动是体系结构的核心数据,保证作战活动的正确性是提高体系结构质量的关键。基于DoDAF2.0提出的体系结构数据物理交换规范,定义了作战活动模型和作战规则模型的数据模型;对基本Petri网交换规范进行扩展,形成扩展Petri网的数据交换规范;建立活动模型相关数据与扩展Petri网交换规范的映射规则,根据映射规则自动生成作战活动Petri网模型,并研制了可执行模型自动生成工具。最后,通过案例验证了方法的合理性。

小学阶段如何构建愉快体育课堂

随着我国体育事业的发展,教育改革的推进,体育课程受到越来越多的重视,在小学阶段进行教育改革,构建愉快型体育课堂,帮助小学生进行体育锻炼,增强学生体质,提升身体协调性,培养耐力、持久力等等,为学生其他课程的开展提供良好保障,培养身体素质、学习能力多方位过关的综合性人才。