{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,1]]，“日期时间”：“2022-04-01T23:04:36Z”，“时间戳”：1648854276759}，“引用计数”：18，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2007,3]]}，“DOI”：“10.1109\/ams.2007.110”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2007,6,20]]，“date-time”：“2007-06-20T19:08:51Z”，“timestamp”：1182366531000}，“source”：”Crossref“，“is-referenced-by-count”：0，“title”：[“军事模拟中人类决策模型的验证”]，“prefix”：“10.1101109”，“author”：[{“given”:“Fei”，“family”：“Liu”，“sequence”“”：“first”，“affiliation”：[]}，{“given”：“Ming”，“family”：“Yang”，“sequence”：“additional”，“abfiliation“：[]{”given“：”Guobing“，”family“：”Sun“，”sequence“：”additional“，”affiliation:[]}]，“member”：“263”，“reference”：[{“key”：”ref10“，“article-title”：“人类行为模型的验证”，“author”：“gonzalez”，“year”：“1999”，“journal title”：“Proc Simulation Interoperability Workshop”}，{“key”：“ref11”，“article-title”：“人类行为表征验证”，“author”：“harmon”，“year”：“1999”，“journal-title“：”Proc Simplement Interoperable Workshop，“journal-title”：“军事作战研究和系统工程”}，{“key”：“ref13”，“article-title“：“逼真度和人类行为表征”，“author”：“harmon”，“year”：“2001”，“johnal-tittle”：《过程仿真互操作性研讨会》}，}“key”：“ref14”，“article-title”：“Kommunikation Mit Automaten”，“作者”：“petri”，“年份”：“1962”}，“article-title”：“Petri网：中心模型及其属性”，“volume”：“254”，“author”：“brauer”，“year”：“1987”，“journal-title“：”计算机科学讲义“}，{“key”：”ref16“，“artifle-title:”使用模糊Petri网的知识表示“，”volume“：”2“author:”chen“，”year“：”1990“，”journal-title“”：“IEEE知识与数据工程汇刊”}，｛“key”：“ref17”，“first page”：“349”，“文章标题”：“使用模糊petri网的任务序列规划”，“volume”：“1”，“author”：“tiehua”，“year”：“1991”，“journal title”：“Proc IEEE Int Conf System Man and Cybernetics”｝，｛“key”：“ref18”，“doi asserted by”：“publisher”，“doi”：“10.1109\/TSMA.2006.878968”｝，{“key”：“ref4”，“first-page”：“16”，“article-title”：“在基于规则的专家系统中验证完整性和一致性的方法”，“author”：“suwa”，“year”：“1982”，“journal-title“：”AI Magazine“}，{“密钥”：“ref3”，“doi-asserted-by”：“publisher”，”doi“：”10.1007\/1158990_137“}”，{：“关于知识库的一致性：COVADIS系统”，“author”：“tousset”，“year”：“1988”，“journal-title”：“Proc European Conference On Artificial Intelligence”}，{“key”：“ref5”，“first page”：《375》，“article-title》：“Checking an expert systems knowledge base for consistence and complete”，“author”:“nguyen”，“year”：《1985》，“johnal-tittle”：“Proc International Joint Conference on Artificial Intelligence”}，{“key”：“ref8”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0965-9978（95）00018-R”}.，{《key》：“ref7”，“first page”：《840》，“article-title”：“基于规则的专家系统的增量验证”，“author”：“meseguer”，“year”：“1992”，“journal title”：“Proc European Conference on Artificial Intelligence”}，{“key”：“ref2”，“first-pages”：“3100”，“article-title”：“ai仿真系统的验证与确认”，“author”：“liu”，“year”：“2004”，“journal-title“：”Proce IEEE Int-Conf Machine Learning and Controntinetics“}，“key“：”ref1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/WSC.2005.1574367“}”，{”key“：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TKDE.2003.1185845”}]，“event”：{“name”：“第一届亚洲建模与仿真国际会议（AMS'07）”，“location”：“Phyket，Thailand”，“start”：{“date-parts”：[[2007,3,27]]}，“end”：{date-part“：[[2007，3,30]]}}}，”container-title“：[“第一届亚洲建模与仿真国际会议（AMS'07）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/4148615\/4158616\/04148687.pdf？arnumber=4148687”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,15]]，“date-time”：“2017-03-15T22:56:03Z”，“timestamp”：1489618563000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/4148687\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[[2007,3]]}，‘references-count’：18，”URL“：”http://\/dx.doi。org\/10.109\/ams.2007.110“，”relation“：{}，”subject“：[]，”published“：{”date-parts“:[[2007,3]]}}}