基于贝叶斯网络的验证激励向量生成研究

为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的 比于传统动态验证技术而言其芯片功能验证更完善。     

山西柳林盘子会——独具黄河黄土高原风情的东方狂欢节

传统文化是民族文化的根脉,古老的柳林盘子会在传统文化备受冲击的今天展现出来的蓬勃生命力,为我们展示了一幅推动社会主义文化大发展大繁荣的美好图景。     

论师范美术教育的发展

现在师范美术教育很大程度上偏离了教师培养的轨道,为了能够使师范美术教育得到更好的发展,必须重视师范美术教师的培养及师范美术教育专业学生的引导工作。     

论外语课程的文化回应性教学

本文认为,当前外语课程教学在文化教育方面存在着片面强调语言知识教学,忽视中西方文化背景、文化价值观导入、缺乏文化理解力培养的局限性。语言与文化具有发生学的关系,语言是文化的载体,文化的任何内容都可通过语言来反映。外语教学中要注重文化背景、文化价值观念、文化差异的导入,以培养学生的跨文化交际能力和文化理解力。文化回应是基于语言学立场与文化立场整合的外语教学策略。     

基于全国导游考试分析的导游人才队伍建设建议

导游人才队伍是我国旅游业发展的重要人才和智力保障,通过对全国导游考试内容形式和通过人数进行多维度分析,了解我国导游人才队伍建设现状,发现我国导游人才队伍建设速度缓慢,高等级和外语导游人才缺乏,地域发展不均衡等问题,并从完善导游考试制度、鼓励导游提升发展、加强外语导游培养和促进地域均衡发展四个方面对导游人才队伍建设提出建议。     

身体活动经济性专题研究述评

摘要：以介绍第63届美国运动医学学会年会、暨第7届运动是良医世界科学大会和能量平衡的基础科学世界大会的主要研究热点为目的。以身体活动经济性专题大会主报告和专题报告为基本思路,并通过PubMed、CNKI 等数据库检索相关文献,对大会基本情况、身体活动经济性专题报告内容、相关主题最新研究成果等内容进行阐述。此次会议的身体活动经济性研究前沿和热点可以为我国运动科学研究和公共医疗健康政策制定提供借鉴。     

我国越野滑雪运动现状及发展对策

对近年来我国越野滑雪运动的现状进行分析,肯定了成绩,总结了经验,认为当前越野滑雪项目存在政策导向的制约、对项目的规律和特点的认识有待于提高、科研服务严重不足,器材装备受到限制和我国越野滑雪运动的训练和竞赛还没有真正溶入世界发展的潮流之中等问题;提出争取政策导向的支持,将我国竞技越野滑雪更好地溶入世界发展的潮流之中,建立科研服务和医疗保障体系,创造条件、争取赞助与改进装备等对策,为促进我国竞技越野滑雪运动的可持续发展提供参考。     

优秀女子网球运动员职业过渡阶段年度训练与参赛规律研究

摘要：通过文献资料法、专家访谈法和数理统计法,透过对优秀女子网球运动员职业过渡阶段年度参赛的多项指标进行分析,旨在为我国处于该阶段的优秀女子网球运动员的成长提供参考。结论如下,年度训练周期安排以“板块”小周期训练为主,采用赛练结合的小周期训练模式;赛间训练是网球运动员训练年度周期划分的一种灵活方式,训练内容、时间与强度与比赛强度和成绩有关,比赛强度越大,调整和恢复训练比重越大。比赛获胜时,运动员更容易接受教练员安排的训练内容。优秀女子网球运动员17岁进入职业过渡阶段,其完成职业过渡阶段路径可归为普通型、数量型和效率型三种类型,这与运动员身体条件和打法类型有关,高大型运动员以参赛效率为主,而身体条件较好的选手以参赛数量为主。根据运动员的打法特点,选择性参加快速或慢速场地比赛,且尽可能参加高级别赛事。运动员通常以2~3站比赛作为一个参赛单位,参赛密度逐渐增加,高级别数量增多,效率型运动员全年参赛级别呈“倒U型”分布,普通型运动员参赛级别差异性最小,数量型运动员参赛级别差异最大。     

云南省保山地区降水年内分配的区域差异研究

利用保山地区腾冲县、龙陵县、保山市气象站的降水资料,从降水年内分配的不均匀性、集中性等方面比较了高黎贡山两侧降水的区域特征。得出以下结论：在西南季风大气候条件控制下,受高黎贡山＂通道-阻隔＂及自身地形的影响,龙陵、腾冲、保山3地的降水年内分配特征表现出明显的地域差异。3个地区中受西南季风影响剧烈程度由高到低依次为：龙陵、腾冲、保山;从各地不同时期降水不均匀性的变化来看,保山具有龙陵、腾冲两地的综合特征,又有自身的特点。各时期3地降水集中期变化不大,龙陵、腾冲主要集中在7月下旬,而保山相比则要滞后一段时间,说明保山受西南季风影响比龙陵和腾冲迟,受到的影响相对较小。     

搭建学术研究平台探讨和谐文化建设背景下高教管理之道——中国高教管理研究会2007年学术年会综述

中国高教管理研究会2007学术年会的主题为"和谐文化建设背景下的高等教育管理理念与实践",围绕这一主题,会议开设了十个研讨专题,分别是:和谐文化与高校文化使命;和谐文化与高校管理理念;和谐文化与现代大学制度;和谐文化与高校办学特色;和谐文化与高校和谐校园;和谐文化与高校民主管理;和谐文化与高校质量管理;和谐文化与高校人才素质培养;传统和谐理念在高校的传承与培育;和谐文化与多校区建设.这些议题,得到了与会代表的广泛认同和积极响应,形成了80多篇有价值的学术论文.这些论文积极探索高等教育管理的新思路、新方法,对高等教育管理的实践提出了有益的思路和建议.