【摘 要】
：
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行了形式化建
【机 构】
：
山东科技大学信息科学与工程学院青岛266590
【出 处】
：
第十四届全国Petri 网理论与应用学术年会
论文部分内容阅读
有偿交互问答(QA)系统受到越来越多的关注,但是补偿的不公平性等问题可能会引起用户的投诉.通过分析有偿交互QA系统的投诉流程,首先利用颜色Petri网对投诉流程进行了形式化建模;然后使用CPN Tools对所建立的形式化模型进行了验证;最后对所建模型的状态空间报告进行分析,证明了系统各响应流程设计的正确性等特性.对有偿交互QA系统的综合形式化分析具有重要意义.
其他文献
成本控制贯穿于建筑施工项目建设的全过程,成本控制的好坏直接影响着工程项目的盈亏。而建设工程施工阶段是工程建设全过程中资金投入最大的阶段,也是货币资金转化为建筑实体
市政排水工程施工具有其特殊性,施工管理是确保施工质量的重要手段,因此,加强对排水工程施工的科学管理具有特别重要的意义。文章针对排水工程施工中的各个阶段管理工作分别
随着农民生活水平提高和子女成家立业,在城镇化推进过程中农村违法用地、违法建筑情况严峻。同时城镇化所导致不同土地价值的差距扩大、农村建设用地指标紧缺、规划限制、土
改革开放以来,经济体制改革政策的施行全面地推动了我国非公有制经济的发展,促使其逐步发展成为我国社会主义市场经济的重要力量。非公有制经济的发展壮大深刻地影响着我国经
自20世纪90年代开始,中国公路桥梁建设得到快速发展。随着运营时间增长和车流量的增加,桥梁垮塌事故不断涌现,造成大量经济损失和人员伤亡,桥梁安全运营和健康监测越来越受到
近代中国医学教育制度的建立,受到西医教育制度的进入和中医教育模式变革的双重影响。由于医学教育建制不断调整,近代医学教育机构的称谓频繁变化。中西医界都高度重视医学院
针对如何提高玻璃钢化生产线的生产效益和节能效果,提出了增加自动上下料台,采用纳米陶瓷反射炉壁优化加热区,通过淬冷和冷却分区以及改善冷却风栅结构提高来钢化性能以提升
竹文化节以颂扬竹的高尚品格,展示它的文化内涵及在各个领域的应用为主旨,广泛宣传它的文化属性。就竹文化而言,属于高雅文化,论品位可在"阳春白雪"之列,古代只有文人雅士或
创新是一个民族发展的重要力量,是一个行业持续发展的根本,更是一个企业发展过程中,最为重要的意识形态。对于播音主持行业而言,通过传统播音主持技巧,加上目前新的科学技术,
通过对A汽车物流企业进行深入研究,分析其现有整车物流资源在公铁水上配比中存在的问题,在实地调研的基础上,建立了基于运输时间、运输成本、运力限制等多重优化目标规划下的