基于软定时自动机的用户行为建模User behavior modeling based on soft timed automata
许小媛,纪河,黄黎,李从明
摘要(Abstract)：
提出一种软定时转变自动机,识别更大范围的用户行为历史。该软建模的框架用户模型可以在类似网络学习的虚拟平台中实时地评估用户的动态行为,通过评估观察到的行为中的时间偏差、额外的或省去的行为量来评估用户行为。当观察到的行为只部分满足给定的行为模型约束时,该模型也可以用于用户历史行为的部分识别。相对于标准的布尔模型的识别,当多个用户模型存在偏差量时,该方法通过预测、投影和其他已知的技术更适用于用户实时支持系统,引导生成系统支持。基于日志的网络学习平台和软时间自动机的规划实验证明了该模型的表现力和有效性。
关键词(KeyWords)： 用户行为;时变自动机;自动规划;建模;软定时;匹配
基金项目(Foundation): 江苏省教育科学“十三五”规划2016年度青年专项课题(C-b/2016/03/25);; 江苏开放大学“十三五”2016年度重点课题(16SSW-Z-003);; 江苏省高校自然科学基金项目(15KJB520005);; 安徽省高校自然科学重点项目(KJ2015A366)~~
作者(Author): 许小媛,纪河,黄黎,李从明
DOI: 10.16652/j.issn.1004-373x.2018.15.037
参考文献(References)：
- [1]BERENDT B,SPILIOPOULOU M.Analysis of navigation behavior in websites integrating multiple information systems[J].Journal of the VLDB,2000,9(1):56-75.
- [2]MASSEGLIA F,PONCELET P,TEISSEIRE M,et al.Web usage mining:extracting unexpected periods from weblogs[C]//Proceedings of 2005 the 5th IEEE International Conference on Data Mining.Houston:IEEE,2005:39-65.
- [3]刘啸滨,郭兵,沈艳,等.嵌入式软件体系结构级能耗建模方法[J].软件学报,2012,23(2):230-239.LIU Xiaobin,GUO Bing,SHEN Yan,et al.Embedded software architecture level energy consumption modeling method[J].Software journal,2012,23(2):230-239.
- [4]陈碧欢.基于需求和体系结构的软件系统自适应方法[D].上海:复旦大学,2014.CHEN Bihuan.Software system adaptive method based on requirement and architecture[D].Shanghai:Fudan University,2014.
- [5]BRUSILOVSKY P,KOBSA A,NEJDL W.The adaptive Web:methods and strategies of Web personalization[J].Lecture notes in computer science,2007(5):377-408.
- [6]BRUSILOVSKY P,MILLAN E.User models for adaptive hypermedia and adaptive educational systems[EB/OL].[2007-11-21].https://www.scss.tcd.ie/Owen.Conlan/CS7IS5/10.1.1.87.5703.pdf.
- [7]CERI S,DANIEL,DEMALDE V,et al.An approach to userbehavior-aware web applications[C]//Proceedings of 2005LNCS.[S.l.]:Springer,2005:417-428.
- [8]CERI S,DANIEL F,FACCA F M.Modeling Web applications reacting to user behaviors[J].Computer networks,2006,50(10):1533-1546.
- [9]MILANI A,SURIANI S.Modeling user behaviour by planning[J].Proceedings of World Academy of Science Engineering&Technology,2008,40:237-241.
- [10]ALUR R,DILL D L.A theory of timed automata[J].Theoretical computer science,1994,126(2):183-235.
- [11]王晶,戎玫,张广泉,等.基于概率模型检测的Web服务组合验证[J].计算机科学,2012,39(1):120-123.WANG Jing,RONG Mei,ZHANG Guangquan,et al.Web service composition verification based on probabilistic model detection[J].Computer science,2012,39(1):120-123.
- [12]李力行,金芝,李戈.基于时间自动机的物联网服务建模和验证[J].计算机学报,2011,34(8):1365-1377.LI Lixing,JIN Zhi,LI Ge.Modeling and verification of internet services based on time automata[J].Computer journal,2011,34(8):1365-1377.
- [13]范贵生,虞慧群,陈丽琼,等.策略驱动的可靠嵌入式系统建模及分析方法[J].软件学报,2011,22(6):1123-1139.FAN Guisheng,YU Huiqun,CHEN Liqiong,et al.Modeling and analysis method of reliable embedded system driven by policy[J].Software journal,2011,22(6):1123-1139.
- [14]ZHOU Y,BARESI L,ROSSI M.Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata[J].Journal of computer science and technology,2013,28(1):188-202.
- [15]HAYDEN CM,MAGILL S,HICKS M,et al.Specifying and verifying the correctness of dynamic software updates[C]//Proceedings of 2012 the 4th International Conference on Verified Software:Theories,Tools,Experiments.[S.l.]:Springer,2012:278-293.
- [16]BARESI L,GHEZZI C,MOTTOLA L.Loupe:verifying publish-subscribe architectures with a magnifying lens[J].IEEE transactions on software engineering,2011,37(2):228-246.
- [17]CHEN H B,YU J,HANG C Q,et al.Dynamic software updating using a relaxed consistency model[J].IEEE transactions on software engineering,2011,27(5):679-694.
- [18]DIMITAR P,DANG H.Reasoning about Qo S contracts in the probabilistic duration calculus[J].Electronic notes in theoretical computer science,2010,238(6):41-62.