论文部分内容阅读
抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是一个Σ一计算结构的同构类,从而在基本项 T(Σ)上的等价概念基础上,得出了抽象数据类型与有关计算结构等价的一系列结论.
抽象数据类型的代数方法研究
【摘 要】
：
抽象数据类型是实现面向对象程序设计方法的有力工具.本文的目的在于利用抽象代数结构来描述抽象数据类型并给出它的数学含义;同时,指出任意可见标志Σ的一个抽象数据类型是
【机 构】
：
江西师范大学计算机科学系,江西师范大学计算机科学系
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
1993年3期
【基金项目】
：
江西省自然科学基金资助课题
其他文献
此文建立一个基础不等式并给出若干重要应用.
本文运用ANSYS软件对无缝道岔纵向附加力进行详细分析计算，并对无缝道岔稳定性检算、无缝道岔钢轨强度检算和关键连接件进行强度检算。检算结果表明，按所拟定的无缝道岔的轨道
近几年来，黑龙江逊克县乌云盆地金矿找矿工作取得了重大突破，目前该区金资源量已接近特大型规模，具有较大的找矿潜力。本文对乌云盆地内两个典型金矿床（东安金矿、高松山金矿）进行
近几年来 ,在生态环境日益恶化的情况下 ,绿色农药的出现无疑是个福星。它使用方便 ,广谱高效 ,无残留公害 ,是替代化学农药 ,提高农产品品质的优良产品。但遗憾的是 ,绿色农
有信息化需求就有联通身影历时一个月的浙江联通"世界风"绿色健康文化月采访活动,给采访团的每一位队员留下的不仅仅是美好的回忆,还有那一幕幕抹不去的动人故事,我们倾听着
期刊
考虑模型:{Y=β+ε Eε=0 Eεε′=sum from i=1 to m θ_iv_i }其中 v_i≥0已知;β∈R~k,θ_i>0为未知参数,i=1,2,…,m.对于上述模型,本文得到了在矩阵损失函数下均值参数线
本文从直观上给出二维Possion型点过程的定义,并应用概率生成函数的方法推导出其解析表达式,最后讨论了其若干特征。
该文进一步探讨了B-子模链的性质,给出了B-子模链的grade number,pure性,以及J-链,pure模,holonomic模与B-链的关系.
对于半相依多元线性模型中的回归系数,刘爱义提出了一种新的估计,本文对这个新估计的效率进行了讨论.