切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
修正的RDP逻辑系统中子代数的广义重言式理论
修正的RDP逻辑系统中子代数的广义重言式理论
来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:maggage881112
【摘 要】
:
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F(S)关于~同余的一个分划。
【作 者】
:
李顺琴
惠小静
【机 构】
:
延安大学数学与计算机科学学院
【出 处】
:
计算机工程与应用
【发表日期】
:
2015年12期
【关键词】
:
修正的RDP逻辑系统
广义重言式
α-矛盾式
子代数
分划
revised RDP logical system generalized tautology α
【基金项目】
:
陕西省自然科学基金(No.2014JM1020), 陕西省科技计划社发攻关项目(No.2014ks15-03-07), 延安市科技计划项目(No.2013ks-03), 延安大学自然科学专项基金(No.YDQ2014-45)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F(S)关于~同余的一个分划。
其他文献
绿色建筑结构优化设计
从基础结构优化、结构体系优化和结构构件优化三方面对比分析国内外城镇绿色建筑结构优化设计,提出我国在结构优化设计方面存在的问题,包括理念落后于理论、工程实践不普遍和
期刊
绿色建筑
结构优化
结构体系
基于SRAM和STT-RAM的混合指令Cache设计
随着工艺尺寸减小,传统基于SRAM的片上Cache的漏电流功耗成指数增长,阻碍了片上Cache容量的增加。基于牺牲者Cache的原理,利用SRAM写速度快,STT-RAM的非易失性、高密度、极低
期刊
自旋转移力矩随机存储器(STT-RAM)
指令CACHE
混合Cache
Spin-Transfer Torque Random Access Memory(
“超人”的功过得失 电讯盈科成败分析
“小超人”的非理性动作现在遇到了麻烦—— 与香港电讯合并时,对合并的要价似乎考虑不足,对合并之后的走向判断有失水准,结果股价大幅度下降。……电讯盈科背上了沉重的债
期刊
电讯盈科
李嘉诚
香港电讯
成败分析
“超人”
广东省水泥行业现状与发展趋势
广东省是我国水泥生产大省,产量连续多年处于全国的前列,2004年广东省的水泥产量排全国第二.同时又是消费大省,每年水泥实际消耗量约占全国水泥总消耗量的10%以上,位居第一.
期刊
水泥生产
广东省
发展趋势
行业现状
水泥产量
消耗量
消费
全面实施五大提升行动 加快建设“一带一路”开放高地
<正>要深入学习贯彻党的十九大构建全面对外开放新格局战略部署,全面落实习近平总书记来川视察重要讲话精神,把握新时代机遇,主动服务"一带一路"建设,高水平建设西部国际门户
期刊
“一带一路”
国际竞争力
广东龙川枫树坝省级自然保护区森林群落类型研究
为掌握广东龙川枫树坝省级自然保护区森林群落类型特征,综合运用文献资料分析法、路线调查法、样方调查法等,对保护区的森林群落类型进行了调查。结果表明,保护区的森林植被
期刊
枫树坝
自然保护区
森林植被类型
森林群落类型
基于分形维数和多目标遗传算法的特征选择
在文本分类系统中,特征的优劣往往极大地影响着分类器的设计和性能。提出一种利用分形维数和带精英策略的非劣支配排序遗传算法进行特征选择的方法。在该方法中分形维数作为
期刊
分形维数
多目标遗传算法
特征选择
fractal dimension multi-objective genetic algorithm feature se
基于顶帽变换的印刷网点覆盖率计算方法
为了提高印刷机自动检测网点覆盖率的能力并降低人工测量强度和成本,提出一种基于顶帽变换的印刷网点覆盖率计算方法,主要研究内容包括:网点图像的采集及前处理技术;基于顶帽变换
期刊
印刷
印刷网点
顶帽变换
网点覆盖率
printprinting dottop-hat transformationcoverage of dot
粤北:首个现代化建材家居中央商业区动工
1月25日粤北首个现代化建材家居中央商业区在清城107国道旁动土建设。据悉,这是清远旧城改造工程的重点项目之一。
期刊
商业区
动工
中央
旧城改造工程
现代化
建材
粤北
家居
土建
重点项目
基于“核心素养”的高中政治课堂教学模式研究——以《新时代的劳动者》教学为例
基于学科"核心素养"的高中新课程改革已全面铺开,探索一种适合新理念的课堂教学模式成为关键。因此,在教学实践中提出高中政治"三生三解"问题教学模式:研究"自主学习单"的编
期刊
三生三解
核心素养
与本文相关的学术论文