【摘 要】
：
针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的并发错误动态检测方法。该方法包括一个负载
【机 构】
：
中国航天科工集团第二研究院706所
论文部分内容阅读
针对并发程序路径分支多、状态空间大导致并发错误检测时间长且效率低下的问题,在动态偏序化简算法的理论基础上,提出一种分布式的并发错误动态检测方法。该方法包括一个负载均衡节点和若干个计算节点,分别运行负载均衡算法和分布式动态偏序化简算法,依靠分布式系统强大的计算能力,提高并发错误检测的效率。实验结果表明,相对于动态偏序化简算法,该方法极大地缩短了并发错误的检测时间。
其他文献
为了解决油樟精油传统提取工艺时间长、效率低、耗能高和成本高等问题,本文遵循绿色提取理念,采用微波辅助水蒸气蒸馏法提取油樟精油并优化最佳提取工艺。根据单因素试验并结
长岛，又称长山列岛，坐落于黄海、渤海交汇处，南临蓬莱，北倚大连，东屏日韩，锁钥京津。全岛由32个岛屿组成，岛陆面积56平方公里，海域面积8700平方公里，是山东省唯一的海岛县，也是全国唯一
人机共驾系统可以视为社会属性的人与逻辑属性的车辆智能化子系统通过克服彼此间的决策冲突,最终形成的安全、高效且友好的稳定驾驶模式,是“驾驶人-智能系统”间的最优驾驶
介绍了矿井地质力学的几种测试方法，并给出了井下测试结果，根据测试结果列举了具体的巷道支护实例。现场矿压观测表明矿井地质力学测试对提高巷道支护设计的可靠性具有重要意义
Eｒ∶ＹＡＧ激光晶体生长的研究杨浔桂尤喜雷亚贵吴树成那木胡卫东（华北光电技术研究所，北京１０００１５）ＳｔｕｄｙｏｎＧｒｏｗｔｈｏｆＬａｓｅｒＣｒｙｓｔａｌＥｒ∶ＹＡＧＹａｎｇＸｕｎＧｕｉＹｏｕｘｉＬｅｉＹａｇｕｉＷｕＳｈｕｃｈｅｎｇＮａＭｕＨｕＷｅ?..
随着社会经济环境的不断变化,人们的生活品质逐渐提升,对精神方面的追求更加强烈。人们的日常休闲娱乐活动,更喜欢欣赏优美的景色,在园林中漫步。这对于风景园林提出了更高的
当今社会,随着可持续发展观的进一步贯彻,建筑产业逐渐进入资源集约化时代,建筑作为能源、资源消耗的“大件”,使得其必须成为可持续发展的先锋。从建筑的职能来看,近年来的
当目标移出视野又再次出现后,关键点一致性匹配目标跟踪算法(consensus-based matching and tracking)仍能对目标进行稳定的跟踪,但当面对光照变化剧烈、目标旋转等复杂场景时,容易出现跟踪失败的情况。因此,将FREAK算法融合到关键点一致性匹配算法中;为降低算法复杂度,引入卡尔曼(Kalman)滤波对目标位置进行预测,避免通过扫描整帧图像的方式提取其特征点。实验结果表明
通过整理中欧同声传译经典项目中欧盟口译司培训中国同传译员的课程设计,追溯其口译培训的理论基础——释意理论,通过教学实践提出以记忆训练为线索,同时以讲解、实验、演示
6月23日，全国职业教育工作会议在北京召开。会上，铜仁职业技术学院作为全国唯一一所职业院校代表作了发言。从一个名不见经传的院校到如今全国职业院校的典型，铜仁职业技术学院