论文部分内容阅读
从二支决策和三支决策角度探讨命题μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检测算法作对比。研究发现,基于三支决策理论的局部模型检测算法减少了计算量。
基于二支决策和三支决策视角的μ-演算局部模型检测
【摘 要】
：
从二支决策和三支决策角度探讨命题μ-演算的局部模型检测算法,对计算过程中节点迭代值的存储方式进行分析,并对这两个局部模型检测算法作对比。研究发现,基于三支决策理论的
【机 构】
：
闽南师范大学粒计算重点实验室
【出 处】
：
软件导刊
【发表日期】
：
2016年2期
【基金项目】
：
国家自然科学基金项目（61472406）, 福建省自然科学基金项目（2015J01269）, 闽南师范大学人才引进项目（2013）
其他文献
对用户多账户检测识别是信息整合研究目标之一。针对目前用户识别技术普遍存在的准确率低和局域性问题，提出了基于交叉配血的多账户识别模型。该模型要求根据用户行为相似度和
船舶和海洋结构物长期服役在恶劣的海洋环境中,受到风、浪、流等各种随机载荷甚至极端载荷的作用,而极端载荷将造成不可逆的结构损伤,严重影响海上作业安全。确定船舶与海洋
我们合成３－三苯基锗基－１，１－二苯基－１－丙醇及同系物３－三苯基锗基－１，１－二苯基－１－丁醇；３－三苯基锗基－２－甲基－１，１－二苯基－１－丙醇，这些化合物都是有机锗类化合物，是具有抗肿瘤活性的化合物３－三苯基锗基－１－二苯基－１－丙醇的类似物
西方测定了Ｃｓ３Ｃｕ２Ｉ５晶体薄膜在室温及液氮温度下的吸收谱，并依此计算出该材料的激子参烤，即激子束缚能ΔＥ＾（１）ｅｘ＝（０．５３±０．０７）ｅＶ，激子半径αｅｘ＝０．３２６ｎｍ，禁带宽度Ｅｇ＝（５．００±０．０７）ｅＶ。在谱分析的基础上，论证了Ｃｓ３Ｃｕ２Ｉ５的电子和激子激发定域
用流变相反应法合成了３个水杨酸镍配合物。通过元素分析、ＴＧ确定了这些配合物的组成，并对４０００～４００ｃｍ＾－１的主要红外光谱吸收峰进行了归属；红外光谱表明－水杨酸镍的羟基吸收峰明显地向高波数方向移
Man:I was robbed yesterday.Woman:Why not ask for(寻求) help(帮助)?Man:No way(不).If I had shouted(呼喊),they would have seen
运用ＲＨ－４０２测氢仪测定具有高挥发性锂的铝－锂合金的固态氢含量具有相当难度。本文就如何鉴别体内氢和表面氢、如何选择加热功率和加热时间及试样大小做了大量探索实验，初步形成了可行
在群体异常检测中,人群特征感知主要提取个体的群体特性。提出了基于群特征的稀疏线性模型和无限隐马尔可夫(SLM-iHMM)方法检测人群异常事件。该方法通过统计模型整合空间和时间因素,基于SLM提取空间线索,从而在空间域中建立用于群特征提取的统计模型。时间线索在iHMM中被明确地编码,用于分析来自空间域的时间多尺度特征。关于UMN数据集的实验验证了该方法的可行性和有效性。
目的：探讨创伤及术后并发肺栓塞诊断治疗及预防保健。方法：就本病的诊断治疗及预防保健进行论述。结果：提高对肺栓塞的诊断意识，加强各种创伤及术后的宣教及护理。结论：早期预防静
本文在电镀沉积的银衬底上，研究了硫脲分子在酸性溶液中的表面增强拉曼散射。结果表明，硫脲分子是通过硫原子倾斜着吸附在银表面；当溶液中的ＨＣｌ浓度增加时，在银表面吸附的硫脲分子面