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：10.12202/j.0476-0301.2022178
发表时间：2022
2
少模光纤受激布里渊散射效应理论研究
少模光纤受激布里渊散射效应理论研究
DOI：10.3788/LOP56.162901
发表时间：2019
3
基于自组织小波小脑模型关节控制器的不确定非线性系统鲁棒自适应终端滑模控制
基于自组织小波小脑模型关节控制器的不确定非线性系统鲁棒自适应终端滑模控制
DOI：
发表时间：2016
4
A Fast Algorithm for Computing Dominance Classes
A Fast Algorithm for Computing Dominance Classes
DOI：
发表时间：2016
5
位相突变情况下的反射定律和折射定律
位相突变情况下的反射定律和折射定律
DOI：
发表时间：2017
金成植的其他基金
批准号：69173327
批准年份：1991
资助金额：4.00
项目类别：面上项目
批准号：69473029
批准年份：1994
资助金额：7.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
项目类别：面上项目