论文部分内容阅读
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑中最小覆盖的确定进行分析，定出了部分四值逻辑中保四元正则可离关系函数集之最小覆盖成员。
P4^＊中保四元正则可离关系最小覆盖之确定
【摘 要】
：
根据部分K值逻辑的完备性理论、正则可离关系以及准完备集之间的相似关系理论，对部分四值逻辑中最小覆盖的确定进行分析，定出了部分四值逻辑中保四元正则可离关系函数集之最小
【机 构】
：
湖南理工学院数学系,湘潭大学信息工程学院
【出 处】
：
计算机科学
【发表日期】
：
2009年9期
【基金项目】
：
本文受国家自然科学基金（606731931）,湖南省教育厅重点项目（07A067）,湖南省教育厅项目（08C390）资助.
其他文献
<正>不久前,深圳检验检疫局正式获批筹建"国家植物转基因检测重点实验室(深圳)"。据了解,该实验室预计于两年内完成筹建,建成后将成为华南地区唯一一家专门从事植物转基因检
由中国科学院院士、中国工程院院士、973计划顾问组和咨询组专家、973计划项目首席科学家、国家重点实验室主任等专家投票选出的2012年度“中国科学十大进展”不久前揭晓。20
“大力推进方圆标志认证集团改革发展，努力建成国际国内知名、具有竞争力的综合型国家级专业技术协会和认证检验检测集团。”这是不久前，质检总局党组书记、局长支树平到方圆标
对加工表面纹理缺陷进行可靠的检测分析可以有效提高机械加工零件表面精加工的水平。基于计算机视觉技术对机械加工零件表面实现自动缺陷检测，由于机械加工零件表面纹理的特殊
采用微波消解样品前处理手段以及双道原子荧光光度计，建立了微波消解一氢化物发生原子荧光光谱法同时测定化肥中砷、汞含量的方法。通过试验确定了样品前处理方法，对负高压、灯
建立由UV-化学模式识别法评价丹参质量的方法。分别用正己烷、乙酸乙酯、水、乙醇提取不同产地的丹参，并测绘其紫外光谱。取紫外光谱各波长的吸光度为特征数据，进行主成分分析
申请公布号：CN104003499A申请公布日：2014．08．27申请人：中国神华能源股份有限公司摘要本发明公开了一种调整锅炉炉水pH值的方法。当锅炉炉水pH值低于预定pH值时，向锅炉炉水中加入碱
研究了卡尔费休容量法测定碱性溶液混胺燃料中水含量的条件。分析了碱性物质对水测定的影响，在2～3mL混胺燃料中加入10g的苯甲酸时，混胺燃料的碱性不影响混胺燃料中水的测定结果
不久前，北京市举行了“2013年食品安全宣传周”活动。记者从食品安全宣传周筹备工作组获悉，3年内北京高校将配备数字化食品卫生安全快速检测设备，能快速检测近60种农药残留、食
软件中隐含的缺陷数目与可靠性直接相关，软件缺陷定位是移除软件缺陷的关键，缺陷定位的及时性和有效性直接影响软件的可用性。基于执行轨迹的软件缺陷定位能够很好地与自动化测