【摘 要】
：
作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性。随着应用领域的不同,BDD的节点和路径的规模成为关注的两个焦点。文章讨论
论文部分内容阅读
作为逻辑布尔函数的一种高效简洁的描述方法,BDD规模结构对应着计算机实现算法的空间和时间复杂性。随着应用领域的不同,BDD的节点和路径的规模成为关注的两个焦点。文章讨论利用基于动态规划的筛选算法来实现从节点规模和路径的大小两方面对BDD的优化。在将筛选算法用于节点优化的基础上,从理论上提出了优化路径的思路及可行算法。
其他文献
目的：观察以清热活血益气为主的分期辨证疗法对普外患者术后创伤组织修复的影响。方法：80例腹部手术患者随机分为治疗组40例和对照组40例。对照组按照常规临床路径治疗；治疗组在
目的 探讨罗格列酮和二甲双胍治疗肥胖型2型糖尿病的临床效果。方法 选择2017年1月-2018年10月本院收治的120例肥胖型2型糖尿病患者作为研究对象,结合患者自身意愿将其分为对
近年来,在制造业的发展过程中,为了实现设计、生产、加工三个环节数据和信息的自动传递和转换问题,CAD/CAPP/CAM一体化技术得到了迅猛的发展。但CAD系统只能完整地描述零件的几何信息,不包含任何产品属性信息,防碍了与数控工艺系统和数控加工系统的集成。本论述结合特征造型技术,探讨了回转体———轴的CAD/CAPP/CAM一体化技术的方法。
采用薄层层析对阿胶血钙闰口服液中川芎、当归、白药、枸札子进行定性鉴别；采用双波长薄层扫描法测定黄芪中甙的含量，测定波长５１５ｎｍ，参比波长７００ｎｍ平均加样回收率为９８．４１％，ＲＳＤ＝３．２３％。
中药新药的研制，在处方确立以后，结合临床服用要求，确定剂型，接着就进行工艺条件的设计研究，优选出最佳工艺条件，至少要适合中试生产规模，条件具备后，才可进行药效、毒理及质量标准制
1.问题呈现已知抛物线y^2=2px(p>0),过焦点F的一条直线l交抛物线于A、B两点,原点为O.求cos∠AOB的取值范围.这个问题是我在学习的过程中的一个思考,经过研究得出以下解法:解:
磨削后的纳米结构陶瓷涂层零件表面会出现使零件强度降低的裂纹,而产生这些裂纹的原因就是磨削表面残余应力。这些表面残余应力使不同晶粒的同族晶面面间距随晶面方位及应力
目前,果树病虫害防治在果树生产中至关重要,但也存在着一些不足,如防治方法不全面,防治管理措施不完善,种植人员自身水平低下等,这些问题的出现都严重影响了果树的正常生长。
教师研读教材的能力决定着课堂教学的质量,决定着学生思维能力的发展。研读教材具有三重境界:系统研读教学内容的阶段性学习要求,把握教材之序;准确剖析教学内容的数学本质,
近年来,我们正在系统地编研中国海藻志,最近发现一些采白海南岛的标本尚不知其分类地位,经研究该类群应该属于红藻门仙菜目松节藻科螺旋枝藻属 Spirocladia,此属是丹麦藻类学