递归函数

作品数：164被引量：152H指数：6
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：陈海明董韫美郑锡忠李爱中黄文集更多>>
相关机构：中国科学院软件研究所南京大学哈尔滨工业大学电子科技大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划“九五”国家科技攻关计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
指针类型递归函数前后形状图的自动推断被引量：3
《小型微型计算机系统》2014年第4期759-764,共6页宋艳辉 李兆鹏 陈意云 
国家自然科学基金项目(61170018;61003043;61229201)资助
在一个基于形状图逻辑的自动程序验证原型系统上,设计与实现了指针类型递归函数前后形状图的自动推断方法.该方法类似于循环不变形状图的推断方法,区别在于它首先沿着函数的非递归路径,从函数入口的函数前形状图推断函数出口的函数后形...
关键词：程序验证 形状图逻辑 形状分析 递归函数 不变式的自动推断 
递归函数的π可定义性及其实现研究被引量：1
《小型微型计算机系统》2005年第10期1749-1753,共5页颜锋 陈韬略 韩婷婷 吕建 
国家重点基础研究发展规划"九七三"项目(2002CB312002)资助国家自然科学基金(60273034)资助国家"八六三"项目(2002AA116010)资助江苏省自然科学基金(BK2002203;BK2002409)资助.
并发计算模型是计算机科学研究的重要问题之一．π演算作为一个并发计算模型,是一种重要的移动进程演算,其中 的进程通过发送通信链接互相交互．与传统的进程代数如CCS相比,π演算有着更为良好的代数性质和表达能力．正如λ演算 能够描...
关键词：Π演算 Λ演算 π可定义性 递归函数 
递归函数的快速计算
《小型微型计算机系统》2003年第7期1362-1363,共2页朱玉龙 任文岚 
本文以赛马矩阵为例 ,给出一种递归函数的快速计算方法 。
关键词：赛马矩阵 递归函数 
递归算法的非递归化实现被引量：27
《小型微型计算机系统》2003年第3期567-570,共4页朱振元 朱承 
由递归算法直接转换成相应的非递归算法能有效地提高程序的执行效率 .本文列出了几类递归算法的非递归化实现方法 ,分别说明了这几类递归算法的特点及算法实例 。
关键词：递归算法 非递归化 程序设计 递归函数 递归过程 
中文信息安全迷彩通信算法
《小型微型计算机系统》2002年第8期1004-1006,共3页李顺东 覃征 窦家维 
陕西省自然科学基金资助项目 (项目编号为 98X0 7) ;陕西省"十五"科技攻关资助项目 (项目编号为2 0 0 0 K0 8-G12 )
提出一种新的保证中文信息安全传递的迷彩通信算法 .阐述了算法的数学原理、密钥的构造、通信协议及安全性能分析 ,并进行了实例验证 .该算法同 MIMIC FU NCTION算法及图像隐藏算法相比占用资源较少 ,速度快 ,而且对那些为特定的消息而...
关键词：中文信息安全 迷彩通信算法 信息加密 递归函数 计算机安全 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部