公共文化服务平台

国家自然科学基金(60903188): 作品数：12 被引量：48H指数：4; 相关作者：殷脂温蜜叶春明王勇陈克非更多>>; 相关机构：上海电力学院上海理工大学上海交通大学更多>>; 发文基金：国家自然科学基金上海市高校选拔培养优秀青年教师科研专项基金上海市教育委员会创新基金更多>>; 相关领域：自动化与计算机技术理学交通运输工程电子电信更多>>

基于粒子群算法的数字编码DNA序列集设计: 2010年; 从DNA编码应满足的多约束条件中选取改进的约束条件,针对这些约束条件提出DNA个体应满足的评估公式,以及目标序列集设计的问题模型,分析了DNA序列数字编码的意义及其在优化算法中应用的优点,并采用改进粒子群算法(DE-PSO)解决DNA序列设计的多目标优化问题.仿真结果表明,该算法在求解DNA序列集设计的最优值方面具有良好的效果.; 殷脂温蜜; 关键词：DNA序列多目标优化粒子群算法

一种带验证和撤销的组密钥分发方案被引量：1: 2012年; 提出一种在无线传感器网络中具有正确性验证和头结点撤销功能的组密钥更新方案.通过建立组密钥之间的冗余关联,实现了在不增加结点负担的情况下,合法结点利用当前广播消息和自身秘密恢复丢失的组密钥.利用撤销多项式实现对结点和头结点的撤销,此外还能提供密钥的正确性验证.分析表明,在没有增加计算开销和通信开销情况下本方案具有更好的安全性.; 温蜜刘秀树李婧王勇; 关键词：组密钥传感器网络

移动Ad Hoc网络QoS路由的闭环DNA计算模型被引量：2: 2010年; 提出针对移动Ad Hoc网络QoS路由问题的闭环DNA计算模型.对每条路径进行弧、费用、探针的3组编码,再采用有目的的终止技术合成所有从起点到终点的弧首尾相连路径,然后通过接入实验和电泳实验得到费用最小路径,并通过检测实验输出所有费用最小路径,同时给出了算法的生化实现过程.实验结果表明:在不增加算法复杂度情况下获得了QoS路由问题的最优解.; 殷脂叶春明温蜜; 关键词：QOS路由闭环DNA计算模型 DNA编码单向链路

基于文化微粒群优化算法的DNA编码研究被引量：1: 2011年; 对DNA编码约束进行研究,选择汉明测量以及相似度作为DNA序列集设计的主要约束,并结合连续性约束与GC Content约束,将序列集设计问题抽象为带有强约束的多目标优化问题,采用文化微粒群算法解决该多目标优化问题。仿真结果表明,该混合算法针对DNA编码序列设计问题,在求解最优值能力、解的稳定性方面都能取得较好的效果。; 殷脂叶春明温蜜; 关键词：微粒群优化算法文化演化 DNA编码

联合信源信道算术码研究被引量：1: 2010年; 介绍联合信源信道算术码添加禁用符号的编码方法,以实例方式引入联合信源信道算术码的检错原理。综述联合信源信道算术码的检错时延分布、几何分布,分析各种解码方法、序列解码方法及其各种改进,研究基于有限状态机的解码方法与其他信道码构成的迭代式联合解码方法,并展望目前联合信源信道算术码研究存在的问题及其前景。; 逄玉叶温蜜杨俊杰唐忠; 关键词：算术码联合信源信道编码

两个降低PKG信任级的基于身份的门限密码体制被引量：4: 2012年; 在基于身份的公钥密码体制中PKG负责生成用户密钥,对PKG的信任级别过高,存在密钥托管问题.人们为解决此问题提出了很多方案但均有一定缺陷.Goyal提出了一种解决这类问题的新思路.基于该思路,提出了两种降低对私钥生成中心的信任级别的门限密码体制.在这两个体制中,利用了Goyal提出的基于身份的可追踪公钥加密体制的思想与公开可验证加密技术,有效解决了在基于身份的门限加密体制中,PKG对同一用户恶意生成多个私钥的追踪问题.对降低PKG信任级的基于身份的门限密码体制进行了形式化定义,并在所定义的形式化安全模型下证明了这两个方案可以对抗门限自适应选择密文攻击、密钥寻找攻击以及计算新密钥攻击.; 龙宇徐贤陈克非; 关键词：门限密码体制可证安全零知识证明

多配送中心物流配送车辆调度问题的分层算法模型被引量：30: 2014年; 在对多配送中心配送车辆调度问题进行直观描述的基础上,建立了该问题的数学模型,提出了采用聚类分析最短距离分配法将多配送中心车辆调度问题动态地分解为多个单配送中心车辆调度问题进行求解的策略。基于求解单配送中心车辆调度问题的竞争决策算法,设计了多配送中心车辆调度问题的分层算法,并进行了实验计算。计算比对结果表明,用本文设计的算法求解多配送中心物流配送车辆调度问题,不仅可以取得很好的计算结果,算法的计算效率较高,计算结果也较稳定,而且在聚类属性方面具有很好的扩展性。; 殷脂叶春明; 关键词：运筹学聚类分析

不规则网络的数学模型实现: 2011年; 基于Duato的新方法论把无死锁路由算法与全适应路由算法联合起来,把每一个物理通道与V个虚拟通道相对应,避免网络中消息传递时发生等待死锁,从而使消息等待时间最小。计算每个消息的平均等待时间,再汇总计算所有消息的平均等待时间,从而使建立的数学模型在估算网络性能时有很高的准确性。该模型提供了计算下一跳的地址的方法,实现了对网络性能的计算。; 刘辉; 关键词：数学模型

DNA序列数据分析技术综述: 2011年; DNA序列数据是一类重要的生物数据,也是DNA计算的基础数据.介绍了DNA序列数据特性,并对DNA序列分析技术的研究现状以及进展进行了综述,给出了DNA序列数据分析的热点问题,包括DNA序列的数据存储方式和基于DNA生物特性的分析模型等.; 殷脂殷卫红; 关键词：DNA序列数据挖掘

RICB： Integer Overflow Vulnerability Dynamic Analysis via Buffer Overflow: 2010年; Integer overflow vulnerability will cause buffer overflow. The research on the relationship between them will help us to detect integer overflow vulnerability. We present a dynamic analysis methods RICB （Run-time Integer Checking via Buffer overflow）. Our approach includes decompile execute file to assembly language; debug the execute file step into and step out; locate the overflow points and checking buffer overflow caused by integer overflow. We have implemented our approach in three buffer overflow types： format string overflow, stack overflow and heap overflow. Experiments results show that our approach is effective and efficient. We have detected more than 5 known integer overflow vulnerabilities via buffer overflow.; Wang YongGu DawuXu JianpingWen MiDeng Liwen

国家自然科学基金(60903188)