焦淑云
- 作品数：5 被引量：9H指数：2
- 供职机构：信阳师范学院数学与信息科学学院更多>>
- 发文基金：国家自然科学基金河南省自然科学基金河南省教育厅科学技术研究重点项目更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 多项式系统与紧支撑实系数正交小波的构造被引量：1
- 2012年
- Daubechies通过应用著名的Riesz引理,证明了支集为[0,N]的正交小波的存在性,并对几个给出了具体的小波.主要应用多项式系统研究了实系数正交小波的构造,并获得了某支集所有实系数正交小波的构造方法.
- 姚素霞程维新焦淑云陈永强
- 关键词：尺度函数小波函数紧支撑
- 有限解释下一阶谓词公式的相对真度被引量：2
- 2008年
- 本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.
- 秦晓燕焦淑云
- 一个基于身份的签密方案的分析与改进被引量：6
- 2013年
- 对肖鸿飞等人提出的基于身份的改进高效签密方案进行分析,指出方案不能抵抗不可区分性选择明文攻击和不诚实接收者的一般性伪造攻击。为此,提出了一个改进的签密方案。运用随机预言机模型,证明了新方案在适应性选择密文攻击下是不可区分的和在适应性选择消息及身份攻击下是存在性不可伪造的,安全性可以分别规约为判定双线性Diffie-Hellman问题和计算Diffie-Hellman问题。
- 何俊杰焦淑云祁传达
- 关键词：签密基于身份公开验证性不可伪造性
- [0,5]区间实系数小波的消失矩
- 2008年
- 主要讨论了[0,5]区间所构造的实系数小波消失矩的阶数和具体的二阶及三阶消失矩表达式,旨在为应用小波提供工具.
- 焦淑云杨金根
- 关键词：滤波器消失矩小波函数
