简介:Smeconceptsusedinknowledgebasemaintenace,suchassequence,newlaw,user'srejectionandreconstructionsofaknowledgebase,arefirstintroduced,andthenaframeworkforextendedlogicprogramming(ELP)isgiven,whereanextendedlogicprogramisequivalenttoaknowledgebase.AtransitionsystemcalledR-calculusforELPisprovided.Foragivenknowledgebaseandauser'srejection,theR-calculusforELPwilldeducebestrevisionsofthebase.ThesoundnessandthecompletenessoftheR-calculusforELPareproved,andtheR-calculusforELPisimplementedinProlog.Inaddition,theresearchiscomparedwithotherrelevantwork.
简介:Rèsumèonnewmonograph“AdvanceinMathematicalSeismology”edit┐edbyJunjiKoyama&FengDeyiThenewmonograph“AdvanceinMathematicalSeismo...
简介:摘要随机信息技术的的飞速发展,世界各个角落通过互联网联系的越来越紧密,我们每天的生活工作产生大量的数据,如果我们对这些看似杂乱无章的数据进行统计分析,数据挖掘,我们便可以提取出很有用的信息,R正是在大数据时代背景下处理海量数据的利器之一。可以预见,在大数据时代,分布式系统(例如Hadoop和Spark)和统计分析软件将拥有广阔的应用前景。
简介:Theaimofthispaperistogiveasimpleproofoftherestrictiontheoremforthemaximaloperatorsonthed-dimensionalEuclideanspaceRd,whosetheoremwasprovedbyCarro-Rodriguezin2012.Moreover,weshallgivesomeremarksoftherestrictiontheoremforthelinearandthemultilinearoperatorsbyCarro-RodriguezandRodriguez,too.
简介:TwoLatinsquaresofordervarer-orthogonaliftheirsuperpositionproducesexactlyrdistinctorderedpairs.Thetwosquaresaresaidtober-orthogonalidempotentLatinsquaresanddenotedbyr-MOILS(v)iftheyareallidempotent.Inthispaper,weshowthatforanyintegerv≥28,thereexistsanr-MOILS(v)ifandonlyifr∈[v,v~2]\{v+1,v~2-1}.