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

计算机应用 2008年第1期28卷 71-73页

作者：王泽成斯桃枝李志斌华东师范大学信息科学技术学院上海第二工业大学计算机与信息学院上海201209

分析了一个带签名者意向的结构化多重签名方案所存在的安全性弱点——签名者的意向可以被外部或内部的攻击者篡改。通过使用更安全的算法对签名者的意向进行签名避免了这一弱点。改进后的方案除具有所有必需的安全性质外,在效率方面也... 详细信息

分析了一个带签名者意向的结构化多重签名方案所存在的安全性弱点——签名者的意向可以被外部或内部的攻击者篡改。通过使用更安全的算法对签名者的意向进行签名避免了这一弱点。改进后的方案除具有所有必需的安全性质外,在效率方面也有所改进:多重签名长度更短,通信效率和签名算法效率更高。新方案的不足之处是验证算法效率有所降低。

关键词：数字签名多重数字签名结构化多重签名签名者意向双线性对

来源：评论

学校读者我要写书评

暂无评论

基于密度的不确定性数据概率聚类

引用

计算机科学 2009年第5期36卷 68-71页

作者：许华杰李国徽杨兵杜建强上海第二工业大学计算机与信息学院上海201209 华中科技大学计算机学院武汉430074 江西中医大学计算机学院南昌330006

近期传感数据监测和移动对象跟踪等许多从自然界直接采集数据的新应用引发了不确定性数据管理这一新的研究课题。这些应用中相关数据的不确定性为传统的数据处理方法提出了新的挑战。探讨的重点是不确定性数据的聚类。提出了一个针对不... 详细信息

近期传感数据监测和移动对象跟踪等许多从自然界直接采集数据的新应用引发了不确定性数据管理这一新的研究课题。这些应用中相关数据的不确定性为传统的数据处理方法提出了新的挑战。探讨的重点是不确定性数据的聚类。提出了一个针对不确定性数据的基于密度的聚类算法,根据不确定性数据内在的概率分布信息进行概率聚类,并采用R树索引和概率阀值索引提高算法的效率。仿真试验表明,提出的算法在有效性和效率方面均优于当前主要的基于密度的不确定性数据聚类算法。

关键词：基于密度的聚类不确定性数据 R树

来源：评论

学校读者我要写书评

暂无评论

基于词频-逆文件频率的错误定位方法

引用

软件学报 2020年第11期31卷 3448-3460页

作者：张卓雷晏毛晓光常曦薛建新熊庆宇国防科技大学计算机学院湖南长沙410073 重庆大学大数据与软件学院重庆400044 上海第二工业大学计算机与信息工程学院上海200127

错误定位方法大多通过分析语句覆盖信息来标识出导致程序失效的可疑语句.其中,语句覆盖信息通常以语句执行或语句未执行的二进制状态信息来表示.然而,该二进制状态信息仅表明该语句是否被执行的信息,无法体现该语句在具体执行中的重要程... 详细信息

错误定位方法大多通过分析语句覆盖信息来标识出导致程序失效的可疑语句.其中,语句覆盖信息通常以语句执行或语句未执行的二进制状态信息来表示.然而,该二进制状态信息仅表明该语句是否被执行的信息,无法体现该语句在具体执行中的重要程度,可能会降低错误定位的有效性.为了解决这个问题,提出了基于词频-逆文件频率的错误定位方法.该方法采用词频-逆文件频率技术识别出单个测试用例中语句的影响程度高低,从而构建出具有语句重要程度识别度的信息模型,并基于该模型来计算语句的可疑值.实验结果表明,该方法大幅提升了错误定位的效能.

关键词：错误定位词频逆文件频率可疑值

来源：评论

学校读者我要写书评

暂无评论

网上城市业务流程的研究与实现

引用

计算机工程 2003年第21期29卷 75-76,191页

作者：蒋川群戴芳胜张峰昌王操上海第二工业大学计算机与信息学院上海201209 万达信息股份公司上海信息委技术中心上海201203

针对目前城市信息化建设过程中业务流程需要不断改进，从而才能满足政务发展的实际需求等诸多问题，该文就网上城市业务流程进行了探讨，并介绍了典型应用。

关键词：网上城市业务流程典型应用

来源：评论

学校读者我要写书评

暂无评论

限制情况下装卸工问题的最优解

引用

数学的实践与认识 2008年第19期38卷 114-119页

作者：宁爱兵唐国春熊小华马良上海理工大学管理学院上海200093 上海第二工业大学管理工程研究所上海201209 上海第二工业大学计算机信息学院上海201209

装卸工问题是从现代物流技术中提出的一个实际问题,这个问题的雏形早在上个世纪60年代中国科学院数学研究所就提出和研究过.现代物流技术迅速发展,促成和推动装卸工问题的提出和研究.装卸工问题是一个新的NP困难的组合优化问题,首先介... 详细信息

装卸工问题是从现代物流技术中提出的一个实际问题,这个问题的雏形早在上个世纪60年代中国科学院数学研究所就提出和研究过.现代物流技术迅速发展,促成和推动装卸工问题的提出和研究.装卸工问题是一个新的NP困难的组合优化问题,首先介绍装卸工问题及限制情况下装卸工问题的数学模型,然后分析限制情况下的装卸工问题的性质,最后给出该问题的所有最优解.

关键词：组合最优化装卸工问题 NP困难限制情况最优解

来源：评论

学校读者我要写书评

暂无评论

一种面向群组机器人搜索任务的改进粒子群算法

引用

中国科技论文 2023年第11期18卷 1244-1249页

作者：康亮徐杨尹丽华上海第二工业大学工程训练与创新教育中心上海201209 上海第二工业大学计算机与信息工程学院上海201209

针对群组机器人搜索时难以得到全部全局信息的问题,提出邻域粒子对粒子群优化(particle swarm optimization,PSO)算法进行改进。对于机器人组群中的粒子,设定了机器人的速度限制,根据任务的解决程度,可以弹性改变机器人粒子的前进速度... 详细信息

针对群组机器人搜索时难以得到全部全局信息的问题,提出邻域粒子对粒子群优化(particle swarm optimization,PSO)算法进行改进。对于机器人组群中的粒子,设定了机器人的速度限制,根据任务的解决程度,可以弹性改变机器人粒子的前进速度。为实现在实际环境中使用PSO算法,将粒子的拓扑空间替换为搜索空间,使得群组机器人可以应用改进后的PSO算法完成既定的搜索任务。设计了一套含有8个指标的算法评价体系,通过100次的3种不同类型搜索任务求解,对比不同的算法和指标,实验结果证明了提出的PSO算法在群组机器人搜索任务中的适用性和有效性。

关键词：群组机器人粒子群优化(PSO)算法搜索任务邻域粒子

来源：评论

学校读者我要写书评

暂无评论

Z规格说明的测试用例自动生成

引用

应用科学学报 2006年第4期24卷 377-381页

作者：朱彬缪淮扣王娜上海第二工业大学计算机与信息学院上海201209 上海大学计算机工程与科学学院上海200072 上海水产大学爱恩学院上海201300

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票... 详细信息

软件测试是软件质量保证的重要手段,测试用例的生成是软件测试的关键和难点.文中应用范畴划分测试方法产生测试框架,并引入线性规划模型,通过构造线性规划模型来实例化测试框架,并且较好地解决了测试框架是否可行的判断问题.同时结合票据计算的例子,探讨了从Z规格说明推导出测试用例的过程、方法和技术.

关键词：范畴划分测试测试用例线性规划形式规格说明 Z

来源：评论

学校读者我要写书评

暂无评论

可证明安全的SM2盲适配器签名方案

引用

网络与信息安全学报 2024年第2期10卷 59-68页

作者：胡小明陈海婵上海第二工业大学计算机与信息工程学院人工智能研究院上海201209

适配器签名是近年来出现的新密码学原语,其基本思想是将签名过程与秘密值的揭示联系起来,通过将预签名适配为正式签名,使最终的签名结果和常规签名一致。预签名与正式签名可提取出一个秘密值,因此具有原子性,在区块链中拥有良好的应用... 详细信息

适配器签名是近年来出现的新密码学原语,其基本思想是将签名过程与秘密值的揭示联系起来,通过将预签名适配为正式签名,使最终的签名结果和常规签名一致。预签名与正式签名可提取出一个秘密值,因此具有原子性,在区块链中拥有良好的应用前景。但是适配器签名不具有匿名性,容易暴露交易参与者身份,在电子支付等隐私需求高的应用场景具有一定的局限性。为了解决这一问题,提出了新的盲适配器签名,系统模型和安全模型,在新系统模型的基础上提出了基于SM2签名算法的盲适配器签名方案,并基于SM2签名方案的不可伪造性和困难关系证明了该方案的安全性满足新提出的安全模型要求,即满足盲性、预签名可适配性、不可伪造性和证据可提取性。性能分析表明,在计算开销上,SM2盲适配器签名方案的总时间仅比SM2适配器签名方案增加了5.91 ms,与现有同类方案相比,该方案盲性更强且具有自主可控性,对于隐私要求高且需要采用国产密码算法的关键应用场景具有良好的应用价值。

关键词： SM2数字签名盲适配器签名原子性匿名性

来源：评论

学校读者我要写书评

暂无评论

基于模糊聚类的自然语言语义特征

引用

辽宁工程技术大学学报（自然科学版） 2013年第1期32卷 81-84页

作者：毛婷杨敬辉杨晶东上海第二工业大学国际交流学院上海201209 上海第二工业大学经济与管理学院上海201209 上海理工大学光电信息与计算机工程学院上海200093

针对复杂语境下自然语言语义特征提取、匹配精度和实时性较差的问题,提出了模糊聚类、单亲遗传搜索匹配算法相结合的新方法,通过对候选特征点进行模糊聚类处理,使其分布在高斯差分图像的灰度轮廓线边缘,利用单亲遗传算法找到满足约束条... 详细信息

针对复杂语境下自然语言语义特征提取、匹配精度和实时性较差的问题,提出了模糊聚类、单亲遗传搜索匹配算法相结合的新方法,通过对候选特征点进行模糊聚类处理,使其分布在高斯差分图像的灰度轮廓线边缘,利用单亲遗传算法找到满足约束条件全局最优语义特征,把所有语义特征进行分类,并给出分类依据.研究结果表明:此语义特征匹配算法在未知语境环境、语义特征频繁变化的环境具有很强的鲁棒性,能够在自然语言处理过程中实时准确识别段落中的语义特征.

关键词：模糊聚类单亲遗传局部最优特征匹配语义特征模板匹配隶属度函数免疫平衡

来源：评论

学校读者我要写书评

暂无评论

基于模型的若干逻辑边界覆盖测试准则

引用

计算机科学 2013年第11A期40卷 109-114页

作者：李丽萍李兴森上海第二工业大学计算机与信息学院上海201209 浙江大学宁波理工学院管理学院宁波315100

鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,... 详细信息

鉴于现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。

关键词：软件测试测试准则逻辑表达式边界测试测试用例

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：