三值模型

作品数：11被引量：25H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：何中市杨晓帆潘正华魏欧张胜礼更多>>
相关机构：重庆大学江南大学南京航空航天大学兴义民族师范学院更多>>
相关期刊：《计算机技术与发展》《计算机与数字工程》《计算机工程与应用》《仪器仪表用户》更多>>
相关基金：国家自然科学基金中国博士后科学基金湖北省高等学校省级教学研究项目国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于特征切片的软件产品线模型检测被引量：2
《计算机科学》2016年第4期167-172,共6页刘玉梅 魏欧 黄鸣宇 
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904)资助
特征模型是一种描述软件产品线中共性和可变性特征的通用形式。特征模型象征着所有可能的应用程序配置空间,是实现个性化产品定制的基础。随着软件产品线的规模和复杂程度的增加,如何有效支持以用户需求为基础以及根据特定需求和利益相...
关键词：软件产品线 特征切片 三值模型 模型检测 
基于汉明约束和CLTP的人脸识别被引量：2
《信息通信》2014年第4期45-47,共3页徐楠楠 李岚 师飞龙 
为解决局部三值模型(LTP)在特征提取方面的不足以及在复杂条件下使用一致模式产生的特征误判,提出了一种基于汉明约束和完整LTP的人脸识别方法。该方法在原LTP的基础上,增加对微纹理特征的描述,使得提取的特征更加全面;然后,针对复杂环...
关键词：人脸识别 局部三值模型 汉明距离约束 纹理特征 
循环对称化简及在三值模型上的扩展被引量：4
《软件学报》2011年第6期1169-1184,共16页魏欧 袁泳 蔡昕烨 黄志球 徐丙凤 
国家高技术研究发展计划(863)(2009AA010307);中国博士后科学基金(20100471338);南京航空航天大学基本科研业务费专项科研项目(NS2010110)
为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统...
关键词：模型检测 对称化简 循环对称 三值模型 
中介命题逻辑一种改进的无穷值语义模型
《兴义民族师范学院学报》2011年第1期101-105,109,共6页张胜礼 
中介逻辑ML（Medium Logic）,自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,张给出了一种真值域为[0,λ]∪（λ,1]（λ∈（0.5,1））...
关键词：中介命题逻辑 三值模型 无穷值模型 
中介命题逻辑一种新的无穷值语义模型及意义被引量：5
《计算机工程与应用》2010年第31期45-49,71,共6页张胜礼 潘正华 
国家自然科学基金No.60973156~~
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一...
关键词：中介命题逻辑 三值模型 无穷值模型 完备性 可靠性 
三值模型在主动网络故障诊断中的应用研究
《微计算机信息》2010年第10期103-105,共3页黄翔 严梅 
在分析总结当前主动网络(AN:Active Network)故障诊断技术的基础上,把自测和互测两种方法结合起来,并将三值诊断模型应用到主动网络故障诊断管理中,提出了基于三值模型的AN故障诊断模型,并描述其算法,该模型在不增加任何网络额外成本的...
关键词：三值故障诊断 主动网络 
基于背包算法的实验室预约系统的设计与实现被引量：5
《计算机与数字工程》2009年第4期17-19,27,共4页李军 钮焱 
湖北省2006年省级教研项目<地方工科大学计算机课教学改革与创新>(编号:20060308)资助
文章介绍了背包问题和及其相关的理论,从扩大学生的受益面和提高实验室的利用效率出发,提出了一种基于背包问题的三值模型动态规划算法,通过三值模型的综合分值,结合相关排序算法和查找算法,协调了多方主体可能的冲突,有效的达到整体的...
关键词：背包 动态规划 预约系统 三值模型 受益面 
基于神经网络求解三值模型下的故障诊断问题
《计算机技术与发展》2008年第4期16-18,177,共4页孙丽萍 杨小帆 刘怀义 
教育部新世纪优秀人才资助计划(NCET-05-0759);教育部博士点基金资助项目(20050611001);重庆市自然科学基金资助项目(CSTC2006BB2231;CSTC2005BB2191)
在多处理机系统的系统级故障诊断中,一个重要的研究课题是确定最可能故障处理机集,该问题可以归结为NP-完全的整数线性规划问题。连续Hopfield神经网络能够近似求解最优化问题,因此是解决这类问题的可选路径。文中主要研究如何构建连续H...
关键词：系统级故障诊断 Hopfidd神经网络 三值PMC模型 超立方体 
中介命题逻辑的一种无穷值语义模型及其意义被引量：3
《计算机研究与发展》2008年第z1期158-164,共7页潘正华 
国家自然科学基金项目(60575038)
中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与...
关键词：中介命题逻辑 三值模型 有穷和无穷值模型 完备性 可靠性 
基于三值模型的竞争冒险检测
《仪器仪表用户》2001年第1期22-25,共4页吴兰臻 
文章介绍了三值模型的基本概念，以及用三值模拟算法来检测竞争冒险现象的方法。此方法除了能检测由单个门电路和触发器组成的数字系统产生的竞争冒险现象，也能检测由ＦＰＧＡ或ＣＰＬＤ 组成的数字系统产生的竞争冒险现象。
关键词：数字系统 三值模型 竞争冒险 检测 数字电路 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部