加权约束满足问题的符号ADD求解算法

加权约束满足问题(WCSP)是一类软约束满足问题。给出WCSP的代数决策图(ADD)描述,以及基于ADD的两种符号求解算法。首先,通过对变量和变量域值的二进制编码,给出软约束图的ADD表示。其次,将分支定界搜索算法与桶消元算法及符号ADD技术相结合,在静态变量序下,利用结点一致性预处理技术,对WCSP问题进行符号ADD求解。通过引入有向弧一致性计数技术提高符号ADD算法的搜索下界,对符号ADD求解算法作了改进。最后,对大量随机生成的测试用例进行实验分析。结果表明,文中算法在性能上明显优于带有存在有向弧一致性或结点一致性预处理技术的具有前向检查功能的深度优先分支定界搜索算法。     

Statecharts的形式化验证研究

给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作语义.然后在此基础上把一个图形化的语言转换为文本的方式来描述,并对Statecharts进行形式化分析及验证.     

公平非否认协议的有限状态分析

本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,结果发现该协议不满足公平性和机密性．为此对该协议进行了改进。     

旅游路线规划研究综述

旅游业的快速发展和用户分享内容的激增使得旅游领域的信息过载问题日益突出，如何帮助游客在快速制定个性化游览路线的同时提升旅行体验，成为当前旅游路线规划问题研究的关键。首先，给出旅游路线规划问题的形式化定义；然后，将文献中的旅游路线规划求解方法分为基于精确数学建模的求解、基于用户生成内容的求解两大类，对各类方法的关键技术和存在的主要问题进行了较为详细的考察；最后，给出一个旅游路线规划系统整体架构，对其中存在的重点和难点问题进行了分析，为旅游路线规划问题的研究提供理论支持的同时指明了下一步的研究方向。     

基于位置和开放链接数据的旅游推荐系统综述

利用开放链接数据解决基于位置的推荐系统中存在的信息过载问题是目前的研究热点，并在旅游领域展现出了巨大的潜力。首先给出推荐系统的基本概况；然后对旅游开放链接数据进行了概况；从文献分类、应用分类和研究成果对基于位置和开放链接数据的旅游推荐系统从2014—2018年的相关文献进行了详细考察，并从基于位置的单点推荐、旅游路线推荐、GPS轨迹推荐、基于媒介的地理标签推荐、基于本体的位置推荐和基于位置的朋友推荐等6类典型的应用进行分类考察，最后对全文并为该领域指明了研究方向。     

基于轨迹挖掘模型的旅游景点推荐

针对旅游推荐系统中基于内容的推荐和基于协同过滤的推荐方法的数据稀疏性和冷启动问题,以及现有轨迹挖掘方法忽略旅游轨迹中高级语义的问题,提出基于门控循环单元轨迹挖掘模型的推荐方法.为了充分利用旅游轨迹的高级语义信息,基于循环神经网络设计轨迹挖掘表示模型,对游客的旅游轨迹进行建模,在利用游客历史轨迹建模后向游客提供个性化旅游景点推荐.在真实旅游轨迹数据集上的实验表明,相比广泛使用的基线方法,文中方法在景点推荐的准确性和质量上都有一定提高.     

描述逻辑 ALC中的 ABOX 反绎推理算法

鉴于已有的描述逻辑 ALC中 ABOX 反绎推理算法需要转化到 FOL上处理,涉及了大量变元和Skolem 项的使用.ALC-Tableau可以避免大量变元和斯科伦项,给出了一种直接在 ALC 上处理 ABOX 反绎推理问题的算法.该算法将 ABOX 反绎推理问题转化为知识库的一致性问题,在此基础上结合反绎推理的自身特性对传统的Tableau构造过程进行扩充,最终借助一个回溯过程找出反绎问题的所有解.     

道义Petri网及其在协同组织社交建模分析中的应用

在开放动态的、充满异质服务的网络环境下,构建服务协同虚拟组织的一个重要挑战是自治服务代理间的协同交互问题.提出一种扩展的引用网:道义Petri网(DPN).DPN结合了动态组织建模中的角色规范概念,并采纳了引用网的网中网和同步通道.给出了DPN在建模与分析自治服务代理协同交互时的一般方法,并以电子机构模型为例,具体论证了DPN在协同交互建模与分析上的优越性及可用性.     

目标独立的Prolog程序路径依赖分析语义

在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度.当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析.为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语文,并证明了LT语义相对于操作语义的正确性.LT语义可作为目标独立的Prolog程序路径依赖分析的基础.     

实时系统非周期任务的可预测调度研究

提出了一种实时系统任务模型 ,分析了该模型中周期和非周期任务可调度的条件 ,并给出了一种强实时非周期任务的可预测调度算法。该算法按照 RMS算法的原则统一调度系统任务 ,保证系统周期和非周期任务满足各自的时限约束 ,实现了强实时非周期任务的可预测调度