多核系统中并行程序执行过程的不确定性给程序调试带来了很大的困难.准确记录初始执行中冲突访存的次序是并行程序确定性重放的基础.提出了通过建立精确happens-before关系记
在面向对象的软件测试中，类间集成测试尤其困难．方法／消息路径（MM路径）是由消息连接的方法执行序列，可以很好地体现面向对象软件由对象发送消息调用方法执行的交互过程，因此非常适于
卫生监督学是一门实践性及综合性很强的学科,单纯的理论讲授,不利于学生对知识的理解、解决实际问题能力的培养,因此开展情境教学具有重要意义。本研究通过文献综述和教学组
利用中国家庭金融调查的微观数据,实证检验了财富分层与城镇居民家庭风险性金融资产选择的内在联系与可能的影响机制。研究发现,不同财富阶层的家庭在风险性金融市场的参与广
随着生活节奏的提高,人们的健身场所逐渐由户外转移到户内,这就促进了室内健身器械产业的发展,如果在使用健身器材达到锻炼目的的同时,能将健身器械产生的能量收集再利用,则
随着人类改造自然能力的增长,人类与环境地貌之间的相互作用加剧,地球表层的地貌系统在自然地域分异的基础上,出现的新的内容和特征。地貌演化不再是纯自然的过程,而且,人工地貌、人工—自然混合地貌占的比重增加了。因此,有必要对人、环境与地貌的作用机制,地貌的环境意义等问题进行研究,于是,环境地貌学应运而生。与传统地貌学不同的是,环境地貌学从人类活动与环境地貌相互作用的角度,运用系统论、综合分析方法,厚今薄
目前国内外的中央空调系统或中央供热水系统，大多只采用空气源热泵或水源热泵，然而单一热泵的工作效率受气候条件约束较为严重，一年下来，总能耗大，难以满足用户需求。本课题采用单
随着开放性经济的不断发展,政府和企业对高效、便捷的检验检疫监管诉求越来越强烈.文章基于传统检验监管方式存在的问题,结合一线业务实际,探索了大宗资源性商品检验监管机制
行政事业单位作为公益性组织,在社会经济生活中发挥了极其重要的作用。但长期的政治经济体制下,其进行各项业务活动实施内部控制的效果并不明显。随着社会经济的发展与行政管