位置：成果数据库 > 期刊 > 期刊详情页
程序不动点的直观计算意义
  • ISSN号：0253-2328
  • 期刊名称：《宁夏大学学报：自然科学版》
  • 时间：0
  • 分类：TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]华东理工大学计算机科学与工程系,上海200237, [2]宁夏大学数学计算机学院,宁夏银川750021
  • 相关基金：国家自然科学基金资助项目（60373075）; 教育部科学技术研究重点基金资助项目（01077）; 中科院计算机科学重点实验室基金资助项目（SYSKF0305）; 宁夏大学数学计算机学院科研基金资助项目（0406）
作者： 丁志义[1,2], 吴庆涛[1], 宋国新[1], 邵志清[1]
关键词： 指称语义, 不动点, 完全偏序, 连续函数, denotational semantics, fixed point, complete partial order, continuous function
中文摘要：

连续函数的不动点是指称语义的一个重要内容,它刻画了程序的计算性质.本文对完全偏序、连续函数和不动点等概念及其意义作出直观的解释,介绍了最小不动点的构造和逼近求解方法.

英文摘要：

　The fixed point of continuous function is an important content in denotational semantics,which specifies the computing properties of programs.In this paper,the intuition behind complete partial order,continuous function and fixed point are presented;the construction of the least fixed point and its approximating solution are introduced.

同期刊论文项目
基于概念精化的嵌入式系统的构件开发方法
期刊论文 25 会议论文 6 获奖 1
同项目期刊论文
泛型程序的多型值构造
同质TCP流的多重分形特性分析
一种杂交算法在Web文档聚类中的
对数无限可分级串框架下的异常网
Detecting?DDoS?Attacks?against
操作语义在类型系统中的一种表示
A MDA-based Approach to Automa
嵌入式系统开发中的设计模式
基于Tecton的验证系统Violet
网页文本中部分关系知识的获取与
Internet流量的多重分形分析
A Robust IP Packets Filtering
基于Java程序的功能点度量
对数无限可分级串框架下的异常网络流量分析
分布式实时嵌入式系统的能耗建模与分析
基于分形插值函数重构的网络流量多尺度结构研究
命令的操作语义在类型系统中的一种表示
嵌入式通信软件开发中的设计模式
基于组件的嵌入式软件开发中的几个关键问题
Detecting DDoS Attacks against Web Server Using Time Series Analysis
A Robust IP Packets Filtering Mechanism for Protecting Web Server from DDoS Attacks
FFT处理机的形式化模型及正确性验证
使递归算法泛型化
网络入侵检测中的自动决定聚类数算法
期刊信息
  • 《宁夏大学学报：自然科学版》
  • 中国科技核心期刊
  • 主管单位:宁夏大学
  • 主办单位:宁夏大学
  • 主编：马应虎
  • 地址：银川市西夏区贺兰山西路489号
  • 邮编：750021
  • 邮箱：xuebaoz@nxu.edu.cn
  • 电话：0951-2061948 2061928
  • 国际标准刊号：ISSN：0253-2328
  • 国内统一刊号：ISSN：64-1006/N
  • 邮发代号:74-7
  • 获奖情况:
  • 1989年荣获全国高等学校自然科学学报优秀编辑质量奖,1992年荣获宁夏优秀科技期刊奖,1992年荣获国家科委、中共中央宣传部、新闻出版署...,中国期刊方阵“双效”期刊,2011年荣获中国高校科技期刊优秀团队,2011年荣获中国高校科技期刊优秀网站
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）
  • 被引量:4637