首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 31 毫秒
1.
语义Tableau是一种具有较强通用性和适用性的推理方法.基于Prolog语言,并利用语义Tableau方法,在M.C.Fitting提出的一阶逻辑自动定理证明器的基础上提出了一些改进,给出了改进后相应的算法,并且对算法的可终止性和正确性进行了证明.实验结果表明,优化后的语义Tableau定理证明器,大大提高推理效率.  相似文献   

2.
国际体育仲裁院仲裁裁决在体育法治秩序的构建中发挥日益重要的作用,然证明标准是影响体育仲裁结果的关键因素,适用不同的证明标准可能导致不同仲裁结果,从而影响裁决公正性。国际体育仲裁院根据案件主体和客体不同,区别适用不同的证明标准。如在兴奋剂案件中,其对体育组织适用的标准区别于普通法系传统的两大证明标准,采用特殊标准——“放心满意”。研究该证明标准不仅对各国体育仲裁机构和其他体育纠纷解决机构借鉴吸收具有重大价值,而且符合新修订《体育法》中兴奋剂的治理目标,对运动员权利保护具有一定借鉴意义。运用文献资料和案例分析法,探讨该证明标准的概念和性质,并进一步分析其在国际体育仲裁院中的具体适用。不难发现,该证明标准在国际体育仲裁院的具体适用存在裁决缺乏先例效力,对间接证据适用该标准缺乏具体指导,案件严重性认定模糊,兴奋剂案件性质认定不明确等若干问题。为提高国际体育仲裁院仲裁裁决的公正性、一致性和权威性,结合国际体育仲裁院具体实践情况对具体问题提出思考与建议。  相似文献   

3.
体育旅游是近年来国内外旅游研究中的新兴课题.以往研究系统探讨了体育旅游资源开发的内涵、开发模式构建的依据及其开发的理论支持体系,通过TOWS分析法、层次分析法等方法,构建了体育旅游资源开发战略评价指标体系.为了使评价更准确可靠,提出了运用层次分析法、熵权理论与模糊综合评判相结合的评估方法.该方法由模糊数学确定各指标的隶属度,通过层次分析法、熵权理论确定评价指标的综合权重,结合指标权重与评判矩阵进行模糊运算得到的综合评价程度;通过实例证明该方法合理有效,可为决策者提供直观、可靠的依据.这对于推进学术界对于体育旅游资源开发战略规划的深入研究以及为政府实施体育旅游资源可持续发展战略提供依据,具有重要意义.  相似文献   

4.
对加拿大自行车运动员杰克·伯克(Jack Burke)兴奋剂违规的体育仲裁案件进行分析,从双方的争议点出发,结合处罚结果进行拓展讨论,从上诉期限的起算、运动员过错的认定以及举证过程中的证明标准和反兴奋剂教育培训义务等角度分析本案在法学方面的意义。本案启示在于:对国际自行车联盟(UCI)以及世界反兴奋剂机构(WADA)来说,上诉期限应当以“完整决定”为起算点,对“无过错或无疏忽”的认定要从严把握,同时应当保留“完全满意”的证明标准,完善对年轻运动员反兴奋剂培训的规定。对运动员来说,其良好的个人品质对于支持自己的主张,以及确定是否构成违规有重要帮助,运动员时刻需做好针对兴奋剂的合理防范措施。最后,文章结合本案对我国的反兴奋剂规则的修订给出了改进建议。  相似文献   

5.
探测器软着陆阶段在整个探测活动中占有重要地位,本文对嫦娥三号软着陆轨道进行了燃耗最低的优化设计.针对问题一,利用近月点位置处的万有引力提供过该点做圆周运动时的向心力,可以求出该点做圆周运动时的线速度,即近月点处的速度v近=1.6797×103m/s,方向由南向北.针对问题二,对于主减速阶段,本文采用了基于蚁群算法的燃耗最低的制导方式,求出该阶段的最优轨迹.求解结果显示,该过程月心距随时间的变化情况是先快后慢,符合着陆过程的实际变化规律.针对问题三,首先,对用于求解主减速阶段的基于蚁群算法的燃耗优控制导模型的稳定性进行了检验.通过改变过程中推力的大小,求得不同推力下轨迹方向角随时间的变化趋势,结果表明各趋势走向较为接近.表明该模型具有较高的稳定性.  相似文献   

6.
兴奋剂案件中的间接证据问题   总被引:1,自引:1,他引:0  
目前的兴奋剂案件中,间接证据的价值被低估或完全否定。过度依赖直接证据的趋势有着不利于兴奋剂违纪的惩处、使裁决的公正性被质疑、给案件侦查以不良导向等不良影响。错案数据分析指出,间接证据通常比直接证据更可靠,应充分发挥间接证据的印证功能、补证功能以及独立定案功能。在近年来的兴奋剂案件中,也有一些完全用间接证据证明兴奋剂违纪的先例,运用身体参数变动推定法、排除法、整体合力推导法3种方法。建议在今后的兴奋剂案件中增强间接证据的印证功能和补证功能、加强间接证据单独定案功能的运用、重视间接证据证明结构的法律化。在我国应加快体育仲裁程序的设立、注重对证据补强规则的应用、正确认识兴奋剂案件的证明标准。  相似文献   

7.
合作学习对大学生学习互动行为与技能掌握的影响研究   总被引:2,自引:0,他引:2  
采用文献法和问卷调查法,对278名大学生进行了调查。结果表明:大学生对合作学习反应较为积极,女生对学习伙伴存在较高的选择性;合作学习对于提高大学生的运动技能方面与常规教学接近;合作学习巧妙地协调了个体化的目标结构与合作的目标结构,更体现学习者的主体地位,可更好地促进学生的社会化过程。  相似文献   

8.
运用因素分解法与问卷调查法等方法对大学生健康体育生活方式进行了理论构建,并通过统计与数学方法建立健康体育生活方式的评价指标体系,研究表明了指标体系具有较高的效度,利用该评价体系能够较为准确的对大学生体育生活方式的健康程度进行判定。  相似文献   

9.
本文对重要极限limn→∞(1+1/n)n=e的存在性进行了探讨,分别利用两个不等式结合单调有界定理给出了两种简洁的证法.  相似文献   

10.
音乐在高校太极拳教学中的实验研究   总被引:1,自引:0,他引:1  
本文运用文献资料法,问卷调查法,数据统计法和实验法,对福建农林大学2008级2个班共80名学生进行实验教学,在太极拳教学过程中利用音乐培养学生的兴趣,提高学习效果。实验结果证明,音乐在高校太极拳教学中效果明显,净化学生身心,提高学生的学习兴趣,帮助学生正确呼吸,在学习过程中起提示作用,学生的学习成绩明显提高。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号