精准执行可达性分析探究计算机程序状态之间的可达性关系，通过分析软件的文档、源代码或二进制程序并进行必要测试验证。以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径．精准执行
2017-12-19 15:42
针对K步可达性查询算法无法解决带距离约束的图可达性查询问题，提出基于参考节点嵌入的图可达性查询算法。首先，从所有节点中选出极少数有代表性的全局参考节点，预先计算所有节点与全局参考节点之间的最短
2017-12-15 17:11
原装ME4057系列锂电充电IC 充电电流可达到1A
2017-09-18 14:30
本文详细介绍了输入电压可达550V的LED驱动用控制IC的设计与实现。
2017-11-14 15:47
本文中提出一种可达性计算的方法，对单机无穷大系统（SMIB）暂态稳定性的连续和混合模型进行分析。通过对连续和混合模型的可达集进行迭代计算，分析算法可以精确地估计模型的稳
2011-09-21 15:14
为了解决多源多宿组播网络编码问题，提出了计算可达信息率区域的算法和构造线性网络编码的方法。在已有研究的基础上，把多源多宿组播网络编码问题转化为一个含有约束的单源组播网络编码问题，通过理论分析与推导
2018-01-08 13:39
为了刻画开放量子系统的量子属性，扩展现有的量子马尔可夫链是有必要的．通过构建Exogenous量子算子逻辑，定义了Exogenous量子马尔可夫链．作为新型量子马尔可夫链，重点研究了4种可达性公式
2018-01-05 14:48
针对当前SNS社区网络的的不断深入发展，大规模图数据可达索引技术开始被广泛的应用在社交网络中，从而提高对数据索引的精准度。本文针对可达索引技术应用的社交网络中，存在着确定性和不确定性的图数据。针对确定性查询中存在着很大的噪声，引入信息熵的方式，从而提高了图片检索的
2016-01-04 14:59
定义了15-谜问题的6个动作规则，在此基础上证明了15-谜问题解的存在性判定的充分必要条件，其充分性的证明过程是一个构造性证明方法，提供了求解15-谜问题的一个解的可实现
2009-03-08 18:04
S8138 是一款端口驱动电流可达200mA的ON/OFF电子开关芯片。对于200mA以下的负载，可直接驱动而无需外扩三极管，节省电路板体积和适合结构紧凑的应用场合。S8138 有 2 路灌电流负
2024-07-24 11:47
