基于行为片段模式的流程模型Petri网交互变化区域的责任分析

对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性。     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统（Multi—AgentSystems，MAS）中，多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Vetri网来表示一个多Agent系统。利用着色Vetri网，便于描述并发现象和模拟平行系统，除了直观的图形化表示，还具有精确的形式化定义，并且有完善的分析工具。最后对FIPA规范中的FIPAInform和FIPA Request两个协议进行实例分析，说明如何用着色Petri网进行建模。     

基于广义随机Petri网的Web服务交互行为-环境模型

在因特网环境下,个体Web服务的可靠性和性能表现都与访问者的地域位置有关,其本质是服务交互行为受到了不可预知的网络环境的影响.而通过协调多个伙伴服务之间的交互操作而实现的服务组合更加容易受到网络环境因素的影响.在这种情况下,服务组合建模只考虑组合本身,而不考虑网络环境的影响,将会对模型的评估造成较大的偏差.于是,为了能够真实地评估服务交互行为与网络环境之间的关系,提出了一种基于广义随机Petri网的Web服务“交互行为-环境”模型.该模型不仅引入了伙伴服务的可靠性和性能方面的因素,而且充分考虑真实的网络环境因素.该模型能够对被建模系统进行定性和定量分析,从而指导服务组合方案的优化,评估网络环境对交互行为的影响.最后,进行了案例研究,并深入评估了该实例的可靠性、性能以及交互行为方面的属性.     

基于Internet的交互系统中多媒体同步模型及算法

基于Internet的交互系统要求多媒体信息同时要满足实时性和同步性要求．本文在原有OCPN模型的基础上，结合交互系统的特点，提出了一个满足交互系统要求的同步方案——基于时间Peri网的实时动态同步模型(RDSPN)．文中详细描述了RDSPN模型、媒体表现时间调整方法和媒体同步控制算法．     

基于着色Petri网的多Agent系统交互协议建模

多Agent系统(Multi-Agent Systems,MAS)中,多个Agent通过交互和协作来完成一系列任务或实现一些目标。Agent之间有效、有序地进行交互是MAS成功运行的关键。文中采用着色Petri网来表示一个多Agent系统。利用着色Petri网,便于描述并发现象和模拟平行系统,除了直观的图形化表示,还具有精确的形式化定义,并且有完善的分析工具。最后对FIPA规范中的FIPA Inform和FIPA Request两个协议进行实例分析,说明如何用着色Petri网进行建模。     

XOCPN：支持用户交互的多媒体同步模型

多媒体同步是多媒体应用的一个重要需求。本文对ＯＣＰＮ模型进行了扩展，提出了一种基于时间Ｐｅｔｒｉ网的多媒体同步模型ＸＯＣＰＮ，以对具有时间约束关系的多媒体合成进行规范描述，并具有支持灵活用户交互的能力。文中给出了处理异步用户交互的算法，并用示例说明。     

基于Petri网的Web服务交互行为一致性检测方法

在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。     

基于DIS的视景仿真交互行为研究

分布式交互仿真是分布式仿真与图形特性的有机结合。针对分布式视景仿真的交互行为特性,文章作了相应的研究,分析了分布式交互仿真DIS节点间交互操作的信息传递机制和通信格式,并结合图形特性论述。在分布式视景仿真中结合对象建模对仿真节点间的实体交互行为做出理论分析,并在此基础上提出了用于实时态势仿真的软件平台和实现方法。     

基于时空单词的两人交互行为识别方法

文中提出一种基于时空单词的两人交互行为识别方法,该方法从行为视频中提取丰富的时空兴趣点,基于人体剪影的连通性分析和时空兴趣点的历史信息,把时空兴趣点划分给不同的人体,并在兴趣点样本空间聚类生成时空码本(spatial-temporal codebook).对于给定的时空兴趣点集,通过投票得到表示单人原子行为的时空单词(spatial-temporal words).采用条件随机场模型建模单人原子行为,在两人交互行为的语义建模过程中,人工建立表示领域知识(domain knowledge)的一阶逻辑知识库,并训练马尔可夫逻辑网用以两人交互行为的推理.两人交互行为库上的实验结果证明了该方法的有效性.     

Smooth Intervention Model of Individual Interactive Behavior

User feature extraction and identity authentication methods based on interactive behavior are an important method of identity recognition. However, for high-frequency users, the interactive behavior patterns and operating habits are relatively stable, which are easily imitated by fraudsters and make the existing models have a higher misjudgment. The key to solving the above problems is to make the users'' behavior change smoothly and distinguishably. This study proposes a smooth intervention model based on an individual interactive behavior system to handle it. Firstly, according to the users'' historical web behavior log, the change trend of users'' interactive behavior is obtained from multiple dimensions. Then, combined with the stability and deviation of the behavior, the Time-Domain Drift Algorithm (TDDA) is proposed to determine the behavior guidance time of each user. Finally, an intervention model for interactive behavior reconstruction systems is proposed, which superimposes behavior trigger factors on non-critical paths in the system to guide users to generate new interactive behavior habits. Experiments prove that the method proposed in this study could guide the user behavior to change smoothly and produce sufficient distinction to significantly advance the model accuracy in the scenario of behavior camouflage anomaly detection.     

基于元Agent技术的作战个体行为建模

针对虚拟作战个体行为具有智能性和自主性的特点,从行为功能考虑,将影响人员外在行为的内部因素分解为元Agent,提出一种基于元Agent聚集的作战人员行为模型。依据各个主体特点采用智能模型实现其结构,描述感知因素的量化值和可信度,引入收益指标评估意图的远景规划,通过动作执行概率的赋值达到重复作战行为的优先选择。与传统方法相比,该模型充分考虑到个体行为内在因素间的交互耦合和复杂反馈,提高了作战个体战场行为的智能性、自主性和差异性,为作战人员行为建模等问题提供一种新的研究思路。     

基于Petri网的工作流模型研究与设计

Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示。工作流技术作为实现企业过程集成的有效手段,广泛应用于各种场合。本文在简要介绍了Petri网、工作流与工作流模型的理论后．对公文流转中的发文工作流进行了基于脯网的模型设计。     

移动终端用户交互行为的情感预测方法研究

交互设计中用户的情感体验关系到设计的成功与否,对用户情感的研究一直是交 互设计的研究热点。人在与移动终端交互的过程中会产生情感,由于该情感具有主观性,很难 对其进行客观衡量。为此提出一种利用眼动指标和PAD 情感量表进行情感预测的方法,选择中 文版PAD 情感量表作为情感测量的工具,通过偏最小二乘回归分析建立眼动指标和PAD 情感 值的数学模型,进行实验设计。实验结果表明该数学模型能较为准确的进行情感预测。     

考虑个体警觉行为的双层网络流行病传播模型

流行病传播过程中常伴随个体意识信息的扩散,然而目前关于流行病与意识信息关系的研究大部分未考虑意识信息在传播过程中对个体接触行为的影响.提出一种基于个体警觉状态的双层网络流行病传播模型.建立下层物理接触网络描述流行病的传播,构建上层信息扩散网络描述流行病传播中信息扩散,根据个体的行为偏好和警觉性设计警觉个体避免与非警觉个...     

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.     

个体经验和行为的IEBTrust信任模型

在分布式网络中,由于节点主观特性和客观特性的非对称性,使得同一节点在不同场景中,可能具有不同的交互经验和行为,节点的信任评价值应该因场景的不同而有所差异,现有信任模型不能客观的反应这个问题.为此,考虑了节点个体行为的差异,通过引入经验因子的方法,提出一种基于个体经验和个体行为的信任模型.算法分析表明,新模型在反馈可信度的算法等方面有较大的改善.     

基于ACP行为动力学的犯罪主体行为平行建模分析

犯罪行为分析是侦查破案的重要参考,也是学界长期以来关注的热点.目前,犯罪行为分析主要采用现场证据-行为推断的思路,忽略了犯罪过程中犯罪主体和客体之间的复杂互动.本文在基于ACP（Artificial societies（人工社会）+Computational experiments（计算实验）+Parallel execution（平行执行））方法的犯罪现场平行系统框架下,从行为动力学角度提出了故意杀人行为的犯罪主体时间和空间互动模型,并采用真实案例数据对模型参数进行了标定.计算实验结果表明,本文提出的互动模型能较好地模拟真实数据,从而为分析犯罪过程中的复杂互动提供了一个可靠的基础.     

基于Agent的DDoS协同防御实体行为建模

现有分布式拒绝服务(DDoS)协同防御实体行为建模逼真度较低,且形式化描述不规范.针对上述问题,提出一种基于Agent 的DDoS协同防御实体行为建模方法.采用基于Agent的建模思想及输入-输出映射原理,建立包含自主行为和交互行为的实体行为概念模型,设计改进的Agent行为形式化描述方法,从自适应性、自学习性和交互性3个因素考虑,构建协同防御实体行为模型,准确描述防御实体的智能行为.