排序方式: 共有12条查询结果,搜索用时 31 毫秒
1.
针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的(LNPC)方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD的转化和优化,增加了获取最小规模BDD的排序机会,同时降低了BDD的存储空间且不需要先写出故障树的布尔函数。算法分析与实验结果表明该方法对不同的故障树转化是有效的。 相似文献
2.
段珊 《计算机与数字工程》2011,39(5):36-39,131
变量交换作为BDD优化算法的核心理论已成功运用于BDD节点规模的减少,本论文从理论和实践的角度提出了运用该理论实现BDD路径数量减少的目标。通过对节点引用域的重新定义来实现节点路径的记录,分析变量交换过程中本地节点重定向来获取局部路径的改变量,引入动态链表完成节点路径增量的记录和传递,最终在终节点得到了BDD的路径数量。该算法用C语言完成,整合到CUDD软件包,经多个函数的实验测试,证实了这种路径优化算法的正确、有效。 相似文献
3.
4.
5.
通过线性逼近硬实时系统任务的工作负荷量的方法,一个更加接近精确响应时间的时间上限能有效地降低调度分析时间。同时该上限用于任务集的充分性可调度测试时具有线性时间的复杂度。这种线性上限的可调度性测试能够用于交互的系统工具设计、基于搜索的系统优化以及任务集的动态接纳新任务的设计中。并且新的调度系统模型无时间死线、抖动大小限制,适用范围更广。相关的实验也表明响应时间上限可调度性分析提高了准确调度测试的效率。 相似文献
6.
7.
8.
9.
利用熔融缩聚的方法将N-甲基二乙醇胺与丁二酸和1,4-丁二醇共聚,制备含N的聚丁二酸丁二酯(PBS)共聚物(N–PBS),然后将其与纤维素衍生物羟乙基纤维素(HEC)进行溶液共混,制备了在水相中均匀分散的共混乳液,用流延成膜法制备了N–PBS/HEC共混膜。研究了N–PBS中—N(CH3)—基团的含量对N–PBS亲水性及共混膜性能的影响。结果表明,随着N–PBS中—N(CH3)—含量的增加,N–PBS极性增加,亲水性增强;相对于PBS,N–PBS与HEC的相容性得到改善,共混膜的热分解温度在300℃以上,热稳定性良好,其透过率和断裂伸长率也随着N–PBS中—N(CH3)—含量的增加而提高。 相似文献
10.
光学元件在研抛过程中不可避免地引入亚表层损伤缺陷,会破坏基底材料的均匀性,使入射的光波发生散射现象,严重影响产品光学性能。损伤隐蔽复杂的特点使得对其散射信号的研究变得十分困难。一种基于光散射法的亚表面无损检测方法——激光共焦显微检测方法,利用亚表面损伤对入射光的散射调制信号分析光学元件的亚表面损伤信息,具有快速、准确的特点。针对损伤的散射特性,结合时域有限差分法(FDTD),对颗粒状和微裂纹两类特殊损伤建立电磁仿真模型,研究聚焦光入射的散射光场分布,以及不同深度下探测得到光强变化曲线,得出损伤光强探测曲线能够反映出颗粒尺寸与深度及微裂纹宽度与深度的信息。研究结果对亚表面损伤无损探测方法的探索具有一定的理论指导价值。 相似文献