Monad及其在软件技术中的应用
基本信息
批准号：60073041
项目类别：面上项目
资助金额：15.00
负责人：金成植
学科分类：
依托单位：吉林大学
批准年份：2000
结题年份：2003
起止时间：2001-01-01 - 2003-12-31
项目状态： 已结题
项目参与者：刘磊,张长海,高玉兰,袁琦,金英,郑晓娟
关键词：
反射范畴论单体模
结项摘要
研究基于Monad的程序构造、软件重用和软件形式化方法，以及Monad支撑环境。Monad既有范畴抽象性、反射性、重用性和良好的计算构架，又易于自动实现扩充修改的优点onad技术的出现使范畴论思想在计算机科学中的应用已成为现实，并且它将给计算机软件领域带来新概念、新方法和新技术，因此可望得到广泛的应用。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于多模态信息特征融合的犯罪预测算法研究
基于多模态信息特征融合的犯罪预测算法研究
DOI：
发表时间：2018
2
CT影像组学对肾上腺乏脂腺瘤与结节样增生的诊断价值
CT影像组学对肾上腺乏脂腺瘤与结节样增生的诊断价值
DOI：
发表时间：2022
3
白郡符从脾胃论治外科疾病经验探析
白郡符从脾胃论治外科疾病经验探析
DOI：10.3969/j.issn.1005-5304.2019.08.023
发表时间：2019
4
产生致灾大风的超级单体回波特征
产生致灾大风的超级单体回波特征
DOI：10.11898/1001-7313.20220205
发表时间：2022
5
基于经筋与肌筋膜理论探讨膝骨关节炎的辨治策略
基于经筋与肌筋膜理论探讨膝骨关节炎的辨治策略
DOI：
发表时间：2020
金成植的其他基金
批准号：69473029
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：69173327
批准年份：1991
资助金额：4.00
项目类别：面上项目
批准号：69073312
批准年份：1990
资助金额：3.00
项目类别：面上项目
相似国自然基金
1
软件技术形式方法
批准号：68673038
批准年份：1986
负责人：吴允曾
学科分类：F02
资助金额：3.50
项目类别：面上项目
2
面向对象的有限元方法及其软件技术
批准号：19372064
批准年份：1993
负责人：崔俊芝
学科分类：A0813
资助金额：6.00
项目类别：面上项目
3
并联机构代数化构型综合与性能分析的一体方法及其软件技术
批准号：51875391
批准年份：2018
负责人：宋轶民
学科分类：E0501
资助金额：61.00
项目类别：面上项目
4
混沌及其在湍流中的应用
批准号：18670878
批准年份：1986
负责人：陈奉苏
学科分类：A24
资助金额：0.50
项目类别：面上项目