论文部分内容阅读
对定性仿真中流行的ＱＳＩＭ算法进行了较为详细的剖析，介绍了ＱＳＩＭ算法内核函数的动态特性和数据流关系，在此基础上，提出了并行ＱＳＩＭ算法ＴＰＱＳＩＭ，并在曙光１０００并行机上通过实验对该算法进行了评估。试验结果表明，ＴＰＱＳＩＭ算法在效率和通用性等方面均明显超过了国外同类研究成果。
一种高效的并行定性仿真方法TPQSIM
【摘 要】
：
对定性仿真中流行的ＱＳＩＭ算法进行了较为详细的剖析，介绍了ＱＳＩＭ算法内核函数的动态特性和数据流关系，在此基础上，提出了并行ＱＳＩＭ算法ＴＰＱＳＩＭ，并在曙光１０００并行机上通过实验对该算法进行了评估。试验结果表
【出 处】
：
计算机学报
【发表日期】
：
2000年5期
【基金项目】
：
国家自然科学基金!( 699740 3 8)
其他文献
由于越来越多的技术用于缩小处理器与存储器之间的日益加大的速度差距，计算机的存储系统变得日趋复杂．现在，任何一个程序设计者，尤其是数值计算程序的设计者，若不考虑其所用计算平
在上一期的新潮软件快车中，大家领略了WMP7（Windows Media Player 7）外观插件的魅力。但WMP7毕竟不是一幅画，而是一个播放器软件，所以今天我们还是来看看它的实际功能如何。
Ｉｎｔｅｒｎｅｔ是一个大型１自治的分布式系统，其结点正日益成为数据库系统，Ｉｎｔｅｒｎｅｔ形成的新环境要求重新考虑现行分布式数据库技术的许多概念，文中对Ｉｎｅｒｎｅｔ上－－类重要的查询－－联合查询作了代娄分析，指出联合查询的
通过研究搜索树的平均节点数，分析了回虎法求解随机ｋ－ＳＡＴ问题的平均复杂性，结果表明：找到实例所有的解或证明其无解所需的平均节九随变量数ｎ的增加而指数增长；随着ｒ的增大，求解将变得越来
数组元素下标到对应的存储单元地址的生成是存储器高级综合系统中研究的关键技术.基于普通逻辑运算的多维数组地址生成算法虽然具有一定的实用性,但该算法的地址转换并非最简
基于演化算法给出了一类求解参数识别反问题的一般方法，该方法表明只要找到好的、求解相应的正问题的数值方法，演化算法就可以用于求解此类反问题。设计有效的求解反问题的演化
文中首先分析了传统的并行查询处理算法，然后针对面向对象数据库及其查询的特点，结合查询处理的分阶段执行策略，基于对象类的混合式数据放置策略和基于合格标记的数据操作并行执