论文部分内容阅读
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
修正的RDP逻辑系统中子代数的广义重言式理论
【摘 要】
：
讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
【机 构】
：
延安大学数学与计算机科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2015年12期
【基金项目】
：
陕西省自然科学基金（No.2014JM1020）, 陕西省科技计划社发攻关项目（No.2014ks15-03-07）, 延安市科技计划项目（No.2013ks-03）, 延安大学自然科学专项基金（No.YDQ2014-45）
其他文献
从基础结构优化、结构体系优化和结构构件优化三方面对比分析国内外城镇绿色建筑结构优化设计,提出我国在结构优化设计方面存在的问题,包括理念落后于理论、工程实践不普遍和
随着工艺尺寸减小,传统基于SRAM的片上Cache的漏电流功耗成指数增长,阻碍了片上Cache容量的增加。基于牺牲者Cache的原理,利用SRAM写速度快,STT-RAM的非易失性、高密度、极低
“小超人”的非理性动作现在遇到了麻烦—— 与香港电讯合并时,对合并的要价似乎考虑不足,对合并之后的走向判断有失水准,结果股价大幅度下降。……电讯盈科背上了沉重的债
广东省是我国水泥生产大省,产量连续多年处于全国的前列,2004年广东省的水泥产量排全国第二.同时又是消费大省,每年水泥实际消耗量约占全国水泥总消耗量的10%以上,位居第一.
<正>要深入学习贯彻党的十九大构建全面对外开放新格局战略部署,全面落实习近平总书记来川视察重要讲话精神,把握新时代机遇,主动服务"一带一路"建设,高水平建设西部国际门户
为掌握广东龙川枫树坝省级自然保护区森林群落类型特征,综合运用文献资料分析法、路线调查法、样方调查法等,对保护区的森林群落类型进行了调查。结果表明,保护区的森林植被
在文本分类系统中,特征的优劣往往极大地影响着分类器的设计和性能。提出一种利用分形维数和带精英策略的非劣支配排序遗传算法进行特征选择的方法。在该方法中分形维数作为
为了提高印刷机自动检测网点覆盖率的能力并降低人工测量强度和成本，提出一种基于顶帽变换的印刷网点覆盖率计算方法，主要研究内容包括：网点图像的采集及前处理技术；基于顶帽变换
1月25日粤北首个现代化建材家居中央商业区在清城107国道旁动土建设。据悉，这是清远旧城改造工程的重点项目之一。
基于学科"核心素养"的高中新课程改革已全面铺开,探索一种适合新理念的课堂教学模式成为关键。因此,在教学实践中提出高中政治"三生三解"问题教学模式:研究"自主学习单"的编