搜索结果: 1-2 共查到“计算机科学技术 PRE”相关记录2条 . 查询时间(0.125 秒)
基于OBDD的SMC中PRE操作的改进算法
排序二值判定图 符号模型检测 PRE
2009/7/31
提出一种基于排序二值判定图(OBDD)的符号模型检测中PRE操作的改进算法。该算法处理PRE步骤3(嵌套布尔存在量化)的方法是一次遍历“删除”所有被量化变量的节点，产生表示布尔函数与嵌套存在量化结果等价的不确定排序二值判定图，把不确定排序二值判定图转换成OBDD。实验表明，该算法能有效缩短计算时间，减少中间节点所需空间。
2008国际奥林匹克计算机科学与信息工程学术会议——2008 International Pre-Olympic Congress on Computing Science
2008 国际奥林匹克 计算机科学 信息工程 学术会议 Pre-Olympic Computing Science
2008/4/5
四年一度在中国举办的本次会议为计算机科学、信息与计算科学、信息工程及其应用领域的科技人员提供一个于奥运会前在奥运会主办国进行学术交流与建立友谊的平台。除了进行计算机科学、信息与计算科学、信息工程及其应用的学术交流外，我们还将邀请国际专家做有关计算机科学、信息与计算科学、信息工程在奥林匹克以及体育运动中应用的学术报告，开拓计算机科学、信息与计算科学、信息工程应用的视野。邀请的专家包括国际体育计算机学...