摘要：本文分别以安全协议模型检测器SATMC和ProVerif为例,介绍了基于经典逻辑的安全协议模型检测两种方法:SAT方法和归结方法,并简要地给出了我们设计实现的基于SAT方法的安全协议模型检测器JLU-PV。

摘要：针对剪纸图案的数字化表示、内容检索与文化计算问题,构建了一种XML数据存储模型。该模型不仅能实现从剪纸图像到XML数据的双向转换,并能为剪纸内容检索、数据挖掘与文化计算准备数据。为了评价该模型的可行性和优越性,测试了模型对发现已知文化规律的支持能力。研究结果表明,在增加必要的结构信息与特征信息后,基于模型的数据集具备支持数据挖掘与文化计算的能力。本文有关模型的设计思路同样适用于其他非文本资源。

摘要：针对细菌觅食优化算法求解高维优化问题时不易跳出局部最优解的问题,引入趋向方向余弦向量和随时间变化的加速系数,控制细菌觅食优化算法的收敛精度和收敛速度,并将改进算法用于求解组合优化问题。依据细菌种群密度计算原则,设计了一种离散空间和连续空间之间相互转换的规则,同时用集合对细菌觅食优化算法中的算术运算符形式化描述。仿真试验结果表明:基于集合的细菌群优化算法避免了早熟现象,寻优结果优于蚁群算法且接近基于集合的粒子群算法。

摘要：近几年,图神经网络(Graph Neural Network)由于能够较好地提取网络结构信息以获得网络表示,逐渐成为网络节点分类的主流算法。然而,与广泛研究的同质信息网络相比,真实世界中网络往往是由不同类型的对象通过复杂关系相互连接所构成的异质信息网络。异质信息网络包含复杂的结构信息和丰富的语义信息,这也给网络节点分类提供了新的机遇与挑战。在异质信息网络中,网络模体(Motif)能够用于理解和探索复杂网络,其既能描述复杂的语义信息,又能保存网络中高阶近邻结构信息.因此,提出基于网络模体的异质超图卷积网络模型MHGCN(Motif-based HyperGraph Convolutional Network).首先,将重复出现的高阶网络模体建模为多个相关节点所构成的超边(hyperedge),进而将整个异质信息网络转换成由不同超边构成的超图,以克服同质网络中只能描述节点之间(pair-wise)关系的缺点;然后,利用超图的基本性质和谱理论设计超图上的卷积操作,同时引入超边自注意力机制聚合超图内部不同类型的节点,并通过在超图网络中加入自环解决在模型的前向传播过程中对异质信息网络覆盖不足的问题;最后,通过注意力机制对于不同语义的超图表示进行聚合,从而使最终的节点表示可以有效保持高阶近邻关系和复杂的语义信息.由于MHGCN是端到端的,最终模型直接学习得到节点的分类标签,并通过半监督节点分类任务进行验证,与其它方法相比,MHGCN在DBLP-P、DBLP-A数据集上比最好的基准方法micro-F1提高了0.56%~3.51%,macro-F1提高了0.54%~4.37%,验证了MHGCN模型的有效性.

摘要：即时消息系统目前已成为人们交友和沟通的主要工具,建模和理解其中的好友关系网络的建立和演化规律对于设计更加友好的即时消息系统很有益处。针对世界最大的即时消息系统之一的QQ,分析了好友关系网络的特点,统计了QQ用户的交友取向特征,考虑了实际的QQ联系人作为节点的出度和入度情况。不同于传统的基于节点度的优先附着规则,提出了即时消息系统的好友关系网络基于用户属性进行建模和演化的规则,设计了相应的拓扑生成算法,讨论了模型各参数对拓扑演化的影响。实验结果表明,提出的生成模型较BA模型更好地体现了实际好友关系网络的特点,例如节点度分布、平均最短路径长度等。

摘要：运用MOST(Media Oriented Systems Transport)网络标准和I2S(Inter-IC Sound Bus)数字音频传输技术,设计了一个车载MOST网络,它实现了流媒体数据传输和播放功能。文中描述了使I2S数字音频数据从音频数据源设备发送到音频播放设备的网络硬件结构和软件实现。

摘要：针对目前车载自组网中路由安全问题,提出一种基于经验信任的可信路由模型.该模型从客观信任的角度引入经验信任的概念作为可信度量的标准,并给出了计算节点经验信任值和信誉度的推荐方法,根据节点的经验信任值设计一种新的动态包转发规则,从而实现车载自组网的可信路由.实验结果表明,该模型较贪婪周边无状态路由(greedy perimeter stateless routing,GPSR)协议具有较高的抵抗自私节点的能力.

摘要：以平面几何问题为对象,通过对主观试题解答进行研究,建立一种基于本体的问题求解学生模型(OSSM).实现了自动问题答案评估学生模型的设计,给出了适用于主观题求解基于本体的知识表示方法、主观题求解过程跟踪方法和答案智能评估方法.用本体方法实现知识表示,可从多方面评估学生对知识点的掌握情况,从而实现对学生学习的智能指导.

摘要：统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

摘要：新一代地理信息系统(简称GIS)正在向同时处理时间和空间信息发展,时空查询成为GIS的研究重点。目前的时空查询语言不论在语法还是语义方面都存在不足。为此,设计了一个基于XML的扩展SQL时空查询语言ST XSQL,并在组件地理信息系统CGIS上实现。鉴于XML是当前各类基于Web的查询语言普遍采用的技术手段,ST XSQL采用基于XML的扩展SQL语法。语义解释采用时空推理中著名的RCC和区间代数理论。与同类工作相比,ST XSQL的语法表达更加清晰和严谨,时空关系语义也更加完备和实用。