论文部分内容阅读
本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.
代数规范的可计算实现
【摘 要】
：
本文给出代数规范可计算实现的定义,证明了每一个可计算实现都可用特定的三元组来形式描述.在该定理的基础上,可进一步讨论可计算实现的性质.
【机 构】
：
华东师范大学计算机科学系,华东师范大学计算机科学系
【出 处】
：
华东师范大学学报：自然科学版
【发表日期】
：
1991年1期
其他文献
本文主要讨论了AK_0-类C~*-代数的一些性质,对具有单位元的可分C~*-代数的两个可分表示近似酉等价条件,给出了一个新证法,得到了??″是有限或是真无限的条件.
我们采用正交实验设计法确定制氧机调节阀的最佳阀位,最佳的标准是极大限度地提高氧气提取率.本文介绍了在一台6000m~3/h制氧机上进行实验的实际做法.实验分析和实际使用结果
高校扩招以来,大学生的就业形势越来越严峻,用人单位希望找到＂会做事又会做人＂的专业人才。温州科技职业学院启动基于提高学生素养的人才培养方案改革,为了适应各专业对计算机
设S是有限集,f是定义在S的子集上的实值函数.文章提出了离散凸函数的概念,并指出线性系统x(T)≤f(T),T??S是全对偶整性([4])的充要条件是f的“Dilworth”开拓f是离散凸函数.
本文用一种特异性标记蛋白质巯基的N-(3-P)NEM为荧光探针标记毛发角蛋白,经SDS-PAGE后,通过荧光薄层扫描确定N-(3-P)NEM与含巯基蛋白结合的部位.结果表明,毛发角蛋白中的低硫
本文应用透射电镜研究了东方杯叶吸虫精巢和精子的超微结构及精子发生过程,并与体外培养成虫进行比较,提出一种精子结构模式图.精子的形成经历了由精原细胞,初级精母细胞、次
摘要：Excel是Office数据处理重要组件之一，随着互联网的普及，有大量信息经常要进行处理。在信息处理中经常会遇见很多重复数据，利用Excel 2010可以方便、高效去处理重复数据。查找重复数据可采用函数法、高级筛选法、条件格式法和数据透视表法。 关键词：Excel 2010；重复数据；数据透视表 中图分类号：TP317.1 文献标识码：A 文章编号：1009-3044（2015）22-0
本文依据数学形态学(Mathematical Morphology)的基本运算,提出形态差分算子(Morphological Difference Operator)MDO,进而讨论了其中几种常见算子(ED、DD、NLLP等的频响特性,最后给出了它们在图象检测与边缘抽取、图象二值化处理等方面的应用结果.
摘要：微信是腾讯公司推出的一款免费即时通信服务软件，微信公众平台是微信平台新增的功能模块，提供了二次开发能力。该文提出了一种基于微信公众平台，开发学生资助管理后台接口，通过公众平台接收学生请求、使用业务逻辑处理模块对数据进行处理、通过微信客户端及时将信息推送给学生的信息平台建设方案。 关键词：微信；学生资助；信息平台 中图分类号：TP311 文献标识码：A 文章编号：1009-3044（201