RM-RT^(2)NI:融合评论时效与可信近邻影响力的推荐模型

基于矩阵分解的推荐模型虽然能够处理高维评分数据,但容易遭受评分数据稀疏性的困扰。基于评分和评论的推荐模型通过外加隐藏在评论中的用户偏好与物品属性信息,缓解了评分数据的稀疏性,但在特征提取时大多没有关注评论时效性和可信近邻影响力,无法获得更丰富的用户和物品特征。为进一步提高推荐精度,提出了融合评论时效与可信近邻影响力的推荐模型RM-RT^(2)NI。基于评分矩阵,该模型使用矩阵分解提取了用户偏好和物品属性的浅层特征,利用云模型和修正的用户相似度评估模型和新构建的信度评估模型提取出可信近邻影响力;基于评论文本,该模型利用BERT模型获得每条评论的隐表达,利用双向GRU提取评论间的联系,利用新构建的融合时间因子的注意力机制识别各评论的时效贡献度,以获取用户和物品的深层特征。在此基础上,将用户浅层特征、深层特征以及可信近邻影响力特征融合成用户特征,将物品浅层特征和深层特征融合成物品特征,并将它们输入全连接神经网络以预测用户-物品评分。在5组公开数据集上对RM-RM-RT^(2)NI的推荐性能进行了实验评估,结果显示,与7个基线模型相比,RM-RT^(2)NI具有更高的评分预测精度,且RMSE平均降低了3.0657%。

大数据审计实践课程体系探索

审计全覆盖的实施依赖于既懂审计实践又懂大数据技术的大数据审计人才。比对工程教育认证标准中的实践教学体系要求,当前大数据审计人才的培养存在课程体系缺失、数据资源缺失和实验平台缺失等棘手问题。针对上述问题,提出了面向工程教育认证的大数据审计实践课程体系建设思路,包括基于模块化的实践课程体系构建、面向审计案例的数据资源库建设,以及基于定制化的实验教学平台建设。

一种基于时效近邻可信选取策略的协同过滤推荐方法

传统协同过滤推荐通常基于数据是静态的假设,在数据稀疏时存在推荐精度低下的问题。为解决该问题,一些研究尝试向推荐策略中添加有关用户兴趣变化、推荐能力可信度等补充信息,但对误导或干扰推荐的恶意用户兴趣策略变化和推荐能力波动等异常情况欠缺考虑,系统抗攻击性、推荐稳定性与可信性均难以得到保证。通过引入兴趣时效相似度和推荐信度重估两个概念,提出了一种基于时效近邻可信选取策略的协同过滤推荐方法。该方法充分考虑了影响目标用户近邻筛选质量的用户兴趣异常变化和推荐能力波动两个关键因素,构建了包含时效近邻筛选、可信近邻选取和评分预测3个策略的推荐流程。在MovieLens数据集和亚马逊video game数据集上,利用平均绝对误差,平均预测增量,攻击用户查准率、查全率和调和平均等评估指标,对所提策略与其他6种基准策略进行了比较。结果显示,新策略在推荐精度、抗攻击力和攻击者识别力上均有明显的性能提升。

智慧审计理论中的若干问题研究

随着审计信息化程度的不断加深,大智移云物区等信息技术在审计实务领域的不断渗透融合,从根本上动摇了抽样审计的基础。因此,本文对智慧审计的内涵与外延进行了阐述;分析了审计线索筛选问题产生的理论基础与解决方法,提出以因果理论为基础,研究大数据全样本环境下的审计线索筛选问题;打破了财务循环法的约束,提出了面向领域的审计方法;重新界定了与智慧审计理论相关的一些基本概念,通过要素结构以揭示智慧审计中各个要素之间的相互作用。

不可否认协议分析的增广CSP方法

提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性。结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性。最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势。

一个公平的多方不可否认协议

实用的多方不可否认协议必须具备存活性、公平性、时限性、无排斥性和保密性.文中指出现有典型协议,如KM,OZCL和OZL均无法提供时限性和无排斥性,而且易遭受服务失效等攻击,致使它们不能成为实用的协议.为此,给出一个新协议NKM,其基于无需全局时钟同步机制支持的时间段概念实现时限性,借助双重群加密技术确保具备保密性的同时不丢失无排斥性,利用证据链技术既可高效维护协议证据,又能避开服务失效和重放攻击;同时还形式化验证了该协议的安全性,并对协议部署时将牵涉到的安全问题进行了考虑.与现有协议相比,NKM在安全性和性能方面均存在优势,可成为实用的协议.

实时内核uC/OS-II在S3C44B0X上移植的研究与实现

研究了嵌入式实时操作系统uC/OS-Ⅱ移植到S3C44B0X的方法,针对通用ARM启动代码提出了适合S3C44B0X的启动解决方案并进行了详尽分析,指出了移植过程中牵涉的关键技术。该移植过程在Hm701Esp评估板上成功实现,通过经典同步与互斥机制测试,结果表明移植达到了设计要求。

多方不可否认协议时限性分析与改进

时限性是实用的不可否认协议必须具备的一个基本性质.形式化分析典型的多方不可否认协议时发现其存在未公布的时限性缺陷.本文通过向协议消息中添加额外时间控制信息和改变协议交互步骤的办法对该缺陷进行了改进.

基于SDN的电邮抵赖源头抑制方法

受制于现有互联网体系可管控性的丧失,以签收电邮为代表的安全电邮技术仅能对电邮抵赖进行事后检测而无法实施源头抑制。基于SDN(software-defined networking)控制与数据相分离的思想,通过将定制的抵赖抑制单元旁路附加到传统电邮模型之上,提出一种不破坏现有电邮结构的电邮抵赖源头抑制方法。在给出抵赖抑制单元内嵌的电邮证据绑定协议、抵赖行为检测算法、签收信度评估模型和抑制策略形成算法后,对所提方法在4种交叉场景中进行了有效性测试。实验结果表明,在与当前电邮系统兼容共生的前提下,所提方法能够对电邮抵赖实施有效的源头抑制。

NP防火墙协议栈驱动模块的设计与实现

彻底打通网络处理器光口到本地协议栈间通路需要协议栈驱动提供支持。针对协议栈驱动基本组成和内在驱动机制,同时确保遵循Intel IXA软件架构分层设计原则,该文提出了在Linux平台上的实现方案并进行了分析,指出了实现过程中牵涉的关键技术。Enp2611评估板上硬件光口打通测试表明设计达到了预先要求。

面向知识链构建的计算机网络课程组织模式

如何对计算机网络课程进行有效组织是摆在计算机网络二元化教学面前的棘手问题。为解决该问题,文章提出一种面向知识链构建的网络课程组织模式,模式将网络知识链的构建作为网络课程组织的依据,涉及理论教学与实践教学两个层面;实现两次转变,即静态知识向动态知识转变、理论知识向实践知识转变;经历三个阶段,即知识链框架建立阶段、知识点有机关联阶段和知识链强化阶段。

用于增强信任评估可靠性的时滞性弱化策略

为降低信任评估固有时滞性对信度结果可靠性的负面影响,以二阶导数为数学工具,通过量化目标实体的信度变化态势并将其纳入到信任评估过程,提出了用于增强信任评估可靠性的时滞性弱化策略。为检验该策略的有效性,基于逆向工程的思想使用它扩展了由Srivatsa提出的著名的信任重估模型。实验结果显示,扩展后的新模型较原有模型在部分评估结果上更逼近于目标实体的真实行为,同时也更能抑制恶意实体的策略波动行为。这表明时滞性弱化策略能够用于增强信任评估的可靠性。

PMVFAST算法中块标记策略的研究和改进

对于视频处理而言,预测编码涉及到运动估计和运动补偿。本文通过事先排除inter4v模式提高PMVFAST算法[1]运动估计效率,主要思想是采用了条件概率下随机变量SAD[2]所具有的统计特性。文中给出了一些相关实验结果并将其与传统方法所得数据进行了比较。结果表明,优化后算法的时间节省突出且PSNR无可觉察变化。

大审计平台上信息安全实验课程建设

信息安全实验教学是改善信息安全教学效果的有效方法。然而现有高校在该课程建设上呈现出忽略院校特色的羊群效应。本文探索了我校大审计平台上以审计实务为主线的信息安全实验课程建设模式。该模式对于缓解信息安全实验教学中专业特色缺失的现象具有重要的参考价值。

一种可信可控的网络体系及协议结构

互联网体系架构正面临着严峻的安全和管理挑战,迫切需要具备可信性和可控性特征的新架构.已有的网络体系结构要么是基于边缘论和面向非连接的设计思想,导致分组传输路径不可控,要么是重新设计现有网络的体系架构,代价巨大.文中提出了一种可信可控的网络体系结构,其特征是在现有网络体系架构的基础上增加一个可信可控4层逻辑结构,从而实现网络组元及用户行为的可预期、可管理,它包括决策层、观测层、资源层和可信接口层4个层次;在明确新网络体系结构中网络控制对象为逻辑流的前提下,给出了一种包含感知与监测、理解与检测、判断与决策和控制及可达4个功能环节的闭环自反馈控制方法,确保网络系统可自诊断、自恢复地回归稳定态.同时指出具备跨层交互能力的可信接口层是新体系实现可信可控的关键,继而给出了位于该层的可信可控协议模型,并定义了确保协议执行可预期的协议基本功能;指出了逻辑流中信任流是协议的主要控制对象,并基于新体系结构下网络控制方法,通过融合信任管理和不可否认服务的方式给出了协议可信的控制方法.为验证协议模型和控制方法的有效性,给出了协议的具体实施方案,包括协议基本要素和协议两阶段执行过程.最后,给出了新体系与现有技术相比较所具备的优势,并对下一步工作进行了展望.

不可否认协议分析的扩展ZQZ逻辑方法

不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻辑方法,包括推理规则和安全性质模型.展示新方法的应用时,使用其分析了ZG和KPB这两个局部逻辑正确性已知的两方不可否认协议,以及YLL这个逻辑正确性尚在讨论的基于区块链的多方不可否认协议.实验显示,对前两个协议的分析结果与既有事实相符,对第三个协议的分析发现其无法为收方提供设计者所宣称的时限性.以上结论从逆向工程角度佐证了扩展ZQZ逻辑方法是一种行之有效的不可否认协议分析新方法.

游戏教育中一种有效的学生行为控制机制

实用的教育游戏必须能够在实际教学中对学生行为进行有效控制,然而已有研究大多缺乏对学生行为的不可控制性进行深入讨论,致使教育游戏无法真正满足实际教学的需要。本文将学生行为信任预测与博弈分析相结合,提出了一种适用于游戏教学中学生行为控制的机制。为确保该机制的有效性,本文给出了基于该机制对游戏教学实施控制的具体过程,还详细讨论了该机制与其它传统机制相比较所具备的优势。

基于区块链技术的扶贫审计方法研究

脱贫攻坚战作为"三大攻坚战"之一,扶贫审计也必然成为重点审计工作之一。目前扶贫审计过程中存在困难导致审计工作难以高效进行,同时扶贫审计结果公告也发现扶贫工作中尚存诸多问题。区块链作为一种"去中心化"的分布式账本技术,具有高度透明、去信任、可信赖等特征,并以智能合约为核心技术,能有效地应对扶贫审计工作中的困难、提高扶贫审计的效率。因此,本文提出区块链技术的扶贫审计智慧平台框架,并在此基础上探索研究扶贫审计智能化的实现方法,进一步深化审计信息化的研究,推进扶贫审计智慧化建设。

ISACM:现代信息系统审计模型及其方法体系

互联网的普及使得企业的生存与发展越来越依赖于现代信息系统,现代信息系统重要性的与日俱增要求信息系统审计在模型及方法体系上均要做出适应性的拓展甚至变更。针对该问题,文章提出了现代信息系统审计模型ISACM,该模型将现代信息系统审计的职能明确分为审计、控制和管理三个关联的方面。与此同时,基于ISACM模型构建了现代信息系统审计的一般性方法体系,进一步明确审计职能——三项审计类别涉及真实性审计、安全性审计、绩效审计;三级控制层面包括决策层面、业务层面和技术层面;三个管理维度分别是IT治理、应急管理和业务连续性管理,以期为互联网环境下的现代信息系统审计提供指引。

会计信息系统六要素审计方法探究

信息化时代的到来促使企业越来越依赖于信息系统,而信息系统带来的潜在风险使得审计人员也愈发关注信息系统审计。同时,会计信息系统作为企业信息系统的核心和主体,对企业显得更加重要,如何对会计信息系统进行审计成为亟待解决的问题。目前主要有CBOIT标准和ISACA信息系统准则进行指引,但在对会计信息系统的具体审计指导方面存在一定局限。因此,基于企业会计信息系统体现的业务流程,本文提出面向会计信息系统的六要素审计方法体系,包括用户、账套、科目树、凭证、账簿、报表六个要素,明确会计信息系统审计的要素,拓展信息系统审计的研究方法,提出一种新的信息系统审计研究思路,从而为会计信息系统审计提供理论借鉴,指导会计信息系统审计的工作方向。