简介:对于数字影像中的目标我们想要确定它的位置,只靠简单的数据是不够的,这时候我们就要借用算子。就算子进行介绍并引入了算子的一些改进思想。
简介:讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln(n〉3),首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式(tautology)与IPC(inmitionisticpropositionalcalculus)公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。
简介:<正>旧题东晋干宝所撰《搜神记》,是魏晋志怪小说的代表作,深受世人喜爱.中华书局出版的汪绍楹先生的校注本(下简称“汪本”),影响最大.此书以张海鹏的《学津讨原》本为底本,做了大量的考源钩沉工作,又补辑了34条,是最为通行的读本,各种《搜神记》选译本、小说注译本多以该书为据.岳麓书社1989年又出版了钱振民先生的校点本(下简称“钱本”),系以毛晋的《津逮秘书》本为底本,参校众书,并编“主题索引”以代“目录”,正文之后附“人(神)名索引”、“图籍索引”、“重言索引”等,也不失为一种便利的读本.贵州人民出版社于1991年1月又推出黄涤明先生的注译《搜神记全译》,该书亦以《津逮秘书》本为底本,校以《学津讨原》本,并参考了汪绍楹先生的校注等.该书注释简明、译文流畅,特别是魏晋常语的翻译把握较好,可称为兼具通俗性、资料性和学术性的好书.