论文研究行为时序逻辑中公平性的研究与完善.pdf

目前常用梯形图转语句表方法有拓扑排序、二叉树、广义表、串并联归并等，但在梯形图编辑软件中难于直接同图形编辑的描述对应起来，编程难度也较大。为解决这些问题，提出了一种等效网络合并方法，采用一个矩阵和相关

为了表示和处理AUV（AutonomousUnderwaterVehicle，自治水下机器人）的心智状态及心智活动，对Rao和Georgeff的BDI逻辑进行了拓展，定义了一种含模态词（信念、目标、能

提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率。

WiMax安全性分析与研究，许艳丽，，随着越来越多的无线设备加入到互联网，宽带无线接入的安全性问题将变的越来越复杂。安全威胁根据他们目前的表现方式分成不同的类

由于节点的匿名性和贡献资源的自主性，MoSoSo系统中存在大量的搭便车问题，使绝大多数节点都无法得到正常的服务。为使节点得到更好的服务，在分析P2P网络中激励机制的基础上提出了一种应用于MoSoSo网

网络用户行为分析系统研究与设计，张立明，，本文在介绍当前对网络用户行为分析存在迫切需求的基础上，首先阐述了网络用户行为分析技术，然后介绍了网络用户行为分析系统的设

基于CNN与VLAD的人体行为识别研究，王冬雪，张磊，人体行为识别是很多实际应用中的关键技术，例如视频监控、人机交互、虚拟现实和视频检索等，所以智能的人体行为识别技术有着很高

本研究从以下几个方面评估了蜜蜂和拟南芥的觅食行为及其与环境变量的关系：1）收获的资源类型，2）探访率，3）访问时间，4）花蜜中A. mellifera的农作物贮藏的花蜜中糖的浓度，并由花和5）花的恒定

Android系统中基于移动支付行为特征的恶意检测研究与实现，王丽娜，谈诚，针对目前亟待解决的基于移动终端的移动支付恶意检测的问题，本文以主流手机操作系统Android为研究平台，提出一种基于移动支付

针对通信网络中节点之间通信内容未知的情况,提出了一种基于节点行为时序的指控信息流挖掘算法。首先,对用户通信行为的相关性进行建模,提出了节点通信行为模型,分别对节点的背景通信和指控类通信的行为进行建模;