位置：成果数据库 > 期刊 > 期刊详情页
抽象算子逻辑及其自然演绎系统
  • ISSN号：1000-1832
  • 期刊名称：《东北师大学报：自然科学版》
  • 时间：0
  • 分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：东北师范大学软件学院, 吉林大学符号计算与知识工程实验室, 悉尼科技大学信息技术学院, 悉尼科技大学信息技术学院 吉林长春130024吉林大学符号计算与知识工程实验室吉林长春130023悉尼科技大学信息技术学院悉尼NSW2007, 吉林长春130024, 吉林长春130023, 悉尼NSW2007, 悉尼NSW2007
  • 相关基金：国家自然科学基金资助项目(40202030;60275002;69903005),香港王宽诚教育基金资助项目,澳大利亚访问学者基金资助项目,欧盟、英国工程课题,博士点基金资助项目,地质行业科学技术发展基金资助项目.
作者： 程晓春, 钟绍春, 欧阳丹彤, 李春生, 陈庆锋, 张成奇
关键词： 抽象, 约束, 算子逻辑, 公理系统, 自然演绎
中文摘要：

研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.

同期刊论文项目
多源数据的相似度量分析
期刊论文 10
非线性空间信息统计学的理论方法及其在地学中的应用
期刊论文 6
基于模型的诊断推理
期刊论文 23 会议论文 3
同项目期刊论文
析取克立格法及其应用的研究
析取克立格方法分析
析取克立格理论及其在品位估计中的应用
析取克立格法及其应用的研究
控制软件质量预测中两类错误比率的比较研究
基于综合特征分析的多源空间数据相似检索
基于小波降噪与支持向量机的恒星光谱识别研究
Face Recognition by Combining Wavelet Transform and k-Nearest Neighbor
逆主元法盲目复原高斯模糊图像
基于直方图的遥感图像相似性检索方法比较
Kernel Model-based Diagnosis
不确定因果理论诊断的测试
对基于模型诊断过程的形式化
基于模型诊断的元件替换与替换测试
用辩论刻画含约束的诊断空间
基于模型的网络故障诊断方法
不确定因果理论的基于模型诊断
抽象和求精过程中用算子标识约束信息
基于模型诊断的研究与新进展
广义因果理论上基于模型诊断过程的形式化
拓展溯因逻辑程序设计的辩论理论基础
基于模型的实质诊断
基于模型诊断方法的系统替换修复与重新配置
对基于模型的诊断过程的形式化
合成状态图中非预期状态转换路径的确认
用聚类分析方法挖掘Aspect
一种自动化软件设计改进方法
基于模型的动态分层诊断技术
基于模型诊断中计算碰集的方法
面向Java语言的设计模式抽取方法的研究
期刊信息
  • 《东北师大学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:教育部
  • 主办单位:东北师范大学
  • 主编：刘宝
  • 地址：长春市净月大街2555号
  • 邮编：130117
  • 邮箱：dslkxb@nenu.edu.cn
  • 电话：0431-89165992
  • 国际标准刊号：ISSN：1000-1832
  • 国内统一刊号：ISSN：22-1123/N
  • 邮发代号:12-43
  • 获奖情况:
  • 中文综合性科学技术类核心期刊,中国科学引文数据库来源期刊,中国科技论文统计源期刊,中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,美国生物科学数据库,英国动物学记录,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:7830