删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

单继承记录类型的代数描述

北京航空航天大学 辅仁网/2017-07-06
文献详情


单继承记录类型的代数描述
文献类型期刊
作者何自强[1]
机构
来源信息年:1999期:04页码范围:110-113
期刊信息软件学报ISSN:1000-9825
关键词有序类别代数;等式理论;单继承性;记录
摘要通过在子类型和超类型之间引进类型转换函数，推广了有序类别代数的定义．按照这一定义，一个类型可以不一定是它的超类型的子集．这使得记录模型成为有序类别代数．为了描述类型之间的单继承关系，引进了森林类别型构的概念．给出了等式的新意义，并证明了等式理论有初始模型．
收录情况PKUCSCD
所属部门计算机学院


全文|
影响因子：


暂无成果共有人
dc:title:单继承记录类型的代数描述
dc:creator:何自强
dc:date: publishDate:1999-04-05
dc:type:期刊
dc:format: Media：软件学报
dc:identifier: LnterrelatedLiterature：软件学报.1999,110-113.
dc:identifier:DOI：
dc: identifier:ISBN:1000-9825
相关话题/代数 软件 信息 文献 计算机
  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...
    考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
  • 并行工程环境下基于STEP标准的航空发动机产品信息建模
    文献详情并行工程环境下基于STEP标准的航空发动机产品信息建模文献类型期刊作者段海波[1];马枚[2];杨晓光[3]机构[1]北京航空航天大学,北京航空航天大学,北京航空航天大学100083,100083,100083[2]北京航空航天大学,北京航空航天大学,北京航空航天大学100083,10008 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 基于C/S的局域网下质量监造管理信息系统的分析
    文献详情基于C/S的局域网下质量监造管理信息系统的分析文献类型期刊作者李鸣[1]机构[1]北京航空航天大学管理学院在职博士研究生↓来源信息年:1999期:02页码范围:12-15期刊信息北京航空航天大学学报(社会科学版)ISSN:1008-2204关键词客户/服务器(C/S);计算策略;计算模式;应 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 利用VB制作控制系统上位机仿真监控软件
    文献详情利用VB制作控制系统上位机仿真监控软件文献类型期刊作者程长东[1];文传源[2]机构[1]北京航空航天大学自动控制系!北京,100083,北京航空航天大学自动控制系!北京,100083[2]北京航空航天大学自动控制系!北京,100083,北京航空航天大学自动控制系!北京,100083↓来源信 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 抽放钻孔瓦斯流动解算及其软件设计
    文献详情抽放钻孔瓦斯流动解算及其软件设计文献类型期刊作者林海燕[1];袁修干[2];彭根明[3]机构[1]北京航空航天大学人－机－环境工程研究所,煤炭科学研究总院[2]北京航空航天大学人－机－环境工程研究所,煤炭科学研究总院[3]北京航空航天大学人－机－环境工程研究所,煤炭科学研究总院↓来源信息年: ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 一种交互式分区网格的生成方法和软件
    文献详情一种交互式分区网格的生成方法和软件文献类型期刊作者吴宗成[1];朱自强[2];陈泽民[3]机构[1]北京航空航天大学[2]北京航空航天大学[3]北京航空航天大学↓来源信息年:1999期:03页码范围:67-69期刊信息航空学报ISSN:1000-6893关键词结构网格;分区;交互性能;多段机 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 拉形工艺数值模拟软件的前后置处理系统
    文献详情拉形工艺数值模拟软件的前后置处理系统文献类型期刊作者李晓星[1];李玺莹[2]机构[1]北京航空航天大学[2]北京航空航天大学↓来源信息年:1999期:02页码范围:45-51期刊信息塑性工程学报ISSN:1007-2012关键词拉形;数值模拟;有限元;前后置处理摘要本文介绍了飞机蒙皮拉形过 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 动态企业环境下的质量信息系统研究
    文献详情动态企业环境下的质量信息系统研究文献类型期刊作者段桂江[1];唐晓青[2]机构[1]北京航空航天大学制造工程系[2]北京航空航天大学制造工程系↓来源信息年:1999期:03页码范围:45-49期刊信息计算机集成制造系统-CIMSISSN:1006-5911关键词质量信息系统;动态企业环境;动 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 计算机网络环境下PDES的特性与实施
    文献详情计算机网络环境下PDES的特性与实施文献类型会议作者林健[1];钱俊[2]机构[1]五邑大学[2]北京航空航天大学↓会议论文集《中南工业大学学报》编辑委员会来源信息年:1999卷:Vol.30页码范围:5会议信息第七届计算机模拟与信息技术学术会议ISSN:关键词计算机网络环境;PDES;并行 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 试论计算机软件的专利法保护
    文献详情试论计算机软件的专利法保护文献类型期刊作者任自力[1];王立华[2]机构[1]北京航空航天大学人文学院,北京天元律师事务所[2]北京航空航天大学人文学院,北京天元律师事务所↓来源信息年:1999期:03页码范围:79-81+86期刊信息北京航空航天大学学报(社会科学版)ISSN:1008-2 ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06
  • 计算机数控技术发展的新动向
    文献详情计算机数控技术发展的新动向文献类型期刊作者罗学科[1];刘玉常[2]机构[1]北方工业大学工学院!北京石景山100041,北京航空航天大学!北京海淀区100083[2]北方工业大学工学院!北京石景山100041,北京航空航天大学!北京海淀区100083↓来源信息年:1999期:03页码范围: ...
    北京航空航天大学论文文献 北京航空航天大学 辅仁网 2017-07-06

Free考研考试FreeKaoYan.Com
欢迎来到Free考研考试，"为实现人生的Free而奋斗"

© 2020 FreeKaoYan! . All rights reserved.