位置:成果数据库 > 期刊 > 期刊详情页
边界域划分约简标准简析
  • 期刊名称:计算机工程与应用
  • 时间:0
  • 分类:TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]嘉兴学院数学与信息工程学院,浙江嘉兴314001, [2]西南交通大学理学院,成都610031
  • 相关基金:国家自然科学基金( the National Natural Science Foundation of China under Grant No.60474022); 嘉兴学院高层次人才科研启动基金.
  • 相关项目:基于格值逻辑的语言真值归结自动推理研究
中文摘要:

叶东毅教授的文中指出Hu Xiaohua等学者提出的约简方法在某些情况下会给出错误的结果,论文通过分析得出该约简方法实质上保持边界域划分不变,与叶东毅教授提出的约简方法只是标准不同,而无所谓对错问题,在此基础上,分析了边界域划分约简标准的逻辑特征。

英文摘要:

In his paper,Prof.Ye Dongyi has pointed out that the reduction approach introduced by Hu Xiaohua etc.will give wrong result in some situation.In this paper the author comes to a conclusion by analysis that the reduction approach is to keep boundary region partition unchangeable virtually.It is just different from the reduction approach given by Ye Dongyi.Then,the author analyzes the logic characteristic of boundary region partition reduction standard.

同期刊论文项目
期刊论文 258 会议论文 118 著作 4
同项目期刊论文