一个集成形式化模型及其操作语义

形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.     

比赛教学法在高职排球课教学中的运用研究

高职院校的排球课教学,以往主要以技术传授和练习为主,现在已远远不能满足学生发展的需求。改革排球教学方法,将比赛教学法引进排球教学,有利于提高学生运动技能,培养学生身体素质,端正学生学习态度,增强学生社会适应能力。     

锂离子电池材料Li_(1+x)Zn_xMn_(2-x)O_4电化学性质研究

采用溶胶-凝胶法合成了Zn2+取代的锂离子电池正极材料Li1+xZnxMn2-xO4。结构研究结果表明,用这种方法可以在比固相反应低得多的温度下得到单相的尖晶石且制得的材料粒度均匀,粒径大多在150nm左右。半电池循环测试结果表明,起始组成为x=0.06的样品性能最佳,其与锂片组成的半电池在3.0V—4.6V间,以0.10mA/cm2的电流密度进行充放电的首次充、放电容量分别为131.4mAh/g和129.2mAh/g,经35次循环后容量仍保持在100mAh/g。     

体育本质的公理化方法阐释

运用公理方法对体育本质进行考察,提出体育的本质是由自保公理、自足公理、竞争公理、美学公理和生长公理所组成的公理体系。体育本质的公理化方法构建可以逻辑地推导出体育基本理论的若干命题,在一定程度上增强体育学自身的理论性。     

灰色预测法在情报研究中的应用研究综述

[目的/意义]灰色预测法可有效处理情报研究中广泛存在的小样本数据,通过对灰色预测法在情报研究中的应用情况进行梳理,总结其在应用过程中存在的不足,为灰色预测法在情报研究中的进一步应用提供参考。[方法/过程]通过综述情报研究中涉及灰色预测法的相关文献,从数据选取、模型构建和解决的问题等方面对情报研究中灰色预测法的应用进行概述,总结当前情报研究中灰色预测法的应用所存在的问题,并提出改进建议。[结果/结论]在方法应用上,已有研究主要采用数列灰预测,且模型集中在单变量灰色预测模型,根据预测对象不同,灰色预测法已经在包括期刊分析、图书馆运行管理、热点主题分析及科研机构评价方面得到了很好的应用,未来可根据预测对象特点及研究目标尝试不同的灰色预测方法,扩宽灰色预测法在其他方面的情报研究问题中的应用。     

教育大数据平台信息共享影响因素分析

[目的/意义]教育大数据平台信息共享已成为当前教育信息化工作的重要内容和研究热点。[方法/过程]本文提出了教育大数据平台信息共享影响因素指标体系，考虑各影响因素之间的相互作用，采用DEMATEL的方法对教育大数据平台信息共享影响因素进行归类和排序。[结果/结论]研究结果表明：主体需求因素、易于获取性因素、合作模式因素是教育大数据平台信息共享最关键的影响因素，资源丰富程度因素和信息有用性因素是整个教育大数据平台信息资源共享的核心问题因素，最易受到其他因素影响，最后提出了相应的对策和建议。     

关于国学进入高校课堂的思考

近年来,随着“国学热”的推进,我国部分高校相继开展了国学教育。但在多元文化、中西文化相互激荡的影响下。国内一些高校对国学教育的重视程度不够,大学生对国学知识的学习积极性不高,国学文化无异于快餐文化。为此,对于在高校开展国学课程的意义以及如何推进高校国学教育进行研究与分析显得十分必要。     

基于MIDAS/FEA与ANSYS的预应力对比仿真模拟分析

以一根预应力钢筋混凝土梁为例,利用MIDAS/FEA和ANSYS建立有限元模型,MIDAS/FEA模型中的预应力采用桁架单元法和钢筋单元法模拟,ANSYS模型中的预应力采用实体切分法、约束方程法以及节点耦合法模拟。分析结果表明,MIDAS/FEA和ANSYS在预应力作用下的计算结果相近,在静力学领域都能得到较为精确的结果;从建模的难易程度上说,MIDAS/FEA的钢筋单元法最为方便,而ANSYS通常需要运用APDL语言辅助建模,难度相对较大;ANSYS采用节点耦合法模拟预应力时,混凝土实体的网格需要划分较密才能取得较为精确的结果。     

法律发现的“前世”与“今生”--以历史法学到概念法学的变迁为线索

历史法学代表人物萨维尼倡导“法是民族精神的体现”,致力于拉近法律与社会生活之间的关系。历史法学所力主的“法是被发现”主要是从法的产生角度也即立法立场来分析的。作为历史法学派的延续之一,概念法学倾向于构建严谨的能够涵摄社会生活各个方面的法律体系。在它的视域中,法官只需从法律体系中发现法律即可完成对案件的判断,从而将司法者囚禁在了概念的城堡里。这种理论上的幻想遭到耶林等社会法学者的批判也在情理之中了。     

分层"完整教学法"在体育院系普修跨栏技术教学中的实验研究

教学方法的研究是教学改革的重要内容。以广州体院96级、97级本科生为研究对象，设计并运用了跨栏跑技术教学的“分层‘完整教学法’”。通过教学实验研究，结果表明：新教法教学总体效果优于传统的常规教法。