An improved traitor tracing scheme based on bilinear map

T6 et al presented a bilinear-map-based traitor tracing scheme（TSZ scheme） with revocation, but it is a symmetric scheme because it does not provide non-repudiation. In this paper, an improved TSZ scheme was proposed by using oblivious polynomial evaluation （OPE） protocol and service parameters. Under the recondition of general sameness capabilities of both TSZ and improved TSZ scheme, the new scheme adds some advantages such as providing multi-service capability, user＇s non-repudiation and data provider＇s no-framing innocent users. Furthermore, it is also proved to be semantically secure under the decisional bilinear Diffie-Hellman （DBDH problem） assumption.     

应用Hermit插值方法修正Dome-A自动气象站记录的雪层温度

随着冰盖表面雪的积累或消融,自动气象站(AWS)上所携带的传感器相对于地表的高度/深度不断变化,给观测数据带来误差.本文利用分段三次Hermit插值的方法对Dome A地区的AWS历史雪层温度数据进行修正.结果表明,雪层的修正量随着雪的积累率的增加而增大,在夏半年为正,在冬半年为负.该方法对于浅层雪温的修正有较好的效果.     

断层轮廓的双三次非均匀B样条曲面重构

针对断层图像数据,提出了一种曲面重构的方法.依据曲率特征首先提取各层特征点,对其重采样使每行(列)获得统一的采样点数;再对采样点插值得到非均匀双三次B样条曲面;最后,在一定控制精度下对曲面依据距离特征进行节点插入,通过最小二乘逼近法算出新的控制顶点,从而得到误差在容许范围内的逼近曲面.根据断层轮廓的特点,本算法综合运用了周期B样条和非周期B样条,讨论了封闭曲面和非封闭曲面的计算方法.另外插值和逼近的结合应用使该算法更快速、实用.     

几种细分格式的综合表示

综合分析了N.Dyn提出的四点法以及其他几种构造插值型曲线的细分方法.提出了一种新的细分方法,这种细分格式含有4个调节参数,通过对参数的选择,可以得到N.Dyn的经典四点法、非均匀四点法、Hassan三进制四点法等几类重要的细分方法.同时对这种细分格式给出了数值实验.     

可验证理性秘密共享方案

通过对参与者交互次数的设定,设计了一个可验证的理性秘密共享方案.该方案能够有效的阻止秘密分发者的欺骗,并使得参与者没有偏离方案的动机.通过对该方案的分析,证明了方案满足公平性、可行性和正确性等性质.     

融合地学知识的农业气候资源曲面建模

探讨地学知识获取与融合方法,将领域知识转换为定量的模型约束条件或初始值,采用趋势面拟合及空间插值等方法进行农业气候资源空间分布曲面建模.基于所构建模型,利用1951 ～ 2002年间全国735个地面台站的气温纪录数据,考虑了气温与海拔高程、经度、纬度、地表复杂度等地形要素的综合影响构建了曲面模型,模拟1 km×1 km...     

基于代数和三角多项式加权的二次混合样条曲线

利用代数和三角多项式加权的方法,构造了一种二次混合样条曲线,这种曲线具有二次非均匀B样条曲线相似的性质.这里的权系数也是形状参数,称之为权参数,取值范围从[0,1]扩大到[-3.659 79,5.278 98].权参数的不同取值可以整体或局部地调整曲线的形状,并且权参数能像开关那样,使得曲线的各段非常方便灵活地在代数多项式、三角多项式之间转换.不需要用重节点或解方程组方法,而只要令某个或某些权参数取-3.659 79,曲线就能接插值于控制点或控制边.     

李代数的张量积所确定的Leibniz代数

讨论了李代数(g)以及由这个李代数诱导的Leibniz代数(g)(×)(g)的一些性质,主要从不变双线性型和导子看这两个代数之间的差异,证明了在特定条件下两者的不变双线性型维数是一致的.为进一步确定李代数(g)和(g)(×)(g)的差异,讨论了由(g)(×)(g)诱导的一类重要的李代数(g)(×)(g);最后证明了,如...     

二元域上对称循环矩阵的非退化性

齐次旋转对称布尔函数与F2n在F2上的一类特殊正规基有着密切的联系,这类正规基的存在性依赖于二元域F2上n×n对称循环矩阵的可逆性.利用有限域上多项式的性质给出了F2上一类n×n对称循环矩阵的行列式计算公式,并由此得到一类特殊的可逆对称循环矩阵.     

Schr(o)dinger方程各向异性有限元超收敛分析

讨论了在半离散格式下的各向异性双线性元对Schr(o)dinger方程的逼近.首先利用该单元的特殊性质,在没有利用对网格正则性和拟一致假设的条件下得到了与传统方法相同的超逼近性质,然后基于插值后处理的技巧,构造出合适的插值算子,得到了整体超收敛的结果.