基于知识图谱的用户偏好神经建模框架

针对目前基于特征和基于路径的知识图谱感知推荐方法的不足,文中提出端到端的将知识图谱引入推荐系统的用户偏好神经建模框架(NUPM).该框架以用户在知识图谱中的历史访问项目为偏好起点,通过知识图谱中实体间的关系链接传播用户偏好,学习用户的潜在偏好,同时使用注意力网络融合各传播阶段偏好特征以构建最终的用户偏好向量.在真实数据集上的对比实验表明文中框架在个性化推荐中对用户偏好刻画的有效性.     

基于干涉预处理的NURBS曲线前瞻插补算法

鉴于直接自适应插补容易在加工过程中引起较大的速度波动,而按曲率极值点对NURBS曲线进行分段插补造成加减速过程中加速度和加加速度超限,提出一种基于干涉预处理的非均匀有理B样条曲线前瞻控制插补算法。首先对曲线进行自适应处理,得到各自适应插补点的运动参数;然后找出其中加速度或加加速度超限的点(即危险点),并对这些点的速度进行前瞻控制,根据前瞻控制信息对相邻危险点进行干涉处理,最终得到用来对曲线分段的危险点信息和相应的控制策略;最后根据各危险点之间的干涉类型对曲线进行实时插补。仿真实验表明,该算法能够在保证加工精度的前提下,实现进给速度的平滑过渡,并且能够保证加速度和加加速度不超限。     

动态协议转换器的构造算法

协议转换器能够解决异构、分布式计算机网络之间的通信问题。而当前的转换器在协议转换过程中都是被动的，也就是说它不能主动地发磅一个信息来初始化一个转换。通过研究基于计时Petri网的协议转换器的构造技术，提出动态协议转换器的具体构造算法。     

模糊柔性制造系统的混杂Petri网建模与调度

对模糊柔性制造系统的建模和调度进行了研究.定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法.建立了模糊柔性制造系统调度的模糊线性规划模型,并对典型的工业实例进行了分析.研究结果表明,基于所定义的混杂Petri模型能够有效地描述和分析模糊柔性制造系统.     

基于符号ADD和线性多分支程序的分类算法安全评估

分类算法是机器学习和数据分析中重要的算法.当需要对分类算法本身以及算法的输入数据进行隐私保护时,就出现了分类算法安全评估问题.针对现有的分类算法安全评估协议效率较低的问题,文章给出了一种基于代数决策图和线性多分支程序的解决方案.首先,设计了基于代数决策图的安全函数评估协议,用以安全评估决策函数;其次,引入了线性多分支程序的概念,用其对分类算法进行表示.最后,借助线性多分支程序和基于代数决策图的安全函数评估协议,给出了一个私有线性多分支程序的安全评估协议.对新的协议的正确性和安全性进行了分析和证明.实验数据表明,与原有的解决方案相比,新的协议在效率上有明显的提高.     

线性时变连续时间系统参数估计中的Taylor级数方法

本文通过引入Taylor级数基函数的微分运算矩阵和向量积矩阵，给出了线性时变连续时间系统参数估计中的Taylor级数方法。     

嵌入式实时系统及其相关问题

嵌入式实时计算机应用系统有别于常规的通用计算机系统，存在着特殊的性能和设计技术要求，有许多问题需要进一步深入研究和探讨。本文阐述了嵌入式实时系统的概念内涵和基本特征，综述并讨论嵌入式实时系统的现有设计模式和一些关键技术。     

一种基于马尔可夫博弈的能量均衡路由算法

针对无线传感器网络中耗能不均问题,引入马尔可夫博弈理论,构建了无线传感器网络的马尔可夫博弈模型.在能量均衡路由分析的基础上,给出了一种基于马尔可夫博弈的能量均衡路由算法,该算法从无线传感器网络整体耗能出发,兼顾节点之间的合作.定义了能量和信誉值的二元收益函数,给出了节点转发的状态转移概率,根据收益函数进行能量调节,求解出能量和收益之间的均衡系数——纳什均衡,实现了节点能量的均衡消耗,延长了网络的生命周期.使用PRISM概率仿真工具进行仿真,验证了该博弈模型存在纳什均衡点,同时表明该模型能促进节点之间合作,最大化无线传感器网络的生命周期.     

装配序列规划问题的Benchmark生成算法

装配序列规划本质上是一个NP组合优化问题,由于缺乏Benchmark,使得研究者在提出装配序列规划算法时难以对算法的优劣进行衡量.针对该问题,借鉴索玛立方体中将若干单位立方块组合成不同几何体的思想,在主要由连接矩阵和干涉矩阵构成的装配体模型表示法的基础上,设计了自动生成装配体和提取其模型数据的算法,并通过实验证明了算法的正确性.最后利用Matlab编程开发了该Benchmark自动生成系统,可以为装配序列规划算法提供有效的输入数据,进而对算法进行评价.     

基于OBDD的Iteration-free CPDL判定算法

命题动态逻辑是一种应用模态逻辑,用于程序行为的推理.Iteration-free CPDL是一种无迭代算子而含有逆算子的命题动态逻辑.对于给定的Iteration-free CPDL公式集,方法是应用NCNF变换和FLAT规则对其进行预处理,并对公式集重构模型,然后将其转化为布尔函数,并利用OBDD来表示,从而调用已有...