语义Tableau定理证明器的Prolog实现

语义Tableau是一种具有较强通用性和适用性的推理方法.基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动定理证明器的基础上提出了一些改进,给出了改进后相应的算法,并且对算法的可终止性和正确性进行了证明.实验结果表明,优化后的语义Tableau定理证明器,大大提高推理效率.     

单调类定理的详细证明

在大多数测度论教材中,单调类定理的证明过程过于简洁,使得有的初学者在学习该定理时觉得十分困难,往往要经过很长的时间才能理解该定理。本文给出了该定理的详细证明,旨在帮助初学者快速掌握该定理,更快更好地学习测度论。     

基于广义视角的技击理论研究

评析技击理论研究现状,认为技击观点主要有原始技击论、狭义技击论和广义技击论三种。研究认为：从技术视角看来,广义技击在技击技术阐释上更为完整规范;从理论上分析,技击是辨别武术现象与非武术现象的唯一标准,是广义技击论成立的内在规定性;人的社会需要是广义技击论成立的社会基础;文化流动的时间和空间效应生成技击形态的多样化和结构变动;以量变质变论证了广义技击论成立的历史必然性。     

基于引爆点理论的电子竞技热现象探析

运用文献资料等方法,根据引爆点理论中的个别人物法则、附着力法则、环境威力法则,对当下我国电子竞技热现象进行研究,为我国电子竞技的推广以及体育产业的可持续发展提供借鉴和导向意义。结果表明:电子竞技发展过程中寻找"引爆点"的途径主要有人际传播为电子竞技热塑造关键角色,即名人明星为电子竞技宣传、骨灰级玩家的标杆作用;电子竞技附着力的增加,即《魔兽》电影的热映、高校开设电子竞技相关专业、直播平台发展如火如荼;政策导向下的电竞环境,即电竞品牌的建设、正确的电竞职业价值观。     

基于组合创新法的健身型洗衣机的设计

组合创新法已成为产品创新设计中一个重要的设计方法.本文在阐述产品组合创新法的概念、特点和分类之后,提出了一种基于产品组合创新方法的健身型洗衣机的设计.最后对设计的新产品加以组合设计方面的分析.     

基于HNC理论机助人译--英汉翻译对比研究

机器翻译是现代信息时代克服语言交流障碍不可缺少的的手段。 HNC理论采用基元化、层次化、网络化、形式化的方法,通过句类精妙地把自然语言的表层结构和深层语义联系起来。通过机器翻译,对比研究英汉翻译中的句类句式转换的问题。     

五大理念下的群众体育发展对策探索

运用文献资料法等,对我国群众体育发展现状、"十三五"期间全民健身所面临的机遇、全民健身对体育其他领域发展所产生的影响进行分析.结论:我国群众体质状况虽有所改善但依然呈下滑趋势;不同区域的群众体育开展、体育消费水平存在一定的差异,体育场地设施分布不均衡;全民健身上升为国家战略、信息化时代的发展、健康中国的提出对推动群众体育发展带来新的契机与活力;全民健身推动体育产业、高校体育的发展、加强了对传统体育的传承和发展.建议:在"十三五"时期我国群众体育上升为国家战略的契机,充分以创新、协调、绿色、开放、共享五大发展理念为引领,探索"十三五"时期我国群众体育发展的对策.     

基于基尼系数的群众体育资源配置公平性研究

应用基尼系数的思想及相应方法对湖南省群众体育发展所需要的人力、物质、经费、信息等资源配置的公平性进行实证分析.结果表明:湖南群众体育公共财政投入和社会体育指导员配置处于不公平状态,长株潭地区人均资源配置量明显高于其他地区;体育文化室配置处于相对公平状态,但重量而不重质,城乡差异显著;体育场(馆)面积配置处于低数量级的比较公平状态.重塑政府职能,全面树立公平配置意识;整合利益诉求,积极完善公平配置制度;汇聚社会力量,多方筹集公平配置资金;及时调整结构,不断提高公平配置效率是促进湖南群众体育公平配置的重要举措.     

基于随机抽样一致性算法的运动平面上点的视觉测量及其应用

使用计算机视觉技术,对球场中运动员和战术分析系统的核心技术,也是运动解析的重要原理,更是体育科学研究的重要工具.介绍其理论基础与实现方法,探讨测量误差和RANSAC容错算法,介绍使用三维模型进行标定和结果演示.实验证明,提出的方法和传统方法相比,提高了纠错能力和适应性,在体育科研中有广泛的应用价值.     

《公安民警体育锻炼达标标准》实施状况分析

运用文献法等,对现行<公安民警体育锻炼达标标准>的状况、特点及实施作用与意义进行分析.指出其年龄分组不全面、测试项目不完整、评分方法存在缺陷、测试方法现代化进程较低、不便与国内外同行水平进行比较、时代性和特色性不强等6个基本问题.并认为现行<警标>的更新周期应加快.建立新的适合我国警察的体能标准体系的工作已迫在眉睫.     

大众传播视域下的“恒大现象”解读

基于“媒介化社会”现实,从大众传播视角对“恒大现象”的产生进行解读.认为：“恒大现象”的产生与其运作者深刻把握现代大众传播的规律,巧妙运用大众传媒的议程设置功能,合理构建与媒体的良好关系等联系密切;大众传播成为“恒大现象”产生的助推器,其中电视是助推“恒大现象”产生的主流传播媒体,报刊是深度挖掘“恒大议题”的重要载体,网络是加速“恒大品牌”升华的互动平台,移动媒体促成了新技术条件下“恒大信息”的个性化传播.     

基于自我管理视域下运动APP在大众体育锻炼的应用研究

运用文献资料法、逻辑分析法等研究方法,针对大众锻炼找不到要领以及财力、自我管理意识的不足等问题,立足可持续发展的基础上,运用运动APP线上体育干预在自我管理视域下的具体研究,对锻炼内容、方法、内容以及动机的有效干预引导全民健身,不断提高运动质量且形成良好的健身习惯,让身体状况、功能保持在一个健康、满意的状态。