搜索结果: 91-105 共查到“可计算性理论”相关记录151条 . 查询时间(1.948 秒)
并行协同差异进化算法研究
并行计算 协同差异进化 大规模优化问题 同步并行
2012/3/12
在协同差异进化(CCDE)算法和整体同步并行(BSP)计算模型的基础上，提出一种并行协同差异进化算法。采用Archive协同机制取代 CCDE原有的协同机制，有助于得到算法最优解，并使用BSP模型实现CCDE的并行计算。利用标准测试函数进行仿真实验，结果表明，该算法具有较高的计算效率和计算质量。
基于论域压缩的启发式属性约简算法
粗糙集 相对正域 属性约简 时间复杂度
2012/3/12
论证在简化的信息系统上进行属性约简的可行性，指出某信息系统属性约简快速算法的计算结果可能含冗余属性，且在时间复杂度计算上存在错误。在此基础上，提出一种基于论域压缩的启发式属性约简算法，将相对支持度作为启发信息，缩小搜索空间，加入二次约简过程以消除冗余属性。实例分析表明，该算法具有较好的约简效果。
基于口令的三方认证密钥交换协议
口令 公钥加密 密钥交换协议 可计算
2012/3/5
传统的三方认证密钥交换协议不具备前向安全性，难以抵抗不可察觉在线字典攻击。为此，研究简单三方口令认证密钥交换协议，分析其存在的安全漏洞并加以改进，提出一种基于口令的三方认证密钥交换协议。分析结果表明，与其他协议相比，该协议的执行效率和安全性较高。
静态完整性度量不能保护系统在运行过程中的完整性。为此，提出一种基于可信计算的动态完整性度量模型。在现有的完整性度量架构中引入虚拟化技术，有助于系统管理员掌握系统在运行过程中的完整性。在软件加载后，对运行中的进程行为进行监控，动态度量其完整性。分析结果表明，该模型能防止运行过程中恶意攻击破坏系统的完整性，从而提高系统安全性。
为进一步提高视频的编码效率，提出一种改进的位平面匹配(BPM)算法，通过调整阈值的选取方式，减少搜索次数，利用改进的运动矢量计算方法提高搜索准确性，提升图像质量。实验结果表明，与传统BPM算法相比，该算法能提高位平面的区分能力，增强运动估计效果。
为了对普适环境下的构件化应用提供支持，扩展传统的构件适配技术，在上下文感知中间件的基础上，提出支持上下文感知的构件适配模型CACAM和构件适配算法CACA，实现对环境、用户上下文的动态感知和重配置。实验结果表明，该模型能够有效地实现普适计算环境下基于上下文感知的构件适配。
背景值优化的GM(1,1)预测模型及应用
背景值 GM(1,1)模型 优化 预测
2012/2/13
针对GM(1,1)模型背景值存在的缺陷，在分析背景值误差产生原因的基础上，提出了新的背景值计算方法。该方法用非齐次指数函数模拟一次累加生成序列，根据原序列与一次累加生成序列的关系重构背景值计算公式，得到实际曲线在区间上的面积作为背景值。利用深圳市2007年10月9日和10日8:00~8:50的交通流数据验证，结果表明，与基于背景值优化的GM(1,1)模型相对比，新构建背景值的GM(1,1)模型的平...
Sequence alignment from the perspective of stochastic optimization: a survey
Sequence alignment stochastic optimization simulated annealing genetic algorithms particle swarm optimization ant colonyoptimization
2011/3/22
DNA and protein are the fundamental biological sequences. DNA is a fundamental molecule that plays a vital role in the processes of life. Proteins synthesized by DNA in a cell are the building blocks ...
我国超级计算机跨入世界领先行列：国际超级计算机TOP500组织在北京时间2010年11月17日上午8时正式发布了第三十六届世界超级计算机500强排名，安装在国家超级计算天津中心的“天河一号”以峰值速度4700万亿次、持续速度2566万亿次每秒浮点运算的优异性能位居世界第一，部署在国家超级计算深圳中心的“曙光星云”位居第三，另外39台国产超级计算机榜上有名，总体占有率8.2％。
第二届全国社会计算会议
第二届 社会计算
2010/8/9
2010年10月18日，由中国自动化学会系统复杂性专业委员会和国际计算机协会(ACM)、Social and Economic Computing分会主办的"第二届全国社会计算会议"在北京市东城区举行，征文范围：社会计算理论研究；面向社会问题的计算理论和方法研究；基于计算与仿真的社会学研究；社会网络及语义网分析与挖掘。
第二届全国社会计算会议
第二届 社会计算
2010/8/9
2010年10月18日，由中国自动化学会系统复杂性专业委员会和国际计算机协会(ACM)、Social and Economic Computing分会主办的第二届全国社会计算会议在北京市东城区举行，征文范围：社会计算理论研究；面向社会问题的计算理论和方法研究；基于计算与仿真的社会学研究；社会网络及语义网分析与挖掘。
2010亚太服务计算会议
2010 亚太 服务计算
2010/8/9
2010年12月6日，由 Technical ComIEEE Computer Society;IEEE,mittee on Services Computing;杭州电子科技大学;华中科技大学主办的2010亚太服务计算会议将在浙江省杭州市。Topics of interest include, but are not limited to;Business Process Integration...
2010亚太服务计算会议
2010 亚太 服务计算
2010/8/9
2010年12月6日，由 Technical ComIEEE Computer Society;IEEE,mittee on Services Computing;杭州电子科技大学;华中科技大学主办的“2010亚太服务计算会议”将在浙江省杭州市。Topics of interest include, but are not limited to;Business Process Integrati...
2010年度区域联合国际精算研讨会
区域联合 国际精算 研讨会
2010/8/9
2010年区域联合国际精算研讨会定于8月12-13日在北京举办。本次研讨会由英国精算师协会、澳大利亚精算师协会、北美精算师协会及中国精算师协会联合举办。参加研讨会的人员均可申请中国精算师协会继续教育学分和北美精算师CPD学分。
2010年中国计算机学会服务计算学术会议 (CCF CSC 2010)
计算机学会 学术会议 服务计算
2010/4/7
中国计算机学会主办、哈尔滨工业大学承办的2010中国计算机学会服务计算学术会议 (2010 CCF Conference on Service Computing) 将于2010年8月10–11日在中国哈尔滨市举行。本次年会致力于交流有关服务计算研究与应用的理论方法和成果及经验，探讨服务计算所面临的关键性挑战问题和研究解决方案。