搜索筛选:
搜索耗时0.8001秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：刘树锟,阳小华,陈继锋,彭浩,,
来源：计算机应用研究 年份：2009
重点研究了断言的动态检测方法与检测过程,并在关系数据库理论的基础上实现了交互式的断言动态检测工具,即TDDPA。该工具具有动态检测程序断言等功能,并通过将运行轨迹收集到数据库中来实现检测到的各种断言形式分析,说明了TDDPA总体设计结构及实现过程。结果证......
[期刊论文] 作者：段珊, 张修如, 刘树锟, 王金娟,,
来源：计算机工程与应用 年份：2009
针对故障树分析的关键技术—排序和置换,提出一种基于BDD的快速有效的（LNPC）方法。该方法采用制定的排序和置换策略直接完成子事件的排序与门事件的置换,一次性完成故障树到BDD...
相关搜索：
