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

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

新媒体平台下增强大学生党支部理论学习的探索

在党中央提倡创新精神的时代背景下,学生党建工作也需要创新思路和手段以便把学生党支部理论学习的内容、质量提升一个新的台阶,而以新媒体为媒介平台开展学生党支部学习生活正是学生党建工作的一种创新,符合党建创新的精神。通过建设新媒体平台创新学生党支部理论学习思路与实践,有利于加强学生党建工作的成效,进一步提高学生党员理论素养。     

我国绿色食品生产发展的对策

绿色食品生产是我国一项新兴产业，代表着农业发展的方向。绿色食品产业的发展，要从实施可持续发展战略的高度，提高公众对其重要性的认识；在全社会倡导绿色消费，为绿色食品产业提供广阔的市场空间；大力推进产业化经营模式，并加快绿色食品生产的现代化进程。     

长枞水电大坝的热弹性与渗漏分析

This paper deals with the temperature and displacement fields of the top mid-block of south transition at Long Spruce Generating Station, in the North of Manitoba, Canada. According to the experimental results of Manitoba Hydro in the past two years, the top mid-block is assumed to be a rectangular one that has two supposed temperature distributions at its boundary sides. Then, the temperature fields for the top mid-block are obtained from the analytical solutions by separation of variables. By using the analytical solution of temperature field, the displacement behavior of the top block in various temperature fields is discussed in details. The numerical results are given to show the causes of the leakage between the top mid-block and the dam. Finally, the repair methods for leakage are discussed for practical leaking repair and its engineering applications.     

歇后语的结构及其规范化

歇后语有外在表层结构和内在深层结构，其内在深层结构才是歇后语安身立命之点，构成歇后内在深层结构的前后两部分是矛盾统一体，两者有“同”有“异”。“同”与“异”科学地结合于一体，才构成规范化的歇后语，无“异”不能使歇后语既形象，生动，风越又表达一定的意义，无“同”则不能使其前后两部分合乎逻辑和谐地统一起来，有无“同”是鉴别是否是规范化歇后语的试金石，不合深层构造规律的歇后语是不规范的歇后语，应该沟汰。     

China＇s Cultural Property Exhibitions Held Abroad in 2013

Chinese cultural relics travel around the world, and as a result, the world knows China bet- ter. Li Xiaojie, Vice Cultural Minister of China and Director-general of the State Administration of Cultural Heritage said, ＂In cultural exchanges, we advocate mutual respect and learning from each other. Cultural exchanges, as a bond, could help us constantly increase mutual understanding and dialogue among different civilizations. Cultural exchanges in a more extensive, deep and sustained way can make greater contribution to cultural diversity of the world.＂     

高强度间歇训练与中强度持续训练对超重/肥胖成人体成分干预作用的比较:Meta分析

目的:探讨高强度间歇训练(HIIT)相比中强度持续训练(MICT)对超重/肥胖成人体重与体脂率的干预是否更具优势.方法:通过检索PubMed、Embase、Web of Science与中国知网(中文核心期刊)数据库,搜集HIIT与MICT干预超重/肥胖成人体重与体脂率的随机对照试验(RCT)与临床对照试验(CCT),采用风险偏倚评价对纳入文献进行质量评估,STATA 13.1软件进行合并效应量分析和亚组分析.结果:共纳入文献10篇,其中低、中度与高风险文献分别为4篇、4篇与2篇.纳入文献中HIIT与MICT组总样本量分别为119个与114个.Meta分析结果发现,与MICT相比,HIIT对超重/肥胖成人体重(WMD=-0.18,95%CI:-1.03~0.66,P=0.67)与体脂率(WMD=-0.38,95%CI:-1.02~0.27,P=0.25)的影响均不显著.亚组分析结果显示,超重指标中多训练次数的"≥48次"亚组(WMD=-1.51,95%CI:-2.73~-0.29,P=0.016)具有统计学意义;体脂率指标中长周期的"12周"亚组(WMD=-0.73,95%CI:-1.49~0.03,P=0.061)与多训练次数的"≥48次"亚组(WMD=-1.14,95%CI:-2.43~0.15,P=0.084)均出现边界显著效应.结论:HIIT与MICT相比在降低超重/肥胖成人的体重与体脂率方面的作用无明显差异.     

营养补充与女子武术套路运动员免疫机能的研究现状和展望

文章通过文献资料的方法,综述了武术套路运动的供能和代谢特点和膳食摄入情况,针对性地概括补充糖、蛋白质、氨基酸、维生素、麦胚粉等对同项群运动员免疫机能的影响。结果显示,补充营养品可以在一定程度上提高机体的抗氧化能力,以此来提高运动员免疫力,间接促进疲劳恢复,为运动员合理的补充营养品提供科学的理论依据。     

普通高校的艺术教育必须坚持以育人为本的宗旨

普通高校的艺术教育必须坚持以育人为本的宗旨,要牢固树立“学艺为学做人”的教育目的,要切实贯彻“动心必先动情”的教育原则。     

图书馆随书光盘的网络化管理

首先分析了各高校图书馆随书光盘的网络管理模式,然后列举了几种随书光盘系统,最后针对中小型高校图书馆,提出了一些可行性建议,旨在充分利用网络及馆藏资源,提高随书光盘的利用率,为实现数字图书馆奠定基础。