检索结果-内蒙古大学图书馆

密码学报 2022年第1期9卷 60-75页

作者：韩志耕石青山杨鹏陈耿范远哲南京审计大学信息工程学院南京211815 江苏省审计信息工程重点实验室(南京审计大学) 南京211815

不可否认协议必须满足存活性、不可否认性、公平性和时限性,但当前大多数形式化方法只能分析该类协议的部分性质,证明或证伪协议逻辑的部分正确性.本文通过向ZQZ逻辑添加时间表达式,提出了一种适用于不可否认协议建模与分析的扩展ZQZ逻... 详细信息

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

关键词：不可否认协议形式化分析 ZQZ逻辑时限性时间表达式逆向工程

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2023年第S02期50卷 506-516页

作者：韩志耕范远哲陈耿周婷南京审计大学计算机学院/智能审计学院南京211815 江苏省审计信息工程重点实验室南京211815 南京审计大学会计学院南京211815

传统协同过滤推荐通常基于数据是静态的假设,在数据稀疏时存在推荐精度低下的问题。为解决该问题,一些研究尝试向推荐策略中添加有关用户兴趣变化、推荐能力可信度等补充信息,但对误导或干扰推荐的恶意用户兴趣策略变化和推荐能力波动... 详细信息

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

关键词：协同过滤时效近邻可信近邻推荐精度抗攻击攻击者识别

来源：评论

学校读者我要写书评

暂无评论

基于加权协同表示的人脸识别方法

引用

计算机工程与设计 2022年第6期43卷 1785-1793页

作者：杨章静王镜宇黄璞张凡龙南京审计大学信息工程学院江苏南京211815 南京审计大学江苏省审计信息工程重点实验室江苏南京211815

为提高协同表示模型的特征表达能力和鲁棒性,解决对正则参数敏感的问题,提出加权协同表示分类器(WCRC)并运用于人脸识别。基于L2范数求解最优化问题,利用训练样本的先验距离信息作为权重,将待识别图像与每类样本的距离信息作为先验信息... 详细信息

为提高协同表示模型的特征表达能力和鲁棒性,解决对正则参数敏感的问题,提出加权协同表示分类器(WCRC)并运用于人脸识别。基于L2范数求解最优化问题,利用训练样本的先验距离信息作为权重,将待识别图像与每类样本的距离信息作为先验信息引入到特征表示函数中,增强距离待识别样本较近的某类样本的重构权重,利用最小二乘法求解表示系数,根据待识别图像与每类训练图像的重构残差大小判断待识别图像的类别。通过实验测试以及与其它算法的对比验证了该方法的有效性。

关键词：人脸识别特征提取协同表示稀疏表示加权

来源：评论

学校读者我要写书评

暂无评论

审计技术创新生态网络演进及其价值发现研究

引用

审计与经济研究 2022年第6期37卷 21-31页

作者：林翰李昊李庭燎孙周宝南京审计大学工程审计学院/江苏省公共工程审计重点实验室江苏南京211815 南京审计大学信息工程学院江苏南京211815 南京审计大学商学院江苏南京211815

审计技术创新是审计事业高质量发展的技术基础,探索新时代审计技术创新的范式具有重要的理论价值和实践意义。基于审计专利数据,运用社会网络分析方法,构建了审计技术创新生态网络,揭示了审计技术创新生态网络的演化过程,探究了网络位... 详细信息

审计技术创新是审计事业高质量发展的技术基础,探索新时代审计技术创新的范式具有重要的理论价值和实践意义。基于审计专利数据,运用社会网络分析方法,构建了审计技术创新生态网络,揭示了审计技术创新生态网络的演化过程,探究了网络位置对创新主体创新绩效的影响。研究表明:审计技术创新生态网络演化呈现出清晰的逻辑模式;创新网络中心度对创新主体的创新绩效有显著积极效应。进一步研究发现,创新生态网络对低生态势生态位创新主体的积极影响大于高生态势生态位创新主体,低生态势生态位创新主体通过融入审计技术创新网络更容易提升创新绩效。

关键词：审计技术方法创新绩效创新生态网络发明专利社会网络分析生态势生态位

来源：评论

学校读者我要写书评

暂无评论

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

引用

电气电子教学学报 2023年第6期45卷 215-217页

作者：韩志耕杨鹏杨国为南京审计大学计算机学院/智能审计学院南京211815 南京审计大学江苏省审计信息工程重点实验室南京211815

审计全覆盖的实施依赖于既懂审计实践又懂大数据技术的大数据审计人才。比对工程教育认证标准中的实践教学体系要求,当前大数据审计人才的培养存在课程体系缺失、数据资源缺失和实验平台缺失等棘手问题。针对上述问题,提出了面向工程教... 详细信息

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

关键词：工程教育认证大数据审计实践课程体系

来源：评论

学校读者我要写书评

暂无评论

基于局部加权表示的线性回归分类器及人脸识别

引用

计算机科学 2021年第S02期48卷 351-359页

作者：杨章静王文博黄璞张凡龙王昕南京审计大学信息工程学院南京211815 南京审计大学江苏省审计信息工程重点实验室南京211815

线性回归分类器(Linear Regression Classifier,LRC)是一种有效的图像分类算法,然而LRC未关注数据的局部结构信息,忽略了类内样本之间的差异性,因此当人脸图像存在表情、光照、角度、遮挡等变化时分类性能不佳。针对此问题,文中提出了... 详细信息

线性回归分类器(Linear Regression Classifier,LRC)是一种有效的图像分类算法,然而LRC未关注数据的局部结构信息,忽略了类内样本之间的差异性,因此当人脸图像存在表情、光照、角度、遮挡等变化时分类性能不佳。针对此问题,文中提出了一种基于局部加权表示的线性回归分类器(Local WeightedRepresentation based Linear Regression Classifier,LWR-LRC)。LWR-LRC首先以测试样本与所有样本的相似性为度量,构建每类样本的加权代表样本;然后将测试样本分解为加权代表样本的线性组合;最后将测试样本分类到重构系数最大的类别。LWR-LRC考虑了样本的局部结构,构建了每类样本的最优代表样本,使用代表样本进行计算,在提高鲁棒性同时,大幅缩短了计算时间。在AR,CMU PIE,FERET和GT数据集上的实验的结果表明,LWR-LRC与NNC,SRC,LRC,CRC,MRC,LMRC等算法相比,在性能上有很强的优越性。

关键词：线性回归流形学习人脸识别数据表示

来源：评论

学校读者我要写书评

暂无评论

非结构化文本数据的自然语言分析在政策跟踪审计中的应用

引用

审计观察 2022年第4期 70-75页

作者：张薇伍之昂南京审计大学外国语学院江苏省审计信息工程重点实验室

在政策跟踪审计中,传统的结构化数据分析方法仅关注资金,存在一定的局限性。本文认为,对非结构化文本数据的自然语言分析能够揭示下级政府传达上级政策的守正和创新情况、各级政府传达政策的异同以及政府传达政策的历时趋势,由此能够为... 详细信息

在政策跟踪审计中,传统的结构化数据分析方法仅关注资金,存在一定的局限性。本文认为,对非结构化文本数据的自然语言分析能够揭示下级政府传达上级政策的守正和创新情况、各级政府传达政策的异同以及政府传达政策的历时趋势,由此能够为研判审计对象的政策落实情况提供一定的参考,并与其他方式的政策跟踪审计形成补充,从而丰富审计监督内容、延伸审计评价证据链、提升审计监督效能。

关键词：延伸审计审计对象下级政府审计监督政策跟踪审计监督效能数据分析方法证据链

来源：评论

学校读者我要写书评

暂无评论

基于权重区间的模态接口自动机

引用

计算机时代 2023年第5期 20-24页

作者：黄润华张晋津张君瑶南京审计大学信息工程学院江苏南京211815 江苏省公共工程审计重点实验室

Gerald Lüttgen和Walter Vogler将接口自动机的输入输出行为引入到模态转换系统的模态逻辑中,从而可以隐式允许输入表达,称为模态接口自动机。但他们的工作并没有考虑量化信息,而实际应用中这类量化信息是必要的。本文通过将权重... 详细信息

Gerald Lüttgen和Walter Vogler将接口自动机的输入输出行为引入到模态转换系统的模态逻辑中,从而可以隐式允许输入表达,称为模态接口自动机。但他们的工作并没有考虑量化信息,而实际应用中这类量化信息是必要的。本文通过将权重与转换关系相关联,来表达量化信息,建立了加权模态接口自动机,并重新定义了带有权重区间的精化关系。在这个框架中,我们研究了合取、析取和并发等系统算子,并证明了精化关系是关于这些算子的同余关系。

关键词：模态接口自动机量化信息精化关系系统算子

来源：评论

学校读者我要写书评

暂无评论

鲁棒的非负监督低秩鉴别嵌入算法

引用

智能科学与技术学报 2021年第3期3卷 342-350页

作者：姚裕万鸣华南京审计大学信息工程学院江苏南京211815 江苏省社会安全图像与视频理解重点实验室江苏南京210094

非负矩阵分解(NMF)已经得到了广泛应用。但NMF更注重数据的局部信息,忽略了数据的全局信息,而在有噪声图像的分类问题上,数据的全局信息往往比局部信息更具鲁棒性。为了提高算法的鲁棒性,结合数据的局部与全局信息,并且考虑低秩表示的特... 详细信息

非负矩阵分解(NMF)已经得到了广泛应用。但NMF更注重数据的局部信息,忽略了数据的全局信息,而在有噪声图像的分类问题上,数据的全局信息往往比局部信息更具鲁棒性。为了提高算法的鲁棒性,结合数据的局部与全局信息,并且考虑低秩表示的特性,提出了一种新的非负监督低秩鉴别嵌入算法,此算法假设数据存在噪声,将数据分解为干净数据与噪声数据,并通过L1范数对噪声矩阵进行稀疏约束,增强对噪声的鲁棒性。此外,该算法使用低秩表示学习到一个低秩矩阵,然后通过非负分解再一次增强算法的鲁棒性。最后结合图嵌入理论,同时保留了数据的局部性和全局性。将该算法应用于各种加噪数据库中发现,相对于对比方法,该算法识别率提升了5%~15%。

关键词：非负矩阵分解低秩表示特征提取图嵌入

来源：评论

学校读者我要写书评

暂无评论

新时代情报实践的应用领域与范围思考

引用

科技情报研究 2021年第4期3卷 69-79页

作者：唐明伟蒋瑞娟贺小容姚兴山南京审计大学信息工程学院南京211815 江苏省数据工程与知识服务重点实验室南京210023

[目的/意义]为新时代下情报学的实践研究提供思路和参考。[方法/过程]从发展变革、影响领域与范围、分析方法变革3个方面梳理了新时代下情报实践研究发生的变化。根据这些变化,结合新时代信息技术的特点,分别从科学研究、军事、公共安... 详细信息

[目的/意义]为新时代下情报学的实践研究提供思路和参考。[方法/过程]从发展变革、影响领域与范围、分析方法变革3个方面梳理了新时代下情报实践研究发生的变化。根据这些变化,结合新时代信息技术的特点,分别从科学研究、军事、公共安全、科技情报、经济和决策支持6个领域剖析情报实践能够起到的作用及影响范围,并通过对应的6个案例来说明情报实践在相应领域的应用方法和过程。[结果/结论]案例应用表明,新时代情报实践能够应用的领域较为广泛,其应用方法较为通用,形式也较为丰富,未来情报实践将能够在更多的领域发挥作用。

关键词：情报实践应用领域应用范围应用变革情报分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：