基于二支决策和三支决策视角的μ-演算局部模型检测

来源 :软件导刊 | 被引量 : 0次 | 上传用户:fayeming
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
从二支决策和三支决策角度探讨命题μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检测算法作对比。研究发现,基于三支决策理论的局部模型检测算法减少了计算量。
其他文献
对用户多账户检测识别是信息整合研究目标之一。针对目前用户识别技术普遍存在的准确率低和局域性问题,提出了基于交叉配血的多账户识别模型。该模型要求根据用户行为相似度和
船舶和海洋结构物长期服役在恶劣的海洋环境中,受到风、浪、流等各种随机载荷甚至极端载荷的作用,而极端载荷将造成不可逆的结构损伤,严重影响海上作业安全。确定船舶与海洋
我们合成3-三苯基锗基-1,1-二苯基-1-丙醇及同系物3-三苯基锗基-1,1-二苯基-1-丁醇;3-三苯基锗基-2-甲基-1,1-二苯基-1-丙醇,这些化合物都是有机锗类化合物,是具有抗肿瘤活性的化合物3-三苯基锗基-1-二苯基-1-丙醇的类似物
西方测定了Cs3Cu2I5晶体薄膜在室温及液氮温度下的吸收谱,并依此计算出该材料的激子参烤,即激子束缚能ΔE^(1)ex=(0.53±0.07)eV,激子半径αex=0.326nm,禁带宽度Eg=(5.00±0.07)eV。在谱分析的基础上,论证了Cs3Cu2I5的电子和激子激发定域
用流变相反应法合成了3个水杨酸镍配合物。通过元素分析、TG确定了这些配合物的组成,并对4000~400cm^-1的主要红外光谱吸收峰进行了归属;红外光谱表明-水杨酸镍的羟基吸收峰明显地向高波数方向移
Man:I was robbed yesterday.Woman:Why not ask for(寻求) help(帮助)?Man:No way(不).If I had shouted(呼喊),they would have seen
运用RH-402测氢仪测定具有高挥发性锂的铝-锂合金的固态氢含量具有相当难度。本文就如何鉴别体内氢和表面氢、如何选择加热功率和加热时间及试样大小做了大量探索实验,初步形成了可行
在群体异常检测中,人群特征感知主要提取个体的群体特性。提出了基于群特征的稀疏线性模型和无限隐马尔可夫(SLM-iHMM)方法检测人群异常事件。该方法通过统计模型整合空间和时间因素,基于SLM提取空间线索,从而在空间域中建立用于群特征提取的统计模型。时间线索在iHMM中被明确地编码,用于分析来自空间域的时间多尺度特征。关于UMN数据集的实验验证了该方法的可行性和有效性。
目的:探讨创伤及术后并发肺栓塞诊断治疗及预防保健。方法:就本病的诊断治疗及预防保健进行论述。结果:提高对肺栓塞的诊断意识,加强各种创伤及术后的宣教及护理。结论:早期预防静
本文在电镀沉积的银衬底上,研究了硫脲分子在酸性溶液中的表面增强拉曼散射。结果表明,硫脲分子是通过硫原子倾斜着吸附在银表面;当溶液中的HCl浓度增加时,在银表面吸附的硫脲分子面