常金勇
- 作品数：16 被引量：3H指数：1
- 供职机构：中国科学院信息工程研究所更多>>
- 发文基金：国家自然科学基金山西高校科技研究开发项目陕西省教育厅科研计划项目更多>>
- 相关领域：理学自动化与计算机技术电子电信建筑科学更多>>
- n维糖酵解模型非常数稳态解的模式生成
- 2014年
- 研究了一类带Neumann边界条件的n维糖酵解模型.首先,以扩散系数d1为分歧参数,运用局部分歧理论分析了该模型非常数稳态解的局部结构.其次,利用全局分歧理论和LeraySchauder度理论讨论了非常数稳态解的全局存在性.最后,借助数值模拟证实了所得结论.分析结果表明n维糖酵解模型的空间模式可以生成.
- 魏美华常金勇祁兰张巧卫
- 关键词：稳态解全局分歧
- 2-向量值形式的Gagliardo-Nirenberg不等式
- 2010年
- 文章通过建立非线性Schrdinger方程组正解的唯一性,得到了向量值形式的Gagliardo-Nirenberg不等式,而该不等式中的最佳常数是通过极小化序列的方法得到的.
- 常金勇籍艳艳
- 关于窃听敌手不可区分与CPA安全的一个反例
- 2013年
- 在密码学中,窃听敌手不可区分与CPA(选择明文攻击)安全这两个概念有着"天然"的不等价性。对于私钥加密方案来说,窃听敌手不可区分的多次加密又是介于这两者之间的一个概念。这也是私钥加密方案与公钥加密方案非常重要的一个区别。针对一个具体构造的例子,通过运用"归约"和"混合论证"这两个密码学中最常用的方法详细论述了窃听敌手不可区分的多次加密与CPA安全之间的区别。从而,有助于人们对于前述三个概念进行区分。
- 常金勇李海增
- 关键词：选择明文攻击加密方案
- 一类同态消息认证码方案的抗“多文件”攻击安全性
- 2019年
- 2016年,一类单文件情形下“秘密”改变标签位置的同态认证码(message authentication code,MAC)方案,也就是EMR方案得到了开发和关注。考虑EMR方案的“多文件”攻击安全性,首先,对原始的EMR方案成功地进行了“多文件”攻击;其次,利用密码学中的拟随机函数(pseudorandom Functions,PRF)对不同的“文件名”进行转换,从而将原始EMR方案修改为新的方案,对修改后的方案,证明了如果PRF是一个安全的函数,则修改所得到的新方案可以抵抗“多文件”攻击;最后,对于两个方案的效率进行了比较。由于所做的修改仅仅是在原方案的基础上添加了拟随机函数,所以两个方案在具体实现时的效率差别不大。
- 王中常金勇
- 关键词：网络编码
- 古塔的变形及变化趋势研究
- 2014年
- 针对古塔保护问题,建立了古塔变形的数学模型。由此模拟出古塔的倾斜、弯曲和扭曲。通过测量数据,得到了中心坐标以及计算古塔中心的通用方法。结合建筑学中倾斜度、弯曲度和挠度的概念,得到了古塔倾斜、弯曲和扭曲的数据。研究表明:该古塔存在着倾斜,弯曲,扭曲,而且随着层数的增加弯曲与扭曲越来越剧烈。
- 常金勇崔艳星李海增
- 关键词：曲率挠度
- 基于MATLAB的Lemple-Ziv编码仿真
- 2012年
- 文章对一类常见的通用信源编码方法 Lempel-Ziv算法进行了系统的讨论,同时,我们借助于Matlab软件强大的功能对该算法进行了仿真,最后利用Lempel-Ziv算法的Matlab程序对一个具体的实例进行了编码仿真.
- 常金勇李海增宋永任
- 关键词：MATLAB仿真
- 基于DCR假设的KDM-CCA安全性
- 2017年
- 加密方案的KDM(Key-Dependent Message)安全性定义依赖于某一特定的函数族F。通过引入一类新的函数族,证明了在两个用户的情形下,Cramer和Shoup提出了基于DCR(Decisional Composite Residuosity)假设的方案(以下称为CS-DCR方案),关于这类新函数族具有KDM-CCA安全性。由于CS-DCR方案本身非常得高效,因此,获得了兼有高效性和(相应)KDM-CCA安全性的加密方案。
- 郭伟常金勇高磊
- 关键词：公钥加密
- 具有灵活性的指定验证者云审计方案
- 2025年
- 在最近的研究工作中,Yan等[13]设计了一个具有指定验证者的云审计协议。研究发现,Yan等的协议具有很高的通信冗余。为了降低这一通信冗余,提出一种具有灵活性的改进方案,该方案将多个数据段对应的标签进行“聚合”,从而可以极大地减少通信冗余。同时,基于计算性的Diffie-Hellman假设给出了改进方案的安全性证明。通过具体实例展示了改进后的方案在整体通信冗余上比Yan等的协议有明显降低。
- 赵巨涛常金勇
- 关键词：指定验证者
- Schrdinger方程组的最小能量驻波解
- 2009年
- Schrdinger方程组出现在许多数学物理模型中。文章主要研究这种方程组基态解的存在性,独特之处在于使用新的方法证明了:当给定方程组中作用参数的适当范围后,"相应函数"的下确界比单个方程时该函数的下确界要小,从而可以找到方程组的基态解而有别于单个方程时的基态解。
- 常金勇
- 关键词：基态解驻波解
- 长治市旅游线路的优化模型
- 2016年
- 为了研究如何选择最短旅游路径,在山西省长治市周边11个县中,各选取了1个具有代表性的旅游景点。通过分析,运用旅行售货商(TSP)模型,建立长治市旅游线路的优化模型,并借助LINGO工具编写程序,求出了一条最短路径。
- 郭伟常金勇
- 关键词：旅游线路LINGO
