检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于ID的代理盲签名

计算机工程 2006年第17期32卷 203-204,224页

作者：李素娟张福泰南京师范大学数学与计算机科学学院

在代理签名中,原始签名人能将其数字签名的权力委托给代理签名人;而在盲签名方案中,被签消息的内容对签名者是不可见的,签名被接受者得到后,签名者不能追踪签名。文章结合二者的优点,利用基于椭圆曲线上的Weil配对的双线性映射,在基于... 详细信息

在代理签名中,原始签名人能将其数字签名的权力委托给代理签名人;而在盲签名方案中,被签消息的内容对签名者是不可见的,签名被接受者得到后,签名者不能追踪签名。文章结合二者的优点,利用基于椭圆曲线上的Weil配对的双线性映射,在基于身份的数字签名的基础上,构造了一个基于ID的代理盲签名方案,并对其安全性作了简要分析。

关键词：基于ID的数字签名双线性映射代理签名盲签名

在线全文

学校读者我要写书评

暂无评论

量子马尔可夫链安全性模型检测

电子学报 2014年第11期42卷 2191-2197页

作者：林运国雷红轩李永明陕西师范大学计算机科学学院陕西西安710119 福建农林大学计算机与信息学院福建福州350002 内江师范学院数学与信息科学学院四川内江641112

本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可... 详细信息

本文定义了量子线性时间属性,包括量子安全性,量子不变性,讨论了它们的关系和性质.结合测量一次、测量多次的单向量子有穷自动机,构建了两类乘积量子马尔可夫链,提出了基于自动机技术的量子正则安全性检测方法.通过验证乘积量子马尔可夫链的可达终状态来判断量子正则安全性的可满足性,并给出了可满足性的概率计算公式.作为应用,分析了广义量子loop程序,将程序终止归结为验证量子正则安全性的可满足性.

关键词：量子马尔可夫链模型检测安全性量子有穷自动机广义量子loop程序

带变指标反应项的p-Laplacian方程解的爆破

在线全文

学校读者我要写书评

暂无评论

厦门大学学报（自然科学版） 2014年第6期53卷 785-787页

作者：黄东兰陈明玉林晨泉州师范学院数学与计算机科学学院福建泉州362000 智能计算与信息处理福建省高等学校重点实验室福建泉州362000 福建师范大学数学与计算机科学学院福建福州350007

研究了有界区域上的带变指标反应项的p-Laplacian方程正解的爆破性质和整体存在性.通过构造适当的辅助函数,结合对空间区域的细致分析,利用特征函数法和不等式技巧,给出了其Dirichlet边值问题的正解产生爆破的充分条件.并利用上下解方法... 详细信息

研究了有界区域上的带变指标反应项的p-Laplacian方程正解的爆破性质和整体存在性.通过构造适当的辅助函数,结合对空间区域的细致分析,利用特征函数法和不等式技巧,给出了其Dirichlet边值问题的正解产生爆破的充分条件.并利用上下解方法,证明了其整体解的存在性.

关键词： p-Laplacian方程变指标反应项爆破整体解

在线全文

学校读者我要写书评

暂无评论

基于FJ的多版本类动态更新演算

软件学报 2008年第10期19卷 2562-2572页

作者：张仕黄林鹏上海交通大学计算机科学与工程系上海200240 福建师范大学数学与计算机科学学院福建福州350007

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.

关键词：动态软件更新 FJ(fbathenveight Java)演算 Java 类型系统程序设计语言

在线全文

学校读者我要写书评

暂无评论

基于OSGi的服务动态演化

软件学报 2008年第5期19卷 1201-1211页

作者：张仕黄林鹏福建师范大学数学与计算机科学学院福建福州350007 上海交通大学计算机科学与工程系上海200240

提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题... 详细信息

提出一种解决OSGi平台上服务动态演化的方法.针对OSGi平台的服务动态演化提出了重定向方法,解决了服务类定义的动态更新,较好地满足了演化中服务的透明性问题;提出了实现和数据相分离的方法,解决了服务动态演化中公共数据的一致性问题和动态演化问题;探讨了服务动态演化中服务增、减等问题.对所提出的方法均通过实例说明了其设计、运行和更新的可行性.所提出的方法可以用于指导解决组件、服务和面向对象软件动态演化中的相关问题.

关键词：服务动态演化网构软件 OsGi 重定向服务程序设计方法

基于LS-RTS机制和功率可调路由的跨层协议

在线全文

学校读者我要写书评

暂无评论

传感技术学报 2020年第3期33卷 471-478页

作者：朱圣烽汉江师范学院数学与计算机科学学院湖北十堰442000

为了降低线型无线传感网络能耗和传输延时,在改进CLM协议跨层方法的基础上融合其他经典机制,提出了一种适应线型拓扑结构的跨层协议。协议删除中继路由判决以优化原通信判决门限;对节点统一标记链编号形成新LS-RTS机制以提高链路传输率... 详细信息

为了降低线型无线传感网络能耗和传输延时,在改进CLM协议跨层方法的基础上融合其他经典机制,提出了一种适应线型拓扑结构的跨层协议。协议删除中继路由判决以优化原通信判决门限;对节点统一标记链编号形成新LS-RTS机制以提高链路传输率;精简时隙单元和多跳传输时序降低数据传输时延;并引入功率可调路由减少节点路由计算负担以此降低节点能耗。仿真结果表明,相较于CLM和CLR-DCE等两种跨层协议,本文提出的I-CLM跨层协议在降低传输时延的同时整体能耗至少降低了18.75%和7.32%,一定程度上延长了网络生存时间。

关键词：无线传感网络跨层协议 CLM协议通信判决门限 LS-RTS机制功率可调路由

在线全文

学校读者我要写书评

暂无评论

双稳态压电俘能器的簇发振荡与俘能效率分析

力学学报 2022年第11期54卷 3157-3168页

作者：钱有华陈娅昵浙江师范大学数学与计算机科学学院浙江金华321004

本文从理论上分析了双稳态压电俘能器在高频激励下的动力学行为和低频激励下的簇发振荡,旨在为系统找到多条高能轨道从而提高俘能效率.首先,介绍了双稳态压电俘能器的结构以及一般模型.与工程上研究俘能器的目的不同,本文主要从动力学... 详细信息

本文从理论上分析了双稳态压电俘能器在高频激励下的动力学行为和低频激励下的簇发振荡,旨在为系统找到多条高能轨道从而提高俘能效率.首先,介绍了双稳态压电俘能器的结构以及一般模型.与工程上研究俘能器的目的不同,本文主要从动力学方面分析了俘能器的运动,电压输出与效率,包括高频激励下系统的低能阱内周期运动、阱间混沌运动等,并说明了单个低频激励下双稳态压电俘能器会在阱间高能轨道上发生簇发振荡,但在阱内低能轨道上只做周期运动.同时,结合振幅以及势阱深度等因素对簇发振荡的存在性和强度进行分析.为了说明高能轨道与低能轨道对系统俘能效率的影响,讨论了不同的等效阻尼、负载电阻下俘能器输出电压的变化,找到了最优匹配.最后,对于多个低频外激励的情况,从不同的轨道组合模式上得到了双高能簇发振荡模式输出的电压最大,其次是单高能簇发振荡与单低能周期振荡的组合模式,输出电压最低的是双低能周期振荡模式.并与单个外激励进行对比,表现了多个激励的良好性能.

关键词：高能轨道低能阱内振荡高能阱间振荡混沌运动输出电压

无穷维Hilbert空间上框架的算子与范数

在线全文

学校读者我要写书评

暂无评论

数学学报（中文版） 2017年第6期60卷 911-918页

作者：林丽琼张云南朱玉灿福州大学数学与计算机科学学院福州350108 福建师范大学数学与计算机科学学院福州350007

在框架理论研究中,哪类可逆算子能使得某些框架性质保持不变这个问题是基本和重要的,本文在无穷维Hilbert空间上对下述两个问题进行研究.问题1:哪类可逆算子能使得框架算子保持不变;问题2:哪类可逆算子能使得框架范数只相差一列常数.本... 详细信息

在框架理论研究中,哪类可逆算子能使得某些框架性质保持不变这个问题是基本和重要的,本文在无穷维Hilbert空间上对下述两个问题进行研究.问题1:哪类可逆算子能使得框架算子保持不变;问题2:哪类可逆算子能使得框架范数只相差一列常数.本文从抽象的算子理论和具体的构造方法两方面对问题1给出解答.利用框架的相容算子的概念,当把问题2中的可逆算子集换成一类较小的算子集时,得到了问题2的回答.

关键词： Hilbert空间框架框架算子范数

一类Duffing型系统的不动点混沌和1Fold/Fold簇发现象及机理分析

在线全文

学校读者我要写书评

暂无评论

力学学报 2020年第5期52卷 1475-1484,I0006页

作者：陈娅昵孟文静钱有华浙江师范大学数学与计算机科学学院浙江金华321004

本文主要探究了一类含有两个慢变量的双稳态Duffing型系统,通过时间历程图、相图、分岔图等对系统进行数值模拟,然后从理论上分析不同参数下系统的动力学机理.首先,研究发现当振幅参数取值大于1时,系统会表现出不动点混沌现象,并进一步... 详细信息

本文主要探究了一类含有两个慢变量的双稳态Duffing型系统,通过时间历程图、相图、分岔图等对系统进行数值模拟,然后从理论上分析不同参数下系统的动力学机理.首先,研究发现当振幅参数取值大于1时,系统会表现出不动点混沌现象,并进一步解释了产生不动点混沌的机理.其次,介绍了参数空间中的簇发振荡现象,即系统穿过鞍结曲面的一侧到达另一侧所发生的行为,这里也称为鞍结簇发振荡.事实上,当系统穿过鞍结曲面的时候,它的平衡点个数发生了变化.然后,使用纵向抛物线路径说明了Fold/Fold簇发振荡产生的机理,发现无论常系数项和振幅的取值为多少,只要满足一定的关系,总会产生Fold/Fold簇发振荡,之后使用线性路径阐明了新增常系数项会使得系统发生簇发振荡的原因.并且发现路径与鞍结曲面交点的位置会影响簇发振荡的对称性;路径的跨度会影响簇发振荡的大小.最后,使用多拐折曲线路径讨论当两个激励项存在n倍关系时系统产生的现象.结果表明当n=3时,常系数项的变化会使得系统表现出不同重数的Fold/Fold簇发振荡,最高可达到三重簇发振荡.并且发现在理想状况下如果可以找到一条路径可以分割为n段,并且每一段都会与鞍结曲面有交点,那么会产生n重Fold/Fold簇发振荡.

关键词： Fold/Fold簇发振荡 Duffing系统参数空间不动点混沌