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

计算机辅助设计与图形学学报 2023年第12期35卷 1966-1976页

作者：张航城刘懿代凯宋天琦王乐曾薇杨义军西安交通大学计算机科学与技术学院西安710049 西安交通大学数学与统计学院西安710049

针对现有CAD几何引擎和VLSI设计中缺乏高速、高精度平面线段距离求解算法的问题,提出一种基于局部坐标系的平面线段距离求解算法.首先通过坐标变换构建局部坐标系;然后根据2条线段的相对位置关系将平面线段距离求解归纳分类成12种可以... 详细信息

针对现有CAD几何引擎和VLSI设计中缺乏高速、高精度平面线段距离求解算法的问题,提出一种基于局部坐标系的平面线段距离求解算法.首先通过坐标变换构建局部坐标系;然后根据2条线段的相对位置关系将平面线段距离求解归纳分类成12种可以直接进行最近点求解情形;最后通过求解最近点距离进而实现求解平面线段距离.采用集成电路线段数据和随机生成线段数据进行实验,实验结果显示,与对比算法相比,文中算法效率提高23%~35%;在4种临界情形下,仍能控制其计算误差,证明了其有效性.

关键词： CAD 几何引擎距离求解局部坐标系

来源：评论

学校读者我要写书评

暂无评论

基于时间概率代价进程代数的Web服务组合建模和分析

引用

计算机学报 2012年第5期35卷 918-936页

作者：肖芳雄李燕黄志球曹子宁陈哲范大娟广西财经学院信息与统计学院南宁530003 南京航空航天大学计算机科学与技术学院南京210016

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic ... 详细信息

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.

关键词： Web服务组合 QoS 进程代数建模分析

来源：评论

学校读者我要写书评

暂无评论

一类混沌系统的降维控制

引用

系统工程与电子技术 2005年第8期27卷 1459-1461页

作者：陶朝海陆君安罗燕杨春德重庆邮电学院计算机科学与技术学院重庆400065 武汉大学数学与统计学院湖北武汉430072

针对一类混沌系统,根据其特殊的系统结构提出了降维控制的策略。通过控制部分变量达到控制整个系统的目的,使得这类混沌系统的控制问题由n+m维降为n维,从而有效地降低了系统控制的复杂度和代价。从反馈控制和自适应控制两个方面阐述了... 详细信息

针对一类混沌系统,根据其特殊的系统结构提出了降维控制的策略。通过控制部分变量达到控制整个系统的目的,使得这类混沌系统的控制问题由n+m维降为n维,从而有效地降低了系统控制的复杂度和代价。从反馈控制和自适应控制两个方面阐述了此控制策略的可行性和有效性,以新近提出的统一混沌系统为例,从理论上进行了推导,并具体给出了降维控制的反馈控制和自适应反馈控制的条件。数值仿真表明该方法切实有效。

关键词：混沌系统反馈控制自适应

来源：评论

学校读者我要写书评

暂无评论

基于混沌映射的改进GA求解柔性作业车间调度

引用

组合机床与自动化加工技术 2025年第3期 226-231页

作者：田梦蝶贾世会迟晓妮李高西武汉科技大学理学院武汉430065 武汉科技大学冶金工业过程系统科学湖北省重点实验室武汉430065 桂林电子科技大学数学与计算机科学学院桂林541004 重庆工商大学数学与统计学院重庆400067

针对柔性作业车间调度优化问题,考虑把最大完工时间和均衡化机器利用率作为目标函数,设计一种改进遗传算法来求解问题。首先,引入混沌理论提高初始种群的多样性,同时采用插入式贪婪解码方式提升种群质量;然后,在选择阶段,按1∶4的比例... 详细信息

针对柔性作业车间调度优化问题,考虑把最大完工时间和均衡化机器利用率作为目标函数,设计一种改进遗传算法来求解问题。首先,引入混沌理论提高初始种群的多样性,同时采用插入式贪婪解码方式提升种群质量;然后,在选择阶段,按1∶4的比例结合精英策略及轮盘赌两种方式来保留最优染色体;在变异阶段,工序序列采用基于邻域的变异算子,机器序列采用从两个最小值择其一的变异法,可提高计算过程中的收敛速率,防止计算进入局部最优解;最后,数值实验结果显示改进后的遗传算法对目标函数的寻优和算法的收敛速度方面都有较大的改善。

关键词：柔性作业车间遗传算法多目标规划混沌映射

来源：评论

学校读者我要写书评

暂无评论

公共可验证秘密共享方案中多用户注册方案

引用

清华大学学报（自然科学版） 2010年第4期50卷 529-532,538页

作者：贾星星王道顺伍渝江李顺东清华大学计算机科学与技术系清华信息科学与技术国家实验室(筹)北京100084 兰州大学数学与统计学院兰州730000 陕西师范大学计算机学院西安710062

公共可验证秘密共享方案在完成秘密分发后,管理者将会离开,新用户若想分享主秘密,需要k个原有用户承担管理者功能,给新用户分发秘密分存。该文在公共可验证秘密共享方案基础上,利用非交互的零知识证明,给出了有t(t≥1)个新用户注册时由(... 详细信息

公共可验证秘密共享方案在完成秘密分发后,管理者将会离开,新用户若想分享主秘密,需要k个原有用户承担管理者功能,给新用户分发秘密分存。该文在公共可验证秘密共享方案基础上,利用非交互的零知识证明,给出了有t(t≥1)个新用户注册时由(k,n)方案到(k,n+t)方案的构造,并讨论了t的适用范围。新的(k,n+t)秘密共享方案具有公共可验证功能,且不改变原有用户的分存和访问结构。和已有具有注册功能的公共可验证秘密共享方案相比,新方案允许多个新用户加入秘密共享,具有更加灵活的性质,而且减少了公开参数,降低了计算复杂度。

关键词：公共可验证秘密共享秘密分存零知识证明

来源：评论

学校读者我要写书评

暂无评论

一种嵌入式实时系统软件能耗建模与分析的方法

引用

计算机研究与发展 2014年第4期51卷 848-855页

作者：祝义肖芳雄周航张广泉江苏师范大学计算机科学与技术学院江苏徐州221116 广西财经学院信息与统计学院南宁530003 南京航空航天大学民航学院南京210016 苏州大学计算机科学与技术学院江苏苏州215006

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过... 详细信息

随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.

关键词：嵌入式实时系统软件能耗建模价格时间通信顺序进程

来源：评论

学校读者我要写书评

暂无评论

集合交集元素之和的保密计算

引用

软件学报 2023年第7期34卷 3343-3353页

作者：李顺东张凯鑫杨晨汪榆淋陕西师范大学计算机科学学院陕西西安710119 陕西师范大学数学与统计学院陕西西安710119

安全多方计算是国际密码学的研究热点之一,保密计算集合交集元素之和问题是安全多方计算比较新的问题之一.该问题在工商业、医疗健康等领域具有重要的理论意义和实用价值.现有解决方案是在有全集情况下设计的,在计算过程中会泄露交集的... 详细信息

安全多方计算是国际密码学的研究热点之一,保密计算集合交集元素之和问题是安全多方计算比较新的问题之一.该问题在工商业、医疗健康等领域具有重要的理论意义和实用价值.现有解决方案是在有全集情况下设计的,在计算过程中会泄露交集的势且存在一定的误判.在半诚实模型下基于Paillier同态加密算法设计了3个协议,协议1计算共有标识符的数量(即用户标识符交集的势)以及与这些用户相关联的整数值之和,协议2和协议3是在不泄露交集势的情况下计算交集元素关联值之和.整个计算过程不泄露关于协议双方私人输入的任何更多信息.所提协议是在无全集情况下设计的,采用模拟范例证明了所设计协议的安全性,用实验验证协议的高效性.

关键词：密码学安全多方计算交集和同态加密随机置换

来源：评论

学校读者我要写书评

暂无评论

基于联盟链的可搜索加密电子病历数据共享方案

引用

通信学报 2020年第8期41卷 204-214页

作者：牛淑芬刘文科陈俐霞王彩芬杜小妮西北师范大学计算机科学与工程学院甘肃兰州730070 西北师范大学数学与统计学院甘肃兰州730070

针对云存储电子病历(EMR)中病历数据难以在不同医院间共享的问题,提出了一种区块链上基于可搜索加密的EMR数据共享方案。该方案使用服务器存储EMR密文,私有链存储密文哈希值,联盟链存储关键字索引,以实现EMR的安全存储与共享。利用可搜... 详细信息

针对云存储电子病历(EMR)中病历数据难以在不同医院间共享的问题,提出了一种区块链上基于可搜索加密的EMR数据共享方案。该方案使用服务器存储EMR密文,私有链存储密文哈希值,联盟链存储关键字索引,以实现EMR的安全存储与共享。利用可搜索加密技术实现在联盟链上对关键字的安全搜索,利用代理重加密技术实现其他数据用户对患者EMR的数据共享。安全性分析表明,所提方案满足密文安全和关键字安全。此外,通过功能分析、计算效率分析和数值模拟对所提方案进行了性能分析。性能分析表明,该方案具有较高的计算效率。

关键词：区块链电子病历可搜索加密代理重加密数据共享

来源：评论

学校读者我要写书评

暂无评论

结合非局部信息的脑MR图像分割与偏移场恢复耦合模型

引用

计算机辅助设计与图形学学报 2013年第4期25卷 526-532,540页

作者：张建伟杨红陈允杰方林詹天明南京信息工程大学数学与统计学院南京210044 南京理工大学计算机科学与技术学院南京210094

磁共振图像由于成像机制的影响往往导致图像中含有噪声和偏移场,使得传统方法很难得到较好的分割结果.为此,在模糊C均值模型的基础上提出一种分割与偏移场恢复耦合模型.首先构建基于非局部信息的邻域正则项,使得在降低噪声影响的同时能... 详细信息

磁共振图像由于成像机制的影响往往导致图像中含有噪声和偏移场,使得传统方法很难得到较好的分割结果.为此,在模糊C均值模型的基础上提出一种分割与偏移场恢复耦合模型.首先构建基于非局部信息的邻域正则项,使得在降低噪声影响的同时能有效地保留图像结构信息;其次在模型求解时引入人工蜂群算法,使得模型能快速逼近凸优解.实验结果表明,该模型对噪声和偏移场均具有较好的鲁棒性,可得到较准确的分割和偏移场矫正结果.

关键词：磁共振图像模糊C均值图像分割非局部信息偏移场

来源：评论

学校读者我要写书评

暂无评论

抗主动攻击的保密比较协议

引用

软件学报 2022年第12期33卷 4771-4783页

作者：李顺东王文丽陈明艳汪榆淋陕西师范大学计算机科学学院陕西西安710119 陕西师范大学数学与统计学院陕西西安710119

互联网、物联网和大数据的迅速发展,为数据共享带来了无限的机遇,也给私有数据的隐私保护带来了严峻的挑战.安全多方计算是数据共享中隐私保护的关键技术,是密码学的一个重要研究方向,也是国际密码学界研究的热点.保密比较两个数的大小... 详细信息

互联网、物联网和大数据的迅速发展,为数据共享带来了无限的机遇,也给私有数据的隐私保护带来了严峻的挑战.安全多方计算是数据共享中隐私保护的关键技术,是密码学的一个重要研究方向,也是国际密码学界研究的热点.保密比较两个数的大小是安全多方计算的一个基本问题,是构建其他隐私保护协议的一个基本模块.当比较的数较小时,还没有可靠的能够抵抗主动攻击的保密比较问题解决方案.很多应用场景中的参与者可能会发动主动攻击,因为尚没有抗主动攻击的保密比较协议,这些场景中的保密比较问题还无法解决.因而研究抗主动攻击的保密比较问题解决方案有重要理论与实际意义.提出了一种加密-选择安全多方计算模式和编码+保密洗牌证明的抵抗主动攻击方法.在此基础上,设计了半诚实模型下安全的保密比较协议,用模拟范例证明了协议的安全性;分析了恶意参与者可能实施的主动攻击,结合ElGamal密码系统的乘法同态性、离散对数与保密洗牌的零知识证明设计阻止恶意行为的措施,将半诚实模型下安全的保密比较协议改造成抗主动攻击的保密比较协议,并用理想-实际范例证明了协议的安全性.最后分析了协议的效率,并通过实验验证协议是可行的.

关键词：安全多方计算保密比较主动攻击模拟范例理想-实际范例保密洗牌零知识证明

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：